罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 树分解图的代数。 （英语） 兹比尔1502.68213 Gadducci，Fabio（编辑）等人，《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议，ICGT 2020，作为STAF 2020的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12150, 203-220 (2020).MSC公司：68兰特 05二氧化碳 05C25号 2012年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。12150203-220（2020；Zbl 1502.68213） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 Petri网的贝叶斯网络语义。 （英语） Zbl 1436.68207号 西奥。计算。科学。 807, 95-113 (2020).MSC公司：68问题85 2005年5月18日 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Theor。计算。科学。807，95-113（2020年；Zbl 1436.68207） 全文： 内政部 链接
罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里;埃米利奥·托斯托 数据驱动的舞蹈设计。 （英语） Zbl 07808781号 Boreale，Michele（编辑）等人，并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11665, 170-190 (2019).MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。11665，170-190（2019；Zbl 07808781） 全文： 内政部 链接
乌戈·蒙塔纳里 从托斯卡纳到苏格兰再回来。向洛科·德·尼古拉65岁生日致敬。 （英语） Zbl 07808771号 Boreale，Michele（编辑）等人，并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11665, 3-6 (2019).MSC公司：68-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}，莱克特。注释计算。科学。11665，3--6（2019；Zbl 07808771） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 并发性和概率：从组成上消除混淆。 （英语） Zbl 1427.68186号 日志。方法计算。科学。 15，第4号，第17号论文，39页（2019年）.MSC公司：68问题85 2010年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，日志。方法计算。科学。15，第4号，第17号论文，39页（2019年；Zbl 1427.68186） 全文： arXiv公司
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 并发性和概率：从组成上消除混淆。 （英语） Zbl 1497.68329号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。195-204 (2018).MSC公司：68问题85 2010年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。195-204（2018；Zbl 1497.68329） 全文： 内政部
保罗·巴尔丹;罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号 日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）. 审核人：Clément Aubert（奥古斯塔） MSC公司：68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113） 全文： 内政部 arXiv公司
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺;阿兰·柴卡姆 软约束评估问题的分解结构：代数方法。 （英语） Zbl 1383.68085号 Heckel，Reiko（编辑）等人，《图形转换、规范和网络》。为了纪念哈特穆特·埃里格。查姆：施普林格（ISBN 978-3-319-75395-9/pbk；978-3-3169-75396-6/电子书）。计算机科学课堂讲稿10800，179-200（2018）。MSC公司：68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}等人，Lect。注释计算。科学。10800，179--200（2018；Zbl 1383.68085） 全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里 计算模型。 （英语） Zbl 1480.68001号 理论计算机科学课文。EATCS系列查姆：施普林格（ISBN 978-3-319-42898-7/hbk；978-3-3169-82689-9/pbk；979-3-319-42900-7/电子书）。第二十二章，第395页。(2017).MSC公司：68-01 68甲15 68号30 04年第68季度 2010年第68季度 68问题55 68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bruni｝和\textit｛U.Montanari｝，计算模型。查姆：施普林格（2017；Zbl 1480.68001） 全文： 内政部
毛里西奥·阿亚拉·林科恩（编辑）;伊恩·麦基（编辑）;乌戈·蒙塔纳里（编辑） 前言：逻辑和语义框架及应用程序。 （英语） Zbl 1372.00083号 西奥。计算。科学。 685, 1-2 (2017).MSC公司：00B25型 68-06 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}（编辑）等人，Theor。计算。科学。685，1--2（2017；Zbl 1372.00083） 全文： 内政部
阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;乌戈·蒙塔纳里 基于定点的计算字段的异步分布式执行。 （英语） Zbl 1398.68369号 日志。方法计算。科学。 13，第1号，第13号论文，第46页（2017）.MSC公司：68问题85 03B70号 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch Lafuente}等人，日志。方法计算。科学。13，第1号，第13号文件，第46页（2017年；兹bl 1398.68369） 全文： 内政部 arXiv公司
瑞科·赫克尔 [安德里亚·科拉迪尼;乌戈·蒙塔纳里;汉斯·约尔格·克鲁斯基;费尔南多·奥雷贾斯;格列泽戈兹·罗森贝格] Hartmut Ehrig（1944–2016），由Andrea Corradini、Ugo Montanari、Hans-Jörg Kreowski、Fernando Orejas和Grzegorz Rozenberg提供。 （英语） Zbl 1409.01040号 牛市。欧洲协会。计算。科学。EATCS公司 119, 15-22 (2016).MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckel}，公牛。欧洲协会。计算。科学。EATCS 119，15-22（2016；Zbl 1409.01040） 全文： 链接
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 网络意识\（\pi\）-演算–Pastry的模型。 （英语） Zbl 1342.68236号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312，3-17，仅电子版（2015）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Sammartino}，电子。注释Theor。计算。科学。312,3-17（2015；Zbl 1342.68236） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 cJoin（加入）:加入与通信事务有关。 （英语） Zbl 1361.68060号 数学。结构。计算。科学。 25，第3期，566-618（2015）.MSC公司：68号30 68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，数学。结构。计算。科学。25，第3号，566--618（2015；Zbl 1361.68060） 全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 最后是因果树。 （英语） 兹伯利1434.68323 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 27-43 (2015).MSC公司：68问题85 18 C50 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bruni｝等人，Lect。注释计算。科学。9465，27-43（2015；Zbl 1434.68323） 全文： 内政部 链接
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 Petri网因果关系的联合语义。 （英语） Zbl 1330.68196号 J.日志。阿尔盖布。方法计划。 84，第6号，853-883（2015）.MSC公司：68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，J.Log。阿尔盖布。方法计划。84，第6号，853--883（2015；Zbl 1330.68196） 全文： 内政部 arXiv公司
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 有状态连接器的标准形式。 （英语） Zbl 1321.68357号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，205-227（2015）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bruni｝等人，Lect。注释计算。科学。9200，205-227（2015；Zbl 1321.68357） 全文： 内政部 链接
乌戈·蒙塔纳里;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 使用多个约束存储对自治系统进行编程。 （英语） Zbl 1454.68126号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 641-661 (2015).MSC公司：68T05型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}等人，Lect。注释计算。科学。8950641--661（2015年；Zbl 1454.68126） 全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 重新审视因果关系。 （英语） Zbl 1307.68053号 学报信息。 52，第1期，第5-33页（2015年）.MSC公司：68问题85 68问题55 18层20 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，《信息学报》52，第1期，第5--33页（2015年；Zbl 1307.68053） 全文： 内政部 链接
乌戈·蒙塔纳里（编辑） 引言：结构转换专题。 （英语） Zbl 1342.00017号 数学。结构。计算。科学。 24，第4号，文章ID e240401，4页（2014）.MSC公司：00B15号机组 68-06 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}（编辑），数学。结构。计算。科学。24，第4号，文章ID e240401，4页（2014；Zbl 1342.00017） 全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;戈登·普洛金;丹尼尔·特雷尼 关于层次图：调和二元图、gs-单体理论和gs-图。 （英语） Zbl 1320.68125号 芬丹。通知。 134，编号3-4，287-317（2014）.MSC公司：68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Fundam。通知。134，编号：3-4287-317（2014；兹bl 1320.68125） 全文： 内政部
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 一种网络意识演算及其余代数语义。 （英语） Zbl 1342.68234号 西奥。计算。科学。 546, 188-224 (2014).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Sammartino}，Theor。计算。科学。546188-224（2014；Zbl 1342.68234） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 从层次BIP到Petri演算。 （英语） Zbl 1416.68111号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415，54-68（2014年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。8415，54-68（2014年；兹bl 1416.68111） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 行为、相互作用和动力学。 （英语） Zbl 1407.68098号 Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 382-401 (2014).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。8373382--401（2014；Zbl 1407.68098） 全文： 内政部 链接
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里;巴韦尔·索博辛斯基 C/E和P/T网络相互作用的连接代数。 （英语） Zbl 1274.68224号 日志。方法计算。科学。 9，第3号，第16号论文，65页（2013）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，日志。方法计算。科学。9，第3号，第16号论文，65页（2013；Zbl 1274.68224） 全文： 内政部 arXiv公司
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 网络意识\（\pi\）-演算：一种并发语义。 （英语） Zbl 1342.68235号 Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286291-306（2012）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Sammartino}，电子。注释Theor。计算。科学。286291-306（2012年；Zbl 1342.68235） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 连接代数、Petri网和BIP。 （英语） 兹比尔1336.68006 Clarke，Edmund（编辑）等人，《系统信息学视角》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。计算机科学讲义7162，19-38（2012）。MSC公司：2007年7月68日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。7162，19-38（2012；Zbl 1336.68006） 全文： 内政部
法比奥·加杜奇;Giacoma Valentina蒙雷亚尔;乌戈·蒙塔纳里 开放式反应系统的模块化LTS。 （英语） Zbl 1362.68212号 Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿7604134-148（2012）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人，Lect。注释计算。科学。7604134-148（2012年；Zbl 1362.68212） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 P/T网络交互的连接器代数。 （英语） Zbl 1344.68161号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901、312-326（2011）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bruni｝等人，Lect。注释计算。科学。6901312--326（2011；Zbl 1344.68161） 全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里 通过规范化余代数实现符号和异步语义。 （英语） Zbl 1213.68400号 日志。方法计算。科学。 7，第2号，第7号论文，53页（2011年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari}，Log。方法计算。科学。7，第2号，第7号论文，53页（2011；Zbl 1213.68400） 全文： 内政部
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 服务组合中的QoS协商。 （英语） 兹比尔1207.68220 J.日志。阿尔盖布。程序。 80，第1期，13-24（2011）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛M.G.Buscemi｝和\textit｛U.Montanari｝，J.Log。阿尔盖布。程序。80、第1号、第13--24号（2011；Zbl 1207.68220） 全文： 内政部
斯蒂法诺·比斯塔雷利;乌戈·蒙塔纳里;弗朗西丝卡·罗西;弗朗西斯科·桑蒂尼 具有软约束逻辑编程的单播和多播QoS路由。 （英语） Zbl 1351.68031号 ACM事务处理。计算。日志。 12，第1号，第5条，48页（2010年）.MSC公司：68M10个 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人，ACM Trans。计算。日志。12，第1号，第5条，48页（2010年；Zbl 1351.68031） 全文： 内政部 arXiv公司
文森佐·西安西亚;亚历山大·库兹;乌戈·蒙塔纳里 对称族是资源绑定的有效模型。 （英语） Zbl 1247.68172号 Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，63-81（2010）。MSC公司：68问题65 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}等人，《电子》。注释Theor。计算。科学。264，编号2，63--81（2010；Zbl 1247.68172） 全文： 内政部
文森佐·西安西亚;乌戈·蒙塔纳里 对称性、本地名称和名称的动态（去）分配。 （英语） Zbl 1207.68223号 Inf.计算。 208，第12期，1349-1367（2010）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}和\textit{U.Montanari}，Inf.Compute。208，第12号，1349--1367（2010；Zbl 1207.68223） 全文： 内政部
罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里 关于嵌套图的GS-单体理论。 （英语） Zbl 1309.68147号 Gregor（编辑）Engels等人，《图形转换和模型驱动工程》，在Manfred Nagl 65岁生日之际发表的论文。柏林：施普林格出版社（ISBN 978-3-642-17321-9/pbk）。计算机科学课堂讲稿5765，59-86（2010）。MSC公司：68兰特 18A10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。5765、59-86（2010年；Zbl 1309.68147） 全文： 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利，贾科玛·瓦伦蒂娜;乌戈·蒙塔纳里 粘合剂重写系统的饱和LTS。 （英语） Zbl 1306.68064号 Ehrig，Hartmut（编辑）等人，《图形变换》。2010年9月27日至10月2日在荷兰恩舍德举行的2010年国际燃气轮机第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15927-5/pbk）。计算机科学课堂讲稿6372123-138（2010）。MSC公司：2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，Lect。注释计算。科学。6372、123--138（2010年；Zbl 1306.68064） 全文： 内政部
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里 用Maude重写分层设计。 （英语） Zbl 1347.68072号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，45-62（2009）。MSC公司：68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。238，第3号，45-62（2009；Zbl 1347.68072） 全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里 协代数符号语义。 （英语） Zbl 1239.68049号 亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。《计算机科学讲义》5728、173-190（2009）。MSC公司：68问题85 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari}，莱克特。注释计算。科学。5728173--190（2009年；Zbl 1239.68049） 全文： 内政部
阿巴布，法哈德;罗伯托·布鲁尼;克拉克、戴夫;伊万·拉内斯;乌戈·蒙塔纳里 Reo的平铺。 （英语） Zbl 1253.68090号 Corradini，Andrea（编辑）等人，代数发展技术的最新趋势。第19届国际研讨会，WADT 2008，意大利比萨，2008年6月13日至16日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，37-55（2009）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab}等人，Lect。注释计算。科学。5486、37-55（2009年；Zbl 1253.68090） 全文： 内政部 链接
菲利波·邦奇;乌戈·蒙塔纳里 反应系统，（半）饱和语义和预升上的余代数。 （英语） Zbl 1186.68315号 西奥。计算。科学。 410，第41号，4044-4066（2009）.MSC公司：68问题85 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari}，Theor。计算。科学。410，第41号，4044--4066（2009；Zbl 1186.68315） 全文： 内政部
安德里亚·科拉迪尼（编辑）;乌戈·蒙塔纳里（编辑） 代数开发技术的最新趋势。第19届国际研讨会，WADT 2008，意大利比萨，2008年6月13日至16日。修订了选定的论文。 （英语） Zbl 1173.68005号 计算机科学课堂讲稿5486.柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。viii，第343页。(2009).MSC公司：68-06 60年第68季度 68问题65 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}（编辑）和\textit{U.Montanari}（主编），代数开发技术的最新趋势。2008年6月13日至16日，第19届WADT国际研讨会，意大利比萨。修订了选定的论文。柏林：施普林格出版社（2009；Zbl 1173.68005） 全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里 符号双相似性的最小化算法。 （英语） Zbl 1234.68288号 朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502267-284（2009）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari}，莱克特。注释计算。科学。5502267-284（2009年；兹比尔12346.8288） 全文： 内政部 链接
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 基于约束的编程范例调查。 （英语） Zbl 1302.68249号 计算。科学。版次。 2，第3期，137-141（2008）.MSC公司：68T20型 68N17号 68甲19 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Buscemi}和\textit{U.Montanari}，计算。科学。第2版，第3号，137--141（2008；Zbl 1302.68249） 全文： 内政部
文森佐·西安西亚;乌戈·蒙塔纳里 命名集的名称抽象函子。 （英语） Zbl 1279.68052号 Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，第49-70页（2008年）。MSC公司：68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}和\textit{U.Montanari}，电子。注释Theor。计算。科学。203，第5号，49-70（2008；Zbl 1279.68052） 全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里 反应系统的联合理论。 （英语） Zbl 1279.68249号 Palamidessi，Catuscia（编辑）等人，关于并发理论新兴趋势的LIX学术讨论会论文集（LIX 2006），法国巴黎，2006年11月13-15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209201-215（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛F.Bonchi｝和\textit｛U.Montanari｝，电子。注释Theor。计算。科学。209201--215（2008；Zbl 1279.68249） 全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里 G-反应系统作为余代数。 （英语） Zbl 1277.68163号 Ehrig，H.（ed.）等人，应用和计算范畴理论第二次研讨会论文集（ACCAT 2007），葡萄牙布拉加，2007年3月25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第6期，第3-17页（2008年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari}，电子。注释Theor。计算。科学。203，第6号，第3-17号（2008；Zbl 1277.68163） 全文： 内政部
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里;埃米利奥·托斯托 基于风格的架构重新配置。 （英语） Zbl 1169.68306号 牛市。欧洲协会。计算。科学。EATCS公司 94, 161-180 (2008).MSC公司：2007年7月68日 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，公牛。欧洲协会。计算。科学。EATCS 94、161--180（2008年；Zbl 1169.68306）
乌戈·蒙塔纳里（编辑）;唐纳德·桑内拉（编辑） 特刊：值得信赖的全球计算（TGC 2006）。根据2006年11月7日至9日在意大利卢卡举行的第二届国际研讨会上的发言选出的论文。 （英语） Zbl 1146.68321号 西奥。计算。科学。402，编号2-3，81-248（2008）。 MSC公司：68-06 00B25型 PDF格式BibTeX公司 XML格式
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 打开并发约束像素的互模拟。 （英语） Zbl 1133.68384号 Sophia Drossopoulou（编辑），《编程语言和系统》。第17届欧洲编程研讨会，ESOP 2008，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2008，匈牙利布达佩斯，2008年3月29日至4月6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78738-9/pbk）。计算机科学课堂讲稿4960254-268（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Buscemi}和\textit{U.Montanari}，莱克特。注释计算。科学。4960254--268（2008年；Zbl 1133.68384） 全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里 重新审视符号语义学。 （英语） Zbl 1139.68039号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962395-412（2008）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari}，莱克特。注释计算。科学。4962、395--412（2008年；Zbl 1139.68039） 全文： 内政部
斯蒂法诺·比斯塔雷利;乌戈·蒙塔纳里;弗朗西丝卡·罗西;弗朗西斯科·桑蒂尼 使用与或图中的最佳树搜索和软约束逻辑编程来建模组播QoS路由。 （英语） Zbl 1279.68021号 Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记190，第3111-127期（2007年）。MSC公司：68M10个 68平方米 68N17号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人，《电子》。注释Theor。计算。科学。190，第3号，111-127（2007；Zbl 1279.68021） 全文： 内政部
保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里 使用具有等价关系的图来建模具有名称迁移的计算。 （英语） Zbl 1278.68211号 Ian Mackie（编辑），第三届术语图改写国际研讨会论文集（TERMGRAPH 2006），奥地利维也纳，2006年4月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第1期，85-97（2007）。MSC公司：68问题85 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《电子》。注释Theor。计算。科学。176，第1号，85-97（2007年；兹bl 1278.68211） 全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里 反应系统的Coalgebraic模型。 （英语） Zbl 1151.68507号 Caires，Luís（编辑）等人，CONCUR 2007——并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703364-379（2007）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari}，莱克特。注释计算。科学。4703364--379（2007年；Zbl 1151.68507） 全文： 内政部
乌戈·蒙塔纳里（编辑）;唐纳德·桑内拉（编辑）;罗伯托·布鲁尼（编辑） 值得信赖的全球计算。第二次研讨会，TGC 2006，意大利卢卡，2006年11月7日至9日。修订了选定的论文。 （英语） Zbl 1129.68006号 计算机科学课堂讲稿4661.柏林：施普林格出版社（ISBN 978-3-540-75333-9/pbk）。x、 第339页。(2007).MSC公司：68-06 64岁以下 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}（编辑）等人，值得信赖的全球计算。第二次研讨会，TGC 2006，意大利卢卡，2006年11月7日至9日。修订了选定的论文。柏林：施普林格（2007年；Zbl 1129.68006） 全文： 内政部
蒂尔·莫萨科夫斯基（编辑）;乌戈·蒙塔纳里（编辑）;马格尼·哈夫雷恩（编辑） 计算机科学中的代数和余代数。第二届国际会议，2007年CALCO，挪威卑尔根，2007年8月20日至24日。诉讼程序。 （英语） Zbl 1123.68007号 计算机科学课堂讲稿4624.柏林：施普林格出版社（ISBN 978-3-540-73857-2/pbk）。xi，第463页。(2007).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}（编辑）等人，《计算机科学中的代数和余代数》。第二届国际会议，2007年CALCO，挪威卑尔根，2007年8月20日至24日。诉讼程序。柏林：施普林格出版社（2007；Zbl 1123.68007） 全文： 内政部
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 cc-pi：一种基于约束的语言，用于指定服务级别协议。 （英语） Zbl 1187.68063号 De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421，18-32（2007）。MSC公司：68英里11 68M10个 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Buscemi}和\textit{U.Montanari}，莱克特。注释计算。科学。4421、18-32（2007年；Zbl 1187.68063） 全文： 内政部
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 一种融合演算的组合组合模型。 （英语） Zbl 1121.68078号 J.日志。阿尔盖布。程序。 72，第1期，78-97（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Buscemi}和\textit{U.Montanari}，J.Log。阿尔盖布。程序。72，编号1，78--97（2007；Zbl 1121.68078） 全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 图变换的展开语义。 （英语） Zbl 1115.68093号 Inf.计算。 205，第5期，733-782（2007）.MSC公司：2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《信息计算》。205，第5号，733--782（2007；Zbl 1115.68093） 全文： 内政部
伊万·拉内斯;乌戈·蒙塔纳里 将融合和同步超边缘替换映射到逻辑编程中。 （英语） 兹比尔1112.68022 理论与实践。日志。程序。 7，编号1-2，123-151（2007）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}和\textit{U.Montanari}，理论与实践。日志。程序。7，编号1--2，123-151（2007；Zbl 1112.68022） 全文： 内政部
斯蒂法诺·比斯塔雷利;乌戈·蒙塔纳里;弗朗西丝卡·罗西 软并发约束编程。 （英语） Zbl 1367.68315号 ACM事务处理。计算。日志。 7，第3期，563-589（2006）.MSC公司：68层37 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bistarelli｝等人，ACM Trans。计算。日志。7，第3号，563--589（2006；Zbl 1367.68315） 全文： 内政部 arXiv公司
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 融合演算片段的组合拼合模型。 （英语） 兹比尔1316.68090 Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162135-139（2006）。MSC公司：68问题85 2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Buscemi}和\textit{U.Montanari}，电子。注释Theor。计算。科学。162、135——139（2006年；Zbl 1316.68090） 全文： 内政部
伊万·拉内斯;乌戈·蒙塔纳里 Hoare vs Milner：比较图形框架中的同步与移动性。 （英语） Zbl 1273.68193号 Rensink，Arend（ed.）等人，验证和并发图形转换研讨会论文集（GT-VC 2005），美国加利福尼亚州旧金山，2005年8月22日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》154，第2期，55-72（2006）。MSC公司：2012年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}和\textit{U.Montanari}，电子。注释Theor。计算。科学。154，编号2，55--72（2006；Zbl 1273.68193） 全文： 链接
安德里亚·科拉迪尼（编辑）;哈特穆特·埃里格（编辑）;乌戈·蒙塔纳里（编辑）;里贝罗，莱拉（编辑）;格列泽戈兹·罗森贝格（编辑） 图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 （英语） Zbl 1147.68003号 计算机科学课堂讲稿4178.柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。xii，第473页。(2006).MSC公司：68-06 68号30 2012年第68季度 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}（编辑）等人，《图形转换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（2006；Zbl 1147.68003） 全文： 内政部
吉安·路易吉，法拉利;丹·赫施;伊万·拉内斯;乌戈·蒙塔纳里;埃米利奥·托斯托 同步超边缘替换作为面向服务计算的模型。 （英语） Zbl 1196.68025号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。计算机科学讲义4111，22-43（2006）。MSC公司：64岁以下 05C65号 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Ferrari}等人，Lect。注释计算。科学。4111、22-43（2006；Zbl 1196.68025） 全文： 内政部
保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里 具有等价关系的图的并发重写。 （英语） 兹比尔1151.68503 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲稿4137279-294（2006）。MSC公司：68问题85 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛P.Baldan｝等人，Lect。注释计算。科学。4137279--294（2006年；Zbl 1151.68503） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 标称计算的事件结构语义。 （英语） Zbl 1151.68512号 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲稿4137295-309（2006）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。4137295--309（2006年；Zbl 1151.68512） 全文： 内政部
罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 无状态连接符的基本代数。 （英语） Zbl 1153.68331号 西奥。计算。科学。 366，编号1-2，98-120（2006）.MSC公司：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Theor。计算。科学。366，编号1--2，98-120（2006；Zbl 1153.68331） 全文： 内政部
法比奥·加杜奇;马里诺·米库兰;乌戈·蒙塔纳里 关于置换代数、（前）层和命名集。 （英语） Zbl 1105.68083号 高-订购符号。计算。 19，编号2-3，283-304（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人，高-订购符号。计算。19、编号2--3、283--304（2006；Zbl 1105.68083） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 流合成语言中补偿的理论基础。 （英语） Zbl 1369.68070号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。209-220 (2005).MSC公司：68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。209--220（2005年；Zbl 1369.68070） 全文： 内政部
伊万·拉内斯;乌戈·蒙塔纳里 图变换的具有移动性的同步代数。 （英语） Zbl 1272.68310号 Rathke，Julian（编辑），《全球普适计算基础研讨会论文集》（FGUC 2004），英国伦敦，2004年9月3-4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》138，第1期，43-60（2005）。MSC公司：68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}和\textit{U.Montanari}，电子。注释Theor。计算。科学。138，第1号，43--60（2005；Zbl 1272.68310） 全文： 链接
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里 基于约束半环的定量微积分和CTL。 （英语） Zbl 1272.68269号 Cerone，A.（ed.）等人，《编程语言定量方面第二次研讨会论文集》（QAPL 2004），西班牙巴塞罗那，2004年3月27日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记112，37-59（2005）。MSC公司：60年第68季度 03B44号 03B70号 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch-Lafuente}和\textit{U.Montanari}，电子。注释Theor。计算。科学。112、37-59（2005年；Zbl 1272.68269） 全文： 链接
法比奥·加杜奇;乌戈·蒙塔纳里 通过过程的图形编码观察标称计算的减少。 （英语） Zbl 1171.68572号 Middeldorp，Aart（编辑）等人，《过程、术语和循环：通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-30911-X/pbk）。计算机科学课堂讲稿3838106-126（2005）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{U.Montanari}，莱克特。注释计算。科学。3838106-126（2005年；兹bl 1171.68572） 全文： 内政部
米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 通用名称绑定机制。 （英语） Zbl 1151.68508号 De Nicola，Rocco（编辑）等人，《值得信赖的全球计算》。2005年4月7日至9日，英国爱丁堡，TGC 2005国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-30007-4/pbk）。计算机科学课堂讲稿3705，61-74（2005）。MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人，Lect。注释计算。科学。3705、61-74（2005年；Zbl 1151.68508） 全文： 内政部
罗伯托·布鲁尼;巴特勒，迈克尔;卡拉·费雷拉;你好，托尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 比较两种可补偿流量合成方法。 （英语） Zbl 1134.68316号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。2005年8月23日至26日，第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653，383-397（2005）。MSC公司：64岁以下 68问题85 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。3653、383--397（2005年；Zbl 1134.68316） 全文： 内政部
罗伯托·布鲁尼;法比奥·加杜奇;乌戈·蒙塔纳里;巴布亚州索波辛斯基 从约化系统导出弱互模拟同余。 （英语） Zbl 1134.68428号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。2005年8月23日至26日，第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653293-307（2005）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。3653、293--307（2005年；Zbl 1134.68428） 全文： 内政部
Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托;比约恩·维克多;基丹·耶马内 使用HD-自动机建模融合演算。 （英语） Zbl 1151.68527号 JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿3629142-156（2005）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Ferrari｝等人，Lect。注释计算。科学。3629、142--156（2005年；Zbl 1151.68527） 全文： 内政部
罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 无状态连接器的完整公理。 （英语） Zbl 1151.68511号 JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿362998-113（2005）。MSC公司：68问题85 64岁以下 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。3629、98——113（2005年；Zbl 1151.68511） 全文： 内政部
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里 在约束半环上定义的定量演算和CTL。 （英语） Zbl 1080.68065号 西奥。计算。科学。 346，编号1，135-160（2005）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch-Lafuente}和\textit{U.Montanari}，Theor。计算。科学。346，编号1，135--160（2005；Zbl 1080.68065） 全文： 内政部
法比奥·加杜奇;乌戈·蒙塔纳里 融合的图形处理：再次强调大肠杆菌的并发性。 （英语） Zbl 1075.68058号 Kreowski，Hans-Jörg（编辑）等人，软件和系统建模中的形式化方法。在哈特穆特·埃里格60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-24936-2/pbk）。计算机科学讲座笔记3393，84-100（2005）。MSC公司：68问题85 2012年第68季度 18A30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{U.Montanari}，莱克特。注释计算。科学。3393，84-100（2005年；兹比尔1075.68058） 全文： 内政部
吉安·路易吉，法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 标称计算的模型检查。 （英语） Zbl 1119.68115号 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441，1-24（2005）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Ferrari}等人，Lect。注释计算。科学。3441，1--24（2005；Zbl 1119.68115） 全文： 内政部
乌戈·蒙塔纳里;马可·皮斯托雷 结构余代数和\（\pi\）-演算的最小HD-自动机。 （英语） Zbl 1077.68065号 西奥。计算。科学。 340，第3期，539-576（2005）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Pistore}，Theor。计算。科学。340，第3号，539--576（2005；Zbl 1077.68065） 全文： 内政部
汉斯·约尔格·克鲁斯基（编辑）;乌戈·蒙塔纳里（编辑）;费尔南多·奥雷贾斯（编辑）;格列泽戈兹·罗森贝格（编辑）;加布里埃尔·坦泽尔（编辑） 软件和系统建模中的形式化方法。在哈特穆特·埃里格60岁生日之际献给他的散文。 （英语） Zbl 1069.68009号 计算机科学课堂讲稿3393.柏林：施普林格出版社（ISBN 3-540-24936-2/pbk）。xxvii，413页。（2005年）。MSC公司：68-06 68季度xx 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}（ed.）等人，软件和系统建模中的形式化方法。在哈特穆特·埃里格60岁生日之际为他撰写的论文。柏林：施普林格出版社（2005；Zbl 1069.68009） 全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;弗拉迪米罗·萨松 动态可重构平铺系统的观测一致性。 （英语） Zbl 1080.68075号 西奥。计算。科学。 335，编号2-3，331-372（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Theor。计算。科学。335，编号2-333-372（2005年；兹bl 1080.68075） 全文： 内政部 链接
Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 使用多态类型对\（\pi\）-演算的HD-自动机进行协代数最小化。 （英语） 兹比尔1070.68102 西奥。计算。科学。 331，编号2-3，325-365（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrari}等人，Theor。计算。科学。331，编号2--3325--365（2005；Zbl 1070.68102） 全文： 内政部
罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里 在重写逻辑中平铺事务。 （英语） Zbl 1272.68291号 Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，90-109（2004）。MSC公司：68问题85 2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。71、90-109（2004年；Zbl 1272.68291） 全文： 链接
法比奥·加杜奇（编辑）;乌戈·蒙塔纳里（编辑） WRLA 2002年。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19日至21日。 （英语） Zbl 1271.68038号 理论计算机科学电子笔记71.阿姆斯特丹：爱思唯尔。300页。，仅电子版（2004）。MSC公司：68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}（编辑）和\textit{U.Montanari}（主编），WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：Elsevier（2004；Zbl 1271.68038） 全文： 链接
丹·赫施;乌戈·蒙塔纳里 定型的分层建筑设计。 （英语） Zbl 1271.68120号 Heckel，Reiko（编辑），《图形转换和视觉建模技术研讨会论文集》（GT-VMT 2004），西班牙巴塞罗那，2004年3月27-28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记109，97-109（2004）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirsch}和\textit{U.Montanari}，电子。注释Theor。计算。科学。109、97--109（2004年；Zbl 1271.68120） 全文： 链接
乌戈·蒙塔纳里 Web服务和计算模型。 （英语） Zbl 1271.68068号 Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105，5-9（2004）。MSC公司：68英里11 2005年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}，电子。注释Theor。计算。科学。105、5-9（2004年；Zbl 1271.68068） 全文： 链接
伊万·拉内斯;乌戈·蒙塔纳里 图形融合演算。 （英语） Zbl 1271.68188号 Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，199-215（2004）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}和\textit{U.Montanari}，电子。注释Theor。计算。科学。104、199--215（2004；Zbl 1271.68188） 全文： 链接
法比奥·加杜奇;马里诺·米库兰;乌戈·蒙塔纳里 置换代数的一些特征结果。 （英语） Zbl 1271.68148号 Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，129-147（2004）。MSC公司：68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人，《电子》。注释Theor。计算。科学。104、129--147（2004年；Zbl 1271.68148） 全文： 链接
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 平面提交联接。 （英语） Zbl 1271.68170号 Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，39-59（2004）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。104、39-59（2004年；Zbl 1271.68170） 全文： 链接
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 将零安全方法扩展到有色、可重构和动态网络。 （英语） Zbl 1088.68120号 Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿3098，291-327（2004）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。3098、291--327（2004年；Zbl 1088.68120） 全文： 内政部
米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 D-fusion：一种独特的融合演算。 （英语） Zbl 1116.68540号 Chin，Wei-Ngan（编辑），《编程语言和系统》。第二届亚洲研讨会，2004年APLAS，台湾台北，2004年11月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23724-0/pbk）。计算机科学课堂讲稿3302，296-310（2004）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人，Lect。注释计算。科学。3302、296--310（2004年；Zbl 1116.68540） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 移动计算的嵌套提交：扩展联接。 （英语） Zbl 1088.68507号 Levy，Jean-Jacques（编辑）等人，《探索理论信息学的新前沿》。IFIP第18届世界计算机大会，TC1第三届理论计算机科学国际会议（TCS2004），2004年8月22日至27日，法国图卢兹。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-8140-5/hbk）。IFIP，国际信息处理联合会155，563-576（2004）。MSC公司：68M10个 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，IFIP，国际联邦信息处理。155563--576（2004年；Zbl 1088.68507）
罗伯托·布鲁尼;JoséLuiz Fiadeiro;伊万·拉内斯;安托尼亚州洛佩斯;乌戈·蒙塔纳里 对架构连接器的新见解。 （英语） Zbl 1094.68009号 Levy，Jean-Jacques（编辑）等人，《探索理论信息学的新前沿》。IFIP第18届世界计算机大会，TC1第三届理论计算机科学国际会议（TCS2004），2004年8月22日至27日，法国图卢兹。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-8140-5/hbk）。IFIP，国际信息处理联合会155，367-379（2004）。MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，IFIP，国际联邦信息处理。155367--379（2004年；Zbl 1094.68009）
罗伯托·布鲁尼;乌戈·蒙塔纳里 Linda与事务的并发模型。 （英语） Zbl 1085.68027号 数学。结构。计算。科学。 14，第3期，421-468（2004）.MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bruni｝和\textit｛U.Montanari｝，数学。结构。计算。科学。14，第3号，421--468（2004；Zbl 1085.68027） 全文： 内政部
马蒂奥·科西亚;法比奥·加杜奇;乌戈·蒙塔纳里 GS理论：高阶图的语法。 （英语） Zbl 1270.68123号 Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，83-100（2003）。MSC公司：2012年第68季度 03G30型 18立方厘米 18日第10天 18D20天 PDF格式BibTeX公司 XML格式引用 \textit{M.Coccia}等人，《电子》。注释Theor。计算。科学。69、83——100（2003年；Zbl 1270.68123） 全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 单推出图文法的共反射并发语义。 （英语） Zbl 1278.68117号 Wirsing，Martin（编辑）等人，代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-20537-3/pbk）。莱克特。注释计算。科学。2755, 165-184 (2003).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Lect。注释计算。科学。2755、165--184（2003年；Zbl 1278.68117） 全文： 内政部
保罗·巴尔丹;罗伯托·布鲁尼;乌戈·蒙塔纳里 预备网，阅读ARCS和展开：功能演示。 （英语） Zbl 1278.68210号 Wirsing，Martin（编辑）等人，代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-20537-3/pbk）。莱克特。注释计算。科学。2755, 145-164 (2003).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Lect。注释计算。科学。2755、145--164（2003年；Zbl 1278.68210） 全文： 内政部
Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 基于图形的互联系统模型。 （英语） Zbl 1274.68011号 Aichernig，Bernhard K.（编辑）等人，《十字路口的形式方法》。从万灵药到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/国际软件技术研究所十周年座谈会。修订论文。柏林：施普林格出版社（ISBN 3-540-20527-6/pbk）。莱克特。注释计算。科学。第2757424-266页（2003年）。MSC公司：68英里11 64岁以下 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrari}等人，Lect。注释计算。科学。2757424-266（2003年；兹bl 1274.68011） 全文： 内政部