Get my own profile
Public access
View all146 articles
5 articles
available
not available
Based on funding mandates
Co-authors
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Howard Wong-ToiGoogle, Inc.Verified email at google.com
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com