Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3666 | 974 |
indice h | 32 | 17 |
indice i10 | 64 | 34 |
Accès public
Tout afficher3 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Arthur CharguéraudInriaAdresse e-mail validée de inria.fr
- Vincent SimonetGoogle, FranceAdresse e-mail validée de vtst.net
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de normalesup.org
- Jonathan ProtzenkoMicrosoft ResearchAdresse e-mail validée de ens-lyon.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresse e-mail validée de pps.univ-paris-diderot.fr
- Christian SkalkaAssociate Professor of Computer Science, University of VermontAdresse e-mail validée de uvm.edu
- Didier RémyINRIAAdresse e-mail validée de inria.fr
- Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityAdresse e-mail validée de cs.jhu.edu
- Xavier LeroyCollège de FranceAdresse e-mail validée de college-de-france.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Hongseok YangProfessor, School of Computing, KAISTAdresse e-mail validée de kaist.ac.kr
- Bernhard ReusUniversity of SussexAdresse e-mail validée de sussex.ac.uk
- Jean-Christophe FilliâtreCNRSAdresse e-mail validée de lri.fr
- Alexandre MoineInria ParisAdresse e-mail validée de inria.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotAdresse e-mail validée de dicosmo.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyAdresse e-mail validée de fct.unl.pt
- Jean-Marie MadiotPrinceton UniversityAdresse e-mail validée de cs.princeton.edu