Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1219 | 359 |
Índice h | 17 | 10 |
Índice i10 | 22 | 10 |
Acesso público
Ver todos2 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- John PowerHonorary Professor in Computing, Macquarie UniversityE-mail confirmado em bath.edu
- James WorrellProfessor of Computer Science, Oxford UniversityE-mail confirmado em cs.ox.ac.uk
- Uday ReddyUniversity of BirminghamE-mail confirmado em cs.bham.ac.uk
- Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonE-mail confirmado em qmul.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mail confirmado em math.ist.utl.pt
- Alessio SantamariaLecturer at the University of SussexE-mail confirmado em sussex.ac.uk
- Marta BungeEmeritus Professor of Mathematics, McGill UniversityE-mail confirmado em mcgill.ca