Obter o meu próprio perfil
Citado por
Todos | Desde 2020 | |
---|---|---|
Citações | 9619 | 1386 |
Índice h | 48 | 19 |
Índice i10 | 75 | 32 |
Acesso público
Ver tudo9 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
Marcello BonsangueProfessor of Computer Science, Leiden UniversityEmail confirmado em liacs.leidenuniv.nl
Alexandra SilvaCornell UniversityEmail confirmado em cornell.edu
Joost KokVice-Dean Mathematics and Computer ScienceEmail confirmado em tue.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email confirmado em cwi.nl
Filippo BonchiCNRS ENS-LyonEmail confirmado em ens-lyon.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail confirmado em liacs.nl
Catuscia PalamidessiInriaEmail confirmado em lix.polytechnique.fr
Helle Hvid HansenAssociate Professor at University of GroningenEmail confirmado em rug.nl
Christel BaierTU DresdenEmail confirmado em tu-dresden.de
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenEmail confirmado em cs.ru.nl
Marjan SirjaniMälardalen UniversityEmail confirmado em mdh.se
Davide SangiorgiProfessor of Computer Science, University of BolognaEmail confirmado em cs.unibo.it
Jurriaan RotRadboud UniversityEmail confirmado em cs.ru.nl
Joost WinterUniversity of WarsawEmail confirmado em mimuw.edu.pl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail confirmado em win.tue.nl
Enric Cosme LlópezUniversitat de ValènciaEmail confirmado em uv.es
Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaEmail confirmado em uv.es
Prakash PanangadenProfessor of Computer Science, McGill UniversityEmail confirmado em cs.mcgill.ca
Henning BasoldLIACS - Leiden UniversityEmail confirmado em liacs.leidenuniv.nl
Meng SunProfessor, School of Mathematical Science, Peking UniversityEmail confirmado em math.pku.edu.cn