Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 1669 | 505 |
indice h | 22 | 13 |
indice i10 | 47 | 18 |
Accès public
Tout afficher12 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- aspertiUniversity of BolognaAdresse e-mail validée de cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceAdresse e-mail validée de telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaAdresse e-mail validée de cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghAdresse e-mail validée de wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaAdresse e-mail validée de studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesAdresse e-mail validée de amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergAdresse e-mail validée de fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresse e-mail validée de pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresse e-mail validée de ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHAdresse e-mail validée de kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaAdresse e-mail validée de unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghAdresse e-mail validée de ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathAdresse e-mail validée de bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellAdresse e-mail validée de uml.edu
- James McKinnaHeriot-Watt University, EdinburghAdresse e-mail validée de hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureAdresse e-mail validée de di.ens.fr
- François BobotAdresse e-mail validée de bobot.eu
- Silvio ValentiniUniversità di PadovaAdresse e-mail validée de math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaAdresse e-mail validée de unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it