Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3425 | 1088 |
h-indeks | 33 | 19 |
i10-indeks | 81 | 33 |
Dostęp publiczny
Wyświetl wszystko4 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceZweryfikowany adres z telecom-paris.fr
- Xavier LeroyCollège de FranceZweryfikowany adres z college-de-france.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHZweryfikowany adres z kerguelen.org
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaZweryfikowany adres z cs.unibo.it
- Fabio MancinelliXWiki SASZweryfikowany adres z xwiki.com
- Paulo TrezentosAssistant Professor, ISCTE-IULZweryfikowany adres z iscte.pt
- Kim BruceEmeritus Professor of Computer Science, Pomona CollegeZweryfikowany adres z pomona.edu
- Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Zweryfikowany adres z gssi.it
- Davide Di RuscioFull Professor, DISIM, University of L'Aquila (Italy)Zweryfikowany adres z di.univaq.it
- Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaZweryfikowany adres z univaq.it
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueZweryfikowany adres z inria.fr
- Serge AbiteboulINRIA SaclayZweryfikowany adres z inria.fr
- Tova MiloProfessor of Computer Science, Tel Aviv UniversityZweryfikowany adres z cs.tau.ac.il
- Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityZweryfikowany adres z di.unito.it
Obserwuj
Roberto Di Cosmo
Professor of Computer Science, University Paris Diderot
Zweryfikowany adres z dicosmo.org - Strona główna