Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerified email at telecom-paris.fr
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Fabio MancinelliXWiki SASVerified email at xwiki.com
Paulo TrezentosAssistant Professor, ISCTE-IULVerified email at iscte.pt
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerified email at pomona.edu
Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Verified email at gssi.it
Davide Di RuscioProfessor, University of L'Aquila (Italy)Verified email at di.univaq.it
Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaVerified email at univaq.it
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Serge AbiteboulINRIA SaclayVerified email at inria.fr
Tova MiloProfessor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it