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 Endowed Chair 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 of Computer Science, 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