埃齐奥·巴托西;弗拉维奥·科拉迪尼;伊曼纽拉·梅雷利;卢卡·特塞 通过模型检验检测生物振荡器的同步性。 （英语） Zbl 1209.68311号 西奥。计算。科学。 411，第20号，1999-2018（2010）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Theor。计算。科学。411，20号，1999-2018（2010；Zbl 1209.68311） 全文： 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 定时P自动机。 （英语） Zbl 1347.68127号 Ciobanu，Gabriel（编辑），《第二届膜计算和生物启发过程计算国际会议论文集》（MeCBIC 2008），2008年9月3日至4日，罗马尼亚伊阿什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记227，21-36（2009）。MSC公司：2005年第68季度 2010年第68季度 65年第68季度 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人，《电子》。注释Theor。计算。科学。227、21-36（2009年；Zbl 1347.68127） 全文： 内政部
埃齐奥·巴托西;弗拉维奥·科拉迪尼;伊曼纽拉·梅雷利;卢卡·特塞 模型检查生物振荡器。 （英语） 兹比尔1283.92008 尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，41-58（2009）。MSC公司：92B20型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，《电子》。注释Theor。计算。科学。229，第1号，41-58（2009；Zbl 1283.92008） 全文： 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 定时P自动机。 （英语） Zbl 1221.68114号 Ciobanu，Gabriel（编辑），2008年美国国会选举委员会。第二届膜计算和生物启发过程计算国际会议。论文基于2008年9月3日至4日在罗马尼亚伊阿什伊举行的会议上的发言。Iaši：“AI.i.Cuza”大学，“A.Myller”研讨会。53-67 (2008).MSC公司：65年第68季度 2005年第68季度 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人，收录于：MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。2008年9月3日至4日，罗马尼亚，伊阿什伊，根据会议上的陈述撰写的论文。Iaši：“AI.i.Cuza”大学，“A.Myller”学术研讨会。53-67（2008；Zbl 1221.68114）
罗伯托·巴布蒂;尼科莱塔·德·弗朗西斯科;卢卡·特塞 具有非瞬时动作的时间自动机。 （英语） Zbl 1004.68087号 芬丹。通知。 47，第3-4号，189-200（2001）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Barbuti｝等人，基金会。通知。47，编号3--4，189-200（2001；Zbl 1004.68087）