Mijn eigen profiel maken
Openbare toegang
Alles bekijken12 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- aspertiUniversity of BolognaGeverifieerd e-mailadres voor cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceGeverifieerd e-mailadres voor telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaGeverifieerd e-mailadres voor cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghGeverifieerd e-mailadres voor wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaGeverifieerd e-mailadres voor studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesGeverifieerd e-mailadres voor amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergGeverifieerd e-mailadres voor fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityGeverifieerd e-mailadres voor pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHGeverifieerd e-mailadres voor kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaGeverifieerd e-mailadres voor unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathGeverifieerd e-mailadres voor bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellGeverifieerd e-mailadres voor uml.edu
- James McKinnaHeriot-Watt University, EdinburghGeverifieerd e-mailadres voor hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureGeverifieerd e-mailadres voor di.ens.fr
- François BobotGeverifieerd e-mailadres voor bobot.eu
- Silvio ValentiniUniversità di PadovaGeverifieerd e-mailadres voor math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaGeverifieerd e-mailadres voor unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaGeverifieerd e-mailadres voor cs.unibo.it