Get my own profile
Public access
View all267 articles
15 articles
available
not available
Based on funding mandates
Co-authors
Thomas HenzingerIST AustriaVerified 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
Monika HenzingerProfessor of Computer Science, University of ViennaVerified email at univie.ac.at
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
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
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Ivana BozicAssistant Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
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