Založit si vlastní profil
Veřejný přístup
Zobrazit všechny29 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Martina SeidlUniv.-Prof., JKU LinzE-mailová adresa ověřena na: jku.at
- Clark BarrettStanford UniversityE-mailová adresa ověřena na: cs.stanford.edu
- Subhasish MitraWilliam E. Ayer Professor, Stanford UniversityE-mailová adresa ověřena na: stanford.edu
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Makai MannTechnical Staff, MIT Lincoln LaboratoryE-mailová adresa ověřena na: ll.mit.edu
- Eshan SinghStanford UniversityE-mailová adresa ověřena na: stanford.edu
- Mikoláš JanotaCTU PragueE-mailová adresa ověřena na: cvut.cz
- Saranyu ChattopadhyayStanford UniversityE-mailová adresa ověřena na: stanford.edu
- Robert KönighoferGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Matti JärvisaloProfessor, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- Aina NiemetzStanford UniversityE-mailová adresa ověřena na: cs.stanford.edu
- Mathias PreinerStanford UniversityE-mailová adresa ověřena na: cs.stanford.edu
- Srinivasa Shashank NuthakkiStanford UniversityE-mailová adresa ověřena na: stanford.edu
- Vedad HadžićPhD Candidate, TU GrazE-mailová adresa ověřena na: iaik.tugraz.at
- Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyE-mailová adresa ověřena na: uni-jena.de
- Fahiem BacchusProfessor of Computer Science, University of TorontoE-mailová adresa ověřena na: cs.toronto.edu
- Ahmed IrfanSRI InternationalE-mailová adresa ověřena na: cs.stanford.edu
- Hongce ZhangHong Kong University of Science and Technology (Guangzhou)E-mailová adresa ověřena na: ust.hk
Sledovat