Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 63300 | 11665 |
h-indeks | 117 | 51 |
i10-indeks | 351 | 213 |
Dostęp publiczny
Wyświetl wszystko162 artykuły
6 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Krishnendu ChatterjeeProfessor, IST AustriaZweryfikowany adres z ist.ac.at
- Rupak MajumdarMPI for Software SystemsZweryfikowany adres z mpi-sws.org
- Luca de AlfaroProfessor, UC Santa CruzZweryfikowany adres z acm.org
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgZweryfikowany adres z cs.uni-salzburg.at
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityZweryfikowany adres z cs.huji.ac.il
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyZweryfikowany adres z lmu.de
- Laurent DoyenCNRS - LMF, ENS Paris-SaclayZweryfikowany adres z lsv.fr
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)Zweryfikowany adres z univista-isg.com
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Zweryfikowany adres z ulb.ac.be
- Sriram RajamaniMicrosoft Research Zweryfikowany adres z microsoft.com
- Howard Wong-ToiGoogle, Inc.Zweryfikowany adres z google.com
- Shaz QadeerSoftware Engineer, MetaZweryfikowany adres z meta.com
- Joseph SifakisReseracher at Verimag laboratory, GrenobleZweryfikowany adres z imag.fr
- Costas CourcoubetisProfessor in SDS, CUHK ShenzhenZweryfikowany adres z cuhk.edu.cn
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteZweryfikowany adres z ucl.ac.uk
- Dejan NickovicAustrian Institute of TechnologyZweryfikowany adres z ait.ac.at
- Barbara JobstmannScientist at EPFLZweryfikowany adres z epfl.ch
- Arjun RadhakrishnaMicrosoftZweryfikowany adres z microsoft.com
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenZweryfikowany adres z gu.se