Get my own profile
Public access
View all23 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 IowaVerified email at uiowa.edu
- Haniel BarbosaAssistant 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
- Alex OzdemirStanford UniversityVerified email at stanford.edu
- Gereon KremerStanford UniversityVerified email at cs.stanford.edu
- Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.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
- David DeharbeCLEARSYVerified email at clearsy.com
- Matthias HeizmannUniversity of Freiburg, GermanyVerified email at heizmann.name
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
- Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
