Mijn eigen profiel maken
Openbare toegang
Alles bekijken9 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityGeverifieerd e-mailadres voor liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityGeverifieerd e-mailadres voor cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofGeverifieerd e-mailadres voor utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
- Filippo BonchiCNRS ENS-LyonGeverifieerd e-mailadres voor ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityGeverifieerd e-mailadres voor liacs.nl
- Catuscia PalamidessiInriaGeverifieerd e-mailadres voor lix.polytechnique.fr
- Christel BaierTU DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenGeverifieerd e-mailadres voor rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Marjan SirjaniMälardalen UniversityGeverifieerd e-mailadres voor mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaGeverifieerd e-mailadres voor cs.unibo.it
- Jurriaan RotRadboud UniversityGeverifieerd e-mailadres voor cs.ru.nl
- Joost WinterUniversity of WarsawGeverifieerd e-mailadres voor mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaGeverifieerd e-mailadres voor uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaGeverifieerd e-mailadres voor uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityGeverifieerd e-mailadres voor cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityGeverifieerd e-mailadres voor math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Geverifieerd e-mailadres voor ist.tugraz.at