Crea il mio profilo
Accesso pubblico
Visualizza tutto9 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityEmail verificata su liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityEmail verificata su cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofEmail verificata su utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
- Filippo BonchiCNRS ENS-LyonEmail verificata su ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail verificata su liacs.nl
- Catuscia PalamidessiInriaEmail verificata su lix.polytechnique.fr
- Christel BaierTU DresdenEmail verificata su tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenEmail verificata su rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenEmail verificata su cs.ru.nl
- Marjan SirjaniMälardalen UniversityEmail verificata su mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaEmail verificata su cs.unibo.it
- Jurriaan RotRadboud UniversityEmail verificata su cs.ru.nl
- Joost WinterUniversity of WarsawEmail verificata su mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail verificata su win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaEmail verificata su uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaEmail verificata su uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityEmail verificata su cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityEmail verificata su math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Email verificata su ist.tugraz.at