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 KokVice-Dean Mathematics and Computer ScienceGeverifieerd e-mailadres voor tue.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
Helle Hvid HansenAssociate Professor at University of GroningenGeverifieerd e-mailadres voor rug.nl
Christel BaierTU DresdenGeverifieerd e-mailadres voor tu-dresden.de
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
Henning BasoldLIACS - Leiden UniversityGeverifieerd e-mailadres voor liacs.leidenuniv.nl
Meng SunProfessor, School of Mathematical Science, Peking UniversityGeverifieerd e-mailadres voor math.pku.edu.cn