Mijn eigen profiel maken
Openbare toegang
Alles bekijken19 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
Jan RuttenCWIGeverifieerd e-mailadres voor cwi.nl
Alexandra SilvaCornell UniversityGeverifieerd e-mailadres voor cornell.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityGeverifieerd e-mailadres voor liacs.nl
Joost KokVice-Dean Mathematics and Computer ScienceGeverifieerd e-mailadres voor tue.nl
Jurriaan RotRadboud UniversityGeverifieerd e-mailadres voor cs.ru.nl
Filippo BonchiCNRS ENS-LyonGeverifieerd e-mailadres voor ens-lyon.fr
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgGeverifieerd e-mailadres voor uni.lu
Martin SteffenUniversity of OsloGeverifieerd e-mailadres voor ifi.uio.no
Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIenGeverifieerd e-mailadres voor acm.org
Alexander KurzChapman UniversityGeverifieerd e-mailadres voor chapman.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityGeverifieerd e-mailadres voor cs.rwth-aachen.de
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaGeverifieerd e-mailadres voor cs.unibo.it
Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityGeverifieerd e-mailadres voor han.nl
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagGeverifieerd e-mailadres voor imag.fr
Maria-Eugenia IacobProfessor, University of TwenteGeverifieerd e-mailadres voor utwente.nl
Helle Hvid HansenAssociate Professor at University of GroningenGeverifieerd e-mailadres voor rug.nl
Fan Zhou (周帆)University of Electronic Science and Technology of ChinaGeverifieerd e-mailadres voor uestc.edu.cn
Xueqin Chen (陈学勤)Delft University of TechnologyGeverifieerd e-mailadres voor tudelft.nl
Dave ClarkeIndependentGeverifieerd e-mailadres voor storytel.com
Volgen![Marcello Bonsangue](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=IyyYFqcAAAAJ&citpid=2)
Marcello Bonsangue
Professor of Computer Science, Leiden University
Geverifieerd e-mailadres voor liacs.leidenuniv.nl - Homepage