Skapa en profil
Offentlig åtkomst
Visa alla12 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- aspertiUniversity of BolognaVerifierad e-postadress på cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerifierad e-postadress på telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaVerifierad e-postadress på cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghVerifierad e-postadress på wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaVerifierad e-postadress på studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerifierad e-postadress på amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergVerifierad e-postadress på fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerifierad e-postadress på pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerifierad e-postadress på kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaVerifierad e-postadress på unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathVerifierad e-postadress på bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellVerifierad e-postadress på uml.edu
- James McKinnaHeriot-Watt University, EdinburghVerifierad e-postadress på hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureVerifierad e-postadress på di.ens.fr
- François BobotVerifierad e-postadress på bobot.eu
- Silvio ValentiniUniversità di PadovaVerifierad e-postadress på math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaVerifierad e-postadress på unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaVerifierad e-postadress på cs.unibo.it