Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2089 | 1812 |
Índice h | 15 | 15 |
Índice i10 | 17 | 17 |
Acesso público
Ver todos17 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail confirmado em mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail confirmado em normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityE-mail confirmado em nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumE-mail confirmado em alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mail confirmado em mpi-sws.org
- Hai DangBedRock Systems. IncE-mail confirmado em mpi-sws.org
- Filip SieczkowskiHeriot-Watt UniversityE-mail confirmado em hw.ac.uk
- Aaron TuronMPI-SWSE-mail confirmado em mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityE-mail confirmado em itu.dk
- Jeehoon KangAssistant Professor of KAIST School of ComputingE-mail confirmado em kaist.ac.kr
- Amin TimanyAarhus UniversityE-mail confirmado em cs.au.dk
- Nickolai ZeldovichE-mail confirmado em csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)E-mail confirmado em mit.edu
- Simon SpiesMPI-SWSE-mail confirmado em mpi-sws.org
- Arthur CharguéraudInriaE-mail confirmado em inria.fr
- John RegehrProfessor, School of Computing, University of UtahE-mail confirmado em cs.utah.edu
- Zhengyang LiuUniversity of UtahE-mail confirmado em cs.utah.edu
- Chung-Kil HurSeoul National UniversityE-mail confirmado em sf.snu.ac.kr