Crea el meu perfil
Accés públic
Mostra-ho tot15 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Martin OderskyEPFLCorreu electrònic verificat a epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureCorreu electrònic verificat a ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghCorreu electrònic verificat a sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgCorreu electrònic verificat a cse.gu.se
- Nada AminHarvard UniversityCorreu electrònic verificat a alum.mit.edu
- Tiark RompfPurdue UniversityCorreu electrònic verificat a purdue.edu
- Tobias HeindelTU BerlinCorreu electrònic verificat a tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLCorreu electrònic verificat a epfl.ch
- Samuel GruetterMITCorreu electrònic verificat a mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityCorreu electrònic verificat a msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteCorreu electrònic verificat a imdea.org
- Amir ShaikhhaUniversity of EdinburghCorreu electrònic verificat a ed.ac.uk
- Aggelos BiboudisOracleCorreu electrònic verificat a oracle.com
- Heather MillerCarnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Olivier BlanvillainEPFLCorreu electrònic verificat a epfl.ch
- Vlad UrechePhD student, LAMP, EPFLCorreu electrònic verificat a epfl.ch
- Russ HarmerCNRS, LyonCorreu electrònic verificat a ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Correu electrònic verificat a tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamCorreu electrònic verificat a vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Correu electrònic verificat a tudelft.nl