Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 5854 | 3690 |
Índice h | 41 | 34 |
Índice i10 | 63 | 53 |
Acceso público
Ver todo35 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichDirección de correo verificada de inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenDirección de correo verificada de cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Dirección de correo verificada de mpi-sws.org
- Chung-Kil HurSeoul National UniversityDirección de correo verificada de sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesDirección de correo verificada de normalesup.org
- Hai DangBedRock Systems. IncDirección de correo verificada de mpi-sws.org
- Aaron TuronMPI-SWSDirección de correo verificada de mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingDirección de correo verificada de kaist.ac.kr
- Amal AhmedNortheastern UniversityDirección de correo verificada de ccs.neu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
- Michael SammlerMPI-SWSDirección de correo verificada de mpi-sws.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumDirección de correo verificada de alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Ori LahavTel Aviv UniversityDirección de correo verificada de tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechDirección de correo verificada de mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Dirección de correo verificada de mpi-sws.org
- Karl CraryCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
- Deepak GargMax 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
Seguir
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Dirección de correo verificada de mpi-sws.org - Página principal