Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 844 | 765 |
indice h | 15 | 14 |
indice i10 | 21 | 20 |
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
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
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
Abel NietoGroqAdresse e-mail validée de groq.com
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 cnrs.fr
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
Johan BayAarhus UniversityAdresse e-mail validée de cs.au.dk