Get my own profile
Public access
View all17 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Armin BiereAlbert-Ludwigs-Universität FreiburgVerified email at informatik.uni-freiburg.de
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Andrew ReynoldsUniversity of IowaVerified email at uiowa.edu
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Andres NötzliStanford UniversityVerified email at stanford.edu
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Florian LonsingComputer Science Department, Stanford UniversityVerified email at cs.stanford.edu
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
Makai MannEE PhD Student, Stanford UniversityVerified email at stanford.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
David DeharbeCLEARSYVerified email at clearsy.com
Matthias HeizmannUniversity of Freiburg, GermanyVerified email at heizmann.name
Gereon KremerStanford UniversityVerified email at cs.stanford.edu
Andreas FröhlichJKU LinzVerified email at jku.at
Tim KingGoogle IncVerified email at google.com
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca