Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 401 | 267 |
indice h | 9 | 7 |
indice i10 | 9 | 5 |
Accès public
Tout afficher15 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Martin OderskyEPFLAdresse e-mail validée de epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureAdresse e-mail validée de ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghAdresse e-mail validée de sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgAdresse e-mail validée de cse.gu.se
- Nada AminHarvard UniversityAdresse e-mail validée de alum.mit.edu
- Tiark RompfPurdue UniversityAdresse e-mail validée de purdue.edu
- Tobias HeindelTU BerlinAdresse e-mail validée de tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLAdresse e-mail validée de epfl.ch
- Samuel GruetterMITAdresse e-mail validée de mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityAdresse e-mail validée de msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
- Amir ShaikhhaUniversity of EdinburghAdresse e-mail validée de ed.ac.uk
- Aggelos BiboudisOracleAdresse e-mail validée de oracle.com
- Heather MillerCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
- Olivier BlanvillainEPFLAdresse e-mail validée de epfl.ch
- Vlad UrechePhD student, LAMP, EPFLAdresse e-mail validée de epfl.ch
- Russ HarmerCNRS, LyonAdresse e-mail validée de ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Adresse e-mail validée de tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamAdresse e-mail validée de vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Adresse e-mail validée de tudelft.nl