Get my own profile
Public access
View all29 articles
1 article
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
- Eshan SinghStanford UniversityVerified email at stanford.edu
- Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
- 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 Candidate, TU GrazVerified email at iaik.tugraz.at
- Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyVerified email at uni-jena.de
- 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 Technology (Guangzhou)Verified email at ust.hk
- Kristopher S. BrownTopos InstituteVerified email at topos.institute
