Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 63412 | 11767 |
Índice h | 117 | 52 |
Índice i10 | 351 | 215 |
Acceso público
Ver todo163 artículos
6 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Krishnendu ChatterjeeProfessor, IST AustriaDirección de correo verificada de ist.ac.at
- Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzDirección de correo verificada de alumni.stanford.edu
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgDirección de correo verificada de cs.uni-salzburg.at
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyDirección de correo verificada de lmu.de
- Laurent DoyenCNRS - LMF, ENS Paris-SaclayDirección de correo verificada de lsv.fr
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)Dirección de correo verificada de univista-isg.com
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
- Sriram RajamaniMicrosoft Research Dirección de correo verificada de microsoft.com
- Howard Wong-ToiGoogle, Inc.Dirección de correo verificada de google.com
- Shaz QadeerSoftware Engineer, MetaDirección de correo verificada de meta.com
- Joseph SifakisReseracher at Verimag laboratory, GrenobleDirección de correo verificada de imag.fr
- Costas CourcoubetisProfessor in SDS, CUHK ShenzhenDirección de correo verificada de cuhk.edu.cn
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
- Dejan NickovicAustrian Institute of TechnologyDirección de correo verificada de ait.ac.at
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteDirección de correo verificada de ucl.ac.uk
- Barbara JobstmannScientist at EPFLDirección de correo verificada de epfl.ch
- Arjun RadhakrishnaMicrosoftDirección de correo verificada de microsoft.com
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenDirección de correo verificada de gu.se