Get my own profile

Public access

View all23 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
- Dominique DevrieseKU LeuvenVerified email at kuleuven.be
- Leo StefanescoIRIF, Université Paris DiderotVerified email at ens-lyon.fr
- Simon Oddershede GregersenPostdoctoral researcher, Aarhus UniversityVerified email at cs.au.dk
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkVerified email at cs.au.dk
- Aïna Linn GeorgesAarhus UniversityVerified email at mpi-sws.org
- Alix TrieuANSSIVerified email at ssi.gouv.fr
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- Abel NietoAarhus UniversityVerified email at cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
- Rodolphe LepigreMPI-SWSVerified email at mpi-sws.org
- Marianna RapoportUniversity of WaterlooVerified email at uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselVerified email at vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
- Arthur CharguéraudInriaVerified email at inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSVerified email at inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl