Skapa en profil
Offentlig åtkomst
Visa alla32 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichVerifierad e-postadress på inf.ethz.ch
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerifierad e-postadress på alesb.com
- Amin TimanyAarhus UniversityVerifierad e-postadress på cs.au.dk
- Jonas Kastberg HinrichsenAarhus UniversityVerifierad e-postadress på cs.au.dk
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerifierad e-postadress på tudelft.nl
- Dan FruminUniversity of GroningenVerifierad e-postadress på rug.nl
- Arjen (Jonathan) RouvoetTNOVerifierad e-postadress på tno.nl
- Michael SammlerMPI-SWSVerifierad e-postadress på mpi-sws.org
- Casper Bach PoulsenTU DelftVerifierad e-postadress på tudelft.nl
- Joseph TassarottiAssistant Professor, New York UniversityVerifierad e-postadress på nyu.edu
- Simon SpiesMPI-SWSVerifierad e-postadress på mpi-sws.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsVerifierad e-postadress på cs.ru.nl
- Daniel GratzerAarhus UniversityVerifierad e-postadress på cs.au.dk
- Jules JacobsRadboud UniversityVerifierad e-postadress på science.ru.nl
- Stephanie BalzerCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Ike MulderPhD student, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Bas SpittersAssociate Professor, Aarhus UniversityVerifierad e-postadress på cs.au.dk
Följ
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Verifierad e-postadress på cs.ru.nl - Startsida