Get my own profile
Public access
View all90 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Matti JärvisaloProfessor of Computer Science, University of HelsinkiVerified email at helsinki.fi
Benjamin Kiesl-ReiterAmazon Web ServicesVerified email at amazon.de
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Warren A. Hunt, JrProfessor of Computer Science, University of TexasVerified email at cs.utexas.edu
Oliver KullmannSwansea UniversityVerified email at Swansea.ac.uk
Nathan WetzlerUniversity of Texas at AustinVerified email at cs.utexas.edu
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Tomas BalyoFiluta AIVerified email at filuta.ai
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Bernardo SubercaseauxCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Sicco VerwerDelft University of TechnologyVerified email at tudelft.nl
John F. MackeyTeaching Professor of Computer Science and Mathematics, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
Victor MarekProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
Manuel KauersJohannes Kepler University, Linz, AustriaVerified email at kauers.de
Siert WieringaVerified email at siert.nl
Norbert MantheyTU DresdenVerified email at tu-dresden.de
Follow
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage