Skapa en profil
Offentlig åtkomst
Visa alla4 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerifierad e-postadress på telecom-paris.fr
- Xavier LeroyCollège de FranceVerifierad e-postadress på college-de-france.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerifierad e-postadress på kerguelen.org
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerifierad e-postadress på cs.unibo.it
- Fabio MancinelliXWiki SASVerifierad e-postadress på xwiki.com
- Paulo TrezentosAssistant Professor, ISCTE-IULVerifierad e-postadress på iscte.pt
- Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerifierad e-postadress på pomona.edu
- Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Verifierad e-postadress på gssi.it
- Davide Di RuscioFull Professor, DISIM, University of L'Aquila (Italy)Verifierad e-postadress på di.univaq.it
- Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaVerifierad e-postadress på univaq.it
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerifierad e-postadress på inria.fr
- Serge AbiteboulINRIA SaclayVerifierad e-postadress på inria.fr
- Tova MiloProfessor of Computer Science, Tel Aviv UniversityVerifierad e-postadress på cs.tau.ac.il
- Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerifierad e-postadress på di.unito.it