Crea il mio profilo
Accesso pubblico
Visualizza tutto25 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail verificata su cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenEmail verificata su cs.kuleuven.be
- Dominique DevrieseKU LeuvenEmail verificata su kuleuven.be
- Leo StefanescoMPI-SWSEmail verificata su mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkEmail verificata su cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityEmail verificata su nyu.edu
- Aïna Linn GeorgesAarhus UniversityEmail verificata su mpi-sws.org
- Alix TrieuANSSIEmail verificata su ssi.gouv.fr
- Abel NietoGroqEmail verificata su groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichEmail verificata su inf.ethz.ch
- Rodolphe LepigreMPI-SWSEmail verificata su mpi-sws.org
- Marianna RapoportUniversity of WaterlooEmail verificata su uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselEmail verificata su vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Arthur CharguéraudInriaEmail verificata su inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityEmail verificata su nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSEmail verificata su inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Email verificata su tudelft.nl