Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2672 | 2237 |
indice h | 26 | 23 |
indice i10 | 41 | 38 |
Accès public
Tout afficher32 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
- 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
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de normalesup.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumAdresse e-mail validée de alesb.com
- Amin TimanyAarhus UniversityAdresse e-mail validée de cs.au.dk
- Jonas Kastberg HinrichsenAarhus UniversityAdresse e-mail validée de cs.au.dk
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyAdresse e-mail validée de tudelft.nl
- Dan FruminUniversity of GroningenAdresse e-mail validée de rug.nl
- Michael SammlerMPI-SWSAdresse e-mail validée de mpi-sws.org
- Arjen (Jonathan) RouvoetTNOAdresse e-mail validée de tno.nl
- Casper Bach PoulsenTU DelftAdresse e-mail validée de tudelft.nl
- Joseph TassarottiAssistant Professor, New York UniversityAdresse e-mail validée de nyu.edu
- Simon SpiesMPI-SWSAdresse e-mail validée de mpi-sws.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsAdresse e-mail validée de cs.ru.nl
- Jules JacobsRadboud UniversityAdresse e-mail validée de science.ru.nl
- Stephanie BalzerCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
- Daniel GratzerAarhus UniversityAdresse e-mail validée de cs.au.dk
- Ike MulderPhD student, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
- Bas SpittersAssociate Professor, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Suivre
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Adresse e-mail validée de cs.ru.nl - Page d'accueil