Skapa en profil
Offentlig åtkomst
Visa alla13 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Viktor KunčakEPFLVerifierad e-postadress på epfl.ch
- Heiko Beckeritemis AGVerifierad e-postadress på itemis.com
- Anastasia IsychevTechnical University of MunichVerifierad e-postadress på in.tum.de
- Zachary TatlockUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Rupak MajumdarMPI for Software SystemsVerifierad e-postadress på mpi-sws.org
- Dan GrossmanComputer Science, University of WashingtonVerifierad e-postadress på cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Verifierad e-postadress på certora.com
- Magnus MyreenChalmers University of TechnologyVerifierad e-postadress på cl.cam.ac.uk
- Debasmita LoharPhD Student, MPI-SWSVerifierad e-postadress på mpi-sws.org
- Babak FalsafiProfessor of Computer Science, EPFLVerifierad e-postadress på epfl.ch
- Phillip Stanley-MarbellUniversity of CambridgeVerifierad e-postadress på eng.cam.ac.uk
- Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at AustinVerifierad e-postadress på ece.utexas.edu
- Max WillseyUC BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- James R. WilcoxUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Fabian RitterPhD Candidate, Computer Science, Saarland Informatics CampusVerifierad e-postadress på cs.uni-saarland.de
- Adrian SampsonComputer Science, Cornell UniversityVerifierad e-postadress på cornell.edu
- Natalie Enright JergerUniversity of TorontoVerifierad e-postadress på eecg.toronto.edu
- Lara DolecekElectrical Engineering, UCLAVerifierad e-postadress på ee.ucla.edu
- Mattia CacciottiÉcole Polytechnique Fédérale de LausanneVerifierad e-postadress på epfl.ch
- Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerifierad e-postadress på illinois.edu