编辑配置文件(在新选项卡中打开) Jean-Bernard斯特凡尼 合著者距离 作者ID: 斯蒂芬·杰恩·伯纳德 发布日期: Jean-Bernard斯特凡尼 已编制索引的文档: 28出版物自1988年起 2作为编辑的贡献 合著者: 20位合著者具有29联合出版物 262合著作者 全部的 前5名合著者 1 单作者的 8 伊万·拉内斯 8 阿兰·施密特 6 伊利·纳伊姆 5 克劳迪奥·安塔雷斯·梅齐纳 三 乔瓦尼·法布雷蒂 三 朗格莱,塞尔盖伊 三 阿卜杜勒克里姆·尼穆尔 2 菲利普·比丁格 2 格雷戈·格勒 2 彼得罗·拉米 2 克劳迪奥·萨塞尔多蒂·科恩 1 伊莎贝·德梅里 1 亚历山德罗·范特奇 1 佛罗伦萨日尔曼 1 丹尼尔·哈吉蒙特 1 吉恩·克里文 1 迈克尔·连哈特 1 迈克尔·米歇尔 1 奥利弗·波当妮 1 马丁·瓦索尔 系列 2 理论计算机科学 2 计算机科学课堂讲稿 1 信息与计算 1 程序设计中的逻辑和代数方法杂志 领域 30 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 三 量子理论(81-XX) 1 总体主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用194中的次106文件 引用人▼ 年份▼ 反转高阶pi。 Zbl 1287.68137号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 36 2010 控制高阶pi中的可逆性。 Zbl 1344.68168号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 35 2011 高阶(pi)演算中的可逆性。 Zbl 1338.68078号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 28 2016 并发灵活可逆性。 Zbl 1381.68210号 伊万·拉内斯;迈克尔·连哈特;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 20 2013 凯尔演算:一个高阶分布式进程演算家族。 Zbl 1111.68547号 阿兰·施密特;Jean-Bernard斯特凡尼 14 2005 钝化结石中的正常相互模拟。 Zbl 1234.68303号 朗格莱,塞尔盖伊;阿兰·施密特;Jean-Bernard斯特凡尼 8 2009 受控可逆性和补偿。 Zbl 1451.68123号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 8 2013 M演算:一种高阶分布式进程演算。 Zbl 1321.68365号 阿兰·施密特;Jean-Bernard斯特凡尼 7 2003 凯尔演算:操作语义和类型系统。 Zbl 1253.68235号 菲利普·比丁格;Jean-Bernard斯特凡尼 6 2003 用钝化表征计算中的上下文对等。 Zbl 1251.68160号 塞尔盖·伦格利特;阿兰·施密特;Jean-Bernard斯特凡尼 6 2011 检查点/回滚与因果一致可逆性。 Zbl 1515.68215号 马丁·瓦索尔;Jean-Bernard斯特凡尼 5 2018 基于组件的系统中的因果分析和故障归属。 Zbl 1460.68019号 格雷戈·戈斯勒;Jean-Bernard斯特凡尼 5 2020 分布式Erlang程序的因果一致调试。 Zbl 07419484号 乔瓦尼·法布雷蒂;伊万·拉内斯;Jean-Bernard斯特凡尼 4 2021 Howe的钝化结石治疗方法。 Zbl 1254.68174号 塞尔盖·伦格利特;阿兰·施密特;Jean-Bernard斯特凡尼 三 2009 通过行为类型确保对象演算的活性。 兹比尔0953.68084 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 2 1999 并发系统中的故障归属。 Zbl 1457.68024号 格雷戈·戈斯勒;Jean-Bernard斯特凡尼 2 2016 凯尔微积分。 Zbl 1270.68226号 Jean-Bernard斯特凡尼 2 2003 Erlang中的可逆性:祈使结构。 Zbl 07615950号 彼得罗·拉米;伊万·拉内斯;Jean-Bernard斯特凡尼;克劳迪奥·萨塞尔多蒂·科恩;乔瓦尼·法布雷蒂 2 2022 分布式对象接口的无限类型。 Zbl 0928.68073号 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 1 1999 Erlang中的可逆性:祈使结构。 Zbl 07615950号 彼得罗·拉米;伊万·拉内斯;Jean-Bernard斯特凡尼;克劳迪奥·萨塞尔多蒂·科恩;乔瓦尼·法布雷蒂 2 2022 分布式Erlang程序的因果一致性调试。 Zbl 07419484号 乔瓦尼·法布雷蒂;伊万·拉内斯;Jean-Bernard斯特凡尼 4 2021 基于组件的系统中的因果分析和故障归属。 Zbl 1460.68019号 格雷戈·戈斯勒;Jean-Bernard斯特凡尼 5 2020 检查点/回滚与因果一致可逆性。 Zbl 1515.68215号 马丁·瓦索尔;Jean-Bernard斯特凡尼 5 2018 高阶(pi)演算中的可逆性。 Zbl 1338.68078号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 28 2016 并发系统中的故障归属。 Zbl 1457.68024号 格雷戈·戈斯勒;Jean-Bernard斯特凡尼 2 2016 并发灵活可逆性。 Zbl 1381.68210号 伊万·拉内斯;迈克尔·连哈特;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 20 2013 受控可逆性和补偿。 Zbl 1451.68123号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 8 2013 控制高阶pi中的可逆性。 兹伯利1344.68168 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 35 2011 用钝化表征计算中的上下文对等。 Zbl 1251.68160号 塞尔盖·伦格利特;阿兰·施密特;Jean-Bernard斯特凡尼 6 2011 反转高阶pi。 兹比尔1287.68137 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 36 2010 钝化结石中的正常相互模拟。 Zbl 1234.68303号 塞尔盖·伦格利特;阿兰·施密特;Jean-Bernard斯特凡尼 8 2009 豪的钝化计算方法。 Zbl 1254.68174号 塞尔盖·伦格利特;阿兰·施密特;Jean-Bernard斯特凡尼 三 2009 凯尔演算:一个高阶分布式进程演算家族。 Zbl 1111.68547号 阿兰·施密特;Jean-Bernard斯特凡尼 14 2005 M演算:一种高阶分布式进程演算。 Zbl 1321.68365号 阿兰·施密特;Jean-Bernard斯特凡尼 7 2003 凯尔演算:操作语义和类型系统。 Zbl 1253.68235号 菲利普·比丁格;Jean-Bernard斯特凡尼 6 2003 凯尔微积分。 Zbl 1270.68226号 Jean-Bernard斯特凡尼 2 2003 通过行为类型确保对象演算的活性。 Zbl 0953.68084号 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 2 1999 分布式对象接口的无限类型。 Zbl 0928.68073号 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名135位作者引用 19 伊万·拉内斯 17 克劳迪奥·安塔雷斯·梅齐纳 10 伊恩·菲利普斯。 10 Jean-Bernard斯特凡尼 8 伊雷克·乌利多夫斯基 8 吉田、Nobuko 6 克莱门·奥伯特 6 多里亚娜·梅迪奇 6 阿兰·施密特 5 塞尔盖·伦格利特 4 马里亚纽拉州Dezani-Ciancaglini 4 乌卡斯·米库尔斯基 4 佩雷斯(Jorge A.Pérez)。 4 安娜·菲利普 4 基里亚基·帕萨拉 4 德国维达尔 4 徐,西安 三 伊奥娜·多姆尼纳·克里斯特斯库 三 乔瓦尼·法布雷蒂 三 保拉·吉安尼尼 三 伊娃·格拉弗森 三 托马斯·希尔德布兰特。 三 马西耶·库特尼 三 斯特凡·库恩 三 埃尔南·梅尔格拉蒂 三 阿德里安·帕拉西奥斯。 三 Damien Pous 三 戴维·桑吉奥吉 三 弗朗西斯科·蒂埃齐 三 元朗,昭治 2 阿提拉·巴戈西 2 马可·贝尔纳多 2 劳拉·博奇 2 伊利亚州卡斯特拉尼 2 科宁,诺琳 2 戴维·德·弗鲁托斯·埃斯克里格 2 伯恩德·芬克贝纳 2 哈达尔·弗兰克尔 2 格雷戈·格勒 2 克里斯托弗·哈恩 2 轩尼诗,Matthew C.B。 2 丹尼尔·赫施科夫 2 克里斯蒂安·约翰森 2 吉恩·克里文 2 彼得罗·拉米 2 Niklas O.Metzger。 2 哈贡诺曼 2 克劳迪奥·萨塞尔多蒂·科恩 2 朱利安·西伯 2 Daniele瓦拉卡 2 Gyorgy Vaszil公司 1 Åman Pohjola,约翰内斯 1 阿曼,博格丹 1 纪尧姆·安巴尔 1 克里斯特尔·拜尔 1 佛朗哥·巴巴内拉 1 凯特琳娜·巴罗内·阿德斯 1 卡米拉·巴里尔斯卡 1 Dariusz Biernacki 1 约翰·博格斯特罗姆 1 奇亚拉·布拉金 1 罗伯托·布鲁尼 1 曹子宁 1 詹姆斯·切尼 1 汤姆·乔西亚 1 加布里埃尔·乔巴努 1 雷蒙·达赫塞特 1 Thao Dang先生 1 洛科·德尼古拉 1 瑟伦·德博伊斯 1 乔瓦娜·德迪奇 1 乌戈·德利古罗 1 罗曼·德曼根 1 罗伯托·迪·科斯莫 1 克莱门斯,杜布拉夫 1 多米尼克·达根 1 弗洛里安·芬克 1 埃琳娜·贾奇诺 1 罗伯特·格莱克 1 丹尼尔·戈拉 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 拉姆纳斯·古特科瓦斯 1 汤姆·霍拉克 1 黄昌琴 1 汉斯·休特尔 1 塞缪尔·希姆 1 我,Hyeonseung 1 西蒙·扬奇 1 埃纳尔·布罗赫·约翰森 1 塔贾纳·卡普斯 1 金敏英 1 瓦西里欧斯·库塔瓦斯 1 Kühnrich,莫滕 1 李思奇 1 龙,欢 1 艾瑞克·马德琳 1 托马斯·玛丽 1 安德烈亚·马林 1 伊恩·梅森。 1 雅各布·毛罗 …还有35位作者 全部的 前5名16篇连载文章中引用 17 程序设计中的逻辑和代数方法杂志 10 理论计算机科学 7 信息与计算 5 信息学报 5 计算机科学中的逻辑方法 三 MSCS公司。计算机科学中的数学结构 2 计算的形式方面 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 膜计算杂志 1 信息科学 1 自动推理杂志 1 国际计算机数学杂志 1 函数编程杂志 1 计算机语言、系统和结构 1 RAIRO公司。理论信息学及其应用 全部的 前5名在7个字段中引用 105 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 6 生物学和其他自然科学(92-XX) 5 量子理论(81-XX) 1 范畴理论;同调代数(18-XX) 1 概率论与随机过程(60-XX) 1 系统论;控制(93至XX) 按年份列出的引文