Mijn eigen profiel maken
Openbare toegang
Alles bekijken15 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Martin OderskyEPFLGeverifieerd e-mailadres voor epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureGeverifieerd e-mailadres voor ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghGeverifieerd e-mailadres voor sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgGeverifieerd e-mailadres voor cse.gu.se
- Nada AminHarvard UniversityGeverifieerd e-mailadres voor alum.mit.edu
- Tiark RompfPurdue UniversityGeverifieerd e-mailadres voor purdue.edu
- Tobias HeindelTU BerlinGeverifieerd e-mailadres voor tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLGeverifieerd e-mailadres voor epfl.ch
- Samuel GruetterMITGeverifieerd e-mailadres voor mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityGeverifieerd e-mailadres voor msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteGeverifieerd e-mailadres voor imdea.org
- Amir ShaikhhaUniversity of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Aggelos BiboudisOracleGeverifieerd e-mailadres voor oracle.com
- Heather MillerCarnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
- Olivier BlanvillainEPFLGeverifieerd e-mailadres voor epfl.ch
- Vlad UrechePhD student, LAMP, EPFLGeverifieerd e-mailadres voor epfl.ch
- Russ HarmerCNRS, LyonGeverifieerd e-mailadres voor ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Geverifieerd e-mailadres voor tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamGeverifieerd e-mailadres voor vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Geverifieerd e-mailadres voor tudelft.nl