莫雷诺，法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 并发约束语言的动态切片。 （英语） Zbl 1497.68098号 芬丹。通知。 177，编号3-4，331-357（2020）.MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，Fundam。通知。177，编号3--4，331--357（2020；Zbl 1497.68098） 全文： 内政部 arXiv公司
萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥·加布里埃利 应用舞蹈设计。 （英语） Zbl 1508.68242号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 21-40 (2018).MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Giallorenzo}等人，Lect。注释计算。科学。10854，21-40（2018；Zbl 1508.68242） 全文： 内政部 arXiv公司 哈尔
莫雷诺，法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 切片并发约束程序。 （英语） 兹比尔1485.68046 Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 76-93 (2017).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，Lect。注释计算。科学。10184，76-93（2017；Zbl 1485.68046） 全文： 内政部 arXiv公司
米拉·达拉·普雷达;毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;伊万·拉内斯;雅各布·毛罗 动态编舞：理论与实施。 （英语） Zbl 1398.68088号 日志。方法计算。科学。 13，第2号，第1号论文，57页（2017年）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Preda}等人，日志。方法计算。科学。13，第2号，第1号论文，57页（2017；Zbl 1398.68088） 全文： 内政部 arXiv公司
斯蒂法诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉（Maria Chiara Meo）;弗朗西斯科·桑蒂尼 定时软并发约束程序：一种交错并行方法。 （英语） Zbl 1379.68087号 理论与实践。日志。程序。 15，第6期，743-782（2015）.MSC公司：68甲19 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人，《理论与实践》。日志。程序。15，第6号，743--782（2015；Zbl 1379.68087） 全文： 内政部 arXiv公司
德波尔（Frank S。;毛里齐奥·加布里埃利 留下痕迹：关于并发约束程序的健全和完整的痕迹逻辑的注释。 （英语） Zbl 1407.68332号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：施普林格。莱克特。注释计算。科学。8464, 168-179 (2014).MSC公司：68问题85 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}和\textit{M.Gabbrielli}，莱克特。注释计算。科学。8464、168--179（2014；Zbl 1407.68332） 全文： 内政部
毛里齐奥·加布里埃利;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 并发和反应式约束编程。 （英语） Zbl 1285.68031号 Dovier，Agostino（编辑）等人，《逻辑编程25年展望》。意大利逻辑编程协会的成就。柏林：施普林格出版社（ISBN 978-3-642-14308-3/pbk）。《计算机科学讲义》6125、231-253（2010）。MSC公司：68N17号 68甲19 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}等人，Lect。注释计算。科学。6125231--253（2010年；Zbl 1285.68031） 全文： 内政部 哈尔
毛里齐奥·加布里埃利;西蒙·马提尼 编程语言：原理和范例。翻译自意大利语。 （英语） Zbl 1204.68047号 计算机科学本科专题伦敦：施普林格出版社（ISBN 978-1-84882-913-8/pbk；978-1-848 82-914-5/电子书）。xix，440页。(2010). 审核人：斯特凡·梅耶（柏林） MSC公司：68甲15 68-01 68N17号 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}和\textit{S.Martini}，编程语言：原理和范例。翻译自意大利语。伦敦：施普林格出版社（2010；Zbl 1204.68047） 全文： 内政部 链接
德波尔（Frank S。;毛里齐奥·加布里埃利;玛丽亚·梅奥（Maria C.Meo）。 一种定时Linda语言及其指称语义。 （英语） Zbl 1082.68063号 芬丹。通知。 63，第4期，309-330（2004）.MSC公司：68问题55 68问题85 68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，Fundam。通知。63，第4号，309--330（2004；Zbl 1082.68063）
毛里齐奥·加布里埃利;乔治·列维 并发约束逻辑程序的展开和定点语义。 （英语） Zbl 1493.68068号 Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。463, 204-216 (1990).MSC公司：68N17号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}和\textit{G.Levi}，莱克特。注释计算。科学。463204-216（1990年；兹比尔1493.68068） 全文： 内政部