Založit si vlastní profil
Veřejný přístup
Zobrazit všechny32 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumE-mailová adresa ověřena na: alesb.com
- Amin TimanyAarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Jonas Kastberg HinrichsenAarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Dan FruminUniversity of GroningenE-mailová adresa ověřena na: rug.nl
- Arjen (Jonathan) RouvoetTNOE-mailová adresa ověřena na: tno.nl
- Michael SammlerMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Casper Bach PoulsenTU DelftE-mailová adresa ověřena na: tudelft.nl
- Joseph TassarottiAssistant Professor, New York UniversityE-mailová adresa ověřena na: nyu.edu
- Simon SpiesMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsE-mailová adresa ověřena na: cs.ru.nl
- Jules JacobsRadboud UniversityE-mailová adresa ověřena na: science.ru.nl
- Stephanie BalzerCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Daniel GratzerAarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Ike MulderPhD student, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Bas SpittersAssociate Professor, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
Sledovat
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
E-mailová adresa ověřena na: cs.ru.nl - Domovská stránka