创建我的个人资料
开放获取的出版物数量
查看全部18 篇文章
2 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
- Jan RuttenCWI在 cwi.nl 的电子邮件经过验证
- Alexandra SilvaCornell University在 cornell.edu 的电子邮件经过验证
- Farhad ArbabProfessor of Computer Science, Leiden University在 liacs.nl 的电子邮件经过验证
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University of在 utwente.nl 的电子邮件经过验证
- Jurriaan RotRadboud University在 cs.ru.nl 的电子邮件经过验证
- Leendert (Leon) van der TorreProfessor of Computer Science, University of Luxembourg在 uni.lu 的电子邮件经过验证
- Filippo BonchiCNRS ENS-Lyon在 ens-lyon.fr 的电子邮件经过验证
- Martin SteffenUniversity of Oslo在 ifi.uio.no 的电子邮件经过验证
- Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIen在 acm.org 的电子邮件经过验证
- Alexander KurzChapman University在 chapman.edu 的电子邮件经过验证
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
- Gianluigi ZavattaroProfessor in Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
- Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud University在 han.nl 的电子邮件经过验证
- Susanne GrafResearch Director, CNRS, Grenoble University, Verimag在 imag.fr 的电子邮件经过验证
- Maria-Eugenia IacobProfessor, University of Twente在 utwente.nl 的电子邮件经过验证
- Helle Hvid HansenAssociate Professor at University of Groningen在 rug.nl 的电子邮件经过验证
- Fan Zhou (周帆)University of Electronic Science and Technology of China在 uestc.edu.cn 的电子邮件经过验证
- Xueqin Chen (陈学勤)Delft University of Technology在 tudelft.nl 的电子邮件经过验证
- Dave ClarkeIndependent在 storytel.com 的电子邮件经过验证
关注
Marcello Bonsangue
Professor of Computer Science, Leiden University
在 liacs.leidenuniv.nl 的电子邮件经过验证 - 首页