编辑配置文件(在新选项卡中打开) 罗伯托·布鲁尼 合著者距离 作者ID: 布鲁尼·罗伯托 发布日期: 罗伯托·布鲁尼;R.布鲁尼。 已编制索引的文档: 92出版物自1997年以来,包括1本书 7作为编辑的贡献 合著者: 59位合著者具有97联合出版物 1246名合作作者 全部的 前5名合著者 1 单作者的 54 乌戈·蒙塔纳里。 21 埃尔南·梅尔格拉蒂 10 弗拉迪米罗·萨松 9 琳达·布罗多 9 法比奥·加杜奇 9 何塞·梅塞盖尔·瓜伊塔 8 阿尔贝托·卢什·拉富恩特 7 伊万·拉内斯 6 保罗·巴尔丹 5 博迪,恰拉 5 安德烈亚·克拉克,布拉切利 5 安德里亚·科拉迪尼 5 戈丽,罗伯塔 4 马蒂奥·桑马蒂诺 3 西蒙·布利兹 3 莫雷诺,法拉斯基 2 安东尼奥·布奇亚罗内 2 罗伯托·贾科巴齐 2 斯特凡妮娅·格内西 2 Furio Honsell 2 玛丽娜·莱妮莎 2 马里诺·米库兰 2 亚历山德拉·席尔瓦 2 索博辛斯基,Paweł 2 埃米利奥·托斯托 2 安德里亚·万丁 1 法哈德·阿尔巴 1 弗拉维奥·阿斯卡里 1 索尼娅·本·莫赫塔尔 1 米歇尔·博雷尔 1 卡洛·布鲁尼 1 马尔科·卡博尼 1 戴维·齐亚鲁吉 1 克拉克、戴夫 1 戴维·德·弗鲁托斯·埃斯克里格 1 洛科·德尼古拉 1 阿尔贝托·德桑蒂斯 1 朱尔根·丁格尔 1 卡拉·费雷拉 1 何塞·路易斯·费亚代罗 1 戴维·格罗曼 1 丹·赫施 1 C.A.R.Tony Hoare 1 达尼埃拉·亚科维埃洛 1 安妮·克尔斯滕 1 乔治·科赫 1 科西莫·拉内夫 1 弗朗西丝卡·列维 1 安托尼亚州洛佩斯 1 米歇尔·洛雷蒂 1 尼古拉·马尼尼 1 马丁·奥列特,纳西索 1 莱昂纳多·盖塔诺(Leonardo Gaetano Mezzina) 1 保罗·米拉佐 1 戈登·普洛金(Gordon D.Plotkin)。 1 弗朗西丝卡·罗西 1 唐纳德·桑内拉。 1 亚历山德鲁·席尔瓦 1 乔治·斯帕格诺洛 1 丹尼尔·特雷尼 1 安吉洛·特洛伊娜 1 达尼尔·瓦罗 1 卡斯滕·沃尔夫 全部的 前5名系列 11 理论计算机科学 4 MSCS公司。计算机科学中的数学结构 4 计算机科学课堂讲稿 4 计算机科学科学年鉴 3 信息与计算 3 计算机科学中的逻辑方法 1 信息学报 1 最优化理论与应用杂志 1 计算的形式方面 1 欧洲理论计算机科学协会公报 1 计算机基础理论 1 逻辑程序设计理论与实践 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 1 理论计算机科学电子论文集(EPTCS) 1 理论计算机科学课文。EATCS系列 全部的 前5名领域 99 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 8 范畴理论;同调代数(18-XX) 7 总体主题;集合(00-XX) 3 组合数学(05-XX) 1 历史和传记(01-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 71出版物有被引用444中的次248文件 引用人▼ 年份▼ 广义重写理论的语义基础。 Zbl 1097.68051号 罗伯托·布鲁尼;何塞·梅塞盖尔 45 2006 连接代数的正规形式。 Zbl 1061.68110号 罗伯托·布鲁尼;法比奥·加杜奇;乌戈·蒙塔纳里 22 2002 无状态连接符的基本代数。 Zbl 1153.68331号 罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 21 2006 C/E和P/T网络相互作用的连接代数。 Zbl 1274.68224号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里;巴韦尔·索博辛斯基 18 2013 对称单体和笛卡尔双重范畴作为瓦片逻辑的语义框架。 Zbl 0993.68058号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里 17 2002 流合成语言中补偿的理论基础。 Zbl 1369.68070号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 16 2005 零安全网:比较集体和个人令牌方法。 Zbl 1046.68615号 罗伯托·布鲁尼;乌戈·蒙塔纳里 15 2000 广义重写理论。 Zbl 1039.03020号 罗伯托·布鲁尼;何塞·梅塞盖尔 15 2003 逻辑编程的交互语义。 Zbl 1066.68512号 罗伯托·布鲁尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西 14 2001 标称计算的事件结构语义。 Zbl 1151.68512号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 13 2006 P/T网络交互的连接器代数。 Zbl 1344.68161号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 12 2011 Petri网的函数模型。 Zbl 1005.68102号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 12 2001 瓦片系统重写实现中的内部策略。 Zbl 0917.68104号 布鲁尼,R。;梅塞盖尔,J。;美国蒙塔纳里。 11 1998 通过统一实现相互模拟。 兹比尔1275.68100 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 10 2002 开放项和术语图通过分片逻辑的双相似同余。 Zbl 0999.68142号 罗伯托·布鲁尼;戴维·德·弗鲁托斯·埃斯克里格;马丁·奥列特,纳西索;乌戈·蒙塔纳里 10 2000 比较两种可补偿流量合成方法。 Zbl 1134.68316号 罗伯托·布鲁尼;迈克尔·巴特勒;卡拉·费雷拉;你好,托尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 8 2005 关于层次图:调和二元图、gs-单体理论和gs-图。 Zbl 1320.68125号 罗伯托·布鲁尼;乌戈·蒙塔纳里;戈登·普洛金;丹尼尔·特雷尼 8 2014 基于风格的架构重新配置。 Zbl 1169.68306号 罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里;埃米利奥·托斯托 7 2008 Reo的瓷砖。 Zbl 1253.68090号 法哈德·阿尔巴;罗伯托·布鲁尼;克拉克、戴夫;伊万·拉内斯;乌戈·蒙塔纳里 7 2009 服务、会话和管道演算中的类型和死锁自由度。 Zbl 1170.68428号 罗伯托·布鲁尼;莱昂纳多·盖塔诺(Leonardo Gaetano Mezzina) 7 2008 连接代数、Petri网和BIP。 Zbl 1336.68006号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 7 2012 嵌套膜相互作用的平面过程演算。 Zbl 1424.68101号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼;戴维·齐亚鲁吉 7 2014 打开多方交互。 Zbl 1394.68244号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 7 2013 从约化系统导出弱互模拟同余。 Zbl 1134.68428号 罗伯托·布鲁尼;法比奥·加杜奇;乌戈·蒙塔纳里;索博辛斯基,Paweł 6 2005 分区和关系的正规形式。 Zbl 0955.68081号 罗伯托·布鲁尼;法比奥·加杜奇;乌戈·蒙塔纳里 6 1999 用于并发的动态连接器。 Zbl 0996.68073号 罗伯托·布鲁尼;乌戈·蒙塔纳里 6 2002 零安全网或转换同步变得简单。 Zbl 0911.68149号 罗伯托·布鲁尼;乌戈·蒙塔纳里 6 1997 开放流程的语义框架。 Zbl 1132.68042号 鲍尔丹,P。;A.Braciali。;布鲁尼,R。 5 2007 个体标记哲学下Petri网的函数语义。 兹伯利0966.68108 R.布鲁尼。;梅塞盖尔,J。;美国蒙塔纳里。;萨索内,V。 5 1999 开放式系统、动态互模拟和分片逻辑。 Zbl 0998.68087号 罗伯托·布鲁尼;乌戈·蒙塔纳里;弗拉迪米罗·萨松 5 2000 事务和零安全网络。 Zbl 1017.68074号 罗伯托·布鲁尼;乌戈·蒙塔纳里 5 2001 移动计算的嵌套提交:扩展联接。 Zbl 1088.68507号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 5 2004 集体标记哲学下Petri网语义的比较。 Zbl 0932.68062号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 5 1998 在联接演算中编排事务。 Zbl 1012.68524号 罗伯托·布鲁尼;科西莫·拉内夫;乌戈·蒙塔纳里 4 2002 上下文网络的代数模型。 Zbl 0973.68161号 罗伯托·布鲁尼;弗拉迪米罗·萨松 4 2000 开放多方交互的正式方法。 Zbl 1411.68074号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 4 2019 行为、相互作用和动力学。 Zbl 1407.68098号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 4 2014 移动标称计算中的参数同步。 Zbl 1146.68051号 罗伯托·布鲁尼;伊万·拉内斯 3 2008 预备网,阅读ARCS和展开:功能演示。 Zbl 1278.68210号 保罗·巴尔丹;罗伯托·布鲁尼;乌戈·蒙塔纳里 3 2003 Linda与事务的并发模型。 Zbl 1085.68027号 罗伯托·布鲁尼;乌戈·蒙塔纳里 3 2004 基于贝叶斯方法的模糊噪声数据的全局最优图像重建。 Zbl 1053.68112号 C.布鲁尼。;R.布鲁尼。;A.德桑提斯。;艾科维罗,D。;科赫,G。 3 2002 异步和同步并发系统的逻辑模块化描述。 Zbl 0917.68099号 罗伯托·布鲁尼 3 1998 Petri网因果关系的联合语义。 Zbl 1330.68196号 罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 3 2015 用Maude重写分层设计。 Zbl 1347.68072号 罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里 3 2009 重新审视因果关系。 Zbl 1307.68053号 罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 3 2015 在重写逻辑中平铺事务。 兹比尔1272.68291 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里 3 2004 Petri网的贝叶斯网络语义。 兹比尔1436.68207 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 3 2020 并发性和概率:从组成上消除混淆。 Zbl 1497.68329号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 3 2018 动态网络的非连续行为。 Zbl 1234.68289号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂 2 2006 面向服务应用程序中逻辑缺陷的静态检测。 Zbl 1252.68106号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 2 2009 无状态连接器的完整公理。 Zbl 1151.68511号 罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 2 2005 将零安全方法扩展到有色、可重构和动态网络。 兹比尔1088.68120 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2004 动态可重构平铺系统的观测一致性。 Zbl 1080.68075号 罗伯托·布鲁尼;乌戈·蒙塔纳里;弗拉迪米罗·萨松 2 2005 开放系统的符号等价。 Zbl 1111.68530号 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 2 2005 具有持久性的Petri网的事件结构。 Zbl 1417.68113号 保罗·巴尔丹;罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2018 在零安全网络中执行事务。 Zbl 0986.68081号 罗伯托·布鲁尼;乌戈·蒙塔纳里 2 2000 CaSPiS:会话、管道和服务的计算。 Zbl 1361.68161号 米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2015 平面提交联接。 Zbl 1271.68170号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2004 并发性和概率:从组成上消除混淆。 Zbl 1427.68186号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2019 这个链接-开放多方交互的微积分。 Zbl 1496.68218号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 2 2020 值得信赖的全球计算。2011年6月9日至10日在德国亚琛举行的第六届TGC国际研讨会。修订了选定的论文。 Zbl 1245.68002号 1 2012 PRISMA:具有参数同步的移动演算。 Zbl 1211.68025号 罗伯托·布鲁尼;伊万·拉内斯 1 2007 上下文网络的两个代数过程语义。 Zbl 1017.68075号 罗伯托·布鲁尼;弗拉迪米罗·萨松 1 2001 对架构连接器的新见解。 Zbl 1094.68009号 罗伯托·布鲁尼;何塞·路易斯·费亚代罗;伊万·拉内斯;安托尼亚州洛佩斯;乌戈·蒙塔纳里 1 2004 上下文前网的代数理论。 Zbl 1257.68107号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 1 2003 cJoin(加入):加入与通信事务有关。 Zbl 1361.68060号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 1 2015 计算模型。 Zbl 1480.68001号 罗伯托·布鲁尼;乌戈·蒙塔纳里 1 2017 一种新的分布式补偿策略,用于长时间运行事务中的中断。 Zbl 1312.68126号 罗伯托·布鲁尼;安妮·克尔斯滕;伊万·拉内斯;乔治·斯帕格诺洛 1 2012 适应性过渡系统。 Zbl 1394.68206号 罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;阿尔贝托·卢什·拉富恩特;安德里亚·万丁 1 2013 针对抽象模型检查攻击的代码混淆。 Zbl 1446.68028号 罗伯托·布鲁尼;罗伯托·贾科巴齐;戈丽,罗伯塔 1 2018 反应系统的逻辑和图形框架。 Zbl 1504.68065号 琳达·布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基 1 2021 反应系统的逻辑和图形框架。 Zbl 1504.68065号 琳达·布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基 1 2021 Petri网的贝叶斯网络语义。 Zbl 1436.68207号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 3 2020 这个链接-开放多方交互的微积分。 Zbl 1496.68218号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 2 2020 开放多方交互的正式方法。 Zbl 1411.68074号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 4 2019 并发性和概率:从组成上消除混淆。 Zbl 1427.68186号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2019 并发性和概率:从组成上消除混淆。 Zbl 1497.68329号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 3 2018 具有持久性的Petri网的事件结构。 Zbl 1417.68113号 保罗·巴尔丹;罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2018 针对抽象模型检查攻击的代码混淆。 Zbl 1446.68028号 罗伯托·布鲁尼;罗伯托·贾科巴齐;戈丽,罗伯塔 1 2018 计算模型。 Zbl 1480.68001号 罗伯托·布鲁尼;乌戈·蒙塔纳里 1 2017 Petri网因果关系的联合语义。 Zbl 1330.68196号 罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 3 2015 重新审视因果关系。 Zbl 1307.68053号 罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 3 2015 CaSPiS:会话、管道和服务的计算。 Zbl 1361.68161号 米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2015 cJoin(加入):加入使用通信事务。 Zbl 1361.68060号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 1 2015 关于层次图:调和二元图、gs-单体理论和gs-图。 Zbl 1320.68125号 罗伯托·布鲁尼;乌戈·蒙塔纳里;戈登·普洛金;丹尼尔·特雷尼 8 2014 嵌套膜相互作用的平面过程演算。 Zbl 1424.68101号 博迪,恰拉;琳达,布罗多;罗伯托·布鲁尼;戴维·齐亚鲁吉 7 2014 行为、相互作用和动力学。 Zbl 1407.68098号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 4 2014 C/E和P/T网络相互作用的连接代数。 Zbl 1274.68224号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里;巴韦尔·索博辛斯基 18 2013 打开多方交互。 Zbl 1394.68244号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 7 2013 适应性过渡系统。 Zbl 1394.68206号 罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;阿尔贝托·卢什·拉富恩特;安德里亚·万丁 1 2013 连接代数、Petri网和BIP。 兹比尔1336.68006 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 7 2012 值得信赖的全球计算。2011年6月9日至10日在德国亚琛举行的第六届TGC国际研讨会。修订了选定的论文。 Zbl 1245.68002号 1 2012 一种新的分布式补偿策略,用于长时间运行事务中的中断。 Zbl 1312.68126号 罗伯托·布鲁尼;安妮·克尔斯滕;伊万·拉内斯;乔治·斯帕格诺洛 1 2012 P/T网络交互的连接器代数。 Zbl 1344.68161号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 12 2011 Reo的平铺。 Zbl 1253.68090号 法哈德·阿尔巴;罗伯托·布鲁尼;克拉克、戴夫;伊万·拉内斯;乌戈·蒙塔纳里 7 2009 用Maude重写分层设计。 Zbl 1347.68072号 罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里 3 2009 面向服务应用程序中逻辑缺陷的静态检测。 Zbl 1252.68106号 博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 2 2009 基于风格的架构重新配置。 Zbl 1169.68306号 罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里;埃米利奥·托斯托 7 2008 服务、会话和管道演算中的类型和死锁自由度。 Zbl 1170.68428号 罗伯托·布鲁尼;莱昂纳多·盖塔诺(Leonardo Gaetano Mezzina) 7 2008 移动标称计算中的参数同步。 Zbl 1146.68051号 罗伯托·布鲁尼;伊万·拉内斯 3 2008 开放流程的语义框架。 Zbl 1132.68042号 鲍尔丹,P。;A.Braciali。;R.布鲁尼。 5 2007 PRISMA:一种具有参数同步功能的移动微积分。 Zbl 1211.68025号 罗伯托·布鲁尼;伊万·拉内斯 1 2007 广义重写理论的语义基础。 Zbl 1097.68051号 罗伯托·布鲁尼;何塞·梅塞盖尔 45 2006 无状态连接符的基本代数。 Zbl 1153.68331号 罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 21 2006 标称计算的事件结构语义。 Zbl 1151.68512号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 13 2006 动态网络的非连续行为。 Zbl 1234.68289号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂 2 2006 流合成语言中补偿的理论基础。 Zbl 1369.68070号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 16 2005 比较两种可补偿流量合成方法。 Zbl 1134.68316号 罗伯托·布鲁尼;巴特勒,迈克尔;卡拉·费雷拉;你好,托尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 8 2005 从约化系统导出弱互模拟同余。 Zbl 1134.68428号 罗伯托·布鲁尼;法比奥·加杜奇;乌戈·蒙塔纳里;索博辛斯基,Paweł 6 2005 无状态连接器的完整公理。 Zbl 1151.68511号 罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 2 2005 动态可重构平铺系统的观测一致性。 Zbl 1080.68075号 罗伯托·布鲁尼;乌戈·蒙塔纳里;弗拉迪米罗·萨松 2 2005 开放系统的符号等价。 Zbl 1111.68530号 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 2 2005 移动计算的嵌套提交:扩展联接。 Zbl 1088.68507号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 5 2004 Linda与事务的并发模型。 Zbl 1085.68027号 罗伯托·布鲁尼;乌戈·蒙塔纳里 3 2004 在重写逻辑中平铺事务。 Zbl 1272.68291号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里 3 2004 将零安全方法扩展到有色、可重构和动态网络。 Zbl 1088.68120号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2004 平面提交联接。 Zbl 1271.68170号 罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2004 对架构连接器的新见解。 Zbl 1094.68009号 罗伯托·布鲁尼;何塞·路易斯·费亚代罗;伊万·拉内斯;安托尼亚州洛佩斯;乌戈·蒙塔纳里 1 2004 广义重写理论。 Zbl 1039.03020号 罗伯托·布鲁尼;何塞·梅塞盖尔 15 2003 预备网,阅读ARCS和展开:功能演示。 Zbl 1278.68210号 保罗·巴尔丹;罗伯托·布鲁尼;乌戈·蒙塔纳里 3 2003 上下文前网的代数理论。 兹比尔1257.68107 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 1 2003 连接代数的正规形式。 兹比尔1061.68110 罗伯托·布鲁尼;法比奥·加杜奇;乌戈·蒙塔纳里 22 2002 对称单体和笛卡尔双重范畴作为瓦片逻辑的语义框架。 Zbl 0993.68058号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里 17 2002 通过统一实现相互模拟。 Zbl 1275.68100号 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 10 2002 用于并发的动态连接器。 Zbl 0996.68073号 罗伯托·布鲁尼;乌戈·蒙塔纳里 6 2002 在联接演算中编排事务。 Zbl 1012.68524号 罗伯托·布鲁尼;科西莫·拉内夫;乌戈·蒙塔纳里 4 2002 基于贝叶斯方法的模糊噪声数据的全局最优图像重建。 兹比尔1053.68112 C.布鲁尼。;R.布鲁尼。;A.德桑提斯。;艾科维罗,D。;科赫,G。 3 2002 逻辑编程的交互语义。 Zbl 1066.68512号 罗伯托·布鲁尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西 14 2001 Petri网的函数模型。 Zbl 1005.68102号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 12 2001 事务和零安全网络。 Zbl 1017.68074号 罗伯托·布鲁尼;乌戈·蒙塔纳里 5 2001 上下文网络的两个代数过程语义。 Zbl 1017.68075号 罗伯托·布鲁尼;弗拉迪米罗·萨松 1 2001 零安全网:比较集体和个人令牌方法。 Zbl 1046.68615号 罗伯托·布鲁尼;乌戈·蒙塔纳里 15 2000 开放项和术语图通过分片逻辑的双相似同余。 Zbl 0999.68142号 罗伯托·布鲁尼;戴维·德·弗鲁托斯·埃斯克里格;马丁·奥列特,纳西索;乌戈·蒙塔纳里 10 2000 开放式系统、动态互模拟和分片逻辑。 Zbl 0998.68087号 罗伯托·布鲁尼;乌戈·蒙塔纳里;弗拉迪米罗·萨松 5 2000 上下文网络的代数模型。 Zbl 0973.68161号 罗伯托·布鲁尼;弗拉迪米罗·萨松 4 2000 在零安全网络中执行事务。 Zbl 0986.68081号 罗伯托·布鲁尼;乌戈·蒙塔纳里 2 2000 分区和关系的正规形式。 Zbl 0955.68081号 罗伯托·布鲁尼;法比奥·加杜奇;乌戈·蒙塔纳里 6 1999 个体标记哲学下Petri网的函数语义。 兹伯利0966.68108 R.布鲁尼。;梅塞盖尔,J。;美国蒙塔纳里。;萨松,V。 5 1999 瓦片系统重写实现中的内部策略。 Zbl 0917.68104号 R.布鲁尼。;梅塞盖尔,J。;美国蒙塔纳里。 11 1998 集体标记哲学下Petri网语义的比较。 Zbl 0932.68062号 罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 5 1998 异步和同步并发系统的逻辑模块化描述。 Zbl 0917.68099号 罗伯托·布鲁尼 3 1998 零安全网或转换同步变得简单。 Zbl 0911.68149号 罗伯托·布鲁尼;乌戈·蒙塔纳里 6 1997 所有引用出版物 前5名被引用出版物 全部的 前5名310位作者引用 37 罗伯托·布鲁尼 33 何塞·梅塞盖尔·瓜伊塔 30 乌戈·蒙塔纳里。 20 法比奥·加杜奇 14 菲利波·邦奇 14 马丁·奥列特,纳西索 13 保罗·巴尔丹 12 索博辛斯基,Paweł 11 安德里亚·科拉迪尼 10 西蒙·布利兹 10 萨尔瓦多卢卡斯 10 法比奥·扎纳西 9 琳达·布罗多 9 埃尔南·梅尔格拉蒂 8 Peter Csaba,Olveczky 7 弗朗西斯科·杜兰 6 巴巴拉·科尼格 6 伊万·拉内斯 6 阿尔贝托·卢什·拉富恩特 6 米盖尔·帕洛米诺 6 卡米洛·罗查 6 约瑟夫·西法基斯 6 阿尔贝托·维尔德乔 4 玛丽亚·阿尔普特 4 法哈德·阿尔巴 4 黛米斯·巴利斯 4 爱德华·巴拉诺夫 4 克拉克、戴夫 4 莫雷诺,法拉斯基 4 Frechina,弗朗西斯科 4 叶卡捷琳娜·科门丹茨卡亚 4 蒙雷利,贾科玛·瓦伦蒂娜 4 罗宾·皮埃德鲁 4 格里高·罗什乌 4 朱莉娅·萨皮娜 4 弗拉迪米罗·萨松 3 路易斯·安东尼奥·阿吉雷 3 安德烈亚·克拉克,布拉切利 3 Dezani Ciancaglini,马里亚焦拉 3 码头Kleijn 3 马西耶·库特尼 3 多雷尔·卢卡努 3 卡洛斯·奥拉特 3 Marta Pietkiewicz-Koutny 3 G.Michele Pinna 3 伊莎贝尔·皮塔 3 权力,约翰 3 莱拉·里贝罗 3 尼科莱塔·萨巴迪尼 3 马蒂奥·桑马蒂诺 3 罗伯特·F·C·沃尔特斯。 3 吉田、Nobuko 2 马可·奥蒂利 2 Bae,Kyungmin先生 2 约翰·C·贝兹。 2 博迪,恰拉 2 Böhm,加布里埃拉 2 拉斐尔·卡巴列罗(Rafael E.Caballero)。 2 洛伦佐·卡普拉 2 伊利亚州卡斯特拉尼 2 托马斯·查泰恩 2 曼纽尔·克莱维尔 2 文森特·达诺斯 2 洛科·德尼古拉 2 费尔南多·路易斯·多蒂 2 史蒂文·艾克 2 吉安·路易吉,法拉利 2 卢西亚娜·福斯 2 法布里奇奥·罗马诺·基诺维塞 2 戈丽,罗伯塔 2 罗伯托·戈里埃里 2 斯特凡·哈尔 2 瑞科·赫克尔 2 保拉·因弗拉迪 2 基辛格,亚历克斯 2 迈克尔·科勒-布·迈耶 2 亚历山大·拉佐维克 2 米歇尔·洛雷蒂 2 埃里克,玛德琳 2 克劳德·马奇 2 奥斯卡·马汀 2 主人,杰德 2 菲利波·米格诺西 2 塞萨尔·穆尼奥斯。 2 戈登·佩斯。 2 卢卡·帕多瓦尼 2 巴甫洛维奇,杜什科 2 阿德里安·里斯科 2 格列泽戈兹·罗森贝格 2 罗米娜·斯帕拉泽塞 2 马克·奥利弗 2 卡罗琳·塔尔科特。 2 马西莫Tivoli 2 埃米利奥·托斯托 2 范格拉贝克、罗伯特·扬 2 丹尼尔·瓦拉卡 2 雨果·托雷斯·维埃拉 1 帕特里克·阿贝拉 1 卢卡·阿贝蒂 1 Abreu Jünior,Joáo Carlos …还有210多名作者 全部的 前5名30篇连载文章中引用 35 理论计算机科学 20 程序设计中的逻辑和代数方法杂志 15 信息与计算 11 逻辑与代数程序设计杂志 7 信息学报 7 MSCS公司。计算机科学中的数学结构 6 计算机程序设计科学 6 计算机科学中的逻辑方法 5 计算的形式方面 4 系统设计中的形式化方法 2 计算机与系统科学杂志 2 离散事件动态系统 2 应用分类结构 2 范畴的理论与应用 1 人工智能 1 离散应用数学 1 信息处理信件 1 数学物理评论 1 几何与物理杂志 1 纯粹与应用代数杂志 1 符号计算杂志 1 自动推理杂志 1 分布式计算 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 自然计算 1 计算机语言、系统和结构 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 ACM计算逻辑事务 1 形式化推理杂志 全部的 前5名16个领域引用 237 计算机科学(68至XX) 42 数学逻辑和基础(03-XX) 36 范畴理论;同调代数(18-XX) 5 生物学和其他自然科学(92-XX) 3 历史和传记(01-XX) 3 组合数学(05-XX) 3 结合环与代数(16-XX) 3 运筹学、数学规划(90-XX) 3 系统论;控制(93至XX) 2 动力系统和遍历理论(37至XX) 2 概率论与随机过程(60-XX) 2 统计学(62-XX) 1 总体主题;集合(00-XX) 1 有序,格,有序代数结构(06-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文