Get my own profile
Public access
View all29 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
- Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
- Clark BarrettStanford UniversityVerified email at cs.stanford.edu
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Subhasish MitraWilliam E. Ayer Professor, Stanford UniversityVerified email at stanford.edu
- Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
- Mikoláš JanotaCTU PragueVerified email at cvut.cz
- Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
- Eshan SinghStanford UniversityVerified email at stanford.edu
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
- Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
- Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
- Saranyu ChattopadhyayStanford UniversityVerified email at stanford.edu
- Vedad HadžićPhD Student, TU GrazVerified email at iaik.tugraz.at
- Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
- Ahmed IrfanSRI InternationalVerified email at cs.stanford.edu
- Hongce ZhangHong Kong University of Science and TechnologyVerified email at ust.hk
- Kristopher S. BrownStanford UniversityVerified email at stanford.edu
- Martin KroneggerTU WienVerified email at tuwien.ac.at