Get my own profile
Public access
View all24 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Armin BiereProfessor of Computer Science, University of 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 Iowa, Amazon Web ServicesVerified email at uiowa.edu
Haniel BarbosaTenured Assistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Andres NötzliStanford UniversityVerified email at stanford.edu
Martin BrainCity, University of LondonVerified email at city.ac.uk
Gereon KremerCertora LtdVerified email at cs.stanford.edu
Alex OzdemirStanford UniversityVerified email at stanford.edu
Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Hanna LachnittStanford UniversityVerified email at stanford.edu
Ying ShengPhD student of Stanford UniversityVerified email at stanford.edu
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Florian LonsingVerified email at florianlonsing.com
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
Joseph ScottUniversity of WaterlooVerified email at uwaterloo.ca
Saeed NejatiAmazonVerified email at amazon.com