Get my own profile
Public access
View all86 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
Warren A. Hunt, JrProfessor of Computer Science, University of TexasVerified email at cs.utexas.edu
Benjamin Kiesl-ReiterAmazon Web ServicesVerified email at amazon.de
Oliver KullmannSwansea UniversityVerified email at Swansea.ac.uk
Nathan WetzlerUniversity of Texas at AustinVerified email at cs.utexas.edu
Tomas BalyoFiluta AIVerified email at filuta.ai
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Sicco VerwerDelft University of TechnologyVerified email at tudelft.nl
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
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
John F. MackeyTeaching Professor of Computer Science and Mathematics, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Norbert MantheyTU DresdenVerified email at tu-dresden.de
Siert WieringaVerified email at siert.nl
Bernardo SubercaseauxCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Follow![Marijn Heule](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=5Bu6aSMAAAAJ&citpid=5)
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage