Get my own profile
Public access
View all25 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