Get my own profile
Public access
View all15 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu- Armin BiereJohannes Kepler University LinzVerified email at jku.at
- 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
- Andres NötzliStanford UniversityVerified email at stanford.edu
- Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
- Florian LonsingComputer Science Department, Stanford UniversityVerified email at cs.stanford.edu
- Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
- Yoni ZoharStanford UniversityVerified email at cs.stanford.edu
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
- Giles RegerDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
- Andreas FröhlichJKU LinzVerified email at jku.at
- David DeharbeCLEARSYVerified email at clearsy.com
- Tim KingGoogle IncVerified email at google.com
- Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
- Joseph ScottUniversity of WaterlooVerified email at uwaterloo.ca
- Ahmed IrfanAmazon Web Services (AWS)Verified email at cs.stanford.edu
- Makai MannEE PhD Student, Stanford UniversityVerified email at stanford.edu
Aina Niemetz
Verified email at cs.stanford.edu - Homepage