自分のプロフィールを作成
オープン アクセス
すべて表示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 - ホームページ