Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 798 | 718 |
Índice h | 15 | 14 |
Índice i10 | 18 | 17 |
Acceso público
Ver todo25 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenDirección de correo verificada de cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenDirección de correo verificada de cs.kuleuven.be
- Dominique DevrieseKU LeuvenDirección de correo verificada de kuleuven.be
- Leo StefanescoMPI-SWSDirección de correo verificada de mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkDirección de correo verificada de cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityDirección de correo verificada de nyu.edu
- Aïna Linn GeorgesAarhus UniversityDirección de correo verificada de mpi-sws.org
- Alix TrieuANSSIDirección de correo verificada de ssi.gouv.fr
- Abel NietoGroqDirección de correo verificada de groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichDirección de correo verificada de inf.ethz.ch
- Rodolphe LepigreMPI-SWSDirección de correo verificada de mpi-sws.org
- Marianna RapoportUniversity of WaterlooDirección de correo verificada de uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselDirección de correo verificada de vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesDirección de correo verificada de normalesup.org
- Arthur CharguéraudInriaDirección de correo verificada de inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityDirección de correo verificada de nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSDirección de correo verificada de inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Dirección de correo verificada de tudelft.nl