Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1665 | 501 |
Índice h | 22 | 13 |
Índice i10 | 47 | 17 |
Acesso público
Ver todos12 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- aspertiUniversity of BolognaE-mail confirmado em cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceE-mail confirmado em telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaE-mail confirmado em cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghE-mail confirmado em wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaE-mail confirmado em studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesE-mail confirmado em amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergE-mail confirmado em fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mail confirmado em pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mail confirmado em ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mail confirmado em kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaE-mail confirmado em unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghE-mail confirmado em ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathE-mail confirmado em bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellE-mail confirmado em uml.edu
- James McKinnaHeriot-Watt University, EdinburghE-mail confirmado em hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureE-mail confirmado em di.ens.fr
- François BobotE-mail confirmado em bobot.eu
- Silvio ValentiniUniversità di PadovaE-mail confirmado em math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaE-mail confirmado em unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaE-mail confirmado em cs.unibo.it