Get my own profile
Public access
View all12 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
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Dennis MüllerFAU Erlangen-NürnbergVerified email at fau.de
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
François BobotVerified email at bobot.eu