Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 9302 | 1519 |
h-index | 47 | 21 |
i10-indeks | 73 | 33 |
Offentlig adgang
Se alle9 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerificeret mail på liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityVerificeret mail på cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerificeret mail på utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verificeret mail på cwi.nl
- Filippo BonchiCNRS ENS-LyonVerificeret mail på ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityVerificeret mail på liacs.nl
- Catuscia PalamidessiInriaVerificeret mail på lix.polytechnique.fr
- Christel BaierTU DresdenVerificeret mail på tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenVerificeret mail på rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerificeret mail på cs.ru.nl
- Marjan SirjaniMälardalen UniversityVerificeret mail på mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaVerificeret mail på cs.unibo.it
- Jurriaan RotRadboud UniversityVerificeret mail på cs.ru.nl
- Joost WinterUniversity of WarsawVerificeret mail på mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerificeret mail på win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaVerificeret mail på uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaVerificeret mail på uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityVerificeret mail på cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityVerificeret mail på math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Verificeret mail på ist.tugraz.at