Get my own profile
Public access
View all21 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Thomas WiesNew York UniversityVerified email at cs.nyu.edu
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Ruzica PiskacAssociate ProfessorVerified email at yale.edu
- vasu singhVerified email at bmw.de
- Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
- Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
- Josef WidderInformal SystemsVerified email at informal.systems
- Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
- Sriram RajamaniMicrosoft Research Verified email at microsoft.com
- Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
- Phillip Stanley-MarbellUniversity of CambridgeVerified email at eng.cam.ac.uk
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
- Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
- Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
- Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
- Sicun GaoUCSDVerified email at ucsd.edu
- Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Follow
Damien Zufferey
Research Group Leader, Max Planck Institute for Software Systems
Verified email at mpi-sws.org - Homepage