Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 549 | 428 |
Índice h | 13 | 12 |
Índice i10 | 13 | 13 |
Acesso público
Ver todos16 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Peter SewellComputer Laboratory, University of CambridgeE-mail confirmado em cl.cam.ac.uk
- Conrad WattAssistant Professor, Nanyang Technological UniversityE-mail confirmado em ntu.edu.sg
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityE-mail confirmado em itu.dk
- Ben SimnerUniversity of CambridgeE-mail confirmado em cam.ac.uk
- Shaked FlurCambridge UniversityE-mail confirmado em cl.cam.ac.uk
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonE-mail confirmado em imperial.ac.uk
- Rao XiaojiaPhD Student, Imperial CollegeE-mail confirmado em ic.ac.uk
- 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
- Jeehoon KangKAIST School of ComputingE-mail confirmado em kaist.ac.kr
- Sung-Hwan LeeRebellions Inc.E-mail confirmado em rebellions.ai
- Chung-Kil HurSeoul National UniversityE-mail confirmado em sf.snu.ac.kr
- Luc MarangetInriaE-mail confirmado em inria.fr
- Filip SieczkowskiHeriot-Watt UniversityE-mail confirmado em hw.ac.uk
- Anton PodkopaevJetBrains Research, Constructor University BremenE-mail confirmado em jetbrains.com
- Michael SammlerMPI-SWSE-mail confirmado em mpi-sws.org
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghE-mail confirmado em ed.ac.uk
- Martin BodinInriaE-mail confirmado em ens-lyon.org
- Rodolphe LepigreMPI-SWSE-mail confirmado em mpi-sws.org