Get my own profile
Public access
View all19 articles
1 article
available
not available
Based on funding mandates
Co-authors
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Jan RuttenCWIVerified email at cwi.nl
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Joost KokVice-Dean Mathematics and Computer ScienceVerified email at tue.nl
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIenVerified email at acm.org
Alexander KurzChapman UniversityVerified email at chapman.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityVerified email at han.nl
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Maria-Eugenia IacobProfessor, University of TwenteVerified email at utwente.nl
Fan Zhou (周帆)University of Electronic Science and Technology of ChinaVerified email at uestc.edu.cn
Xueqin Chen (陈学勤)Delft University of TechnologyVerified email at tudelft.nl
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Dave ClarkeIndependentVerified email at storytel.com
Follow
Marcello Bonsangue
Professor of Computer Science, Leiden University
Verified email at liacs.leidenuniv.nl - Homepage