Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 507 | 447 |
Índice h | 10 | 9 |
Índice i10 | 10 | 9 |
Acesso público
Ver tudo7 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- 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
- Vu NguyenUniversity of Science, Vietnam National University - HCMCEmail confirmado em fit.hcmus.edu.vn
- Jeehoon KangAssistant Professor of KAIST School of ComputingEmail confirmado em kaist.ac.kr
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email confirmado em mpi-sws.org
- Ori LahavTel Aviv UniversityEmail confirmado em tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail confirmado em normalesup.org
- Azalea RaadImperial College LondonEmail confirmado em imperial.ac.uk
- Peter O'HearnLacework and University College LondonEmail confirmado em ucl.ac.uk
- Josh BerdineFacebookEmail confirmado em fb.com
- Jules VillardImperial College LondonEmail confirmado em imperial.ac.uk
- Simon SpiesMPI-SWSEmail confirmado em mpi-sws.org
- Thanh-Hai TranConsenSysEmail confirmado em consensys.net
- Michael SammlerMPI-SWSEmail confirmado em mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail confirmado em cs.ru.nl
- Jaemin ChoiKAISTEmail confirmado em kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at ChicagoEmail confirmado em uic.edu