Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2208 | 1931 |
indice h | 15 | 15 |
indice i10 | 18 | 18 |
Accès public
Tout afficher18 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de cnrs.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Joseph TassarottiAssistant Professor, New York UniversityAdresse e-mail validée de nyu.edu
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumAdresse e-mail validée de alesb.com
David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresse e-mail validée de mpi-sws.org
Hai DangBedRock Systems. IncAdresse e-mail validée de mpi-sws.org
Jeehoon KangKAIST School of ComputingAdresse e-mail validée de kaist.ac.kr
Filip SieczkowskiHeriot-Watt UniversityAdresse e-mail validée de hw.ac.uk
Aaron TuronMPI-SWSAdresse e-mail validée de mpi-sws.org
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityAdresse e-mail validée de itu.dk
Amin TimanyAarhus UniversityAdresse e-mail validée de cs.au.dk
Nickolai ZeldovichAdresse e-mail validée de csail.mit.edu
Frans KaashoekMassuchesetts Institute of Technology (MIT)Adresse e-mail validée de mit.edu
Simon SpiesMPI-SWSAdresse e-mail validée de mpi-sws.org
Arthur CharguéraudInriaAdresse e-mail validée de inria.fr
Michael SammlerMPI-SWSAdresse e-mail validée de mpi-sws.org
John RegehrProfessor, School of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Zhengyang LiuUniversity of UtahAdresse e-mail validée de cs.utah.edu
Suivre![Ralf Jung](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=zddokfoAAAAJ&citpid=2)