Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 1659 | 495 |
Índice h | 22 | 13 |
Índice i10 | 47 | 17 |
Acceso público
Ver todo12 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- aspertiUniversity of BolognaDirección de correo verificada de cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceDirección de correo verificada de telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaDirección de correo verificada de cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghDirección de correo verificada de wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaDirección de correo verificada de studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesDirección de correo verificada de amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergDirección de correo verificada de fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityDirección de correo verificada de pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHDirección de correo verificada de kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaDirección de correo verificada de unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghDirección de correo verificada de ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathDirección de correo verificada de bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellDirección de correo verificada de uml.edu
- James McKinnaHeriot-Watt University, EdinburghDirección de correo verificada de hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureDirección de correo verificada de di.ens.fr
- François BobotDirección de correo verificada de bobot.eu
- Silvio ValentiniUniversità di PadovaDirección de correo verificada de math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaDirección de correo verificada de unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it