Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 9280 | 1498 |
indice h | 47 | 20 |
indice i10 | 73 | 33 |
Accès public
Tout afficher9 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityAdresse e-mail validée de cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofAdresse e-mail validée de utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresse e-mail validée de cwi.nl
- Filippo BonchiCNRS ENS-LyonAdresse e-mail validée de ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.nl
- Catuscia PalamidessiInriaAdresse e-mail validée de lix.polytechnique.fr
- Christel BaierTU DresdenAdresse e-mail validée de tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenAdresse e-mail validée de rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
- Marjan SirjaniMälardalen UniversityAdresse e-mail validée de mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it
- Jurriaan RotRadboud UniversityAdresse e-mail validée de cs.ru.nl
- Joost WinterUniversity of WarsawAdresse e-mail validée de mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyAdresse e-mail validée de win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaAdresse e-mail validée de uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaAdresse e-mail validée de uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityAdresse e-mail validée de cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityAdresse e-mail validée de math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Adresse e-mail validée de ist.tugraz.at