编辑配置文件(在新选项卡中打开) 洛科·德尼古拉 合著者距离 作者ID: 德尼科拉·罗科 发布日期: 洛科·德尼古拉;德尼古拉,罗科;R·德·尼古拉。;尼古拉·洛科·德;尼古拉·洛科·德;R·德·尼古拉。;R·德尼古拉。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 83出版物自1983年起 9作为编辑的贡献 传记参考: 3出版物 合著者: 56位合著者具有87联合出版物 1175位合作作者 全部的 前5名合著者 5 单作者的 22 米歇尔·洛雷蒂 18 罗萨里奥·普格利泽 11 丹尼尔·戈拉 8 马可·贝尔纳多 8 皮耶保罗·德加诺 8 安娜·拉布拉 8 乌戈·蒙塔纳里。 7 米歇尔·博雷尔 7 弗拉维奥·科拉迪尼 6 吉安·路易吉,法拉利 5 洛伦佐·贝蒂尼 4 迭戈·拉特拉 4 梅克·马西克 3 轩尼诗,Matthew C.B。 3 奥马尔·因弗索 3 弗朗西斯科·蒂埃齐 2 叶希亚·阿卜杜·阿勒拉赫曼 2 卢卡·迪·斯特法诺 2 亚历山德罗·范特奇 2 罗尔夫·亨尼克 2 阿尔贝托·卢什·拉富恩特 2 埃尔南·梅尔格拉蒂 2 何塞·梅塞盖尔·瓜伊塔 2 埃米利奥·托斯托 2 塞雷内拉·瓦利亚尼 1 卢卡·埃特罗 1 安德里克,玛丽娜 1 萨拉·贝鲁奇尼 1 维维亚娜·博诺 1 保罗·波托尼 1 罗伯托·布鲁尼 1 朱塞佩·卡斯塔尼亚 1 陈晓军 1 Duong、Tan 1 格内西、斯特凡尼亚 1 RenéRydhof汉森 1 简·希尔斯顿 1 Joost-Pieter卡托恩 1 伊娃·库恩 1 佛朗哥,马赞蒂 1 格雷格·梅雷迪斯 1 克劳迪奥·安塔雷斯·梅齐纳 1 尤金尼奥·莫吉 1 安德烈亚·莫里切塔 1 弗莱明·尼尔森 1 克里斯蒂安·W·普罗布斯特。 1 Re,芭芭拉 1 汉内·里斯·尼尔森 1 乔亚·里斯托里 1 戴维·桑吉奥吉 1 罗伯特·塞加拉 1 瓦莱里奥·塞尼 1 Vaandrager,Frits W。 1 丹尼尔·瓦拉卡 1 贝蒂·文内里 1 雨果·托雷斯·维埃拉 全部的 前5名系列 9 理论计算机科学 7 信息与计算 7 计算机科学课堂讲稿 4 信息学报 3 计算机程序设计科学 3 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 控制论学报 1 信息和控制 1 计算机协会杂志 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 软件。实践与经验 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 逻辑与计算杂志 1 计算机网络和ISDN系统 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 全部的 前5名领域 88 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 9 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 概率论与随机过程(60-XX) 1 有序,格,有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 70出版物有被引用897中的次642文件 引用人▼ 年份▼ 测试过程的等效性。 Zbl 0985.68518号 R·德·尼古拉。;轩尼诗,M.C.B。 268 1984 分支共刺激的三种逻辑。 兹伯利0886.68064 德尼古拉,罗科;Vaandrager,Frits公司 73 1995 过渡系统的扩展等价。 兹伯利0636.68069 洛科·德尼古拉 47 1987 基于条件/事件系统的CCS分布式操作语义。 Zbl 0656.68061号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 43 1988 不确定并发进程的部分排序描述和观察。(技术贡献)。 Zbl 0683.68067号 P.德加诺。;R·德尼古拉。;美国蒙塔纳里。 28 1989 CCS的部分排序语义。 Zbl 0701.68073号 P.德加诺。;R·德·尼古拉。;美国蒙塔纳里。 27 1990 测试移动进程的等效性。 Zbl 0835.68073号 米歇尔·博雷尔;洛科·德尼古拉 26 1995 加密过程的证明技术。 Zbl 1017.68050号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 20 2002 跟踪和测试异步进程的等效性。 Zbl 1009.68079号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 17 2002 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 兹比尔1358.68210 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 16 2013 没有\(\tau\)’s的CCS。 Zbl 0614.68025号 洛科·德尼古拉;马修·轩尼诗 15 1987 像素的语义子类型。 Zbl 1146.68052号 朱塞佩·卡斯塔尼亚;德尼古拉,罗科;丹尼尔·瓦拉卡 14 2008 CCS是一种(增强的)无触点C/E系统。 Zbl 0635.68058号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 14 1987 互模拟的通用公理。 Zbl 0782.68044号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 14 1993 测试过程的等效性。 Zbl 0515.68029号 de Nicola,R。;轩尼诗,M.C.B。 14 1983 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 \(\pi\)-演算的符号语义。 Zbl 0853.68126号 米歇尔·博雷尔;洛科·德尼古拉 13 1996 一种基于动作的框架,用于验证并发系统的逻辑和行为特性。 Zbl 0789.68096号 R·德·尼古拉。;A.范特奇。;格内西,S。;Ristori,G。 13 1993 随机过程计算的统一定义。 Zbl 1288.68184号 尼古拉·洛科·德;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 12 2013 输入/输出自动机的过程代数视图。 Zbl 0874.68209号 洛科·德尼古拉;罗伯特·塞加拉 11 1995 回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1325.68159号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 10 2014 将具有不确定性和概率的过程的强行为等价性联系起来。 Zbl 1360.68626号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 10 2014 关于克莱姆-基于计算。 Zbl 1092.68070号 德尼古拉,罗科;丹尼尔·戈拉;罗萨里奥·普格利泽 10 2006 过程的基本观察结果。 Zbl 0928.68013号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 10 1999 CCS的偏序推导。 Zbl 0571.68016号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 9 1985 测试事件结构的等效项。 Zbl 0626.68021号 卢卡·埃特罗;洛科·德尼古拉;亚历山德罗·范特奇 8 1987 论基于属性的交流的力量。 Zbl 1347.68022号 叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂 8 2016 回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1326.68197号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 7 2012 Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号 洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽 7 2002 重新审视非确定性和概率过程的二相似性及其模态逻辑。 Zbl 1331.68147号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 7 2015 随机过程计算的基于比率的转换系统。 兹比尔1248.68350 洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 7 2009 全局计算微积分的基本观察值。 Zbl 1119.68124号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 6 2007 观察逻辑和并发模型。 Zbl 0732.03024号 洛科·德尼古拉;吉安·路易吉,法拉利 5 1990 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉,罗科;丹尼尔·戈拉;RenéRydhof汉森;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·W·普罗布斯特。;罗萨里奥·普格利泽 5 2010 非确定性正则表达式的模型。 Zbl 0958.68090号 弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 5 1999 编程和验证组件集成。 兹伯利1416.68051 洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 5 2014 集体适应系统的微积分及其行为理论。 Zbl 1430.68158号 叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂 5 2019 全局计算微积分的基本观察值。 兹比尔1085.68098 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 4 2005 正则表达式上互模拟的等式公理化。 Zbl 1012.68143号 弗拉维奥·科拉迪尼;德尼古拉,罗科;安娜·拉布拉 4 2002 分级模式和资源互模拟。 Zbl 0948.03024号 弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 4 1999 非确定性和概率过程的强行为等效谱。 Zbl 1464.68231号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 4 2013 不确定Kleene代数的完备性定理。 Zbl 1493.68196号 洛科·德尼古拉;安娜·拉布拉 4 1994 编程语言和系统。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会,ESOP 2007,是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1116.68003号 3 2007 三函子,确定性和互模拟。 Zbl 1206.68214号 洛科·德尼古拉;丹尼尔·戈拉;安娜·拉布拉 3 2010 并发、图形和模型。纪念乌戈·蒙塔纳里65岁生日的文章。 Zbl 1137.68003号 3 2008 模型检验移动随机逻辑。 Zbl 1159.68478号 洛科·德尼古拉;Joost-Pieter卡托恩;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 3 2007 MarCaSPiS公司:服务演算的马尔科夫扩展。 Zbl 1339.68157号 洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 3 2009 移动代理的模式逻辑。 Zbl 1367.68064号 洛科·德尼古拉;米歇尔·洛雷蒂 3 2004 元组空间动态网络上的模式匹配。 Zbl 1461.68131号 洛科·德尼古拉;丹妮尔·戈拉;罗萨里奥·普格利泽 3 2005 多方测试预订单。 Zbl 1457.68022号 洛科·德尼古拉;埃尔南·梅尔格拉蒂 3 2016 限制全球计算应用程序中的数据和进程。 Zbl 1137.68333号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 2 2006 MoMo:一种关于流动性推理的模态逻辑。 Zbl 1143.68364号 洛科·德尼古拉;米歇尔·洛雷蒂 2 2005 可编程QoS推理的形式化基础。 Zbl 1274.68022号 洛科·德尼古拉;Gianluigi法拉利;乌戈·蒙塔纳里;罗萨里奥·普格利泽;埃米利奥·托斯托 2 2003 标称计算及其逻辑的多重标记转换系统。 Zbl 1141.68047号 洛科·德尼古拉;米歇尔·洛雷蒂 2 2008 形式化移动代理系统的属性。 Zbl 1053.68503号 洛伦佐·贝蒂尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2002 非确定性正则表达式的有限公理化。 Zbl 0945.68122号 弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 2 1999 通信顺序过程理论的一整套公理。 兹比尔0517.68027 洛科·德尼古拉 2 1983 克莱姆的模态逻辑。 Zbl 0983.68022号 洛科·德尼古拉;米歇尔·洛雷蒂 2 2000 CaSPiS:会话、管道和服务的计算。 Zbl 1361.68161号 米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2015 过程代数的基于局部性的语义。 Zbl 0877.68081号 弗拉维奥·科拉迪尼;洛科·德尼古拉 2 1997 逐群概率双相似性及其逻辑特征。 Zbl 1348.68156号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 2 2014 并发系统的分布和位置。 Zbl 1418.68137号 弗拉维奥·科拉迪尼;洛科·德尼古拉 1 1994 元组空间动态网络中的全局计算。 Zbl 1178.68160号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 1 2007 编程访问控制:KLAIM体验。 Zbl 0999.68557号 洛科·德尼古拉;吉安·路易吉,法拉利;罗萨里奥·普格利泽 1 2000 将强流动性转化为弱流动性。 Zbl 1052.68816号 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2001 用于保证分布式元组空间隐私的Java中间件。 Zbl 1025.68516号 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2003 非确定性正则表达式作为方程组的解。 Zbl 1044.68087号 洛科·德尼古拉;安娜·拉布拉 1 2003 在X10中复制数据以获得更好的性能。 Zbl 1474.68039号 玛丽娜·安德里奇;洛科·德尼古拉;阿尔贝托·卢什·拉富恩特 1 2016 关于克莱姆-基于计算。 Zbl 1272.68298号 洛科·德尼古拉;丹妮尔·戈拉;罗萨里奥·普格利泽 1 2005 验证依赖于基于属性的通信的系统的属性。 Zbl 1498.68182号 洛科·德尼古拉;Duong、Tan;奥马尔·因弗索;佛朗哥,马赞蒂 1 2017 集体适应系统的微积分及其行为理论。 Zbl 1430.68158号 叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂 5 2019 验证依赖于基于属性的通信的系统的属性。 Zbl 1498.68182号 洛科·德尼古拉;Duong、Tan;奥马尔·因弗索;佛朗哥,马赞蒂 1 2017 论基于属性的交流的力量。 Zbl 1347.68022号 叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂 8 2016 多方测试预订单。 兹比尔1457.68022 洛科·德尼古拉;埃尔南·梅尔格拉蒂 3 2016 在X10中复制数据以获得更好的性能。 Zbl 1474.68039号 玛丽娜·安德里奇;洛科·德尼古拉;阿尔贝托·卢什·拉富恩特 1 2016 重新审视非确定性和概率过程的二相似性及其模态逻辑。 Zbl 1331.68147号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 7 2015 CaSPiS:会话、管道和服务的计算。 Zbl 1361.68161号 米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2015 回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1325.68159号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 10 2014 将具有不确定性和概率的过程的强行为等价性联系起来。 Zbl 1360.68626号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 10 2014 编程和验证组件集成。 Zbl 1416.68051号 洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 5 2014 逐群概率双相似性及其逻辑特征。 Zbl 1348.68156号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 2 2014 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 兹比尔1358.68210 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 16 2013 随机过程计算的统一定义。 Zbl 1288.68184号 尼古拉·洛科·德;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 12 2013 非确定性和概率过程的强行为等效谱。 Zbl 1464.68231号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 4 2013 回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1326.68197号 马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 7 2012 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉,罗科;丹尼尔·戈拉;RenéRydhof汉森;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·W·普罗布斯特。;罗萨里奥·普格利泽 5 2010 三函子,确定性和互模拟。 Zbl 1206.68214号 洛科·德尼古拉;丹尼尔·戈拉;安娜·拉布拉 3 2010 随机过程计算的基于比率的转换系统。 兹比尔1248.68350 洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 7 2009 MarCaSPiS公司:服务演算的马尔科夫扩展。 Zbl 1339.68157号 洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 3 2009 像素的语义子类型。 Zbl 1146.68052号 朱塞佩·卡斯塔尼亚;德尼古拉,罗科;丹尼尔·瓦拉卡 14 2008 并发、图形和模型。纪念乌戈·蒙塔纳里65岁生日的文章。 Zbl 1137.68003号 3 2008 标称结石的多重标记转换系统及其逻辑。 Zbl 1141.68047号 洛科·德尼古拉;米歇尔·洛雷蒂 2 2008 全局计算微积分的基本观察值。 Zbl 1119.68124号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 6 2007 编程语言和系统。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会,ESOP 2007,是欧洲软件理论与实践联合会议的一部分。诉讼程序。 兹比尔1116.68003 3 2007 模型检验移动随机逻辑。 Zbl 1159.68478号 洛科·德尼古拉;Joost-Pieter卡托恩;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 3 2007 元组空间动态网络中的全局计算。 Zbl 1178.68160号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 1 2007 关于克莱姆-基于计算。 Zbl 1092.68070号 德尼古拉,罗科;丹尼尔·戈拉;罗萨里奥·普格利泽 10 2006 限制全球计算应用程序中的数据和进程。 Zbl 1137.68333号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 2 2006 全局计算微积分的基本观察值。 Zbl 1085.68098号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 4 2005 元组空间动态网络上的模式匹配。 Zbl 1461.68131号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 3 2005 MoMo:一种关于流动性推理的模态逻辑。 Zbl 1143.68364号 洛科·德尼古拉;米歇尔·洛雷蒂 2 2005 关于克莱姆-基于计算。 Zbl 1272.68298号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 1 2005 移动代理的模式逻辑。 Zbl 1367.68064号 洛科·德尼古拉;米歇尔·洛雷蒂 3 2004 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 可编程QoS推理的形式化基础。 Zbl 1274.68022号 洛科·德尼古拉;Gianluigi法拉利;乌戈·蒙塔纳里;罗萨里奥·普格利泽;埃米利奥·托斯托 2 2003 用于保证分布式元组空间隐私的Java中间件。 Zbl 1025.68516号 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2003 非确定性正则表达式作为方程组的解。 Zbl 1044.68087号 洛科·德尼古拉;安娜·拉布拉 1 2003 加密过程的证明技术。 Zbl 1017.68050号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 20 2002 跟踪和测试异步进程的等效性。 Zbl 1009.68079号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 17 2002 Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号 洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽 7 2002 正则表达式上的互模拟的一种等价公理化。 Zbl 1012.68143号 弗拉维奥·科拉迪尼;德尼古拉,罗科;安娜·拉布拉 4 2002 形式化移动代理系统的属性。 Zbl 1053.68503号 洛伦佐·贝蒂尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2002 将强流动性转化为弱流动性。 Zbl 1052.68816号 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2001 克莱姆的模态逻辑。 Zbl 0983.68022号 洛科·德尼古拉;米歇尔·洛雷蒂 2 2000 编程访问控制:KLAIM体验。 Zbl 0999.68557号 洛科·德尼古拉;吉安·路易吉,法拉利;罗萨里奥·普格利泽 1 2000 过程的基本观察结果。 Zbl 0928.68013号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 10 1999 非确定性正则表达式的模型。 Zbl 0958.68090号 弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 5 1999 分级模式和资源互模拟。 Zbl 0948.03024号 弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 4 1999 非确定性正则表达式的有限公理化。 Zbl 0945.68122号 弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 2 1999 过程代数的基于局部性的语义。 Zbl 0877.68081号 弗拉维奥·科拉迪尼;洛科·德尼古拉 2 1997 \(\pi\)-演算的符号语义。 Zbl 0853.68126号 米歇尔·博雷尔;洛科·德尼古拉 13 1996 分支共刺激的三种逻辑。 Zbl 0886.68064号 德尼古拉,罗科;Vaandrager,Frits公司 73 1995 测试移动进程的等效性。 Zbl 0835.68073号 米歇尔·博雷尔;洛科·德尼古拉 26 1995 输入/输出自动机的过程代数视图。 Zbl 0874.68209号 洛科·德尼古拉;罗伯特·塞加拉 11 1995 不确定Kleene代数的完备性定理。 Zbl 1493.68196号 洛科·德尼古拉;安娜·拉布拉 4 1994 并发系统的分布和位置。 兹比尔1418.68137 弗拉维奥·科拉迪尼;洛科·德尼古拉 1 1994 互模拟的通用公理。 Zbl 0782.68044号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 14 1993 一种基于操作的框架,用于验证并发系统的逻辑和行为属性。 Zbl 0789.68096号 R·德·尼古拉。;A.范特奇。;格内西,S。;G.里斯托里。 13 1993 CCS的部分排序语义。 兹比尔0701.68073 P.德加诺。;R·德·尼古拉。;美国蒙塔纳里。 27 1990 观察逻辑和并发模型。 Zbl 0732.03024号 洛科·德尼古拉;吉安·路易吉,法拉利 5 1990 不确定性并发过程的偏序描述和观测。(技术贡献)。 Zbl 0683.68067号 P.德加诺。;R·德尼古拉。;美国蒙塔纳里。 28 1989 基于条件/事件系统的CCS分布式操作语义。 Zbl 0656.68061号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 43 1988 过渡系统的扩展等价。 兹伯利0636.68069 洛科·德尼古拉 47 1987 没有\(\tau\)’s的CCS。 Zbl 0614.68025号 洛科·德尼古拉;马修·轩尼诗 15 1987 CCS是一种(增强的)无触点C/E系统。 Zbl 0635.68058号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 14 1987 测试事件结构的等效项。 Zbl 0626.68021号 卢卡·埃特罗;洛科·德尼古拉;亚历山德罗·范特奇 8 1987 CCS的偏序推导。 Zbl 0571.68016号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 9 1985 测试过程的等效性。 Zbl 0985.68518号 R·德·尼古拉。;轩尼诗,M.C.B。 268 1984 测试过程的等效性。 Zbl 0515.68029号 R·德·尼古拉。;轩尼诗,M.C.B。 14 1983 通信顺序过程理论的一整套公理。 Zbl 0517.68027号 洛科·德尼古拉 2 1983 所有引用出版物 前5名被引用出版物 全部的 前5名724位作者引用 27 洛科·德尼古拉 23 乌戈·蒙塔纳里。 22 轩尼诗,Matthew C.B。 22 沃尔特·福格勒 19 范格拉贝克、罗伯特·扬 16 丹尼尔·戈拉 16 米歇尔·洛雷蒂 15 罗伯托·戈里埃里 13 马可·贝尔纳多 13 罗萨里奥·普格利泽 12 皮耶保罗·德加诺 11 卢卡·埃特罗 11 兰斯·克莱维兰 11 弗拉维奥·科拉迪尼 11 杰拉尔德·吕特根 10 米歇尔·博雷尔 10 斯特凡妮娅·格内西 10 普里阿米,科拉多 10 西蒙·蒂尼 9 瓦伦蒂娜·卡斯蒂格利奥尼 9 卢卡·帕多瓦尼 7 邓玉欣 7 伏玉溪 7 安娜·拉布拉 7 迭戈·拉特拉 7 罗比·马利克 7 梅克·马西克 7 弗莱明·尼尔森 7 戴维·桑吉奥吉 7 吉安路易吉·扎瓦塔罗 6 马丁·阿巴迪 6 马里奥·布拉维蒂 6 伊利亚州卡斯特拉尼 6 法比奥·加杜奇 6 Jan Friso,格鲁特 6 霍尔格·赫尔曼斯 6 佛朗哥,马赞蒂 6 马里诺·米库兰 6 汉内·里斯·尼尔森 6 ter Beek,Maurice H。 6 Daniel N.Yanklevich。 5 苏珊娜·安多瓦 5 保罗·巴尔丹 5 戴维·德·弗鲁托斯·埃斯克里格 5 约翰·德里克 5 Dezani Ciancaglini,马里亚焦拉 5 亚历山德罗·范特奇 5 威廉·扬·福克金 5 休伯特·加拉维 5 卡洛斯·格雷戈里奥·罗德里格斯 5 Anna Ingólfsdóttir 5 Jonsson,孟加拉人 5 金·古德斯特兰·拉森 5 卡图西亚帕拉米德斯 5 伊万诺·萨尔沃 5 斯科特·斯莫尔卡。 5 弗朗西斯科·蒂埃齐 5 埃米利奥·托斯托 4 叶希亚·阿卜杜·阿勒拉赫曼 4 Eerke A.Boiten。 4 杰拉德·布多尔 4 罗伯托·布鲁尼 4 曹永志 4 吉安·路易吉,法拉利 4 塞德里克·Fornet 4 阿德里安·弗兰卡兰扎 4 保拉·因弗拉迪 4 科西莫·拉内夫 4 弗雷德里克·朗 4 林惠民 4 米拉·塞德尔巴姆少校。 4 卡罗尔·C·摩根。 4 Manuel A.努涅斯。 4 米歇尔·帕斯夸 4 唐纳德·桑内拉。 4 罗伯特·塞加拉 4 安德烈·塔莱基 4 伊雷克·乌利多夫斯基 4 Vaandrager,Frits W。 4 弗兰克·巴伦西亚。 4 丹尼尔·瓦拉卡 4 马克·沃霍夫 4 格林·温斯克尔 4 吉田、Nobuko 3 拜尔,克里斯特尔 3 最好的,艾克 3 洛伦佐·贝蒂尼 3 布鲁姆,巴德 3 菲利波·邦奇 3 博振科娃(Elena N.Bozhenkova)。 3 彼得·巴赫霍尔茨 3 纳迪亚·布西 3 Cacciagrano、Diletta Romana 3 陈、陶璐 3 德莱恩,斯特凡尼 3 佐尔坦·埃西克 3 索尼娅·乔治耶夫斯卡 3 安德鲁·戈登。 3 朱利安·古铁雷斯 3 简·希尔斯顿 …还有624位作者 全部的 前5名48篇连载文章中引用 154 理论计算机科学 65 信息与计算 31 程序设计中的逻辑和代数方法杂志 29 信息学报 28 计算的形式方面 24 逻辑与代数程序设计杂志 17 计算机科学中的逻辑方法 16 MSCS公司。计算机科学中的数学结构 12 信息处理信件 9 计算机程序设计科学 8 系统设计中的形式化方法 7 编程和计算机软件 6 分布式计算 5 计算机与系统科学杂志 5 国际计算机科学基础杂志 5 离散事件动态系统 4 ACM计算逻辑事务 3 信息科学 3 纯粹与应用代数杂志 3 计算机科学与技术杂志 3 国际近似推理杂志 3 RAIRO公司。Informatique Théorique et Applications公司 2 人工智能 2 符号计算杂志 2 国际并行程序设计杂志 2 自动推理杂志 2 国际计算机数学杂志 2 埃及数学学会杂志 2 RAIRO公司。理论信息学及其应用 2 计算机基础理论 2 计算机语言、系统和结构 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 符号逻辑综述 1 比特币 1 计算 1 模糊集与系统 1 软件。实践与经验 1 范畴的理论与应用 1 美国计算机学会模型和计算机仿真汇刊 1 中国的科学。E系列 1 计算系统理论 1 逻辑程序设计理论与实践 1 萨达纳 1 自然计算 1 中国的科学。F系列 1 上海交通大学学报(科学版) 1 计算机科学中的数学 1 科学中国。信息科学 全部的 前5名22个领域被引用 626 计算机科学(68至XX) 88 数学逻辑和基础(03-XX) 18 信息与通信理论、电路(94-XX) 13 范畴理论;同调代数(18-XX) 10 概率论与随机过程(60-XX) 9 系统论;控制(93至XX) 8 生物学和其他自然科学(92-XX) 5 有序,格,有序代数结构(06-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 运筹学、数学规划(90-XX) 3 一般代数系统(08-XX) 2 历史和传记(01-XX) 2 数值分析(65-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 结合环与代数(16-XX) 1 常微分方程(34-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 一般拓扑结构(54至XX) 1 整体分析,流形分析(58至XX) 1 量子理论(81-XX) 按年份列出的引文