Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 823 | 337 |
Índice h | 14 | 11 |
Índice i10 | 16 | 11 |
Acesso público
Ver todos8 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceE-mail confirmado em irisa.fr
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayE-mail confirmado em lsv.fr
- Romain BrenguierUniversity of OxfordE-mail confirmado em cs.ox.ac.uk
- Dominik WojtczakDepartment of Computer Science, University of LiverpoolE-mail confirmado em liverpool.ac.uk
- Christel BaierTU DresdenE-mail confirmado em tu-dresden.de
- Erich GrädelRWTH Aachen UniversityE-mail confirmado em logic.rwth-aachen.de
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderE-mail confirmado em colorado.edu
- Aistis ŠimaitisUniversity of OxfordE-mail confirmado em cs.ox.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonE-mail confirmado em bbk.ac.uk
- Vojtěch ForejtDifflblueE-mail confirmado em diffblue.com
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mail confirmado em comlab.ox.ac.uk
- Rohit ChadhaUniversity of MissouriE-mail confirmado em missouri.edu