Crea il mio profilo
Accesso pubblico
Visualizza tutto12 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- aspertiUniversity of BolognaEmail verificata su cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceEmail verificata su telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaEmail verificata su cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghEmail verificata su wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaEmail verificata su studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesEmail verificata su amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergEmail verificata su fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityEmail verificata su pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHEmail verificata su kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaEmail verificata su unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghEmail verificata su ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathEmail verificata su bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellEmail verificata su uml.edu
- James McKinnaHeriot-Watt University, EdinburghEmail verificata su hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureEmail verificata su di.ens.fr
- François BobotEmail verificata su bobot.eu
- Silvio ValentiniUniversità di PadovaEmail verificata su math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaEmail verificata su unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaEmail verificata su cs.unibo.it