埃齐奥·巴托西；弗拉维奥·科拉迪尼；迪·贝拉迪尼、玛丽亚·丽塔；埃米利亚·恩切娃；拉杜·格罗苏；斯科特·斯莫尔卡。 用于模拟可兴奋组织的混合I/O自动机空间网络。 （英语） Zbl 1279.68246号 尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，51-67（2008）。MSC公司：68问题85 65年第68季度 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，《电子》。注释Theor。计算。科学。194，第3号，51-67（2008；Zbl 1279.68246） 全文： 内政部
R.格鲁苏。；巴托西，E。；科拉迪尼，F。；恩切娃，E。；S.A.斯莫尔卡。；Wasilewska，A。 学习和检测心肌细胞网络中的紧急行为。 （英语） 兹比尔1144.92313 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981，229-243（2008）。MSC公司：92 C50 92C05型 92-08 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Grosu}等人，Lect。注释计算。科学。4981、229--243（2008年；Zbl 1144.92313） 全文： 内政部
Jos C.M.Baeten。；弗拉维奥·科拉迪尼；克莱门斯，抓斗手 共刺激条件下正则表达式的一种表征。 （英语） Zbl 1292.68102号 美国临床医学杂志 54，第2号，第6条，28页（2007年）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人，J.ACM 54，第2号，第6条，28页（2007年；Zbl 1292.68102） 全文： 内政部 链接
弗拉维奥·科拉迪尼；保拉·因弗拉迪；亚历山大·沃尔夫。 关于将功能规范与建筑规范相关联：案例研究。 （英语） Zbl 1085.68088号 科学。计算。程序。 59，第3期，171-208（2006）.MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，科学。计算。程序。59，第3号，171--208（2006；Zbl 1085.68088） 全文： 内政部
Diletta R.卡奇亚格拉诺。；弗拉维奥·科拉迪尼 定时事件和定时语言的表达能力。 （英语） Zbl 1105.68082号 Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学讲义3185，98-131（2004）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Cacciagrano}和\textit{F.Corradini}，莱克特。注释计算。科学。3185,98--131（2004；Zbl 1105.68082） 全文： 内政部
弗拉维奥·科拉迪尼；德尼古拉，罗科；安娜·拉布拉 正则表达式上互模拟的等式公理化。 （英语） Zbl 1012.68143号 J.日志。计算。 12，第2期，301-320（2002）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，J.Log。计算。12，第2号，301--320（2002；Zbl 1012.68143） 全文： 内政部