Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 6086 | 3921 |
indice h | 43 | 34 |
indice i10 | 65 | 55 |
Accès public
Tout afficher35 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Ralf JungAssistant Professor, ETH ZürichAdresse e-mail validée de inf.ethz.ch
Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresse e-mail validée de mpi-sws.org
Chung-Kil HurSeoul National UniversityAdresse e-mail validée de sf.snu.ac.kr
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de cnrs.fr
Hai DangBedRock Systems. IncAdresse e-mail validée de mpi-sws.org
Aaron TuronMPI-SWSAdresse e-mail validée de mpi-sws.org
Jeehoon KangKAIST School of ComputingAdresse e-mail validée de kaist.ac.kr
Michael SammlerMPI-SWSAdresse e-mail validée de mpi-sws.org
Amal AhmedNortheastern UniversityAdresse e-mail validée de ccs.neu.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumAdresse e-mail validée de alesb.com
Neelakantan R. KrishnaswamiUniversity of CambridgeAdresse e-mail validée de cl.cam.ac.uk
Ori LahavTel Aviv UniversityAdresse e-mail validée de tau.ac.il
Beta ZilianiFAMAF, UNC and Manas.TechAdresse e-mail validée de mpi-sws.org
David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresse e-mail validée de mpi-sws.org
Karl CraryCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresse e-mail validée de mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteAdresse e-mail validée de imdea.org
Suivre![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
Adresse e-mail validée de mpi-sws.org - Page d'accueil