Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 1608 | 899 |
Índice h | 24 | 16 |
Índice i10 | 31 | 22 |
Acceso público
Ver todo11 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Nick BentonEngineering Manager, FacebookDirección de correo verificada de fb.com
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
Jana DunfieldQueen's UniversityDirección de correo verificada de queensu.ca
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Peter SewellComputer Laboratory, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Aaron TuronMPI-SWSDirección de correo verificada de mpi-sws.org
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Dirección de correo verificada de mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteDirección de correo verificada de imdea.org
Christopher PulteUniversity of CambridgeDirección de correo verificada de cam.ac.uk
Beta ZilianiFAMAF, UNC and Manas.TechDirección de correo verificada de mpi-sws.org
Ryan NewtonMIT, Indiana University, FacebookDirección de correo verificada de indiana.edu
Shaked FlurCambridge UniversityDirección de correo verificada de cl.cam.ac.uk
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghDirección de correo verificada de ed.ac.uk
Robert NortonUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Alastair ReidSenior Principal EngineerDirección de correo verificada de intel.com
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de ed.ac.uk
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityDirección de correo verificada de itu.dk
Lindsey KuperUniversity of California, Santa CruzDirección de correo verificada de ucsc.edu
Jeremy YallopUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk