Get my own profile
Public access
View all166 articles
7 articles
available
not available
Based on funding mandates
Co-authors
- Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.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
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
- Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)Verified email at univista-isg.com
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
- Sriram RajamaniMicrosoft Research Verified email at microsoft.com
- Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
- Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
- 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
- Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
- Barbara JobstmannScientist at EPFLVerified email at epfl.ch
- Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
- Moshe Y. VardiRice UniversityVerified email at cs.rice.edu