Crea el meu perfil
Accés públic
Mostra-ho tot9 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityCorreu electrònic verificat a liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityCorreu electrònic verificat a cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofCorreu electrònic verificat a utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Correu electrònic verificat a cwi.nl
- Filippo BonchiCNRS ENS-LyonCorreu electrònic verificat a ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityCorreu electrònic verificat a liacs.nl
- Catuscia PalamidessiInriaCorreu electrònic verificat a lix.polytechnique.fr
- Christel BaierTU DresdenCorreu electrònic verificat a tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenCorreu electrònic verificat a rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenCorreu electrònic verificat a cs.ru.nl
- Marjan SirjaniMälardalen UniversityCorreu electrònic verificat a mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaCorreu electrònic verificat a cs.unibo.it
- Jurriaan RotRadboud UniversityCorreu electrònic verificat a cs.ru.nl
- Joost WinterUniversity of WarsawCorreu electrònic verificat a mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyCorreu electrònic verificat a win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaCorreu electrònic verificat a uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaCorreu electrònic verificat a uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityCorreu electrònic verificat a cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityCorreu electrònic verificat a math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Correu electrònic verificat a ist.tugraz.at