Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 803 | 723 |
Índice h | 15 | 14 |
Índice i10 | 18 | 17 |
Acesso público
Ver todos25 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenE-mail confirmado em cs.kuleuven.be
- Dominique DevrieseKU LeuvenE-mail confirmado em kuleuven.be
- Leo StefanescoMPI-SWSE-mail confirmado em mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkE-mail confirmado em cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityE-mail confirmado em nyu.edu
- Aïna Linn GeorgesAarhus UniversityE-mail confirmado em mpi-sws.org
- Alix TrieuANSSIE-mail confirmado em ssi.gouv.fr
- Abel NietoGroqE-mail confirmado em groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail confirmado em mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichE-mail confirmado em inf.ethz.ch
- Rodolphe LepigreMPI-SWSE-mail confirmado em mpi-sws.org
- Marianna RapoportUniversity of WaterlooE-mail confirmado em uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselE-mail confirmado em vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail confirmado em normalesup.org
- Arthur CharguéraudInriaE-mail confirmado em inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityE-mail confirmado em nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSE-mail confirmado em inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mail confirmado em tudelft.nl