Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3672 | 980 |
Índice h | 32 | 17 |
Índice i10 | 64 | 34 |
Acesso público
Ver todos3 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Arthur CharguéraudInriaE-mail confirmado em inria.fr
- Vincent SimonetGoogle, FranceE-mail confirmado em vtst.net
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail confirmado em normalesup.org
- Jonathan ProtzenkoMicrosoft ResearchE-mail confirmado em ens-lyon.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mail confirmado em pps.univ-paris-diderot.fr
- Christian SkalkaAssociate Professor of Computer Science, University of VermontE-mail confirmado em uvm.edu
- Didier RémyINRIAE-mail confirmado em inria.fr
- Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityE-mail confirmado em cs.jhu.edu
- Xavier LeroyCollège de FranceE-mail confirmado em college-de-france.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Hongseok YangProfessor, School of Computing, KAISTE-mail confirmado em kaist.ac.kr
- Bernhard ReusUniversity of SussexE-mail confirmado em sussex.ac.uk
- Jean-Christophe FilliâtreCNRSE-mail confirmado em lri.fr
- Alexandre MoineInria ParisE-mail confirmado em inria.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotE-mail confirmado em dicosmo.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyE-mail confirmado em fct.unl.pt
- Jean-Marie MadiotPrinceton UniversityE-mail confirmado em cs.princeton.edu