Skapa en profil
Offentlig åtkomst
Visa alla21 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Thomas WiesNew York UniversityVerifierad e-postadress på cs.nyu.edu
- Thomas HenzingerIST AustriaVerifierad e-postadress på ist.ac.at
- Rupak MajumdarMPI for Software SystemsVerifierad e-postadress på mpi-sws.org
- Ruzica PiskacAssociate ProfessorVerifierad e-postadress på yale.edu
- vasu singhVerifierad e-postadress på bmw.de
- Arjun RadhakrishnaMicrosoftVerifierad e-postadress på microsoft.com
- Pavol CernyProfessor, TU WienVerifierad e-postadress på tuwien.ac.at
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerifierad e-postadress på lmu.de
- Josef WidderInformal SystemsVerifierad e-postadress på informal.systems
- Shaz QadeerSoftware Engineer, MetaVerifierad e-postadress på meta.com
- Sriram RajamaniMicrosoft Research Verifierad e-postadress på microsoft.com
- Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerifierad e-postadress på amazon.com
- Phillip Stanley-MarbellUniversity of CambridgeVerifierad e-postadress på eng.cam.ac.uk
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerifierad e-postadress på cs.utexas.edu
- Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerifierad e-postadress på cs.colorado.edu
- Sergio MoverÉcole Polytechnique and LIXVerifierad e-postadress på polytechnique.edu
- Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyVerifierad e-postadress på stevens.edu
- Sicun GaoUCSDVerifierad e-postadress på ucsd.edu
- Krishnendu ChatterjeeProfessor, IST AustriaVerifierad e-postadress på ist.ac.at
Följ
Damien Zufferey
Research Group Leader, Max Planck Institute for Software Systems
Verifierad e-postadress på mpi-sws.org - Startsida