Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 5854 | 3690 |
Índice h | 41 | 34 |
Índice i10 | 63 | 53 |
Acesso público
Ver todos35 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichE-mail confirmado em inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mail confirmado em mpi-sws.org
- Chung-Kil HurSeoul National UniversityE-mail confirmado em sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail confirmado em normalesup.org
- Hai DangBedRock Systems. IncE-mail confirmado em mpi-sws.org
- Aaron TuronMPI-SWSE-mail confirmado em mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingE-mail confirmado em kaist.ac.kr
- Amal AhmedNortheastern UniversityE-mail confirmado em ccs.neu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mail confirmado em andrew.cmu.edu
- Michael SammlerMPI-SWSE-mail confirmado em mpi-sws.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumE-mail confirmado em alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeE-mail confirmado em cl.cam.ac.uk
- Ori LahavTel Aviv UniversityE-mail confirmado em tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechE-mail confirmado em mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mail confirmado em mpi-sws.org
- Karl CraryCarnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mail confirmado em mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteE-mail confirmado em imdea.org
Seguir
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
E-mail confirmado em mpi-sws.org - Página inicial