Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 2142 | 1028 |
indice h | 23 | 17 |
indice i10 | 31 | 24 |
Accès public
Tout afficher19 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Mike RaineyCarnegie Mellon UniversityAdresse e-mail validée de mike-rainey.site
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceAdresse e-mail validée de cs.cmu.edu
François PottierInria ParisAdresse e-mail validée de inria.fr
Martin BodinInriaAdresse e-mail validée de ens-lyon.org
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de cnrs.fr
Alan SchmittInria, IRISAAdresse e-mail validée de inria.fr
Mário PereiraAssistant Professor, NOVA School of Science and TechnologyAdresse e-mail validée de fct.unl.pt
Jean-Christophe FilliâtreCNRSAdresse e-mail validée de lri.fr
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonAdresse e-mail validée de imperial.ac.uk
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonAdresse e-mail validée de doc.ic.ac.uk
Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
Amin TimanyAarhus UniversityAdresse e-mail validée de cs.au.dk
Joseph TassarottiAssistant Professor, New York UniversityAdresse e-mail validée de nyu.edu
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
Ralf JungAssistant Professor, ETH ZürichAdresse e-mail validée de inf.ethz.ch
Filip SieczkowskiHeriot-Watt UniversityAdresse e-mail validée de hw.ac.uk
Alexandre MoineNew York UniversityAdresse e-mail validée de nyu.edu
Samuel GruetterMITAdresse e-mail validée de mit.edu