编辑配置文件（在新选项卡中打开） 科西莫·拉内夫 合著者距离 作者ID： 拉内夫·科西莫 发布日期： 科西莫·拉内夫；拉涅夫，C。 已编制索引的文档： 55出版物自1991年起 2作为编辑的贡献 合著者： 36位合著者具有51联合出版物 719合著作者 全部的 前5名合著者 6 单作者的 8 安德烈亚·阿斯佩蒂 6 吉安路易吉·扎瓦塔罗 5 卢卡·帕多瓦尼 4 塞德里克·Fornet 三 萨缪尔·卡皮内蒂 三 文森特·达诺斯 三 菲利普·安·加德纳 三 埃琳娜·贾奇诺 三 吕克·马兰吉特 三 乌戈·蒙塔纳里。 三 雷米，迪迪埃 三 卢西安·维希克 2 杰拉德·布多尔 2 德波尔（Frank S。 2 罗伯托·戈里埃里 2 马赫迪·贾古里（Mahdi M.Jaghoori）。 2 直纪小林 2 法比安·塔里桑 1 卡洛·布兰多 1 劳拉·博奇 1 罗伯托·布鲁尼 1 卢卡·卡德利 1 A.Credi。 1 De Gouw，施蒂恩 1 马尔科·加拉韦利 1 阿贝尔·加西亚 1 迈克尔·连哈特 1 贝鲁奥斯·诺巴赫特 1 约阿希姆·帕罗 1 Sylvain Pradalier 1 Pun，Ka一。 1 吉列尔莫·罗曼·迪兹 1 西尔维，S。 1 苏建文 1 比约恩·维克多 1 安东尼奥·维塔莱 全部的 前5名系列 7 理论计算机科学 4 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 计算机科学课堂讲稿 2 程序设计中的逻辑和代数方法杂志 1 波兰数学年鉴。系列IV 1 计算机程序设计科学 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 计算机科学科学年鉴 领域 55 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 7 生物学和其他自然科学（92-XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 49出版物有被引用386中的次297文件 引用人▼ 年份▼ 正式分子生物学。 Zbl 1071.68041号 文森特·达诺斯；科西莫·拉内夫 103 2004 网络交易的基础。 Zbl 1118.68335号 科西莫·拉内夫；吉安路易吉·扎瓦塔罗 19 2005 这个必须重新访问预订单。web服务契约的代数理论。 Zbl 1151.68319号 科西莫·拉内夫；卢卡·帕多瓦尼 18 2007 核心分子生物学图表。 Zbl 1053.92021号 文森特·达诺斯；科西莫·拉内夫 17 2003 核心形式分子生物学。 Zbl 1033.92013年 文森特·达诺斯；科西莫·拉内夫 15 2003 长时间运行事务的微积分。 Zbl 1253.68056号 劳拉·博奇；科西莫·拉内夫；吉安路易吉·扎瓦塔罗 15 2003 合约和会话类型的配对。 Zbl 1143.68330号 科西莫·拉内夫；卢卡·帕多瓦尼 14 2008 融合机（扩展摘要）。 Zbl 1012.68527号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 10 2002 蛋白质和细胞的简单演算。 Zbl 1277.68195号 科西莫·拉内夫；法比安·塔里桑 10 2007 交互系统I：最优约简理论。 Zbl 0871.03006号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 10 1994 PiDuce-一个试验web服务技术的项目。 Zbl 1194.68077号 萨缪尔·卡皮内蒂；科西莫·拉内夫；卢卡·帕多瓦尼 9 2009 \（\lambda \）-演算中的路径、计算和标签。 Zbl 0873.03012号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 9 1995 多重lambda-calculus中的终止、死锁和发散。 Zbl 0910.68131号 杰勒德·博多尔；科西莫·拉内夫 9 1995 （lambda）-演算中多重数的判别能力。 Zbl 0853.68128号 杰拉德·布多尔；科西莫·拉内夫 8 1996 连接演算中的继承。 Zbl 1035.03011号 塞德里克·Fornet；科西莫·拉内夫；吕克·马兰吉特；雷米，迪迪埃 7 2003 公理化置换等价。 Zbl 0884.68070号 科西莫·拉内夫；乌戈·蒙塔纳里 6 1996 拆分和ST互模拟语义。 兹伯利0826.68077 罗伯托·戈里埃里；科西莫·拉内夫 6 1995 单幅图表。 Zbl 1087.68607号 科西莫·拉内夫；约阿希姆·帕罗；比约恩·维克多 6 2001 联合演算的隐式类型a la ML。 Zbl 1512.68057号 塞德里克·Fornet；吕克·马兰吉特；科西莫·拉内夫；雷米，迪迪埃 6 1997 交互系统的最佳简化。 Zbl 1497.68236号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 5 1993 CCS代理的分裂互模拟极限。 Zbl 0777.68063号 罗伯托·戈里埃里；科西莫·拉内夫 5 1991 联合演算中的相互模拟。 Zbl 0989.68098号 C·福内特。；拉伊夫，C。 5 2001 无界过程网络的死锁分析。 Zbl 1417.68128号 埃琳娜·贾奇诺；直纪小林；科西莫·拉内夫 5 2014 线性货运代理。 Zbl 1274.68233号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 5 2003 nano（kappa）：纳米器件建模和仿真的微积分。 Zbl 1160.68677号 A.Credi。；M.加拉维利。；拉伊夫，C。；Pradalier，S。；西尔维，S。；G.扎瓦塔罗。 5 2008 web服务契约的代数理论。 Zbl 1338.68016号 科西莫·拉内夫；卢卡·帕多瓦尼 5 2015 大规模并发系统中的可逆性。 Zbl 1424.92028年 卢卡·卡德利；科西莫·拉内夫 5 2011 （lambda）-演算的分布求值。 Zbl 0810.03011号 科西莫·拉内夫 4 1994 web服务的基本合同语言。 Zbl 1178.68122号 萨缪尔·卡皮内蒂；科西莫·拉内夫 4 2006 平滑的协调器。 Zbl 1180.68195号 科西莫·拉内夫；卢卡·帕多瓦尼 4 2006 在联接演算中编排事务。 Zbl 1012.68524号 罗伯托·布鲁尼；科西莫·拉内夫；乌戈·蒙塔纳里 4 2002 交互系统II：最佳还原的实践。 Zbl 0873.03015号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 4 1996 蛋白质和细胞的简单演算。 Zbl 1151.68039号 科西莫·拉内夫；法比安·塔里桑 4 2008 JVM线程的类型系统。 Zbl 1019.68013号 科西莫·拉内夫 三 2003 无界过程网络的死锁分析。 Zbl 1355.68193号 直纪小林；科西莫·拉内夫 三 2017 线性货运代理。 Zbl 1129.68047号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 三 2007 web\（\pi\）在工作中。 Zbl 1151.68539号 科西莫·拉内夫；吉安路易吉·扎瓦塔罗 2 2005 线性递归程序中的死锁检测。 Zbl 1445.68052号 埃琳娜·贾奇诺；科西莫·拉内夫 2 2014 cc范式中的流动性。 Zbl 1493.68249号 科西莫·拉内夫；乌戈·蒙塔纳里 2 1992 \（\lambda \）-演算中的路径、计算和标签。 Zbl 1514.03040号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1993 比较共享图中的\（\lambda\）-演算转换。 Zbl 1063.03507号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1995 连接演算中的继承（扩展抽象）。 Zbl 1044.68684号 塞德里克·Fornet；科西莫·拉内夫；吕克·马兰吉特；雷米，迪迪埃 1 2000 关于共享图的动力学。 Zbl 1401.68029号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1997 \（\kappa\）家族中的表达能力。 Zbl 1286.92024号 科西莫·拉内夫；安东尼奥·维塔莱 1 2008 行动者系统的可决定性问题。 Zbl 1364.68299号 德波尔（Frank S。；马赫迪·贾古里（Mahdi M.Jaghoori）。；科西莫·拉内夫；吉安路易吉·扎瓦塔罗 1 2012 并发对象中的继承。重印2001年精装版。 Zbl 1256.68036号 科西莫·拉内夫 1 2010 互动系统中的家庭关系。 Zbl 0942.68534号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1994 Java字节码的死锁检测。 Zbl 1508.68043号 科西莫·拉内夫；阿贝尔·加西亚 1 2018 演员节目的时间分析。 Zbl 1423.68090号 科西莫·拉内夫；迈克尔·连哈特；Pun，Ka一。；吉列尔莫·罗曼·迪兹 1 2019 演员节目的时间分析。 Zbl 1423.68090号 科西莫·拉内夫；迈克尔·连哈特；Pun，Ka一。；吉列尔莫·罗曼·迪兹 1 2019 Java字节码的死锁检测。 Zbl 1508.68043号 科西莫·拉内夫；阿贝尔·加西亚 1 2018 无界过程网络的死锁分析。 Zbl 1355.68193号 直纪小林；科西莫·拉内夫 三 2017 web服务契约的代数理论。 Zbl 1338.68016号 科西莫·拉内夫；卢卡·帕多瓦尼 5 2015 无界过程网络的死锁分析。 Zbl 1417.68128号 埃琳娜·贾奇诺；直纪小林；科西莫·拉内夫 5 2014 线性递归程序中的死锁检测。 Zbl 1445.68052号 埃琳娜·贾奇诺；科西莫·拉内夫 2 2014 行动者系统的可判定性问题。 Zbl 1364.68299号 德波尔（Frank S。；马赫迪·贾古里（Mahdi M.Jaghoori）。；科西莫·拉内夫；吉安路易吉·扎瓦塔罗 1 2012 大规模并发系统中的可逆性。 Zbl 1424.92028年 卢卡·卡德利；科西莫·拉内夫 5 2011 并发对象中的继承。重印2001年精装版。 Zbl 1256.68036号 科西莫·拉内夫 1 2010 PiDuce-一个试验web服务技术的项目。 Zbl 1194.68077号 萨缪尔·卡皮内蒂；科西莫·拉内夫；卢卡·帕多瓦尼 9 2009 合同和会话类型的配对。 Zbl 1143.68330号 科西莫·拉内夫；卢卡·帕多瓦尼 14 2008 nano（kappa）：纳米器件建模和仿真的微积分。 Zbl 1160.68677号 A.Credi。；M.加拉维利。；拉伊夫，C。；Pradalier，S。；西尔维，S。；G.扎瓦塔罗。 5 2008 蛋白质和细胞的简单演算。 Zbl 1151.68039号 科西莫·拉内夫；法比安·塔里桑 4 2008 在\（\κ\）家族中的表达。 Zbl 1286.92024号 科西莫·拉内夫；安东尼奥·维塔莱 1 2008 这个必须重新访问预订单。web服务契约的代数理论。 Zbl 1151.68319号 科西莫·拉内夫；卢卡·帕多瓦尼 18 2007 蛋白质和细胞的简单演算。 Zbl 1277.68195号 科西莫·拉内夫；法比安·塔里桑 10 2007 线性货运代理。 Zbl 1129.68047号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 三 2007 web服务的基本契约语言。 兹比尔1178.68122 萨缪尔·卡皮内蒂；科西莫·拉内夫 4 2006 平滑的协调器。 Zbl 1180.68195号 科西莫·拉内夫；卢卡·帕多瓦尼 4 2006 网络交易的基础。 Zbl 1118.68335号 科西莫·拉内夫；吉安路易吉·扎瓦塔罗 19 2005 web\（\pi\）在工作中。 Zbl 1151.68539号 科西莫·拉内夫；吉安路易吉·扎瓦塔罗 2 2005 正式分子生物学。 Zbl 1071.68041号 文森特·达诺斯；科西莫·拉内夫 103 2004 核心分子生物学图表。 Zbl 1053.92021号 文森特·达诺斯；科西莫·拉内夫 17 2003 核心形式分子生物学。 Zbl 1033.92013年 文森特·达诺斯；科西莫·拉内夫 15 2003 长时间运行事务的微积分。 Zbl 1253.68056号 劳拉·博奇；科西莫·拉内夫；吉安路易吉·扎瓦塔罗 15 2003 连接演算中的继承。 Zbl 1035.03011号 塞德里克·Fornet；科西莫·拉内夫；吕克·马兰吉特；雷米，迪迪埃 7 2003 线性货运代理。 Zbl 1274.68233号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 5 2003 JVM线程的类型系统。 Zbl 1019.68013号 科西莫·拉内夫 三 2003 融合机（扩展摘要）。 Zbl 1012.68527号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 10 2002 在联接演算中编排事务。 Zbl 1012.68524号 罗伯托·布鲁尼；科西莫·拉内夫；乌戈·蒙塔纳里 4 2002 单幅图表。 Zbl 1087.68607号 科西莫·拉内夫；约阿希姆·帕罗；比约恩·维克多 6 2001 联合演算中的相互模拟。 Zbl 0989.68098号 C·福内特。；拉伊夫，C。 5 2001 联接演算中的继承（扩展抽象）。 Zbl 1044.68684号 塞德里克·Fornet；科西莫·拉内夫；吕克·马兰吉特；雷米，迪迪埃 1 2000 联合演算的隐式类型a la ML。 Zbl 1512.68057号 塞德里克·Fornet；吕克·马兰吉特；科西莫·拉内夫；雷米，迪迪埃 6 1997 关于共享图的动力学。 Zbl 1401.68029号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1997 （lambda）-演算中多重数的判别能力。 Zbl 0853.68128号 杰拉德·布多尔；科西莫·拉内夫 8 1996 公理化置换等价。 Zbl 0884.68070号 科西莫·拉内夫；乌戈·蒙塔纳里 6 1996 交互系统II：最佳还原的实践。 Zbl 0873.03015号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 4 1996 \（\lambda \）-演算中的路径、计算和标签。 Zbl 0873.03012号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 9 1995 多重lambda-calculus中的终止、死锁和发散。 Zbl 0910.68131号 杰勒德·博多尔；科西莫·拉内夫 9 1995 拆分和ST互模拟语义。 Zbl 0826.68077号 罗伯托·戈里埃里；科西莫·拉内夫 6 1995 比较共享图中的\（\lambda\）-演算转换。 Zbl 1063.03507号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1995 交互系统I：最优约简理论。 Zbl 0871.03006号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 10 1994 （lambda）-演算的分布求值。 Zbl 0810.03011号 科西莫·拉内夫 4 1994 互动系统中的家庭关系。 Zbl 0942.68534号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1994 交互系统的最佳简化。 Zbl 1497.68236号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 5 1993 \（\lambda \）-演算中的路径、计算和标签。 Zbl 1514.03040号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1993 cc通道中的移动性。 Zbl 1493.68249号 科西莫·拉内夫；乌戈·蒙塔纳里 2 1992 CCS代理的分裂互模拟极限。 Zbl 0777.68063号 罗伯托·戈里埃里；科西莫·拉内夫 5 1991 所有引用出版物 前5名被引用出版物 全部的 前5名432位作者引用 19 科西莫·拉内夫 11 文森特·达诺斯 9 卢卡·卡德利 9 杰罗姆·费雷特 9 保罗·米拉佐 8 马里亚纽拉州Dezani-Ciancaglini 8 安德烈亚·马吉奥洛·谢蒂尼 8 吉安路易吉·扎瓦塔罗 7 安德烈亚·阿斯佩蒂 7 博迪，恰拉 7 吉恩·克里文 7 卢卡·帕多瓦尼 7 佩雷斯（Jorge A.Pérez）。 7 塔贾纳·彼得罗夫 7 罗萨里奥Pugliese 6 罗伯托·巴布蒂 6 尼古拉斯·贝尔 6 洛科·德尼古拉 6 丹尼尔·赫希科夫 6 安吉洛·特洛伊娜 5 佛朗哥·巴巴内拉 5 吉安·路易吉，法拉利 5 瓦实提·加尔平 5 亨氏Koeppl 5 戴维·桑吉奥吉 5 米尔科·特里巴斯通 4 阿曼，博格丹 4 卢博什·布里姆 4 罗伯托·布鲁尼 4 迪加诺，皮尔保罗 4 乌戈·德利古罗 4 菲利普·安·加德纳 4 本田、高黑 4 埃纳尔·布罗赫·约翰森 4 赫莱内·基什内尔 4 西蒙·马蒂尼 4 何塞·梅塞盖尔·瓜伊塔 4 乌戈·蒙塔纳里。 4 Owe、Olaf 4 科拉多·普里亚米 4 萨夫拉内克，大卫 4 马丁·斯特芬 4 法比安·塔里桑 4 弗朗西斯科·蒂埃齐 4 马克斯·柴科夫斯基 4 伊雷克·乌利多夫斯基 4 安德烈·范丁 4 吉田、Nobuko 三 奥纳·安德烈 三 巴勃罗·阿里吉 三 劳拉·博奇 三 马里奥·布拉维蒂 三 纳迪亚·布西 三 加布里埃尔·乔巴努 三 弗朗索瓦·法赫斯 三 塞德里克·Fornet 三 斯特凡诺游击队 三 轩尼诗，Matthew C.B。 三 简·希尔斯顿 三 斯特凡·库恩 三 伊万·拉内斯 三 Jean-Marie，马迪奥 三 安德烈亚·马西尼 三 埃尔南·梅尔格拉蒂 三 克劳迪奥·安塔雷斯·梅齐纳 三 约阿希姆·尼伦 三 约万卡·潘托维奇 三 乔瓦尼·帕迪尼 三 安德鲁·菲利普斯 三 雅各布·格鲁·西蒙森 三 埃米利奥·托斯托 三 阿德琳德·M·乌尔马赫。 三 范·贝克尔，斯特芬 三 文森特·范·奥斯特罗姆 三 克里斯蒂安·维萨里 三 沃尔特·福格勒 2 阿尔维斯，桑德拉 2 泽纳·M·阿里奥拉。 2 马西莫·巴托莱蒂 2 大卫·巴兹勒 2 菲利普·比丁格 2 利维奥·比奥利奥 2 米歇尔·博雷尔 2 杰拉德·布多尔 2 琳达·布罗多 2 费迪南达·坎波西 2 朱利奥·卡拉瓦格纳 2 萨缪尔·卡皮内蒂 2 朱塞佩·卡斯塔尼亚 2 戴维·齐亚鲁吉 2 蒂齐亚娜·西莫利 2 费德里卡·乔切塔 2 科科特，J.罗宾B。 2 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 2 奥尔内拉·达达 2 de Vries，Fer Jan J。 2 乔瓦娜·德迪奇 2 罗曼·德曼根 2 约翰·多夫兰 2 法比奥·加杜奇 …还有332名作者 全部的 前5名29篇连载文章中引用 67 理论计算机科学 17 信息与计算 16 逻辑与代数程序设计杂志 16 程序设计中的逻辑和代数方法杂志 15 MSCS公司。计算机科学中的数学结构 6 计算的形式方面 6 计算机科学中的逻辑方法 5 自然计算 三 信息学报 三 计算机程序设计科学 2 系统设计中的形式化方法 2 约束条件 1 数学生物学杂志 1 数学生物学通报 1 信息科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 新一代计算 1 自动推理杂志 1 分布式计算 1 美国计算机学会模型和计算机仿真汇刊 1 混乱 1 伦敦皇家学会哲学汇刊。系列A.数学、物理和工程科学 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 欧洲科学哲学杂志 1 理论生物学杂志 1 膜计算杂志 全部的 前5名在15个字段中引用 263 计算机科学（68至XX） 98 生物学和其他自然科学（92-XX） 44 数学逻辑和基础（03-XX） 8 范畴理论；同调代数（18-XX） 6 概率论与随机过程（60-XX） 4 动力系统和遍历理论（37至XX） 三 运筹学、数学规划（90-XX） 三 系统论；控制（93至XX） 2 组合数学（05-XX） 2 量子理论（81-XX） 2 信息与通信理论、电路（94-XX） 1 历史和传记（01-XX） 1 常微分方程（34-XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 按年份列出的引文