Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 9297 | 1514 |
h-index | 47 | 21 |
i10-index | 73 | 33 |
Acces public
Afișați-le pe toate9 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityAdresă de e-mail confirmată pe liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityAdresă de e-mail confirmată pe cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofAdresă de e-mail confirmată pe utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresă de e-mail confirmată pe cwi.nl
- Filippo BonchiCNRS ENS-LyonAdresă de e-mail confirmată pe ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityAdresă de e-mail confirmată pe liacs.nl
- Catuscia PalamidessiInriaAdresă de e-mail confirmată pe lix.polytechnique.fr
- Christel BaierTU DresdenAdresă de e-mail confirmată pe tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenAdresă de e-mail confirmată pe rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Marjan SirjaniMälardalen UniversityAdresă de e-mail confirmată pe mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaAdresă de e-mail confirmată pe cs.unibo.it
- Jurriaan RotRadboud UniversityAdresă de e-mail confirmată pe cs.ru.nl
- Joost WinterUniversity of WarsawAdresă de e-mail confirmată pe mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyAdresă de e-mail confirmată pe win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaAdresă de e-mail confirmată pe uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaAdresă de e-mail confirmată pe uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityAdresă de e-mail confirmată pe cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityAdresă de e-mail confirmată pe math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Adresă de e-mail confirmată pe ist.tugraz.at