Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 63391 | 11746 |
h-індекс | 117 | 52 |
i10-індекс | 351 | 214 |
Доступні для всіх
Переглянути всі162 статті
6 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Krishnendu ChatterjeeProfessor, IST AustriaПідтверджена електронна адреса в ist.ac.at
- Rupak MajumdarMPI for Software SystemsПідтверджена електронна адреса в mpi-sws.org
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzПідтверджена електронна адреса в alumni.stanford.edu
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgПідтверджена електронна адреса в cs.uni-salzburg.at
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityПідтверджена електронна адреса в cs.huji.ac.il
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyПідтверджена електронна адреса в lmu.de
- Laurent DoyenCNRS - LMF, ENS Paris-SaclayПідтверджена електронна адреса в lsv.fr
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)Підтверджена електронна адреса в univista-isg.com
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Підтверджена електронна адреса в ulb.ac.be
- Sriram RajamaniMicrosoft Research Підтверджена електронна адреса в microsoft.com
- Howard Wong-ToiGoogle, Inc.Підтверджена електронна адреса в google.com
- Shaz QadeerSoftware Engineer, MetaПідтверджена електронна адреса в meta.com
- Joseph SifakisReseracher at Verimag laboratory, GrenobleПідтверджена електронна адреса в imag.fr
- Costas CourcoubetisProfessor in SDS, CUHK ShenzhenПідтверджена електронна адреса в cuhk.edu.cn
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyПідтверджена електронна адреса в eecs.berkeley.edu
- Dejan NickovicAustrian Institute of TechnologyПідтверджена електронна адреса в ait.ac.at
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteПідтверджена електронна адреса в ucl.ac.uk
- Barbara JobstmannScientist at EPFLПідтверджена електронна адреса в epfl.ch
- Arjun RadhakrishnaMicrosoftПідтверджена електронна адреса в microsoft.com
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenПідтверджена електронна адреса в gu.se