Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 5866 | 3700 |
indice h | 41 | 34 |
indice i10 | 64 | 54 |
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 normalesup.org
- Hai DangBedRock Systems. IncAdresse e-mail validée de mpi-sws.org
- Aaron TuronMPI-SWSAdresse e-mail validée de mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingAdresse e-mail validée de kaist.ac.kr
- 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
- Michael SammlerMPI-SWSAdresse e-mail validée de mpi-sws.org
- 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
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Adresse e-mail validée de mpi-sws.org - Page d'accueil