Skapa en profil
Offentlig åtkomst
Visa alla14 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Catuscia PalamidessiInriaVerifierad e-postadress på lix.polytechnique.fr
- Ivan LaneseUniversity of BolognaVerifierad e-postadress på unibo.it
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerifierad e-postadress på cs.unibo.it
- Mila Dalla PredaUniversity of Verona, ItalyVerifierad e-postadress på univr.it
- Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerifierad e-postadress på imada.sdu.dk
- Giorgio DelzannoAssociate Professor, Università di GenovaVerifierad e-postadress på unige.it
- Kim MarriottProfessor, Monash UniversityVerifierad e-postadress på monash.edu
- Elena MarchioriRadboud UniversityVerifierad e-postadress på cs.ru.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerifierad e-postadress på cwi.nl
- Stefano BistarelliFull professor of Computer Science at University of PerugiaVerifierad e-postadress på unipg.it
- Francesco SantiniDipartimento Matematica e Informatica, PerugiaVerifierad e-postadress på dmi.unipg.it
- Dino PedreschiProfessor of Computer Science, University of PisaVerifierad e-postadress på di.unipi.it
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Verifierad e-postadress på vrain.upv.es
- Frank D. ValenciaCNRS, École Polytechnique de ParisVerifierad e-postadress på lix.polytechnique.fr
- Massimo MarchioriProfessor (University of Padua), and CTO (European Institute for Science, Media and Democracy)Verifierad e-postadress på math.unipd.it
- Daniele TuriCTO, HSS Proservice
Följ
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Verifierad e-postadress på cs.unibo.it