编辑配置文件(在新选项卡中打开) 大卫·桑吉奥吉 合著者距离 作者ID: 桑乔治·达维德 发布日期: 大卫·桑吉奥吉;桑吉奥吉,D。 已编制索引的文档: 100种出版物自1989年起,包括2本书 6作为编辑的贡献 合著者: 54位合著者具有76联合出版物 1356名合著者 全部的 前5名合著者 28 单作者的 20 丹尼尔·赫希科夫 6 伊万·拉内斯 6 Jean-Marie,马迪奥 5 罗曼·德曼根 5 阿德里安·杜里埃 5 Damien Pous 4 乌戈·达尔拉戈 4 邓玉欣 4 伊曼纽拉·法希尼 4 安德烈亚·马焦洛·谢蒂尼 三 米歇尔·博雷尔 三 艾蒂安·洛兹 三 瓦莱里亚·维格努德利 2 罗伯特·阿马迪奥(Roberto M.Amadio)。 2 伊利亚州卡斯特拉尼 2 直纪小林 2 西蒙·马蒂尼 2 马西莫·梅罗 2 佩雷斯(Jorge A.Pérez)。 2 本杰明·皮尔斯。 2 阿兰·施密特 2 田,春 2 安德烈亚·瓦伦特 2 徐,西安 1 米歇尔·阿尔贝蒂 1 Jos C.M.Baeten。 1 马可·贝尔纳多 1 阿诺德·卡拉约尔 1 Ioannis Chatzigannakis公司 1 拉斐尔·克鲁比莱 1 奥尔内拉·达达 1 洛科·德尼古拉 1 罗伯特·德·西蒙 1 约塞普·迪亚斯 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 埃琳娜·贾奇诺 1 保拉·吉安尼尼 1 乔泽夫·格鲁斯卡 1 吉勒姆·贾伯 1 约什瓦·克莱斯特 1 克里斯蒂安·伦戈尔 1 弗朗西丝卡·列维 1 尼古拉·梅泽蒂 1 罗宾·米尔纳 1 迈克尔·米赞马赫 1 尤金尼奥·莫吉 1 约阿希姆·帕罗 1 马可·皮斯托雷 1 英格朗·普雷贝特 1 尤瓦尔·拉巴尼 1 乔瓦尼·雷斯塔 1 简·J·M·M·鲁顿。 1 埃希罗·苏米 1 吉安路易吉·扎瓦塔罗 全部的 前5名系列 11 理论计算机科学 11 信息与计算 7 MSCS公司。计算机科学中的数学结构 5 计算机科学中的逻辑方法 三 信息学报 三 计算机科学课堂讲稿 2 计算机程序设计科学 2 逻辑与代数程序设计杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 计算的形式方面 1 国际计算机科学基础杂志 1 美国医学会杂志 1 ACM计算逻辑事务 1 剑桥理论计算机科学丛书 1 LIPIcs–莱布尼茨国际信息学会议录 领域 102 计算机科学(68至XX) 28 数理逻辑与基础(03-XX) 6 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 89出版物有1557年被引用中的次798文件 引用人▼ 年份▼ 演算:移动进程的理论。 Zbl 0981.68116号 大卫·桑吉奥吉;大卫·沃克 268 2001 有刺的相互模拟。 Zbl 1425.68298号 罗宾·米尔纳;大卫·桑吉奥吉 111 1992 互模拟和共推简介。 Zbl 1252.68008号 大卫·桑吉奥吉 79 2012 移动进程的键入和子键入。 Zbl 0861.68030号 本杰明·皮尔斯;大卫·桑吉奥吉 79 1996 微积分的互模拟理论。 Zbl 0835.68072号 大卫·桑吉奥吉 73 1996 \(pi)-演算、内部迁移和代理传递演算。 Zbl 0874.68103号 大卫·桑吉奥吉 64 1996 关于互模拟证明方法。 Zbl 0916.68057号 大卫·桑吉奥吉 55 1998 关于异步演算的互模拟。 Zbl 0915.68009号 罗伯特·阿马迪奥(Roberto M.Amadio)。;伊利亚州卡斯特拉尼;大卫·桑吉奥吉 54 1998 高阶过程计算的相互模拟。 Zbl 0876.68042号 大卫·桑吉奥吉 47 1996 演算中因果关系的完全抽象语义。 Zbl 0908.68103号 米歇尔·博雷尔;大卫·桑吉奥吉 35 1998 互模拟证明方法的增强。 Zbl 1285.68111号 Damien Pous;大卫·桑吉奥吉 30 2012 控制环境中的干扰。 Zbl 1323.68411号 弗朗西丝卡·列维;大卫·桑吉奥吉 30 2000 (pi)演算的完全抽象模型。 Zbl 1053.68066号 菲奥雷,M.P。;莫吉,E。;桑吉奥吉,D。 28 2002 通过名字计算的代数理论。 兹伯利0836.03020 约阿希姆·帕罗;大卫·桑吉奥吉 27 1995 异步过程演算:第一和高阶范式。 Zbl 0956.68081号 桑吉奥吉,D。 26 2001 多态性卵丘中的行为等效性。 Zbl 1094.68591号 本杰明·皮尔斯。;大卫·桑吉奥吉 25 2000 重新访问会话类型。 Zbl 1376.68099号 奥尔内拉·达达;埃琳娜·贾奇诺;大卫·桑吉奥吉 25 2017 关于名称传递计算中的异步性。 Zbl 0910.03019号 马西莫·梅罗;大卫·桑吉奥吉 24 1998 并发场景中的惰性lambda演算。 Zbl 0804.03008号 大卫·桑吉奥吉 23 1994 环境逻辑的外延和内涵。 Zbl 1323.68415号 大卫·桑吉奥吉 22 2001 统一接受的名称规则。 Zbl 0930.68035号 大卫·桑吉奥吉 21 1999 关于\(\pi\)-演算中的倒刺等价。 Zbl 1006.68090号 大卫·桑吉奥吉;大卫·沃克 20 2001 关于高阶过程计算的表达性和可判定性。 Zbl 1238.68100号 伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;大卫·桑吉奥吉;阿兰·施密特 20 2011 关于名称传递计算中的异步性。 Zbl 1093.68026号 马西莫·梅罗;大卫·桑吉奥吉 19 2004 从\(\pi\)-演算到高阶\(\ pi\)–演算,然后再返回。 Zbl 1497.68351号 大卫·桑吉奥吉 16 1993 无线系统微积分。 Zbl 1273.68264号 尼古拉·梅泽蒂;大卫·桑吉奥吉 15 2006 (\pi\)-演算双相似的一些同余性质。 Zbl 0902.68117号 米歇尔·博雷尔;大卫·桑吉奥吉 14 1998 关于异步演算的互模拟。 Zbl 1514.68154号 罗伯特·阿马迪奥(Roberto M.Amadio)。;伊利亚州卡斯特拉尼;大卫·桑吉奥吉 12 1996 关于高阶概率函数程序的共导等价性。 Zbl 1284.68424号 乌戈·达尔拉戈;大卫·桑吉奥吉;米歇尔·阿尔贝蒂 12 2014 无线系统演算的操作语义。 Zbl 1200.68035号 伊万·拉内斯;大卫·桑吉奥吉 11 2010 关于高阶过程计算中多参数和同步通信的表达性。 Zbl 1288.68183号 伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;大卫·桑吉奥吉;阿兰·施密特 11 2010 确保按类型终止。 Zbl 1110.68084号 邓玉欣;大卫·桑吉奥吉 10 2006 互模拟和共创的起源。 Zbl 1285.68112号 大卫·桑吉奥吉 10 2012 移动进程计算中的位置和交错语义。 兹伯利0874.68115 大卫·桑吉奥吉 10 1996 相互模拟和共同归纳的高级主题。 Zbl 1264.68009号 10 2012 流程终止。 Zbl 1092.68069号 大卫·桑吉奥吉 9 2006 关于麦卡锡(amb)在(pi)-演算中的表示。 Zbl 1078.68106号 阿诺德·卡拉约尔;丹尼尔·赫希科夫;大卫·桑吉奥吉 9 2005 概率高阶语言的环境互模拟。 Zbl 1347.68056号 大卫·桑吉奥吉;瓦莱里亚·维格努德利 9 2016 逻辑互模拟和函数语言。 Zbl 1141.68377号 大卫·桑吉奥吉;直纪小林;埃希罗·苏米 8 2007 环境逻辑中的可分性。 Zbl 1151.03017号 爱蒂安·洛兹;丹尼尔·赫希科夫;大卫·桑吉奥吉 8 2008 将类型化对象解释为类型化演算。 Zbl 0914.03039号 大卫·桑吉奥吉 8 1998 演算中因果关系的完全抽象语义。 Zbl 1379.68245号 米歇尔·博雷尔;大卫·桑吉奥吉 8 1995 收缩树自动机的一些结构性质。 Zbl 0687.68036号 法希尼,E。;Maggiolo Schettini,A。;雷斯塔,G。;桑吉奥吉,D。 7 1989 关于互模拟的证明方法。 Zbl 1193.68177号 大卫·桑吉奥吉 6 1995 一种用于移动进程锁定自由度的混合型系统。 Zbl 1155.68474号 直纪小林;大卫·桑吉奥吉 6 2008 相互模拟和共同还原增强:历史视角。 兹比尔1427.68010 Damien Pous;大卫·桑吉奥吉 6 2019 以不纯正的并发语言终止。 Zbl 1287.68129号 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 6 2010 方程、收缩和唯一解。 Zbl 1346.68139号 大卫·桑吉奥吉 6 2015 通过名字的计算:从融合到前序和类型。 Zbl 1366.68205号 丹尼尔·赫希科夫;Jean-Marie,马迪奥;大卫·桑吉奥吉 6 2013 用于安全环境的分布式抽象机(扩展抽象)。 Zbl 0986.68511号 大卫·桑吉奥吉;安德烈亚·瓦伦特 5 2001 双向模拟:超越一阶过渡系统。 邮编:1388.68200 Jean-Marie,马迪奥;Damien Pous;大卫·桑吉奥吉 5 2014 空间逻辑的最小结果。 Zbl 1205.03046号 D.Hirschkoff。;爱沙尼亚州洛兹。;桑吉奥吉,D。 5 2003 方程的发散性和唯一解。 Zbl 1442.68135号 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 5 2017 移动进程计算中的位置和真实一致性。 Zbl 0942.68631号 大卫·桑吉奥吉 5 1994 对作为过程的功能的调查。 Zbl 1511.68145号 大卫·桑吉奥吉 5 1994 安全环境的高效抽象机器。 Zbl 1116.68056号 丹尼尔·赫希科夫;Damien Pous;大卫·桑吉奥吉 4 2007 强制对象作为移动进程。 Zbl 1014.68104号 约什瓦·克莱斯特;大卫·桑吉奥吉 4 2002 类型,或者:CCS和\(\pi\)的区别在哪里? Zbl 1012.68137号 大卫·桑吉奥吉 4 2002 作为流程的功能树。 Zbl 1417.68138号 大卫·桑吉奥吉;徐,西安 4 2014 安全环境:抽象机器和分布式实现。 Zbl 1085.68044号 保拉·吉安尼尼;大卫·桑吉奥吉;安德烈亚·瓦伦特 4 2006 轻逻辑和高阶过程。 Zbl 1362.68209号 乌戈·达尔拉戈;西蒙·马蒂尼;大卫·桑吉奥吉 4 2016 Y树收缩自动机类之间的比较。 Zbl 0734.68066号 法希尼,E。;Maggiolo Schettini,A。;桑吉奥吉,D。 4 1990 面向类型化移动进程的代数理论。 Zbl 1086.68090号 邓玉欣;大卫·桑吉奥吉 三 2006 超越相互刺激:“达到”的技术。 Zbl 1196.68160号 大卫·桑吉奥吉 三 2006 用于\(\pi\)-演算的分区细化算法。 兹比尔1003.68082 马可·皮斯托雷;大卫·桑吉奥吉 三 2001 确保按类型终止。 Zbl 1088.68661号 邓玉欣;大卫·桑吉奥吉 三 2004 高阶并发结石的终止。 Zbl 1205.68241号 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 三 2010 方程、收缩和唯一解。 兹比尔1367.68212 大卫·桑吉奥吉 三 2017 渴望作为过程发挥作用。 Zbl 1452.03044号 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 三 2018 方程的发散性和唯一解。 Zbl 1442.68134号 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 三 2019 在格子自动机上模拟收缩树自动机。 Zbl 0726.68057号 伊曼纽拉·法希尼;乔泽夫·格鲁斯卡;安德烈亚·马吉奥洛·谢蒂尼;大卫·桑吉奥吉 三 1990 关于环境逻辑的表现力。 Zbl 1126.68056号 丹尼尔·赫希科夫;艾蒂安·洛兹;大卫·桑吉奥吉 三 2006 98年开始。并发理论。第九届国际会议,法国尼斯,1998年9月8日至11日。诉讼程序。 Zbl 0895.00051号 三 1998 \(pi)I:基于内部迁移的对称演算。 Zbl 1496.68244号 大卫·桑吉奥吉 三 1995 收缩树自动机的类及其与收缩网格自动机的比较。 Zbl 0790.68086号 法希尼,E。;Maggiolo-Schettini,A。;桑吉奥吉,D。 2 1992 从\(\lambda\)到\(\pi\);或者,重新发现延续。 Zbl 0939.68019号 大卫·桑吉奥吉 2 1999 统一接受的名称规则。 Zbl 1401.68234号 大卫·桑吉奥吉 2 1997 \(\pi\)-演算中的对偶性和i/o类型。 Zbl 1365.68343号 丹尼尔·赫希科夫;Jean-Marie,马迪奥;大卫·桑吉奥吉 2 2012 高阶并发结石的终止。 Zbl 1274.68067号 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 2 2010 理论计算机科学。第八届IFIP TC 1/WG 2.2国际会议,TCS 2014,罗马,意大利,2014年9月1日至3日。诉讼程序。 Zbl 1295.68021号 2 2014 移动进程和终止。 Zbl 1253.68239号 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 2 2009 并发理论:关于共创和过程计算的历史观点。 Zbl 1404.68003号 Jos C.M.Baeten。;大卫·桑吉奥吉 2 2014 关于钝化和高阶相互作用的分辨力。 Zbl 1392.68283号 马可·贝尔纳多;大卫·桑吉奥吉;瓦莱里亚·维格努德利 2 2014 应用相似性、顺序性和完全抽象。 Zbl 1444.68116号 拉斐尔·克鲁比莱;乌戈·达尔拉戈;大卫·桑吉奥吉;瓦莱里亚·维格努德利 2 2015 关于高阶过程的“最新”推理。 Zbl 1436.68211号 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 1 2020 轻逻辑和高阶过程。 Zbl 1455.68121号 乌戈·达尔拉戈;西蒙·马蒂尼;大卫·桑吉奥吉 1 2010 作为流程的功能树。 Zbl 1511.68186号 大卫·桑吉奥吉;徐,西安 1 2018 内部流动性和代理传递计算。 Zbl 1412.68156号 大卫·桑吉奥吉 1 1995 共刺激和共诱导:一些问题。 Zbl 1316.68107号 大卫·桑吉奥吉 1 2006 关于高阶过程的“最新”推理。 兹比尔1436.68211 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 1 2020 相互模拟和共同还原增强:历史视角。 Zbl 1427.68010号 Damien Pous;大卫·桑吉奥吉 6 2019 方程的发散性和唯一解。 Zbl 1442.68134号 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 三 2019 渴求是一种过程。 Zbl 1452.03044号 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 三 2018 作为流程的功能树。 Zbl 1511.68186号 大卫·桑吉奥吉;徐,西安 1 2018 重新访问会话类型。 Zbl 1376.68099号 奥尔内拉·达达;埃琳娜·贾奇诺;大卫·桑吉奥吉 25 2017 方程的发散性和唯一解。 Zbl 1442.68135号 阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 5 2017 方程、收缩和唯一解。 Zbl 1367.68212号 大卫·桑吉奥吉 三 2017 概率高阶语言的环境互模拟。 Zbl 1347.68056号 大卫·桑吉奥吉;瓦莱里亚·维格努德利 9 2016 轻逻辑和高阶过程。 Zbl 1362.68209号 乌戈·达尔拉戈;西蒙·马蒂尼;大卫·桑吉奥吉 4 2016 方程、收缩和唯一解。 Zbl 1346.68139号 大卫·桑吉奥吉 6 2015 应用相似性、顺序性和完全抽象。 Zbl 1444.68116号 拉斐尔·克鲁比莱;乌戈·达尔拉戈;大卫·桑吉奥吉;瓦莱里亚·维格努德利 2 2015 关于高阶概率函数程序的共导等价性。 Zbl 1284.68424号 乌戈·达尔拉戈;大卫·桑吉奥吉;米歇尔·阿尔贝蒂 12 2014 双向模拟:超越一阶过渡系统。 邮编:1388.68200 Jean-Marie,马迪奥;Damien Pous;大卫·桑吉奥吉 5 2014 作为流程的功能树。 Zbl 1417.68138号 大卫·桑吉奥吉;徐,西安 4 2014 理论计算机科学。第八届IFIP TC 1/WG 2.2国际会议,TCS 2014,罗马,意大利,2014年9月1日至3日。诉讼程序。 Zbl 1295.68021号 2 2014 并发理论:关于共创和过程计算的历史观点。 Zbl 1404.68003号 Jos C.M.Baeten。;大卫·桑吉奥吉 2 2014 关于钝化和高阶相互作用的分辨力。 Zbl 1392.68283号 马可·贝尔纳多;大卫·桑吉奥吉;瓦莱里亚·维格努德利 2 2014 通过名字的计算:从融合到前序和类型。 Zbl 1366.68205号 丹尼尔·赫希科夫;Jean-Marie,马迪奥;大卫·桑吉奥吉 6 2013 互模拟和共推简介。 Zbl 1252.68008号 大卫·桑吉奥吉 79 2012 互模拟证明方法的增强。 Zbl 1285.68111号 Damien Pous;大卫·桑吉奥吉 30 2012 互模拟和共创的起源。 Zbl 1285.68112号 大卫·桑吉奥吉 10 2012 相互模拟和共同归纳的高级主题。 Zbl 1264.68009号 10 2012 \(\pi\)-演算中的对偶性和i/o类型。 Zbl 1365.68343号 丹尼尔·赫希科夫;Jean-Marie,马迪奥;大卫·桑吉奥吉 2 2012 关于高阶过程计算的表达性和可判定性。 Zbl 1238.68100号 伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;大卫·桑吉奥吉;阿兰·施密特 20 2011 无线系统演算的操作语义。 兹比尔1200.68035 伊万·拉内斯;大卫·桑吉奥吉 11 2010 关于高阶过程计算中多参数和同步通信的表达性。 Zbl 1288.68183号 伊万·拉内斯;佩雷斯,豪尔赫·A。;大卫·桑吉奥吉;阿兰·施密特 11 2010 以不纯正的并发语言终止。 Zbl 1287.68129号 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 6 2010 高阶并发结石的终止。 Zbl 1205.68241号 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 三 2010 高阶并发结石的终止。 兹比尔1274.68067 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 2 2010 轻逻辑和高阶过程。 Zbl 1455.68121号 乌戈·达尔拉戈;西蒙·马蒂尼;大卫·桑吉奥吉 1 2010 移动进程和终止。 Zbl 1253.68239号 罗曼·德曼根;丹尼尔·赫希科夫;大卫·桑吉奥吉 2 2009 环境逻辑中的可分性。 Zbl 1151.03017号 爱蒂安·洛兹;丹尼尔·赫希科夫;大卫·桑吉奥吉 8 2008 一种用于移动进程锁自由的混合型系统。 Zbl 1155.68474号 直纪小林;大卫·桑吉奥吉 6 2008 逻辑互模拟和函数语言。 Zbl 1141.68377号 大卫·桑吉奥吉;直纪小林;埃希罗·苏米 8 2007 安全环境的高效抽象机器。 Zbl 1116.68056号 丹尼尔·赫希科夫;Damien Pous;大卫·桑吉奥吉 4 2007 无线系统微积分。 Zbl 1273.68264号 尼古拉·梅泽蒂;大卫·桑吉奥吉 15 2006 确保按类型终止。 Zbl 1110.68084号 邓玉欣;大卫·桑吉奥吉 10 2006 流程终止。 Zbl 1092.68069号 大卫·桑吉奥吉 9 2006 安全环境:抽象机器和分布式实现。 Zbl 1085.68044号 保拉·吉安尼尼;大卫·桑吉奥吉;安德烈亚·瓦伦特 4 2006 面向类型化移动进程的代数理论。 Zbl 1086.68090号 邓玉欣;大卫·桑吉奥吉 三 2006 超越互模拟:“up-to”技术。 Zbl 1196.68160号 大卫·桑吉奥吉 三 2006 关于环境逻辑的表现力。 Zbl 1126.68056号 丹尼尔·赫希科夫;艾蒂安·洛兹;大卫·桑吉奥吉 三 2006 互模拟和共归纳:一些问题。 Zbl 1316.68107号 大卫·桑吉奥吉 1 2006 关于麦卡锡(amb)在(pi)-演算中的表示。 Zbl 1078.68106号 阿诺德·卡拉约尔;丹尼尔·赫希科夫;大卫·桑吉奥吉 9 2005 关于名称传递计算中的异步性。 Zbl 1093.68026号 马西莫·梅罗;大卫·桑吉奥吉 19 2004 确保按类型终止。 Zbl 1088.68661号 邓玉欣;大卫·桑吉奥吉 三 2004 空间逻辑的最小结果。 Zbl 1205.03046号 D.Hirschkoff。;爱沙尼亚州洛兹。;桑吉奥吉,D。 5 2003 (pi)演算的完全抽象模型。 Zbl 1053.68066号 菲奥雷,M.P。;莫吉,E。;桑吉奥吉,D。 28 2002 强制对象作为移动进程。 Zbl 1014.68104号 约什瓦·克莱斯特;大卫·桑吉奥吉 4 2002 类型,或者:CCS和\(\pi\)的区别在哪里? Zbl 1012.68137号 大卫·桑吉奥吉 4 2002 演算:移动进程的理论。 Zbl 0981.68116号 大卫·桑吉奥吉;大卫·沃克 268 2001 异步过程演算:第一和高阶范式。 Zbl 0956.68081号 桑吉奥吉,D。 26 2001 环境逻辑的外延和内涵。 Zbl 1323.68415号 大卫·桑吉奥吉 22 2001 关于\(\pi\)-演算中的倒刺等价。 Zbl 1006.68090号 大卫·桑吉奥吉;大卫·沃克 20 2001 用于安全环境的分布式抽象机(扩展抽象)。 兹伯利0986.68511 大卫·桑吉奥吉;安德烈亚·瓦伦特 5 2001 用于\(\pi\)-演算的分区细化算法。 兹比尔1003.68082 马可·皮斯托雷;大卫·桑吉奥吉 三 2001 控制环境中的干扰。 Zbl 1323.68411号 弗朗西丝卡·列维;大卫·桑吉奥吉 30 2000 多态性卵丘中的行为等效性。 兹比尔1094.68591 本杰明·皮尔斯。;大卫·桑吉奥吉 25 2000 统一接受的名称规则。 Zbl 0930.68035号 大卫·桑吉奥吉 21 1999 从\(\lambda\)到\(\pi\);或者,重新发现延续。 Zbl 0939.68019号 大卫·桑吉奥吉 2 1999 关于互模拟证明方法。 Zbl 0916.68057号 大卫·桑吉奥吉 55 1998 关于异步演算的互模拟。 Zbl 0915.68009号 罗伯特·阿马迪奥(Roberto M.Amadio)。;伊利亚州卡斯特拉尼;大卫·桑吉奥吉 54 1998 演算中因果关系的完全抽象语义。 Zbl 0908.68103号 米歇尔·博雷尔;大卫·桑吉奥吉 35 1998 关于名称传递计算中的异步性。 Zbl 0910.03019号 马西莫·梅罗;大卫·桑吉奥吉 24 1998 (\pi\)-演算双相似的一些同余性质。 Zbl 0902.68117号 米歇尔·博雷尔;大卫·桑吉奥吉 14 1998 将类型化对象解释为类型化演算。 Zbl 0914.03039号 大卫·桑吉奥吉 8 1998 98年开始。并发理论。第九届国际会议,法国尼斯,1998年9月8日至11日。诉讼程序。 Zbl 0895.00051号 三 1998 统一接受的名称规则。 Zbl 1401.68234号 大卫·桑吉奥吉 2 1997 移动进程的键入和子键入。 Zbl 0861.68030号 本杰明·皮尔斯;大卫·桑吉奥吉 79 1996 微积分的互模拟理论。 Zbl 0835.68072号 大卫·桑吉奥吉 73 1996 \(pi)-演算、内部迁移和代理传递演算。 Zbl 0874.68103号 大卫·桑吉奥吉 64 1996 高阶过程计算的相互模拟。 Zbl 0876.68042号 大卫·桑吉奥吉 47 1996 关于异步演算的互模拟。 Zbl 1514.68154号 罗伯特·阿马迪奥(Roberto M.Amadio)。;伊利亚州卡斯特拉尼;大卫·桑吉奥吉 12 1996 移动进程计算中的位置和交错语义。 兹伯利0874.68115 大卫·桑吉奥吉 10 1996 通过名字计算的代数理论。 Zbl 0836.03020号 约阿希姆·帕罗;大卫·桑吉奥吉 27 1995 演算中因果关系的完全抽象语义。 Zbl 1379.68245号 米歇尔·博雷尔;大卫·桑吉奥吉 8 1995 关于互模拟的证明方法。 Zbl 1193.68177号 大卫·桑吉奥吉 6 1995 \(pi)I:基于内部迁移的对称演算。 Zbl 1496.68244号 大卫·桑吉奥吉 三 1995 内部流动性和代理传递计算。 兹比尔1412.68156 大卫·桑吉奥吉 1 1995 并发场景中的惰性lambda演算。 Zbl 0804.03008号 大卫·桑吉奥吉 23 1994 移动进程计算中的位置和真实一致性。 兹比尔0942.68631 大卫·桑吉奥吉 5 1994 对作为过程的功能的调查。 Zbl 1511.68145号 大卫·桑吉奥吉 5 1994 从\(\pi\)-演算到高阶\(\ pi\)–演算,然后再返回。 Zbl 1497.68351号 大卫·桑吉奥吉 16 1993 Barbed共刺激。 Zbl 1425.68298号 罗宾·米尔纳;大卫·桑吉奥吉 111 1992 收缩树自动机的类及其与收缩网格自动机的比较。 Zbl 0790.68086号 法希尼,E。;Maggiolo-Schettini,A。;桑吉奥吉,D。 2 1992 Y树收缩自动机类之间的比较。 Zbl 0734.68066号 法希尼,E。;Maggiolo Schettini,A。;桑吉奥吉,D。 4 1990 在格子自动机上模拟收缩树自动机。 Zbl 0726.68057号 伊曼纽拉·法希尼;乔泽夫·格鲁斯卡;安德烈亚·马吉奥洛·谢蒂尼;大卫·桑吉奥吉 三 1990 收缩树自动机的一些结构性质。 Zbl 0687.68036号 法希尼,E。;Maggiolo Schettini,A。;雷斯塔,G。;桑吉奥吉,D。 7 1989 所有引用的出版物 前5名被引用出版物 全部的 前5名792位作者引用 40 大卫·桑吉奥吉 26 吉田、Nobuko 22 轩尼诗,Matthew C.B。 21 菲利波·邦奇 19 乌戈·蒙塔纳里。 17 伏玉溪 15 丹尼尔·赫希科夫 15 佩雷斯(Jorge A.Pérez)。 14 法比奥·加杜奇 13 米歇尔·博雷尔 13 乌戈·达尔拉戈 13 马里亚纽拉州Dezani-Ciancaglini 13 乌韦州内斯特曼 12 Damien Pous 11 卢卡·埃特罗 11 路易斯·凯雷斯 11 邓玉欣 11 Ingólfsdóttir,安娜 10 罗伯托·布鲁尼 10 洛科·德尼古拉 10 罗伯托·戈里埃里 10 罗斯·霍恩 10 巴巴拉·科尼格 10 伊万·拉内斯 10 马西莫·梅罗 9 吉安·路易吉,法拉利 9 阿德里安·弗兰卡兰扎 9 丹尼尔·戈拉 9 汉斯·休特尔 9 伊恩·菲利普斯。 9 罗萨里奥·普格利泽 9 朱利安·拉特克 9 大卫·萨贝尔 9 曼弗雷德·施密特·沙乌 9 Vascoconcelos、Vasco Thudichum 8 罗伯特·阿马迪奥(Roberto M.Amadio)。 8 保罗·巴尔丹 8 本田、高黑 8 约万卡·潘托维奇 8 柯斯汀·彼得斯 8 朱里安·罗特 8 阿文·费尔南托 7 克莱门·奥伯特 7 佛朗哥·巴巴内拉 7 奥尔内拉·达达 7 安德鲁·戈登。 7 塞尔盖·伦格利特 7 法布里西奥·蒙泰西 7 科拉多·普里亚米 7 保拉·夸里亚 7 巴布亚州索波辛斯基 7 徐,西安 6 琳达·布罗多 6 米歇尔·布格列西 6 文森佐·西安西亚 6 皮耶保罗·德加诺 6 西蒙·盖伊。 6 西尔维娅·吉勒赞 6 直纪小林 6 瓦西里欧斯·库塔瓦斯 6 科西莫·拉内夫 6 塞尔吉奥·马菲斯 6 多里亚娜·梅迪奇 6 克劳迪奥·安塔雷斯·梅齐纳 6 马里诺·米库兰 6 卢卡·帕多瓦尼 6 卡图西亚帕拉米德斯 6 弗兰克·芬宁 6 阿兰·施密特 6 丹尼尔·瓦拉卡 6 雨果·托雷斯·维埃拉 5 纳迪亚·布西 5 卢卡·卡德利 5 弗拉维奥·科拉迪尼 5 菲利普·安·加德纳 5 Alan S.A.杰弗里。 5 温·科克 5 米歇尔·洛雷蒂 5 巴斯·卢提克 5 Jean-Marie,马迪奥 5 戴尔·艾伦·米勒 5 蒙雷利,贾科玛·瓦伦蒂娜 5 安德烈亚·莫迪多 5 约阿希姆·帕罗 5 弗拉迪米罗·萨松 5 亚历山德拉·席尔瓦 5 萨姆·斯塔顿 5 弗朗西斯科·蒂齐 5 伯纳多·托尼霍 5 弗兰克·巴伦西亚。 5 范格拉贝克、罗伯特·扬 5 玛丽亚·格拉齐亚·维格利奥蒂 4 奥曼·波霍拉,约翰内斯 4 马丁·伯杰(Martin J.Berger)。 4 奇亚拉博迪 4 巴斯米,玛丽亚·格拉齐亚 4 伊恩·卡萨尔 4 朱塞佩·卡斯塔尼亚 4 路易斯·克鲁兹·菲利佩 4 库卡斯·扎伊卡 …还有692名作者 全部的 前5名39篇连载文章中引用 153 理论计算机科学 90 信息与计算 40 程序设计中的逻辑和代数方法杂志 39 计算机科学中的逻辑方法 29 MSCS公司。计算机科学中的数学结构 28 信息学报 26 逻辑与代数程序设计杂志 20 计算的形式方面 8 自动推理杂志 7 信息处理信件 7 计算机程序设计科学 6 计算机语言、系统和结构 5 分布式计算 5 函数编程杂志 5 ACM计算逻辑事务 4 系统设计中的形式化方法 三 高阶和符号计算 2 计算机与系统科学杂志 2 计算机科学与技术杂志 2 国际近似推理杂志 2 国际计算机科学基础杂志 2 国际计算机数学杂志 2 自然计算 2 符号逻辑述评 2 RAIRO公司。理论信息学及其应用 1 人工智能 1 信息科学 1 数学系统理论 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 工程、通信和计算中的应用代数 1 计算与决策科学基础 1 约束条件 1 中国科学。E系列 1 计算系统理论 1 组合优化期刊 1 逻辑程序设计理论与实践 1 中国科学。F系列 1 科学中国。信息科学 全部的 前5名17个字段中引用 780 计算机科学(68至XX) 161 数理逻辑与基础(03-XX) 34 范畴理论;同调代数(18-XX) 13 信息与通信理论、电路(94-XX) 8 生物学和其他自然科学(92-XX) 7 阶、格、有序代数结构(06-XX) 5 量子理论(81-XX) 4 一般代数系统(08-XX) 4 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 三 系统论;控制(93至XX) 2 组合数学(05-XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 常微分方程(34-XX) 1 一般拓扑结构(54至XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文