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