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
Wilmer RicciottiUniversity of EdinburghVerified email at wilmer-ricciotti.net
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
Andrea CondoluciPhD at University of BolognaVerified email at studio.unibo.it
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
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
Silvio ValentiniUniversità di PadovaVerified email at math.unipd.it
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
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.it
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it