Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 6086 | 3921 |
Índice h | 43 | 34 |
Índice i10 | 65 | 55 |
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 cnrs.fr
Hai DangBedRock Systems. IncDirección de correo verificada de mpi-sws.org
Aaron TuronMPI-SWSDirección de correo verificada de mpi-sws.org
Jeehoon KangKAIST School of ComputingDirección de correo verificada de kaist.ac.kr
Michael SammlerMPI-SWSDirección de correo verificada de mpi-sws.org
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
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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=1_c89uMAAAAJ&citpid=4)
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