Založit si vlastní profil
Veřejný přístup
Zobrazit všechny13 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Viktor KunčakEPFLE-mailová adresa ověřena na: epfl.ch
- Heiko Beckeritemis AGE-mailová adresa ověřena na: itemis.com
- Anastasia IsychevTechnical University of MunichE-mailová adresa ověřena na: in.tum.de
- Zachary TatlockUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Rupak MajumdarMPI for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
- Dan GrossmanComputer Science, University of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.E-mailová adresa ověřena na: certora.com
- Magnus MyreenChalmers University of TechnologyE-mailová adresa ověřena na: cl.cam.ac.uk
- Debasmita LoharPostdoctoral Researcher, Karlsruhe Institute of TechnologyE-mailová adresa ověřena na: kit.edu
- Babak FalsafiProfessor of Computer Science, EPFLE-mailová adresa ověřena na: epfl.ch
- Phillip Stanley-MarbellUniversity of CambridgeE-mailová adresa ověřena na: eng.cam.ac.uk
- Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at AustinE-mailová adresa ověřena na: ece.utexas.edu
- Max WillseyUC BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- James R. WilcoxUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Fabian RitterPhD Candidate, Computer Science, Saarland Informatics CampusE-mailová adresa ověřena na: cs.uni-saarland.de
- Adrian SampsonComputer Science, Cornell UniversityE-mailová adresa ověřena na: cornell.edu
- Natalie Enright JergerUniversity of TorontoE-mailová adresa ověřena na: eecg.toronto.edu
- Lara DolecekElectrical Engineering, UCLAE-mailová adresa ověřena na: ee.ucla.edu
- Mattia CacciottiÉcole Polytechnique Fédérale de LausanneE-mailová adresa ověřena na: epfl.ch
- Sasa MisailovicUniversity of Illinois at Urbana–ChampaignE-mailová adresa ověřena na: illinois.edu