Get my own profile
Public access
View all242 articles
15 articles
available
not available
Based on funding mandates
Co-authors
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Martin NowakProfessor of Mathematics and Biology, Harvard UniversityVerified email at harvard.edu
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Andreas PavlogiannisAssistant Professor, Aarhus UniversityVerified email at cs.au.dk
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
Amir GoharshadyProgramming Languages and VerificationVerified email at ist.ac.at
Rasmus Ibsen-JensenLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Monika HenzingerProfessor of Computer Science, University of ViennaVerified email at univie.ac.at
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Johannes ReiterAssistant Professor, Stanford UniversityVerified email at stanford.edu
Martin ChmelíkSoftware Engineer, GoogleVerified email at google.com
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Ivana BozicAssistant Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Petr NovotnýAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Bert VogelsteinJohns HopkinsVerified email at jhmi.edu