Xem tiểu sử của tôi
Truy cập công khai
Xem tất cả83 bài viết
0 bài viết
có sẵn
không có sẵn
Dựa trên yêu cầu tài trợ
Đồng tác giả
- Armin BiereProfessor of Computer Science, University of FreiburgEmail được xác minh tại informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiEmail được xác minh tại helsinki.fi
- Martina SeidlUniv.-Prof., JKU LinzEmail được xác minh tại jku.at
- Warren A. Hunt, JrProfessor of Computer Science, University of TexasEmail được xác minh tại cs.utexas.edu
- Benjamin Kiesl-ReiterAmazon Web ServicesEmail được xác minh tại amazon.de
- Oliver KullmannSwansea UniversityEmail được xác minh tại Swansea.ac.uk
- Nathan WetzlerUniversity of Texas at AustinEmail được xác minh tại cs.utexas.edu
- Anton BelovSynopsys Inc.Email được xác minh tại belov-mcdowell.com
- Tomas BalyoFiluta AIEmail được xác minh tại filuta.ai
- Randal BryantCarnegie Mellon UniversityEmail được xác minh tại cs.cmu.edu
- Martin SudaCzech Technical University in PragueEmail được xác minh tại cvut.cz
- Toby WalshProfessor, UNSW and CSIRO Data61Email được xác minh tại cse.unsw.edu.au
- Sicco VerwerDelft University of TechnologyEmail được xác minh tại tudelft.nl
- Victor MarekProfessor of Computer Science, University of KentuckyEmail được xác minh tại cs.uky.edu
- Manuel KauersJohannes Kepler University, Linz, AustriaEmail được xác minh tại kauers.de
- Norbert MantheyTU DresdenEmail được xác minh tại tu-dresden.de
- Ruben MartinsCarnegie Mellon UniversityEmail được xác minh tại cs.cmu.edu
- Siert WieringaEmail được xác minh tại siert.nl
- John F. MackeyTeaching Professor of Computer Science and Mathematics, Carnegie Mellon UniversityEmail được xác minh tại andrew.cmu.edu
- Emre YolcuPhD student, Carnegie Mellon UniversityEmail được xác minh tại cs.cmu.edu
Theo dõi
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Email được xác minh tại cs.cmu.edu - Trang chủ