Get my own profile
Public access
View all77 articles
6 articles
available
not available
Based on funding mandates
Co-authors
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.edu
- Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
- Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
- Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
- Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
- Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr