Mijn eigen profiel maken
Openbare toegang
Alles bekijken25 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Lars BirkedalDept. of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenGeverifieerd e-mailadres voor cs.kuleuven.be
- Dominique DevrieseKU LeuvenGeverifieerd e-mailadres voor kuleuven.be
- Leo StefanescoMPI-SWSGeverifieerd e-mailadres voor mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkGeverifieerd e-mailadres voor cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityGeverifieerd e-mailadres voor nyu.edu
- Aïna Linn GeorgesAarhus UniversityGeverifieerd e-mailadres voor mpi-sws.org
- Alix TrieuANSSIGeverifieerd e-mailadres voor ssi.gouv.fr
- Abel NietoGroqGeverifieerd e-mailadres voor groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichGeverifieerd e-mailadres voor inf.ethz.ch
- Rodolphe LepigreMPI-SWSGeverifieerd e-mailadres voor mpi-sws.org
- Marianna RapoportUniversity of WaterlooGeverifieerd e-mailadres voor uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselGeverifieerd e-mailadres voor vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesGeverifieerd e-mailadres voor normalesup.org
- Arthur CharguéraudInriaGeverifieerd e-mailadres voor inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityGeverifieerd e-mailadres voor nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSGeverifieerd e-mailadres voor inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Geverifieerd e-mailadres voor tudelft.nl