Get my own profile
Public access
View all10 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
Gergely KovásznaiEszterhazy Karoly Catholic UniversityVerified email at aries.ektf.hu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Christoph M. WintersteigerImandraVerified email at imandra.ai
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Tomas BalyoFiluta AIVerified email at filuta.ai
Uwe SchöningProfessor of Computer Science, Ulm University, retiredVerified email at uni-ulm.de
Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaVerified email at cs.rwth-aachen.de
Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooVerified email at uwaterloo.ca
Dr. Adrian BalintUlm University