Skapa en profil
Offentlig åtkomst
Visa alla25 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerifierad e-postadress på cs.kuleuven.be
- Dominique DevrieseKU LeuvenVerifierad e-postadress på kuleuven.be
- Leo StefanescoMPI-SWSVerifierad e-postadress på mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkVerifierad e-postadress på cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityVerifierad e-postadress på nyu.edu
- Aïna Linn GeorgesAarhus UniversityVerifierad e-postadress på mpi-sws.org
- Alix TrieuANSSIVerifierad e-postadress på ssi.gouv.fr
- Abel NietoGroqVerifierad e-postadress på groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichVerifierad e-postadress på inf.ethz.ch
- Rodolphe LepigreMPI-SWSVerifierad e-postadress på mpi-sws.org
- Marianna RapoportUniversity of WaterlooVerifierad e-postadress på uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselVerifierad e-postadress på vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Arthur CharguéraudInriaVerifierad e-postadress på inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityVerifierad e-postadress på nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSVerifierad e-postadress på inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifierad e-postadress på tudelft.nl