编辑配置文件(在新选项卡中打开) Jean-Raymond Abrial先生 合著者距离 作者ID: 简约·珍妮·雷蒙德 发布日期: Jean-Raymond Abrial先生;J·R·阿布里尔。;J·R·阿布里亚。 更多。。。较少的 已编制索引的文档: 20份出版物自1979年以来,包括2本书 2作为编辑的贡献·1进一步贡献 合著者: 13合著者具有14份联合出版物 269名Co-Co作者 全部的 前5名合著者 7 单作者的 5 多米尼克·坎塞尔 三 Hoang,泰国儿子 三 多米尼克·梅里 2 David A.Basin。 2 Hironobu Kuruma 2 路易斯·穆萨特 1 伊贡博格尔 1 巴斯塔,D.W。 1 皮埃尔·查普伦 1 莫里斯·克林特 1 乌韦·格拉塞尔 1 斯特凡·哈勒斯特德 1 J.C.赫利亚德。 1 A.Hoare,A.Howard M。 1 C.A.R.Tony Hoare 1 伊希比亚,I.D。 1 迈克尔·A·杰克逊。 1 盖伊,拉菲特 1 汉斯·朗马克 1 麦克纳格滕,A.M。 1 R·M·麦基。 1 卡罗尔·C·摩根。 1 罗纳德·佩罗特。 1 O.鲁宾。 1 斯蒂芬·舒曼(Stephen A.Schuman)。 系列 2 计算机程序设计科学 2 计算机科学课堂讲稿 1 伦敦皇家学会哲学学报。序列号。A类 1 计算的形式方面 1 计算机基础理论 领域 23 计算机科学(68至XX) 三 总体主题;集合(00-XX) 三 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用339中的次252文件 引用人▼ 年份▼ B-book。给程序赋予含义。A.霍尔教授和皮埃尔·查普伦教授的前言。 Zbl 0915.68015号 J·R·阿布里亚。 161 1996 事件B中的建模。系统和软件工程。 Zbl 1213.68214号 Jean-Raymond Abrial先生 89 2010 离散模型的细化、分解和实例化:应用于Event-B。 Zbl 1118.68392号 Jean-Raymond Abrial先生;斯特凡·哈勒斯特德 21 2007 工业应用的形式化方法。规范和编程蒸汽锅炉控制。 Zbl 1060.68501号 18 1996 Event_B中的细化和可达性。 Zbl 1118.68535号 Jean-Raymond Abrial先生;多米尼克·坎塞尔;多米尼克·梅里 11 2005 B(^{#}):朝向Z和B之间的合成。 Zbl 1028.68534号 Jean-Raymond Abrial先生 7 2003 IEEE 1394树标识协议的机械证明和增量开发。 Zbl 1029.68011号 Jean-Raymond Abrial先生;多米尼克·坎塞尔;多米尼克·梅里 6 2002 关于在形式理论中使用条件定义。 Zbl 1044.68106号 Jean-Raymond Abrial先生;路易斯·穆萨特 5 2002 点击证明:集合论中的交互式证明。 Zbl 1279.68283号 Jean-Raymond Abrial先生;多米尼克·坎塞尔 5 2003 生成树算法的形式化推导。 兹比尔1028.68945 Jean-Raymond Abrial先生;多米尼克·坎塞尔;多米尼克·梅里 5 2003 关于项目建设。 Zbl 0473.68006号 三 1980 非确定性系统规范。 Zbl 0413.68024号 J·R·阿布里尔。;S.A.舒曼。 2 1979 通过使用B。 Zbl 0884.68006号 J·R·阿布里亚。;L.穆萨特。 2 1997 程序的数学结构。 Zbl 0543.68004号 J·R·阿布里尔。 2 1984 B中的“高阶”数学。 兹比尔1044.68145 Jean-Raymond Abrial先生;多米尼克·坎塞尔;盖伊,拉菲特 2 2002 在Event-B中开发拓扑发现。 Zbl 1192.68829号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 软件构造和分析的严格方法。在伊贡·博格尔60岁生日之际,为他撰写的论文。 Zbl 1180.68002号 1 2009 在Event-B中开发拓扑发现。 Zbl 1211.68028号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 事件B中的建模。系统和软件工程。 Zbl 1213.68214号 Jean-Raymond Abrial先生 89 2010 在Event-B中开发拓扑发现。 Zbl 1192.68829号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 软件构造和分析的严格方法。在伊贡·博格尔60岁生日之际,为他撰写的论文。 Zbl 1180.68002号 1 2009 在Event-B中开发拓扑发现。 Zbl 1211.68028号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 离散模型的细化、分解和实例化:应用于Event-B。 兹比尔1118.68392 Jean-Raymond Abrial先生;斯特凡·哈勒斯特德 21 2007 Event_B中的细化和可达性。 Zbl 1118.68535号 Jean-Raymond Abrial先生;多米尼克·坎塞尔;多米尼克·梅里 11 2005 B(^{#}):朝向Z和B之间的合成。 Zbl 1028.68534号 Jean-Raymond Abrial先生 7 2003 点击证明:集合论中的交互式证明。 Zbl 1279.68283号 Jean-Raymond Abrial先生;多米尼克·坎塞尔 5 2003 生成树算法的形式化推导。 Zbl 1028.68945号 Jean-Raymond Abrial先生;多米尼克·坎塞尔;多米尼克·梅里 5 2003 一种经过机械验证的IEEE 1394树识别协议的增量开发。 Zbl 1029.68011号 Jean-Raymond Abrial先生;多米尼克·坎塞尔;多米尼克·梅里 6 2002 关于在形式理论中使用条件定义。 Zbl 1044.68106号 Jean-Raymond Abrial先生;路易斯·穆萨特 5 2002 B中的“高阶”数学。 Zbl 1044.68145号 Jean-Raymond Abrial先生;多米尼克·坎塞尔;盖伊,拉菲特 2 2002 通过使用B。 Zbl 0884.68006号 J·R·阿布里亚。;L.穆萨特。 2 1997 B-book。给程序赋予含义。A.霍尔教授和皮埃尔·查普伦教授的前言。 Zbl 0915.68015号 J·R·阿布里亚。 161 1996 工业应用的形式化方法。规范和编程蒸汽锅炉控制。 Zbl 1060.68501号 18 1996 程序的数学结构。 Zbl 0543.68004号 J·R·阿布里尔。 2 1984 关于项目建设。 Zbl 0473.68006号 三 1980 非确定性系统规范。 Zbl 0413.68024号 J·R·阿布里尔。;S.A.舒曼。 2 1979 所有引用出版物 前5名被引用出版物 全部的 前5名442位作者引用 8 Michael Leuschel先生 7 理查德·巴纳赫 7 伊贡博格尔 7 安娜·卡瓦尔坎蒂 7 约翰·德里克 6 Eerke A.Boiten。 6 Hoang,泰国儿子 6 克利夫·琼斯。 6 海伦·特里哈恩 5 亚明·艾特阿默尔 5 马克西米利亚诺·克里斯蒂亚 5 戴维·戴哈贝 5 斯特凡·哈勒斯特德 5 雅克·朱利亚德 5 多米尼克·梅里 5 施耐德(Steve A.Schneider)。 5 尼拉杰·库马尔·辛格 4 大卫·德拉哈耶 4 纪尧姆·杜邦 4 马丁斯·莫雷拉,阿纳玛丽亚 4 皮埃尔·阿莱·马森 4 吉安弗兰科·罗西 4 格哈德·谢尔霍恩 4 格雷姆·史密斯 4 Elena A.Troubitsyna。 4 詹姆斯·C·P·伍德科克。 4 泽达,弗兰克 三 Jean-Raymond Abrial先生 三 David A.Basin。 三 Jean-Paul Bodeveix公司 三 纪尧姆·伯里 三 帕斯卡·方丹 三 马克·弗拉皮耶 三 沃尔特·古特曼 三 Hironobu Kuruma 三 雷吉尼·拉劳 三 何塞·梅塞盖尔·瓜伊塔 三 卡罗尔·C·摩根。 三 马克·潘特尔 三 亚历克斯·波坦 三 托拜厄斯·隆格 三 伊娜·谢弗 三 克劳斯·迪特·施韦 2 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 2 努诺州阿马利奥 2 巴博萨、路易斯·索亚雷斯 2 Jens Bendisposto公司 2 比约纳,迪内斯 2 皮埃尔·克莱斯托普·布埃 2 多米尼克·坎塞尔 2 巴勃罗·卡斯特罗。 2 达科斯塔·卡瓦莱罗,西蒙·安德烈 2 达科斯塔,翁贝托·苏扎 2 吉姆·戴维斯 2 德奥利维拉,迭戈·卡米尼亚B。 2 凯瑟琳·杜布瓦 2 史蒂夫·邓恩(Steve E.Dunne)。 2 戴维·费特尔森 2 弗拉维奥·安东尼奥·费拉罗蒂 2 马蒙·菲拉利 2 卢西亚娜·福斯 2 弗雷德里克·热尔维斯 2 文森佐·格瓦西 2 穆罕默德·格雷特 2 皮埃尔·哈尔马格兰德 2 拉萨·哈默勒 2 伊恩·海耶斯。 2 阿列克谢·伊利亚索夫 2 杰奎特,让-玛丽 2 何继峰 2 亚历山大·纳普 2 莱比尼斯·利纳斯 2 朱莉娅·劳尔。 2 Leino,K.Rustan M。 2 托马斯·斯蒂芬·爱德华·迈鲍姆 2 阿梅尔·曼玛 2 克劳德·马奇 2 法哈德·梅塔 2 孙孟 2 斯蒂芬·默兹 2 阿里·米莉 2 沃伊切赫·莫齐德·奥斯基 2 Musicante,Martin A。 2 托比亚斯·尼普科 2 马塞尔·奥利维拉 2 Olveczky,Peter Csaba 2 内达·佩隆 2 皮尔斯,肯·G。 2 史蒂夫·里夫斯 2 塞雷,凯萨 2 Souza Neto,Plácido A。 2 比尔·斯托达特 2 大卫·斯特雷德 2 托马斯·图姆 2 雷吉斯·蒂索特 2 Van den Bussche,简 2 瓦尔登,玛丽娜 2 詹姆斯·韦尔奇。 2 Duangdao的Wichadakul 2 克尔斯滕·温特 …还有342名作者 全部的 前5名34篇连载文章中引用 58 计算的形式方面 17 理论计算机科学 9 计算机程序设计科学 8 逻辑与代数程序设计杂志 7 自动推理杂志 7 程序设计中的逻辑和代数方法杂志 6 信息与计算 5 信息学报 三 系统设计中的形式化方法 三 数学与人工智能年鉴 三 欧洲控制杂志 三 计算机科学中的逻辑方法 2 信息处理信件 2 计算机与系统科学杂志 2 编程和计算机软件 2 纯逻辑与应用逻辑年鉴 2 逻辑程序设计理论与实践 2 应用逻辑杂志 1 应用数学与计算 1 计算 1 符号计算杂志 1 国际智能系统杂志 1 吉泰。实验与理论人工智能杂志 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 中国科学。E系列 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 萨达纳 1 ACM计算逻辑事务 1 泛逻辑 1 控制科学与工程杂志 1 中欧计算机科学杂志 全部的 前5名16个领域引用 238 计算机科学(68至XX) 50 数学逻辑和基础(03-XX) 13 系统论;控制(93至XX) 三 组合数学(05-XX) 三 运筹学、数学规划(90-XX) 2 历史和传记(01-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文