Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3427 | 1090 |
Índice h | 33 | 19 |
Índice i10 | 81 | 33 |
Acceso público
Ver todo4 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceDirección de correo verificada de telecom-paris.fr
- Xavier LeroyCollège de FranceDirección de correo verificada de college-de-france.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHDirección de correo verificada de kerguelen.org
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
- Fabio MancinelliXWiki SASDirección de correo verificada de xwiki.com
- Paulo TrezentosAssistant Professor, ISCTE-IULDirección de correo verificada de iscte.pt
- Kim BruceEmeritus Professor of Computer Science, Pomona CollegeDirección de correo verificada de pomona.edu
- Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Dirección de correo verificada de gssi.it
- Davide Di RuscioFull Professor, DISIM, University of L'Aquila (Italy)Dirección de correo verificada de di.univaq.it
- Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaDirección de correo verificada de univaq.it
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueDirección de correo verificada de inria.fr
- Serge AbiteboulINRIA SaclayDirección de correo verificada de inria.fr
- Tova MiloProfessor of Computer Science, Tel Aviv UniversityDirección de correo verificada de cs.tau.ac.il
- Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityDirección de correo verificada de di.unito.it
Seguir
Roberto Di Cosmo
Professor of Computer Science, University Paris Diderot
Dirección de correo verificada de dicosmo.org - Página principal