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
- Subhasish MitraWilliam E. Ayer Professor, Stanford UniversityVerified email at stanford.edu
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
- Eshan SinghStanford UniversityVerified email at stanford.edu
- Mikoláš JanotaCTU PragueVerified email at cvut.cz
- Saranyu ChattopadhyayStanford 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
- Srinivasa Shashank NuthakkiStanford 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
- 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