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
- Mikoláš JanotaCTU PragueVerified email at cvut.cz
- 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
- Eshan SinghStanford UniversityVerified email at stanford.edu
- Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
- Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
- Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
- Yahan YangUniversity of PennsylvaniaVerified email at seas.upenn.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
- Martin KroneggerTU WienVerified email at tuwien.ac.at
- Tomas BalyoFiluta AIVerified email at filuta.ai
- Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyVerified email at uni-jena.de
