Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 437 | 213 |
indice h | 5 | 4 |
indice i10 | 5 | 3 |
Coauteurs
- Francesco Zappa NardelliFacebookAdresse e-mail validée de fb.com
- Lee PikeAWS Automated ReasoningAdresse e-mail validée de amazon.com
- Alwyn GoodloeResearch Computer Engineer, NASAAdresse e-mail validée de nasa.gov
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresse e-mail validée de mpi-sws.org
- Soham Sundar ChakrabortyTU DelftAdresse e-mail validée de tudelft.nl
- Benoit MontaguInriaAdresse e-mail validée de inria.fr
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
- Gregory MalechaBedRock Systems, IncAdresse e-mail validée de bedrocksystems.com
- Andre DeHonUniversity of PennsylvaniaAdresse e-mail validée de acm.org
- Greg MorrisettDean and Professor, Cornell UniversityAdresse e-mail validée de cornell.edu
- Greg SullivanDover MicrosystemsAdresse e-mail validée de sulliwood.org
- Olin ShiversNortheastern UniversityAdresse e-mail validée de ccs.neu.edu
- Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
- Florian BourseProfesseur agrégéAdresse e-mail validée de ens.fr
- David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)Adresse e-mail validée de ens.fr
- Antoine AmarilliI don't endorse Scholar, and just use it for recommendations and alerts. Please ignore this profile.Adresse e-mail validée de a3nm.net