Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1978 | 1089 |
Índice h | 23 | 18 |
Índice i10 | 30 | 26 |
Acesso público
Ver tudo18 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Mike RaineyCarnegie Mellon UniversityEmail confirmado em mike-rainey.site
- Umut A. AcarCarnegie Mellon University, Department of Computer ScienceEmail confirmado em cs.cmu.edu
- François PottierInria ParisEmail confirmado em inria.fr
- Alan SchmittInria, IRISAEmail confirmado em inria.fr
- Martin BodinInriaEmail confirmado em ens-lyon.org
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail confirmado em cis.upenn.edu
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaEmail confirmado em cis.upenn.edu
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail confirmado em normalesup.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyEmail confirmado em fct.unl.pt
- Jean-Christophe FilliâtreCNRSEmail confirmado em lri.fr
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonEmail confirmado em imperial.ac.uk
- Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonEmail confirmado em doc.ic.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail confirmado em cs.ru.nl
- Amin TimanyAarhus UniversityEmail confirmado em cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityEmail confirmado em nyu.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail confirmado em mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichEmail confirmado em inf.ethz.ch
- Filip SieczkowskiHeriot-Watt UniversityEmail confirmado em hw.ac.uk
- Alexandre MoineInria ParisEmail confirmado em inria.fr
- Samuel GruetterMITEmail confirmado em mit.edu