Založit si vlastní profil
Veřejný přístup
Zobrazit všechny98 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Yunshan ZhueK12, Inc.E-mailová adresa ověřena na: eK12.com
- Alessandro CimattiFondazione Bruno KesslerE-mailová adresa ověřena na: fbk.eu
- Martina SeidlUniv.-Prof., JKU LinzE-mailová adresa ověřena na: jku.at
- Cyrille ArthoKTH Royal Institute of Technology, SwedenE-mailová adresa ověřena na: kth.se
- Ofer StrichmanTechnion, Haifa, IsraelE-mailová adresa ověřena na: ie.technion.ac.il
- Andreas FröhlichJKU LinzE-mailová adresa ověřena na: jku.at
- Florian LonsingE-mailová adresa ověřena na: florianlonsing.com
- Mathias FleuryUniversity FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Aina NiemetzStanford UniversityE-mailová adresa ověřena na: cs.stanford.edu
- Mathias PreinerStanford UniversityE-mailová adresa ověřena na: cs.stanford.edu
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- Matti JärvisaloProfessor, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- Benjamin Kiesl-ReiterAmazon Web ServicesE-mailová adresa ověřena na: amazon.de
- Daniela KaufmannTU WienE-mailová adresa ověřena na: tuwien.ac.at
- Manuel KauersJohannes Kepler University, Linz, AustriaE-mailová adresa ověřena na: kauers.de
- Gergely KovásznaiEszterhazy Karoly UniversityE-mailová adresa ověřena na: aries.ektf.hu
- Daniel KroeningAmazonE-mailová adresa ověřena na: amazon.com
- Maximilian HeisingerJohannes Kepler UniversityE-mailová adresa ověřena na: jku.at
Sledovat
Armin Biere
Professor of Computer Science, University of Freiburg
E-mailová adresa ověřena na: informatik.uni-freiburg.de - Domovská stránka