Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 506 | 446 |
Índice h | 10 | 9 |
Índice i10 | 10 | 9 |
Acesso público
Ver todos7 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
- Ralf JungAssistant Professor, ETH ZürichE-mail confirmado em inf.ethz.ch
- Vu NguyenUniversity of Science, Vietnam National University - HCMCE-mail confirmado em fit.hcmus.edu.vn
- Jeehoon KangAssistant Professor of KAIST School of ComputingE-mail confirmado em kaist.ac.kr
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mail confirmado em mpi-sws.org
- Ori LahavTel Aviv UniversityE-mail confirmado em tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail confirmado em normalesup.org
- Azalea RaadImperial College LondonE-mail confirmado em imperial.ac.uk
- Peter O'HearnLacework and University College LondonE-mail confirmado em ucl.ac.uk
- Josh BerdineFacebookE-mail confirmado em fb.com
- Jules VillardImperial College LondonE-mail confirmado em imperial.ac.uk
- Simon SpiesMPI-SWSE-mail confirmado em mpi-sws.org
- Thanh-Hai TranConsenSysE-mail confirmado em consensys.net
- Michael SammlerMPI-SWSE-mail confirmado em mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- Jaemin ChoiKAISTE-mail confirmado em kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at ChicagoE-mail confirmado em uic.edu