Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 2691 | 2256 |
h-індекс | 26 | 23 |
i10-індекс | 41 | 38 |
Доступні для всіх
Переглянути всі32 статті
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПідтверджена електронна адреса в mpi-sws.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityПідтверджена електронна адреса в cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichПідтверджена електронна адреса в inf.ethz.ch
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesПідтверджена електронна адреса в normalesup.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumПідтверджена електронна адреса в alesb.com
- Amin TimanyAarhus UniversityПідтверджена електронна адреса в cs.au.dk
- Jonas Kastberg HinrichsenAarhus UniversityПідтверджена електронна адреса в cs.au.dk
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyПідтверджена електронна адреса в tudelft.nl
- Dan FruminUniversity of GroningenПідтверджена електронна адреса в rug.nl
- Michael SammlerMPI-SWSПідтверджена електронна адреса в mpi-sws.org
- Arjen (Jonathan) RouvoetTNOПідтверджена електронна адреса в tno.nl
- Casper Bach PoulsenTU DelftПідтверджена електронна адреса в tudelft.nl
- Joseph TassarottiAssistant Professor, New York UniversityПідтверджена електронна адреса в nyu.edu
- Simon SpiesMPI-SWSПідтверджена електронна адреса в mpi-sws.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsПідтверджена електронна адреса в cs.ru.nl
- Jules JacobsRadboud UniversityПідтверджена електронна адреса в science.ru.nl
- Stephanie BalzerCarnegie Mellon UniversityПідтверджена електронна адреса в cs.cmu.edu
- Daniel GratzerAarhus UniversityПідтверджена електронна адреса в cs.au.dk
- Ike MulderPhD student, Radboud University NijmegenПідтверджена електронна адреса в cs.ru.nl
- Bas SpittersAssociate Professor, Aarhus UniversityПідтверджена електронна адреса в cs.au.dk
Підписатись
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Підтверджена електронна адреса в cs.ru.nl - Домашня сторінка