Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 812 | 732 |
indice h | 15 | 14 |
indice i10 | 18 | 17 |
Accès public
Tout afficher25 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenAdresse e-mail validée de cs.kuleuven.be
- Dominique DevrieseKU LeuvenAdresse e-mail validée de kuleuven.be
- Leo StefanescoMPI-SWSAdresse e-mail validée de mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkAdresse e-mail validée de cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityAdresse e-mail validée de nyu.edu
- Aïna Linn GeorgesAarhus UniversityAdresse e-mail validée de mpi-sws.org
- Alix TrieuANSSIAdresse e-mail validée de ssi.gouv.fr
- Abel NietoGroqAdresse e-mail validée de groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichAdresse e-mail validée de inf.ethz.ch
- Rodolphe LepigreMPI-SWSAdresse e-mail validée de mpi-sws.org
- Marianna RapoportUniversity of WaterlooAdresse e-mail validée de uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselAdresse e-mail validée de vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de normalesup.org
- Arthur CharguéraudInriaAdresse e-mail validée de inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityAdresse e-mail validée de nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSAdresse e-mail validée de inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Adresse e-mail validée de tudelft.nl