Get my own profile
Public access
View all60 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Luca de AlfaroProfessor, 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