Get my own profile
Public access
View all18 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerified email at uiowa.edu
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Andres NötzliStanford UniversityVerified email at stanford.edu
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Hanna LachnittStanford UniversityVerified email at stanford.edu
Gereon KremerCertora LtdVerified email at cs.stanford.edu
Alex OzdemirStanford UniversityVerified email at stanford.edu
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Abdalrhman MohamedPhD student, Stanford UniversityVerified email at stanford.edu
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Mudathir MohamedThe University of IowaVerified email at uiowa.edu
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
David DeharbeCLEARSYVerified email at clearsy.com
Daniel LarrazUniversity of IowaVerified email at uiowa.edu
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Scott ViteriPhD Student, Stanford UniversityVerified email at stanford.edu
Fernando Magno Quintăo PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br