Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 63300 | 11665 |
Índice h | 117 | 51 |
Índice i10 | 351 | 213 |
Acesso público
Ver todos162 artigos
6 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Krishnendu ChatterjeeProfessor, IST AustriaE-mail confirmado em ist.ac.at
- Rupak MajumdarMPI for Software SystemsE-mail confirmado em mpi-sws.org
- Luca de AlfaroProfessor, UC Santa CruzE-mail confirmado em acm.org
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgE-mail confirmado em cs.uni-salzburg.at
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityE-mail confirmado em cs.huji.ac.il
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyE-mail confirmado em lmu.de
- Laurent DoyenCNRS - LMF, ENS Paris-SaclayE-mail confirmado em lsv.fr
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)E-mail confirmado em univista-isg.com
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.E-mail confirmado em ulb.ac.be
- Sriram RajamaniMicrosoft Research E-mail confirmado em microsoft.com
- Howard Wong-ToiGoogle, Inc.E-mail confirmado em google.com
- Shaz QadeerSoftware Engineer, MetaE-mail confirmado em meta.com
- Joseph SifakisReseracher at Verimag laboratory, GrenobleE-mail confirmado em imag.fr
- Costas CourcoubetisProfessor in SDS, CUHK ShenzhenE-mail confirmado em cuhk.edu.cn
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyE-mail confirmado em eecs.berkeley.edu
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteE-mail confirmado em ucl.ac.uk
- Dejan NickovicAustrian Institute of TechnologyE-mail confirmado em ait.ac.at
- Barbara JobstmannScientist at EPFLE-mail confirmado em epfl.ch
- Arjun RadhakrishnaMicrosoftE-mail confirmado em microsoft.com
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenE-mail confirmado em gu.se