Crea il mio profilo
Accesso pubblico
Visualizza tutto15 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Martin OderskyEPFLEmail verificata su epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureEmail verificata su ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghEmail verificata su sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgEmail verificata su cse.gu.se
- Nada AminHarvard UniversityEmail verificata su alum.mit.edu
- Tiark RompfPurdue UniversityEmail verificata su purdue.edu
- Tobias HeindelTU BerlinEmail verificata su tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLEmail verificata su epfl.ch
- Samuel GruetterMITEmail verificata su mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityEmail verificata su msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteEmail verificata su imdea.org
- Amir ShaikhhaUniversity of EdinburghEmail verificata su ed.ac.uk
- Aggelos BiboudisOracleEmail verificata su oracle.com
- Heather MillerCarnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Olivier BlanvillainEPFLEmail verificata su epfl.ch
- Vlad UrechePhD student, LAMP, EPFLEmail verificata su epfl.ch
- Russ HarmerCNRS, LyonEmail verificata su ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Email verificata su tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamEmail verificata su vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Email verificata su tudelft.nl