编辑配置文件(在新选项卡中打开) 朱利安·拉特克 合著者距离 作者ID: 拉特赫·朱利安 发布日期: 朱利安·拉特克;J.Rathke。 已编制索引的文档: 26出版物自1997年以来 1作为编辑的贡献 合著者: 9合著者具有25联合出版物 245位合作作者 全部的 前5名合著者 1 单作者的 10 轩尼诗,Matthew C.B。 8 Alan S.A.杰弗里。 6 巴布亚州索波辛斯基 2 马西莫·梅罗 2 弗拉迪米罗·萨松 2 吉田、Nobuko 1 阿尔贝托·齐法格利翁 1 阿德里安·弗兰卡兰扎 1 欧文,蒂姆 1 欧文·斯蒂芬斯 1 伊恩·韦克曼 1 德斯·沃森 全部的 前5名系列 5 理论计算机科学 2 计算机科学中的逻辑方法 1 信息学报 1 计算机程序设计科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 欧洲理论计算机科学协会公报 1 理论计算机科学电子笔记 领域 27 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用152中的次116文件 引用人▼ 年份▼ 广播系统演算的相互模拟。 Zbl 0915.68065号 轩尼诗,M。;Rathke,J。 14 1998 对具有本地名称的并发ML片段进行互模拟的理论。 Zbl 1105.68354号 阿兰·杰弗里;朱利安·拉特克 14 2004 推导移动环境的结构标记转换。 兹比尔1160.68474 朱利安·拉特克;巴布亚州索波辛斯基 13 2008 Java Jr.:核心Java语言的完全抽象跟踪语义。 Zbl 1108.68349号 阿兰·杰弗里;朱利安·拉特克 13 2005 存在子类型的过程的类型化行为等效项。 Zbl 1093.68062号 马修·亨内西;朱利安·拉特克 12 2004 重新讨论了高阶pi-calculus的上下文等价性。 Zbl 1125.68084号 Alan S.A.杰弗里。;朱利安·拉特克 12 2005 语义倒钩和双正交。 Zbl 1195.68073号 朱利安·拉特克;弗拉迪米罗·萨松;巴布亚州索波辛斯基 10 2007 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1071.68009号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 10 2004 完全抽象可以测试并发对象的语义。 Zbl 1078.68107号 阿兰·杰弗里;朱利安·拉特克 9 2005 safeDpi:一种控制移动代码的语言。 Zbl 1081.68003号 马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 8 2005 Petri网中的合成可达性。 Zbl 1448.68351号 朱利安·拉特克;巴布亚州索波辛斯基;欧文·斯蒂芬斯 6 2014 重新讨论了高阶(pi)演算的上下文等价性。 Zbl 1337.68185号 阿兰·杰弗里;朱利安·拉特克 6 2003 值传递过程的本地模型检查。(扩展摘要)。 Zbl 0885.03021号 J.Rathke。;轩尼诗,M。 4 1997 存在子类型的过程的类型化行为等效项。 Zbl 1268.68127号 马修·轩尼诗;朱利安·拉特克 4 2002 消息传递过程计算的独特定点归纳。 兹比尔0998.68089 轩尼诗,M。;Lin,H。;J.Rathke。 三 2001 使不可观察,不可观察。 Zbl 1291.68290号 朱利安·拉特克;巴布亚州索波辛斯基 三 2009 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1029.68109号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 2 2003 衍生移动环境的结构标记过渡。 Zbl 1214.68251号 朱利安·拉特克;巴布亚州索波辛斯基 2 2010 DPI中行为等效性的证明方法。 Zbl 1169.68538号 阿尔贝托·齐法格利翁;马修·轩尼诗;朱利安·拉特克 2 2005 多态pi演算的完全抽象。 Zbl 1119.68128号 阿兰·杰弗里;朱利安·拉特克 2 2005 SafeDpi:一种控制移动代码的语言(扩展抽象)。 Zbl 1126.68501号 马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 1 2004 多态演算的完全抽象。 Zbl 1134.68040号 阿兰·杰弗里;朱利安·拉特克 1 2008 消息传递并发的基于权限的分离逻辑。 Zbl 1237.68061号 阿德里安·弗兰卡兰扎;朱利安·拉特克;弗拉迪米罗·萨松 1 2011 Petri网中的合成可达性。 Zbl 1448.68351号 朱利安·拉特克;巴布亚州索波辛斯基;欧文·斯蒂芬斯 6 2014 消息传递并发的基于权限的分离逻辑。 Zbl 1237.68061号 阿德里安·弗兰卡兰扎;朱利安·拉特克;弗拉迪米罗·萨松 1 2011 推导移动环境的结构标记转换。 Zbl 1214.68251号 朱利安·拉特克;巴布亚州索波辛斯基 2 2010 使不可观察,不可观察。 Zbl 1291.68290号 朱利安·拉特克;巴布亚州索波辛斯基 三 2009 推导移动环境的结构标记转换。 Zbl 1160.68474号 朱利安·拉特克;巴布亚州索波辛斯基 13 2008 多态演算的完全抽象。 Zbl 1134.68040号 阿兰·杰弗里;朱利安·拉特克 1 2008 语义倒钩和双正交。 Zbl 1195.68073号 朱利安·拉特克;弗拉迪米罗·萨松;巴布亚州索波辛斯基 10 2007 Java Jr.:核心Java语言的完全抽象跟踪语义。 Zbl 1108.68349号 阿兰·杰弗里;朱利安·拉特克 13 2005 重新讨论了高阶pi-calculus的上下文等价性。 Zbl 1125.68084号 艾伦·S·A·杰弗里。;朱利安·拉特克 12 2005 完全抽象可以测试并发对象的语义。 Zbl 1078.68107号 阿兰·杰弗里;朱利安·拉特克 9 2005 safeDpi:一种控制移动代码的语言。 Zbl 1081.68003号 马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 8 2005 DPI中行为等效的证明方法。 Zbl 1169.68538号 阿尔贝托·齐法格利翁;马修·轩尼诗;朱利安·拉特克 2 2005 多态像素的完全抽象。 Zbl 1119.68128号 阿兰·杰弗里;朱利安·拉特克 2 2005 具有局部名称的并发ML片段的一种互模拟理论。 Zbl 1105.68354号 阿兰·杰弗里;朱利安·拉特克 14 2004 存在子类型的过程的类型化行为等效项。 Zbl 1093.68062号 马修·亨内西;朱利安·拉特克 12 2004 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1071.68009号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 10 2004 SafeDpi:一种用于控制移动代码的语言(扩展抽象)。 Zbl 1126.68501号 马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 1 2004 重新讨论了高阶(pi)演算的上下文等价性。 Zbl 1337.68185号 阿兰·杰弗里;朱利安·拉特克 6 2003 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1029.68109号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 2 2003 存在子类型的过程的类型化行为等效项。 Zbl 1268.68127号 马修·轩尼诗;朱利安·拉特克 4 2002 消息传递过程计算的独特定点归纳。 Zbl 0998.68089号 轩尼诗,M。;Lin,H。;J.Rathke。 三 2001 广播系统演算的相互模拟。 Zbl 0915.68065号 轩尼诗,M。;J.Rathke。 14 1998 值传递过程的本地模型检查。(扩展摘要)。 Zbl 0885.03021号 J.Rathke。;轩尼诗,M。 4 1997 所有引用出版物 前5名被引用出版物 全部的 前5名157位作者引用 14 轩尼诗,Matthew C.B。 9 朱利安·拉特克 8 菲利波·邦奇 7 法比奥·加杜奇 7 巴布亚州索波辛斯基 5 丹尼尔·戈拉 5 蒙雷利,贾科玛·瓦伦蒂娜 5 吉田、Nobuko 4 邓玉欣 4 马里亚纽拉州Dezani-Ciancaglini 4 Din、Crystal Chang 4 阿德里安·弗兰卡兰扎 4 马西莫·梅罗 4 阿兰·施密特 4 尼科斯·齐夫列科斯 三 卢卡·埃特罗 三 罗伯特·阿马迪奥(Roberto M.Amadio)。 三 曹子宁 三 Alan S.A.杰弗里。 三 瓦西里欧斯·库塔瓦斯 三 艾瑞克·马德琳 三 安德烈·穆拉夫斯基。 三 Owe、Olaf 三 佩雷斯(Jorge A.Pérez)。 三 Damien Pous 三 戴维·桑吉奥吉 2 艾丽卡·阿尔布拉汉姆 2 保罗·巴尔丹 2 米歇尔·布格列西 2 伊恩·卡萨尔 2 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 2 西尔维亚·克拉法 2 伏玉溪 2 菲利普·安·加德纳 2 西尔维娅·吉勒赞 2 安德烈亚斯·格吕纳 2 卢多维奇·亨利奥 2 塞缪尔·希姆 2 Anna Ingólfsdóttir 2 巴巴拉·科尼格 2 朗格莱,塞尔盖伊 2 塞尔吉奥·马菲斯 2 约万卡·潘托维奇 2 马可·帕特里格纳尼 2 K.V.S.N.普拉萨德。 2 Jean-Bernard斯特凡尼 2 马丁·斯特芬 2 埃希罗·苏米 2 张敏 1 卡明·阿巴特 1 叶希亚·阿卜杜·阿勒拉赫曼 1 拉贝亚·阿穆尔·布利法 1 乔治·巴奇 1 约翰·C·贝兹。 1 弗朗西斯科·巴拉丁 1 佛朗哥·巴巴内拉 1 杰斯珀·本特森 1 马丁·伯杰(Martin J.Berger)。 1 卞金亭 1 菲利普·比丁格 1 罗伯托·布兰科 1 西蒙·布利兹 1 爱德华多·博内利 1 约翰·博格斯特罗姆 1 塞巴斯蒂安·布赖斯 1 理查德·布贝尔 1 蔡晓娟 1 路易斯·凯雷斯 1 朱塞佩·卡斯塔尼亚 1 安德烈亚·塞隆 1 伊利亚诺·塞维萨托 1 柴明仁 1 阿皮瓦特·昌塔维布尔 1 Ciobâcă,沙特凡 1 克拉克,戴夫 1 达里奥·科拉佐 1 罗伯特·J·科尔文。 1 伊奥娜·多姆尼纳·克里斯特斯库 1 德波尔(Frank S。 1 De Gouw,施蒂恩 1 洛科·德尼古拉 1 辛齐亚·迪·朱斯托 1 埃琳娜·迪拉沃雷 1 约翰·多夫兰 1 阿德里安·杜里埃 1 哈特穆特·埃里格 1 伊万娜·菲利波维奇 1 毛里齐奥·加布里埃利 1 休伯特Garavel 1 迪帕克·加格 1 巴勃罗·加拉尔达 1 马尼什·戈尔 1 Dan R.吉卡。 1 安德鲁·戈登。 1 欧根·伊安·戈里亚克 1 伊莫·格雷布 1 Jan Friso,格鲁特 1 埃尔萨·甘特。 1 雷纳·哈内尔 1 Hiep,Hans-Dieter A。 …还有57位作者 全部的 前5名17篇连载文章中引用 21 理论计算机科学 14 信息与计算 7 MSCS公司。计算机科学中的数学结构 7 逻辑与代数程序设计杂志 4 信息学报 4 程序设计中的逻辑和代数方法杂志 三 计算机语言、系统和结构 三 计算机科学中的逻辑方法 2 计算的形式方面 2 国际计算机数学杂志 1 信息处理信件 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 分布式计算 1 系统设计中的形式化方法 1 计算系统理论 1 ACM计算逻辑汇刊 全部的 前5名11个领域引用 115 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 5 范畴理论;同调代数(18-XX) 2 阶、格、有序代数结构(06-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文