Crea il mio profilo
Accesso pubblico
Visualizza tutto32 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichEmail verificata su inf.ethz.ch
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumEmail verificata su alesb.com
- Amin TimanyAarhus UniversityEmail verificata su cs.au.dk
- Jonas Kastberg HinrichsenAarhus UniversityEmail verificata su cs.au.dk
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyEmail verificata su tudelft.nl
- Dan FruminUniversity of GroningenEmail verificata su rug.nl
- Arjen (Jonathan) RouvoetTNOEmail verificata su tno.nl
- Michael SammlerMPI-SWSEmail verificata su mpi-sws.org
- Casper Bach PoulsenTU DelftEmail verificata su tudelft.nl
- Joseph TassarottiAssistant Professor, New York UniversityEmail verificata su nyu.edu
- Simon SpiesMPI-SWSEmail verificata su mpi-sws.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsEmail verificata su cs.ru.nl
- Daniel GratzerAarhus UniversityEmail verificata su cs.au.dk
- Jules JacobsRadboud UniversityEmail verificata su science.ru.nl
- Stephanie BalzerCarnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Ike MulderPhD student, Radboud University NijmegenEmail verificata su cs.ru.nl
- Bas SpittersAssociate Professor, Aarhus UniversityEmail verificata su cs.au.dk
Segui
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Email verificata su cs.ru.nl - Home page