Get my own profile
Public access
View all13 articles
1 article
available
not available
Based on funding mandates
Co-authors
- aspertiUniversity of BolognaVerified email at cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerified email at telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
- Luca PadovaniVerified email at unicam.it
- Wilmer RicciottiUniversity of EdinburghVerified email at wilmer-ricciotti.net
- Beniamino AccattoliInria & École PolytechniqueVerified email at inria.fr
- Andrea CondoluciPhD at University of BolognaVerified email at studio.unibo.it
- Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathVerified email at bath.ac.uk
- Ivan LaneseUniversity of BolognaVerified email at unibo.it
- Pietro LamiINRIAVerified email at inria.fr
- Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
- Dennis MüllerFAU Erlangen-NürnbergVerified email at fau.de
- Giovanni FabbrettiINRIAVerified email at inria.fr