Get my own profile
Public access
View all89 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, University of HelsinkiVerified email at helsinki.fi
- Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
- Benjamin Kiesl-ReiterAmazon Web ServicesVerified email at amazon.de
- 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
- 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
- Martin SudaCzech Technical University in PragueVerified email at cvut.cz
- 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
- Norbert MantheyTU DresdenVerified email at tu-dresden.de
- Siert WieringaVerified email at siert.nl
Follow
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage