Get my own profile
Public access
View all74 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Yunshan ZhueK12, Inc.Verified email at eK12.com
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Matti JärvisaloAssociate Professor, University of HelsinkiVerified email at helsinki.fi
Florian LonsingComputer Science Department, Stanford UniversityVerified email at cs.stanford.edu
Andreas FröhlichJKU LinzVerified email at jku.at
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Gergely Kovásznaiassociate professor, Institute of Mathematics and Informatics, Eszterhazy Karoly UniversityVerified email at aries.ektf.hu
Benjamin KieslSAP SEVerified email at sap.com
Daniel KroeningAmazonVerified email at amazon.com
Manuel KauersJohannes Kepler University, Linz, AustriaVerified email at kauers.de
Carsten SinzKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Armin Biere
Verified email at jku.at - Homepage