Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 9308 | 1525 |
indeks-h | 47 | 21 |
indeks-i10 | 73 | 33 |
Akses publik
Lihat semua9 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityEmail yang diverifikasi di liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityEmail yang diverifikasi di cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofEmail yang diverifikasi di utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email yang diverifikasi di cwi.nl
- Filippo BonchiCNRS ENS-LyonEmail yang diverifikasi di ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail yang diverifikasi di liacs.nl
- Catuscia PalamidessiInriaEmail yang diverifikasi di lix.polytechnique.fr
- Christel BaierTU DresdenEmail yang diverifikasi di tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenEmail yang diverifikasi di rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenEmail yang diverifikasi di cs.ru.nl
- Marjan SirjaniMälardalen UniversityEmail yang diverifikasi di mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaEmail yang diverifikasi di cs.unibo.it
- Jurriaan RotRadboud UniversityEmail yang diverifikasi di cs.ru.nl
- Joost WinterUniversity of WarsawEmail yang diverifikasi di mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail yang diverifikasi di win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaEmail yang diverifikasi di uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaEmail yang diverifikasi di uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityEmail yang diverifikasi di cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityEmail yang diverifikasi di math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Email yang diverifikasi di ist.tugraz.at