Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 9306 | 1523 |
h-indeks | 47 | 21 |
i10-indeks | 73 | 33 |
Dostęp publiczny
Wyświetl wszystko9 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityZweryfikowany adres z liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityZweryfikowany adres z cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofZweryfikowany adres z utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Filippo BonchiCNRS ENS-LyonZweryfikowany adres z ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityZweryfikowany adres z liacs.nl
- Catuscia PalamidessiInriaZweryfikowany adres z lix.polytechnique.fr
- Christel BaierTU DresdenZweryfikowany adres z tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenZweryfikowany adres z rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
- Marjan SirjaniMälardalen UniversityZweryfikowany adres z mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaZweryfikowany adres z cs.unibo.it
- Jurriaan RotRadboud UniversityZweryfikowany adres z cs.ru.nl
- Joost WinterUniversity of WarsawZweryfikowany adres z mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyZweryfikowany adres z win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaZweryfikowany adres z uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaZweryfikowany adres z uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityZweryfikowany adres z cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityZweryfikowany adres z math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Zweryfikowany adres z ist.tugraz.at