Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 9306 | 1523 |
Índice h | 47 | 21 |
Índice i10 | 73 | 33 |
Acceso público
Ver todo9 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityDirección de correo verificada de liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityDirección de correo verificada de cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofDirección de correo verificada de utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Dirección de correo verificada de cwi.nl
- Filippo BonchiCNRS ENS-LyonDirección de correo verificada de ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityDirección de correo verificada de liacs.nl
- Catuscia PalamidessiInriaDirección de correo verificada de lix.polytechnique.fr
- Christel BaierTU DresdenDirección de correo verificada de tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenDirección de correo verificada de rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenDirección de correo verificada de cs.ru.nl
- Marjan SirjaniMälardalen UniversityDirección de correo verificada de mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
- Jurriaan RotRadboud UniversityDirección de correo verificada de cs.ru.nl
- Joost WinterUniversity of WarsawDirección de correo verificada de mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyDirección de correo verificada de win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaDirección de correo verificada de uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaDirección de correo verificada de uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityDirección de correo verificada de cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityDirección de correo verificada de math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Dirección de correo verificada de ist.tugraz.at