编辑配置文件（在新选项卡中打开） 伊利亚州卡斯特拉尼 合著者距离 作者ID： 伊拉里亚城堡 发布日期： 伊利亚州卡斯特拉尼;卡斯特拉尼，I。 外部链接： MGP公司 已编制索引的文档： 39出版物自1983年起 5名编辑的贡献 合著者： 35位合著者具有37联合出版物 761位联合作者 全部的 前5名合著者 4 单作者的 14 杰拉德·布多尔 11 马里亚纽拉州Dezani-Ciancaglini 5 保拉·吉安尼尼 5 轩尼诗，Matthew C.B。 4 萨拉·卡佩基 三 罗伯特·阿马迪奥（Roberto M.Amadio）。 三 阿斯特里德·基恩 2 乌戈·蒙塔纳里。 2 佩雷斯（Jorge A.Pérez）。 2 戴维·桑吉奥吉 1 阿纳·阿尔梅达·马托斯 1 安德烈·阿诺德 1 佩杰曼·阿塔 1 马西莫·巴托莱蒂 1 弗雷德里克·布西诺 1 佩德罗·鲁宾·达吉尼奥 1 Deniélou、Pierre-Malo 1 吕克·爱迪克索芬 1 保拉·弗朗切斯基 1 西尔维娅·吉勒赞 1 罗斯·霍恩 1 钟曼，宋世堂。 1 马达瓦恩·穆昆德 1 尼尔森，莫根斯 1 卡图西亚Palamidessi 1 约万卡·潘托维奇 1 何塞·普伦萨 1 塔马拉·雷兹克 1 安娜·索科洛娃 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 比约恩·维克多 1 雨果·托雷斯·维埃拉 1 格林·温斯克尔 全部的 前5名系列 7 理论计算机科学 6 程序设计中的逻辑与代数方法杂志 2 信息与计算 2 计算的形式方面 2 理论计算机科学电子笔记 1 信息学报 1 计算机协会杂志 1 计算机与系统科学杂志 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 逻辑与代数程序设计杂志 领域 44 计算机科学（68至XX） 5 总体主题；集合（00-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用463中的次298文件 引用人▼ 年份▼ 关于异步\（\pi\）演算的互模拟。 Zbl 0915.68009号 罗伯特·阿马迪奥（Roberto M.Amadio）。;伊利亚州卡斯特拉尼;戴维·桑吉奥吉 54 1998 基于已证明的转换的CCS非交互语义。 Zbl 0657.68066号 杰拉德·布多尔;伊利亚州卡斯特拉尼 40 1988 转换的排列：CCS和SCCS的事件结构语义。（技术贡献）。 Zbl 0683.68029号 G.布多尔。;卡斯特拉尼，I。 36 1989 具有局部性的过程理论。 Zbl 0806.68070号 G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 29 1994 关于并发的语义：部分顺序和转换系统。 Zbl 0614.68023号 G.布多尔。;卡斯特拉尼，I。 28 1987 分布式计算的流模型：CCS的三个等价语义。 Zbl 0938.68715号 杰拉德·布多尔;伊利亚州卡斯特拉尼 28 1994 并发性和原子性。 Zbl 0678.68078号 G.布多尔。;卡斯特拉尼，I。 26 1988 分布式互模拟。 Zbl 0697.68076号 伊利亚州卡斯特拉尼;马修·轩尼诗 22 1989 观察地点。 Zbl 0783.68072号 G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 20 1993 并发程序和线程系统不受干扰。 Zbl 0997.68022号 杰拉德·布多尔;伊利亚州卡斯特拉尼 14 2002 具有局部的过程代数。 Zbl 1062.68078号 伊利亚州卡斯特拉尼 14 2001 关于异步演算的互模拟。 兹比尔1514.68154 罗伯特·阿马迪奥（Roberto M.Amadio）。;伊利亚卡斯特拉尼;戴维·桑吉奥吉 12 1996 用于访问和信息流控制的会话类型。 兹比尔1287.68126 萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;塔马拉·雷兹克 11 2010 事件结构的并行乘积。 Zbl 0900.68323号 伊利亚州卡斯特拉尼;张国强 11 1997 观察过程中的分布：静态和动态位置。 Zbl 0843.68060号 伊利亚州卡斯特拉尼 10 1995 互模拟和抽象同态。 Zbl 0619.68021号 伊利亚州卡斯特拉尼 9 1987 具有灵活选择的可逆会话。 Zbl 1462.68121号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 9 2019 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 观察地点。（扩展摘要）。 Zbl 0778.68055号 G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 8 1991 在会话中键入访问控制和安全信息流。 Zbl 1360.68207号 萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 8 2014 分布式系统的图形语法。 Zbl 0517.68065号 伊利亚州卡斯特拉尼;乌戈·蒙塔纳里 7 1983 具有内部委派的全局类型。 Zbl 1436.68208号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;罗斯·霍恩 7 2020 多方通信中的自适应和安全信息流。 Zbl 1345.68232号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;佩雷斯（Jorge A.Pérez）。 7 2016 多方会议中的信息流安全。 兹比尔1457.68182 萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 6 2011 互模拟和抽象同态。 兹伯利0563.68028 伊利亚州卡斯特拉尼 5 1985 标记事件结构：可观察并发的模型。 Zbl 0512.68025号 伊利亚州卡斯特拉尼;保拉·弗朗切斯基;乌戈·蒙塔纳里 5 1983 根据全球规范合成分布式转换系统。 Zbl 0956.68008号 伊利亚州卡斯特拉尼;马达瓦恩·穆昆德;蒂亚加拉扬，P.S。 5 1999 并发程序不受干扰。 Zbl 0986.68012号 杰拉德·布多尔;伊利亚州卡斯特拉尼 5 2001 并发可逆会话。 Zbl 1442.68129号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 4 2017 多方会话中的信息流安全。 Zbl 1362.68204号 萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 4 2016 键入反应式程序的无干扰。 Zbl 1119.68056号 阿娜·阿尔梅达·马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 三 2007 并发性和原子性。 Zbl 0666.68021号 G.布多尔。;卡斯特拉尼，I。 2 1988 多方会话的事件结构语义。 Zbl 1512.68163号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 2 2023 细粒度和粗粒度反应无干扰。 Zbl 1348.68155号 佩杰曼·阿塔;伊利亚卡斯特拉尼 1 2014 重新审视反应式并发编程。 Zbl 1316.68032号 罗伯特·阿马迪奥（Roberto M.Amadio）。;杰拉德·布多尔;弗雷德里克·布西诺;伊利亚卡斯特拉尼 1 2006 观测等价的代数表征。 Zbl 0871.68130号 安德烈·阿诺德;伊利亚州卡斯特拉尼 1 1996 多方会话的事件结构语义。 Zbl 07808789号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 1 2019 多方会话的事件结构语义。 Zbl 1512.68163号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 2 2023 具有内部委派的全局类型。 Zbl 1436.68208号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;罗斯·霍恩 7 2020 具有灵活选择的可逆会话。 Zbl 1462.68121号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 9 2019 多方会话的事件结构语义。 Zbl 07808789号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 1 2019 并发可逆会话。 Zbl 1442.68129号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 4 2017 多方通信中的自适应和安全信息流。 Zbl 1345.68232号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;佩雷斯（Jorge A.Pérez）。 7 2016 多方会话中的信息流安全。 Zbl 1362.68204号 萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 4 2016 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;吉列赞，西尔维娅;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 在会话中键入访问控制和安全信息流。 Zbl 1360.68207号 萨拉·卡佩基;伊利亚卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 8 2014 细粒度和粗粒度反应无干扰。 Zbl 1348.68155号 佩杰曼·阿塔;伊利亚州卡斯特拉尼 1 2014 多方会话中的信息流安全。 Zbl 1457.68182号 萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 6 2011 用于访问和信息流控制的会话类型。 兹比尔1287.68126 萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;塔马拉·雷兹克 11 2010 键入反应式程序的无干扰。 Zbl 1119.68056号 阿娜·阿尔梅达·马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 三 2007 重新访问了反应式并发编程。 Zbl 1316.68032号 罗伯特·阿马迪奥（Roberto M.Amadio）。;杰拉德·布多尔;弗雷德里克·布西诺;伊利亚州卡斯特拉尼 1 2006 并发程序和线程系统不受干扰。 Zbl 0997.68022号 杰拉德·布多尔;伊利亚州卡斯特拉尼 14 2002 具有局部的过程代数。 Zbl 1062.68078号 伊利亚州卡斯特拉尼 14 2001 并发程序不受干扰。 Zbl 0986.68012号 杰拉德·布多尔;伊利亚州卡斯特拉尼 5 2001 根据全球规范合成分布式转换系统。 Zbl 0956.68008号 伊利亚州卡斯特拉尼;马达瓦恩·穆昆德;蒂亚加拉扬，P.S。 5 1999 关于异步演算的互模拟。 Zbl 0915.68009号 罗伯特·阿马迪奥（Roberto M.Amadio）。;伊利亚卡斯特拉尼;戴维·桑吉奥吉 54 1998 事件结构的并行乘积。 Zbl 0900.68323号 伊利亚州卡斯特拉尼;张国强 11 1997 关于异步演算的互模拟。 Zbl 1514.68154号 罗伯特·阿马迪奥（Roberto M.Amadio）。;伊利亚州卡斯特拉尼;戴维·桑吉奥吉 12 1996 观测等价的代数表征。 Zbl 0871.68130号 安德烈·阿诺德;伊利亚州卡斯特拉尼 1 1996 观察过程中的分布：静态和动态位置。 Zbl 0843.68060号 伊利亚州卡斯特拉尼 10 1995 具有局部性的过程理论。 Zbl 0806.68070号 G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 29 1994 分布式计算的流模型：CCS的三个等价语义。 Zbl 0938.68715号 杰拉德·布多尔;伊利亚州卡斯特拉尼 28 1994 观察地点。 Zbl 0783.68072号 G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 20 1993 观察地点。（扩展摘要）。 Zbl 0778.68055号 G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 8 1991 转换的排列：CCS和SCCS的事件结构语义。（技术贡献）。 Zbl 0683.68029号 G.布多尔。;卡斯特拉尼，I。 36 1989 分布式互模拟。 Zbl 0697.68076号 伊利亚州卡斯特拉尼;马修·轩尼诗 22 1989 基于已证明的转换的CCS非交互语义。 Zbl 0657.68066号 杰拉德·布多尔;伊利亚卡斯特拉尼 40 1988 并发性和原子性。 Zbl 0678.68078号 G.布多尔。;卡斯特拉尼，I。 26 1988 并发性和原子性。 兹伯利0666.68021 G.布多尔。;卡斯特拉尼，I。 2 1988 关于并发的语义：部分顺序和转换系统。 Zbl 0614.68023号 G.布多尔。;卡斯特拉尼，I。 28 1987 互模拟和抽象同态。 Zbl 0619.68021号 伊利亚州卡斯特拉尼 9 1987 互模拟和抽象同态。 Zbl 0563.68028号 伊利亚州卡斯特拉尼 5 1985 分布式系统的图形语法。 Zbl 0517.68065号 伊利亚州卡斯特拉尼;乌戈·蒙塔纳里 7 1983 标记事件结构：可观察并发的模型。 Zbl 0512.68025号 伊利亚州卡斯特拉尼;保拉·弗朗切斯基;乌戈·蒙塔纳里 5 1983 所有引用出版物 前5名被引用出版物 全部的 前5名346位作者引用 19 乌戈·蒙塔纳里。 18 伊利亚州卡斯特拉尼 15 马里亚纽拉州Dezani-Ciancaglini 12 吉田、Nobuko 10 洛科·德尼古拉 10 皮耶保罗·德加诺 10 罗伯托·戈里埃里 10 伊恩·菲利普斯。 10 普里阿米，科拉多 9 丹尼尔·戈拉 9 乌韦·内斯特曼 8 轩尼诗，Matthew C.B。 8 佩雷斯（Jorge A.Pérez）。 8 罗萨里奥·普格利泽 7 菲利波·邦奇 7 克劳迪奥·安塔雷斯·梅齐纳 6 保罗·巴尔丹 6 杰拉德·布多尔 6 Daniel N.Yanklevich。 5 卢卡·埃特罗 5 克莱门·奥伯特 5 曼弗雷德·德罗斯特 5 伏玉溪 5 保拉·吉安尼尼 5 伊万·拉内斯 5 戴维·桑吉奥吉 4 罗伯特·阿马迪奥（Roberto M.Amadio）。 4 最好的，艾克 4 吉安·路易吉，法拉利 4 塞德里克·Fornet 4 法比奥·加杜奇 4 伊娃·格拉弗森 4 克里斯蒂安·约翰森 4 多里亚娜·梅迪奇 4 柯斯汀·彼得斯 4 朱利安·拉特克 4 弗朗西斯科·蒂埃齐 4 埃米利奥·托斯托 4 尤里多夫斯基，Irek 4 范格拉贝克、罗伯特·扬 三 阿纳·阿尔梅达·马托斯 三 劳拉·博奇 三 米歇尔·博雷尔 三 费利佩·布拉乔 三 罗伯托·布鲁尼 三 纳迪亚·布西 三 萨拉·卡佩基 三 马里奥·科普 三 弗拉维奥·科拉迪尼 三 菲利普·达伦多 三 托马斯·希尔德布兰特。 三 本田、高黑 三 罗斯·霍恩 三 钟曼，宋世堂。 三 阿斯特里德·基恩 三 埃尔南·梅尔格拉蒂 三 马西莫·梅罗 三 尼尔森，莫根斯 三 伊万诺·萨尔沃 三 雨果·托雷斯·维埃拉 三 伊琳娜·B·维碧茨卡岩。 三 吉安路易吉·扎瓦塔罗 2 安德烈·阿诺德 2 埃里克·巴杜埃尔 2 克里斯特尔·拜尔 2 佛朗哥·巴巴内拉 2 马西莫·巴托莱蒂 2 马丁·伯杰（Martin J.Berger）。 2 博尔祖·博纳克达尔普尔 2 路易斯·凯雷斯 2 伊恩·卡萨尔 2 文森佐·西安西亚 2 牧场克利夫兰 2 安德烈亚·科拉迪尼 2 奥尔内拉·达达 2 雷蒙德·魔鬼队 2 吕克Edixhoven 2 阿德里安·弗兰卡兰扎 2 休伯特·加拉维 2 西尔维娅·吉勒赞 2 乌苏拉·戈尔茨 2 乔治·戈蒂尔 2 罗伯特·瓜夏莱 2 C.A.R.Tony Hoare 2 Anna Ingólfsdóttir 2 因弗拉迪，保拉 2 拉达，贾加德桑 2 拉利塔·A·贾特冈卡尔。 2 Joost-Pieter卡托恩 2 温·科克 2 马西耶·库特尼 2 吉恩·克里文 2 科西莫·拉内夫 2 阿尔贝托·卢什·拉富恩特 2 罗伯特·洛伦茨。 2 杰拉尔德·吕特根 2 马丁·奥列特，纳西索 2 奥斯卡·马汀 2 何塞·梅塞盖尔·瓜伊塔 2 艾伯特·罗纳德·梅耶 …还有246位作者 全部的 前5名26篇连载文章中引用 69 理论计算机科学 34 信息与计算 24 程序设计中的逻辑与代数方法杂志 14 信息学报 10 计算的形式方面 10 MSCS公司。计算机科学中的数学结构 10 计算机科学中的逻辑方法 8 逻辑与代数程序设计杂志 三 信息处理信件 三 计算机与系统科学杂志 2 编程和计算机软件 2 系统设计中的形式化方法 1 人工智能 1 Automatica公司 1 圣母院形式逻辑杂志 1 计算机程序设计科学 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 应用的分类结构 1 函数编程杂志 1 逻辑程序设计理论与实践 1 萨达纳 1 计算机语言、系统和结构 1 ACM计算逻辑事务 全部的 前5名10个领域引用 297 计算机科学（68至XX） 34 数学逻辑和基础（03-XX） 7 范畴理论；同调代数（18-XX） 4 阶、格、有序代数结构（06-XX） 三 历史与传记（01-XX） 三 量子理论（81-XX） 2 系统论；控制（93至XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文