Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 903 | 682 |
h-indeks | 13 | 13 |
i10-indeks | 15 | 15 |
Dostęp publiczny
Wyświetl wszystko13 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Viktor KunčakEPFLZweryfikowany adres z epfl.ch
- Heiko Beckeritemis AGZweryfikowany adres z itemis.com
- Zachary TatlockUniversity of WashingtonZweryfikowany adres z cs.washington.edu
- Anastasia IsychevTechnical University of MunichZweryfikowany adres z in.tum.de
- Rupak MajumdarMPI for Software SystemsZweryfikowany adres z mpi-sws.org
- Dan GrossmanComputer Science, University of WashingtonZweryfikowany adres z cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Zweryfikowany adres z certora.com
- Magnus MyreenChalmers University of TechnologyZweryfikowany adres z cl.cam.ac.uk
- Debasmita LoharPostdoctoral Researcher, Karlsruhe Institute of TechnologyZweryfikowany adres z kit.edu
- Babak FalsafiProfessor of Computer Science, EPFLZweryfikowany adres z epfl.ch
- Phillip Stanley-MarbellUniversity of CambridgeZweryfikowany adres z eng.cam.ac.uk
- Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at AustinZweryfikowany adres z ece.utexas.edu
- Max WillseyUC BerkeleyZweryfikowany adres z eecs.berkeley.edu
- James R. WilcoxUniversity of WashingtonZweryfikowany adres z cs.washington.edu
- Fabian RitterPhD Candidate, Computer Science, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Adrian SampsonComputer Science, Cornell UniversityZweryfikowany adres z cornell.edu
- Natalie Enright JergerUniversity of TorontoZweryfikowany adres z eecg.toronto.edu
- Lara DolecekElectrical Engineering, UCLAZweryfikowany adres z ee.ucla.edu
- Mattia CacciottiÉcole Polytechnique Fédérale de LausanneZweryfikowany adres z epfl.ch
- Sasa MisailovicUniversity of Illinois at Urbana–ChampaignZweryfikowany adres z illinois.edu