Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 1676 | 512 |
h-index | 22 | 13 |
i10-index | 48 | 19 |
Acces public
Afișați-le pe toate12 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- aspertiUniversity of BolognaAdresă de e-mail confirmată pe cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceAdresă de e-mail confirmată pe telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaAdresă de e-mail confirmată pe cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghAdresă de e-mail confirmată pe wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaAdresă de e-mail confirmată pe studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesAdresă de e-mail confirmată pe amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergAdresă de e-mail confirmată pe fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresă de e-mail confirmată pe pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHAdresă de e-mail confirmată pe kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaAdresă de e-mail confirmată pe unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathAdresă de e-mail confirmată pe bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellAdresă de e-mail confirmată pe uml.edu
- James McKinnaHeriot-Watt University, EdinburghAdresă de e-mail confirmată pe hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureAdresă de e-mail confirmată pe di.ens.fr
- François BobotAdresă de e-mail confirmată pe bobot.eu
- Silvio ValentiniUniversità di PadovaAdresă de e-mail confirmată pe math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaAdresă de e-mail confirmată pe unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaAdresă de e-mail confirmată pe cs.unibo.it