琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基;罗伯塔·戈里;弗朗西丝卡·列维;保罗·米拉佐 利用SOS语义的模块化来定义反应系统的定量扩展。 （英语） 兹比尔1521.68055 Aranha，Claus（编辑）等人，《自然计算的理论与实践》。第十届国际会议，TPNC 2021，日本筑波，2021年12月7日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13082, 15-32 (2021).MSC公司：2007年第68季度 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人，Lect。注释计算。科学。13082，15--32（2021；Zbl 1521.68055） 全文： 内政部
琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基 反应系统的过程代数方法。 （英语） Zbl 1517.68115号 西奥。计算。科学。 881, 62-82 (2021).MSC公司：2007年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人，Theor。计算。科学。881，62-82（2021；Zbl 1517.68115） 全文： 内政部
琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基 反应系统的逻辑和图形框架。 （英语） Zbl 1504.68065号 西奥。计算。科学。 875, 1-27 (2021).MSC公司：2007年第68季度 03B70号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人，Theor。计算。科学。875，1--27（2021；Zbl 1504.68065） 全文： 内政部
安德烈亚·贝尔尼尼;琳达·布罗多;皮耶保罗·德加诺;莫雷诺，法拉斯基;戴安娜·赫米思 生物过程的过程计算。 （英语） Zbl 07772437号 自然计算。 17，第2号，345-373（2018）.MSC公司：92立方厘米 2008年9月 PDF格式BibTeX公司 XML格式引用 \textit{A.Bernini}等人，《自然计算》。17，编号2，345--373（2018；Zbl 07772437） 全文： 内政部
莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 时间并发约束程序的抽象解释。 （英语） Zbl 1379.68060号 理论与实践。日志。程序。 15，第3期，312-357（2015）.MSC公司：68N17号 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，《理论与实践》。日志。程序。15，第3号，312--357（2015；Zbl 1379.68060） 全文： 内政部 arXiv公司
戴维·齐亚鲁吉;莫雷诺，法拉斯基;戴安娜·赫米思;卡洛斯·奥拉特 生物化学系统中空间和时间模式的验证。 （英语） Zbl 1351.68157号 Pauleve，Loic（编辑）等人，第五届静态分析和系统生物学国际研讨会（SASB 2014）的后期报道，德国慕尼黑，2014年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记316，29-44（2015）。MSC公司：60年第68季度 03B70号 2005年第68季度 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{D.Chiarugi}等人，《电子》。注释Theor。计算。科学。316、29-44（2015；Zbl 1351.68157） 全文： 内政部
玛丽亚·阿尔普特;黛米斯·巴利斯;莫雷诺，法拉斯基;弗朗西斯科·弗雷奇纳;丹尼尔·罗梅罗 基于重写的XML存储库修复策略。 （英语） Zbl 1283.68130号 J.日志。阿尔盖布。程序。 82，第8期，326-352（2013）.MSC公司：68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。程序。82，第8号，326--352（2013；Zbl 1283.68130） 全文： 内政部 链接
Alpunte，M。;D.巴利斯。;科雷亚，F。;M.法拉斯基。 用于诊断和纠正基于规则的程序的集成框架。 （英语） Zbl 1205.68113号 西奥。计算。科学。 411，第47号，4055-4101（2010）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \文本{M.Alpuente}等人，Theor。计算。科学。411，编号47，4055--4101（2010年；兹bl 1205.68113） 全文： 内政部
Alpunte，M。;M.科米尼。;埃斯科瓦尔，S。;M.法拉斯基。;J·伊波拉。 术语重写系统的紧凑不动点语义。 （英语） Zbl 1209.68285号 西奥。计算。科学。 411，第37号，3348-3371（2010）.MSC公司：2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Theor。计算。科学。411，第37号，3348--3371（2010；Zbl 1209.68285） 全文： 内政部
玛丽亚·阿尔普特;法国科雷亚;莫雷诺，法拉斯基 功能逻辑程序的调试方案。 （英语） Zbl 1268.68062号 Michael Hanus（编辑），WFLP 2001。功能和（约束）逻辑编程国际研讨会论文集，德国基尔，2001年9月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记64，18-55（2002）。MSC公司：68号30 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《电子》。注释Theor。计算。科学。64、18-55（2002年；Zbl 1268.68062） 全文： 内政部
Alpunte，M。;F.J.科雷亚。;M.法拉斯基。 功能逻辑程序的声明性调试。 （英语） Zbl 1268.68091号 Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，17-40（2001）。MSC公司：2012年第68季度 68N17号 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《电子》。注释Theor。计算。科学。57、17--40（2001年；Zbl 1268.68091） 全文： 内政部
莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 并发约束编程中的汇流。 （英语） 兹比尔0901.68032 西奥。计算。科学。 183，第2281-315号（1997年）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，Theor。计算。科学。183，编号2，281--315（1997；Zbl 0901.68032） 全文： 内政部
莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 带动态调度的约束逻辑编程：基于闭包操作符的语义。 （英语） Zbl 0882.68035号 Inf.计算。 137，第1期，第41-67页（1997年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，《信息计算》。137，编号1，41-67（1997；Zbl 0882.68035） 全文： 内政部 链接
玛丽亚·阿尔普特;莫雷诺，法拉斯基;德国维达尔 用于分析等式Horn程序的合成语义基础。 （英语） Zbl 0872.68107号 西奥。计算。科学。 165，第1期，133-169（1996）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Theor。计算。科学。165，编号1，133--169（1996；Zbl 0872.68107） 全文： 内政部
玛丽亚·阿尔普特;莫雷诺，法拉斯基;李维，乔治 等式逻辑编程的增量约束满足。 （英语） Zbl 0884.68032号 西奥。计算。科学。 142，第1期，第27-57页（1995年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Theor。计算。科学。142，编号1，27-57（1995；Zbl 0884.68032） 全文： 内政部
莫雷诺，法拉斯基;李维，乔治 并发逻辑语言中的有限故障和部分计算。 （英语） Zbl 0702.68079号 西奥。计算。科学。 75，编号1-2，45-66（1990）.MSC公司：68问题55 2010年第68季度 68T99型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}和\textit{G.Levi}，Theor。计算。科学。75，编号1--2，45-66（1990；Zbl 0702.68079） 全文： 内政部