Get my own profile
Public access
View all26 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
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
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Haniel BarbosaUniversidade 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
Gereon KremerCertora LtdVerified email at cs.stanford.edu
Alex OzdemirStanford UniversityVerified email at stanford.edu
Martin BrainCity, University of LondonVerified email at city.ac.uk
Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Ying ShengxAIVerified email at x.ai
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
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
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Florian LonsingUnaffiliatedVerified email at florianlonsing.com
David DeharbeCLEARSYVerified email at clearsy.com