编辑配置文件（在新选项卡中打开） 丹尼尔·戈拉 合著者距离 作者ID： 戈拉·达尼尔 发布日期： 丹尼尔·戈拉 外部链接： MGP公司 已编制索引的文档： 41出版物自2002年起 7作为编辑的贡献 合著者： 35位合著者具有39联合出版物 609合著作者 全部的 前5名合著者 7 单作者的 11 洛科·德尼古拉 11 罗萨里奥·普格利泽 9 伊万诺·萨尔沃 5 彼得罗·森恰雷利 4 保罗·巴尔丹 4 米歇尔·博雷尔 三 保罗·波托尼 三 安娜·拉布拉 2 大卫·克拉克 2 托马斯·吉文·威尔森 2 轩尼诗，Matthew C.B。 2 杰·巴里 2 斯特凡诺·卡桑吉安 2 托马索·帕多安 2 弗拉迪米罗·萨松 2 埃米利奥·托斯托 1 洛伦佐·贝蒂尼 1 菲利波·博奇 1 维维亚娜·博诺 1 吉安·路易吉，法拉利 1 达里奥·菲奥伦萨 1 Fröschle，Sibylle B。 1 Sybylle Fröschle 1 费德里卡·格拉内塞 1 汉森、雷内·里多夫 1 巴托克·克林 1 米歇尔·洛雷蒂 1 尤金尼奥·莫吉 1 乌韦·内斯特曼 1 弗莱明·尼尔森 1 卡图西亚帕拉米德斯 1 阿道夫·皮珀诺 1 克里斯蒂安·普罗布斯特。 1 汉内·里斯·尼尔森 1 贝蒂·文奈里 全部的 前5名系列 6 MSCS公司。计算机科学中的数学结构 5 信息与计算 三 计算机程序设计科学 2 信息处理信件 2 理论计算机科学 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 算法 1 分布式计算 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 44 计算机科学（68至XX） 7 总体主题；集合（00-XX） 6 数理逻辑与基础（03-XX） 三 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 35出版物有被引用220中的次142文件 引用人▼ 年份▼ 过程计算的可编码性和分离结果的统一方法。 Zbl 1209.68336号 丹尼尔·戈拉 54 2010 过程计算的可编码性和分离结果的统一方法。 Zbl 1160.68466号 丹尼尔·戈拉 15 2008 克莱姆项目：理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼；维维亚娜·博诺；洛科·德尼古拉；Gianluigi法拉利；丹尼尔·戈拉；米歇尔·洛雷蒂；尤金尼奥·莫吉；罗萨里奥·普格利泽；埃米利奥·托斯托；贝蒂·文奈里 13 2003 对表现力的全面抽象：历史、神话和事实。 Zbl 1361.68028号 丹尼尔·戈拉；乌韦·内斯特曼 13 2016 关于流动性计算的相对表达能力。 Zbl 1337.68182号 丹尼尔·戈拉 12 2009 通过通信原语的相对表达能力进行比较。 Zbl 1169.68009号 丹尼尔·戈拉 12 2008 关于克莱姆-基于计算。 兹比尔1092.68070 德尼古拉，罗科；丹尼尔·戈拉；罗萨里奥·普格利泽 10 2006 异步通信原语的相对表达能力。 Zbl 1180.68190号 丹尼尔·戈拉 9 2006 分布和流动的过程计算分类。 Zbl 1231.68169号 丹尼尔·戈拉 8 2010 安全策略作为全球计算系统中的膜。 Zbl 1272.68062号 丹尼尔·戈拉；马修·轩尼诗；弗拉迪米罗·萨松 6 2005 全局计算微积分的基本观察值。 兹比尔1119.68124 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 6 2007 使用支持网络的协调语言动态管理功能。 Zbl 1183.68041号 丹尼尔·戈拉；罗萨里奥·普格利泽 5 2009 并发模式演算。 Zbl 1198.68211号 托马斯·吉文·威尔森；丹尼尔·戈拉；杰伊，巴里 5 2010 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉，罗科；丹尼尔·戈拉；汉森、雷内·里多夫；弗莱明·尼尔森；尼尔森、汉内·里斯；克里斯蒂安·普罗布斯特。；罗萨里奥·普格利泽 5 2010 通过动态权限获取实现资源访问和移动性控制。 Zbl 1039.68542号 丹尼尔·戈拉；罗萨里奥·普格利泽 4 2003 全局计算微积分的基本观察值。 Zbl 1085.68098号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 4 2005 网络模型中的效率低下：一个图表理论的观点。 Zbl 1425.90021号 彼得罗·森恰雷利；丹尼尔·戈拉；伊万诺·萨尔沃 4 2018 三函子，确定性和互模拟。 Zbl 1206.68214号 洛科·德尼古拉；丹尼尔·戈拉；安娜·拉布拉 三 2010 通信原语中的同步与异步。 Zbl 1277.68185号 丹尼尔·戈拉 三 2007 并发模式演算。 Zbl 1338.68202号 托马斯·吉文·威尔森；丹尼尔·戈拉；杰伊，巴里 三 2014 可消耗通道：动力学和行为。 Zbl 1252.68036号 彼得罗·森恰雷利；丹尼尔·戈拉；伊万诺·萨尔沃 三 2009 元组空间动态网络上的模式匹配。 Zbl 1461.68131号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 三 2005 配置结构的行为逻辑。 Zbl 1483.68222号 保罗·巴尔丹；丹尼尔·戈拉；托马索·帕多安；伊万诺·萨尔沃 2 2022 限制全球计算应用程序中的数据和进程。 Zbl 1137.68333号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 2 2006 关于spi-calculus中的组合推理。 Zbl 1077.68713号 米歇尔·博雷尔；丹尼尔·戈拉 2 2002 事件结构中的冲突与因果关系。 Zbl 1509.68186号 丹尼尔·戈拉；伊万诺·萨尔沃 2 2021 对过程中的模式/时间Heyting逻辑和非确定性的理论方法。 Zbl 1386.68107号 保罗·波托尼；丹尼尔·戈拉；斯特凡诺·卡桑吉安；拉贝拉，安娜 2 2018 事件结构中的冲突与因果关系。 Zbl 07449996号 丹尼尔·戈拉；伊万诺·萨尔沃；阿道夫·皮珀诺 2 2019 检测有向图中Braess佯谬可能性的多项式时间算法。 Zbl 1423.05165号 彼得罗·森恰雷利；丹尼尔·戈拉；伊万诺·萨尔沃 2 2019 元组空间动态网络中的全局计算。 Zbl 1178.68160号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 1 2007 关于克莱姆-基于计算。 Zbl 1272.68298号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 1 2005 CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。 Zbl 1295.68016号 1 2014 图形互模拟的网络应用。 Zbl 1175.68272号 彼得罗·森恰雷利；丹尼尔·戈拉；埃米利奥·托斯托 1 2008 一种基于半环的进程跟踪语义，用于信息泄漏分析。 Zbl 1198.68118号 米歇尔·博雷尔；大卫·克拉克；丹尼尔·戈拉 1 2010 流乘积的代数和余代数。 Zbl 07730621号 米歇尔·博雷尔；丹尼尔·戈拉 1 2021 配置结构的行为逻辑。 Zbl 1483.68222号 保罗·巴尔丹；丹尼尔·戈拉；托马索·帕多安；伊万诺·萨尔沃 2 2022 事件结构中的冲突与因果关系。 Zbl 1509.68186号 丹尼尔·戈拉；伊万诺·萨尔沃 2 2021 流乘积的代数和余代数。 Zbl 07730621号 米歇尔·博雷尔；丹尼尔·戈拉 1 2021 事件结构中的冲突与因果关系。 Zbl 07449996号 丹尼尔·戈拉；伊万诺·萨尔沃；阿道夫·皮珀诺 2 2019 检测有向图中Braess佯谬可能性的多项式时间算法。 Zbl 1423.05165号 彼得罗·森恰雷利；丹尼尔·戈拉；伊万诺·萨尔沃 2 2019 网络模型中的无效性：图论的观点。 Zbl 1425.90021号 彼得罗·森恰雷利；丹尼尔·戈拉；伊万诺·萨尔沃 4 2018 对过程中的模式/时间Heyting逻辑和非确定性的理论方法。 Zbl 1386.68107号 保罗·波托尼；丹尼尔·戈拉；斯特凡诺·卡桑吉安；安娜·拉布拉 2 2018 对表现力的全面抽象：历史、神话和事实。 兹比尔1361.68028 丹尼尔·戈拉；乌韦·内斯特曼 13 2016 并发模式演算。 Zbl 1338.68202号 托马斯·吉文·威尔森；丹尼尔·戈拉；杰伊，巴里 三 2014 CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。 Zbl 1295.68016号 1 2014 过程计算的可编码性和分离结果的统一方法。 Zbl 1209.68336号 丹尼尔·戈拉 54 2010 分布和移动性的过程结石分类。 Zbl 1231.68169号 丹尼尔·戈拉 8 2010 并发模式演算。 Zbl 1198.68211号 托马斯·吉文·威尔森；丹尼尔·戈拉；杰伊，巴里 5 2010 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉，罗科；丹尼尔·戈拉；汉森、雷内·里多夫；弗莱明·尼尔森；尼尔森、汉内·里斯；克里斯蒂安·普罗布斯特。；罗萨里奥·普格利泽 5 2010 三函子，确定性和互模拟。 Zbl 1206.68214号 洛科·德尼古拉；丹尼尔·戈拉；安娜·拉布拉 三 2010 一种基于半环的进程跟踪语义，用于信息泄漏分析。 Zbl 1198.68118号 米歇尔·博雷尔；大卫·克拉克；丹尼尔·戈拉 1 2010 关于流动性计算的相对表达能力。 Zbl 1337.68182号 丹尼尔·戈拉 12 2009 使用支持网络的协调语言动态管理功能。 Zbl 1183.68041号 丹尼尔·戈拉；罗萨里奥·普格利泽 5 2009 可拆通道：动力学和行为。 Zbl 1252.68036号 彼得罗·森恰雷利；丹尼尔·戈拉；伊万诺·萨尔沃 三 2009 过程计算的可编码性和分离结果的统一方法。 Zbl 1160.68466号 丹尼尔·戈拉 15 2008 通过相对的表达能力比较通信原语。 Zbl 1169.68009号 丹尼尔·戈拉 12 2008 图形互模拟的网络应用。 Zbl 1175.68272号 彼得罗·森恰雷利；丹尼尔·戈拉；埃米利奥·托斯托 1 2008 全局计算微积分的基本观察值。 兹比尔1119.68124 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 6 2007 通信原语中的同步与异步。 Zbl 1277.68185号 丹尼尔·戈拉 三 2007 元组空间动态网络中的全局计算。 Zbl 1178.68160号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 1 2007 论克莱姆-基于计算。 Zbl 1092.68070号 德尼古拉，罗科；丹尼尔·戈拉；罗萨里奥·普格利泽 10 2006 异步通信原语的相对表达能力。 Zbl 1180.68190号 丹尼尔·戈拉 9 2006 限制全球计算应用程序中的数据和进程。 兹比尔1137.68333 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 2 2006 安全策略作为全球计算系统中的膜。 Zbl 1272.68062号 丹尼尔·戈拉；马修·轩尼诗；弗拉迪米罗·萨松 6 2005 全局计算微积分的基本观察值。 兹比尔1085.68098 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 4 2005 元组空间动态网络上的模式匹配。 Zbl 1461.68131号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 三 2005 关于克莱姆-基于计算。 Zbl 1272.68298号 洛科·德尼古拉；丹尼尔·戈拉；罗萨里奥·普格利泽 1 2005 克莱姆项目：理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼；维维亚娜·博诺；洛科·德尼古拉；Gianluigi法拉利；丹尼尔·戈拉；米歇尔·洛雷蒂；尤金尼奥·莫吉；罗萨里奥·普格利泽；埃米利奥·托斯托；贝蒂·文奈里 13 2003 通过动态权限获取实现资源访问和移动性控制。 Zbl 1039.68542号 丹尼尔·戈拉；罗萨里奥·普格利泽 4 2003 关于spi-calculus中的组合推理。 Zbl 1077.68713号 米歇尔·博雷尔；丹尼尔·戈拉 2 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名183位作者引用 19 丹尼尔·戈拉 11 佩雷斯（Jorge A.Pérez）。 11 柯斯汀·彼得斯 9 洛科·德尼古拉 9 乌韦·内斯特曼 9 范格拉贝克、罗伯特·扬 8 弗莱明·尼尔森 7 汉内·里斯·尼尔森 6 约万卡·潘托维奇 6 罗萨里奥·普格利泽 6 伊万诺·萨尔沃 5 伏玉溪 5 安娜·拉布拉 5 徐，西安 4 奥曼·波霍拉，约翰内斯 4 保罗·波托尼 4 巴斯·卢提克 4 雨果·托雷斯·维埃拉 三 保罗·巴尔丹 三 琳达，布罗多 三 彼得罗·森恰雷利 三 弗拉维奥·科拉迪尼 三 乌苏拉·戈尔茨 三 米歇尔·洛雷蒂 三 斯迪安·利贝奇 三 乌戈·蒙塔纳里。 三 伊万·普罗基奇 三 马蒂奥·桑马蒂诺 三 弗朗西斯科·蒂埃齐 三 吉田、Nobuko 2 叶希亚·阿卜杜·阿勒拉赫曼 2 Jos C.M.Baeten。 2 爱德华·巴拉诺夫 2 西蒙·布利兹 2 Cacciagrano、Diletta Romana 2 菲利佩·卡萨尔 2 奥尔内拉·达达 2 乔瓦娜·德迪奇 2 El-Zawawy，Mohamed A。 2 法比奥·加杜奇 2 西尔维娅·吉勒赞 2 托马斯·吉文·威尔森 2 轩尼诗，Matthew C.B。 2 汉斯·休特尔 2 斯维特拉纳·雅克西奇 2 斯特凡诺·卡桑吉安 2 迪米特里奥斯·库扎帕斯 2 伊万·拉内斯 2 Legay、Axel 2 龙，欢 2 安德烈亚·莫迪多 2 塞巴斯蒂安·南兹 2 卡图西亚帕拉米德斯 2 约阿希姆·帕罗 2 大卫·萨贝尔 2 延斯·沃尔夫哈德·希克 2 曼弗雷德·施密特·沙乌 2 安娜·施密特 2 弗兰克·巴伦西亚。 2 保罗·范蒂尔堡 2 Vascoconcelos、Vasco Thudichum 2 殷、强 1 卡明·阿巴特 1 阿纳·阿尔梅达·马托斯 1 贝尔纳多·F·阿尔梅达。 1 苏珊娜·安多瓦 1 杰苏斯·阿兰达 1 法哈德·阿尔巴 1 乔治·奥德里托 1 斯蒂芬妮·巴尔泽 1 雅各布·比尔 1 亚历克斯·罗宁·本迪克森 1 洛伦佐·贝蒂尼 1 菲利普·比丁格 1 本杰明·比斯平 1 博迪，恰拉 1 博杰森，比亚克布雷多 1 菲利波·邦奇 1 维维亚娜·博诺 1 米歇尔·博雷尔 1 约翰·博格斯特罗姆 1 塞巴斯蒂安·布赖斯 1 罗伯托·布鲁尼 1 多伊纳·布库尔 1 米歇尔·布格列西 1 米克尔·邦加德 1 布西，马特奥 1 安德鲁·巴特菲尔德 1 毛里西奥·卡诺 1 陈旭进 1 加布里埃尔·乔巴努 1 大卫·克拉克 1 克拉克、戴夫 1 达里奥·科拉佐 1 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 1 安德烈亚·科拉迪尼 1 西尔维亚·克拉法 1 克雷默斯，Cas J.F。 1 伊奥娜·多姆尼纳·克里斯特斯库 1 费卢西奥·达米亚尼 …还有83位作者 全部的 前5名20篇连载文章中引用 20 理论计算机科学 16 信息与计算 13 程序设计中的逻辑和代数方法杂志 9 MSCS公司。计算机科学中的数学结构 8 信息学报 6 计算机科学中的逻辑方法 4 信息处理信件 三 计算的形式方面 2 计算机程序设计科学 2 埃及数学学会杂志 1 纯粹与应用代数杂志 1 算法 1 国际计算机数学杂志 1 分布式计算 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 RAIRO公司。理论信息学及其应用 全部的 前5名11个领域引用 137 计算机科学（68至XX） 14 数理逻辑与基础（03-XX） 三 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 偏微分方程（35-XX） 1 量子理论（81-XX） 按年份列出的引文