Založit si vlastní profil
Veřejný přístup
Zobrazit všechny14 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Catuscia PalamidessiInriaE-mailová adresa ověřena na: lix.polytechnique.fr
- Ivan LaneseUniversity of BolognaE-mailová adresa ověřena na: unibo.it
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaE-mailová adresa ověřena na: cs.unibo.it
- Mila Dalla PredaUniversity of Verona, ItalyE-mailová adresa ověřena na: univr.it
- Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkE-mailová adresa ověřena na: imada.sdu.dk
- Giorgio DelzannoAssociate Professor, Università di GenovaE-mailová adresa ověřena na: unige.it
- Kim MarriottProfessor, Monash UniversityE-mailová adresa ověřena na: monash.edu
- Elena MarchioriRadboud UniversityE-mailová adresa ověřena na: cs.ru.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsE-mailová adresa ověřena na: cwi.nl
- Stefano BistarelliFull professor of Computer Science at University of PerugiaE-mailová adresa ověřena na: unipg.it
- Francesco SantiniDipartimento Matematica e Informatica, PerugiaE-mailová adresa ověřena na: dmi.unipg.it
- Dino PedreschiProfessor of Computer Science, University of PisaE-mailová adresa ověřena na: di.unipi.it
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)E-mailová adresa ověřena na: vrain.upv.es
- Frank D. ValenciaCNRS, École Polytechnique de ParisE-mailová adresa ověřena na: lix.polytechnique.fr
- Massimo MarchioriProfessor (University of Padua), and CTO (European Institute for Science, Media and Democracy)E-mailová adresa ověřena na: math.unipd.it
- Daniele TuriCTO, HSS Proservice
Sledovat
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
E-mailová adresa ověřena na: cs.unibo.it