编辑配置文件(在新选项卡中打开) 回来了,拉尔夫·约翰 合著者距离 作者ID: 背面拉普·乔恩 发布日期: 背面,R.J.R。;回来了,拉尔夫·约翰;Ralph J.R.回来了。;回来,拉尔夫;Ralph-J。;R·J·巴克。 更多。。。较少的 主页: http://users.abo.fi/ralph-johan.back/ 编入索引的文档: 54出版物自1979年以来,包括8本书 2作为编辑的贡献·1进一步贡献 合著者: 20位合著者具有31联合出版物 434位合作作者 全部的 前5名合著者 17 单作者的 6 约阿金·冯·赖特 4 曼尼拉,海基 4 普洛塔萨,维奥雷尔 4 塞雷,凯萨 三 雷诺·库基·苏尼奥 三 伊恩·皮特 2 安娜·D·米哈伊洛娃。 2 路易吉亚·皮特 2 伊凡·波雷斯 2 科拉多·普里亚米 1 阿曼,乌尔斯 1 Aspnäs,垫子 1 奥斯特尔穆尔(Austermühl,Burkhard) 1 回来了,巴勃罗 1 保罗·罗伯托·弗雷尔·库尼亚 1 曼弗雷德·道斯曼 1 卡洛斯·何塞·佩雷拉·德·卢塞纳 1 埃里克·P·德文克。 1 约翰·埃里克森 1 汉斯·路德维希·费舍尔 1 尼西姆·弗朗西兹 1 汤姆·吉尔 1 英格丽德·格拉斯纳 1 吉姆·格兰迪 1 沃尔夫冈·亨莫普 1 弗里德里希·赫威克 1 汉斯·尤尔根·霍夫曼 1 卡斯滕斯,乌韦 1 格哈德·诺兹 1 汉斯·克伦(Hans H.Kron)。 1 洛赫特,克劳斯·佩特 1 莱纳·卢茨 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 安德烈·米泽拉 1 乌尔里奇·莫恩克 1 曼弗雷德·纳格尔 1 纳尔逊(Donald F.Nelson)。 1 霍斯特·奥伯奎尔 1 Guido Persch公司 1 英格·普雷希特 1 彼得·劳列夫斯 1 雅各布·绍尔 1 沈鸿 1 约阿希姆·冯·赖特 1 莱因哈德·威廉 1 格奥尔格·温特斯坦 1 徐启文 全部的 前5名系列 11 计算的形式方面 6 信息学报 三 理论计算机科学 三 计算机程序设计科学 2 计算机科学课堂讲稿 1 信息处理信件 1 控制论学报 1 信息和控制 1 计算机与系统科学杂志 1 网络 1 程序设计语言与系统学报 1 信息与计算 1 欧洲运筹学杂志 1 北欧计算机杂志 1 计算机科学研究生课程 1 信息-Fachberichte 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 52 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 1 阶、格、有序代数结构(06-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用410中的次270份文件 引用人▼ 年份▼ 精化微积分。系统介绍。 Zbl 0949.68094号 回来了,拉尔夫·约翰;乔金·冯·赖特 123 1998 保持正确性的程序改进:证明理论和应用。 Zbl 0451.68018号 背面,R.J.R。 44 1980 程序派生的细化演算。 Zbl 0658.68018号 背面,R.J.R。 24 1988 与行动系统的分布式合作。 Zbl 0663.68028号 背面,R.J.R。;Kurki Suonio,R。 24 1988 并行算法的逐步细化。 Zbl 0705.68057号 背面,R.J.R。;塞雷,K。 15 1990 对循环进行代数推理。 Zbl 0940.68011号 背面,R.J.R。;冯·赖特,J。 15 1999 规范语言中的二重性:格理论方法。 Zbl 0699.68038号 背面,R.J.R。;冯·赖特,J。 14 1990 关于程序的正确细化。 Zbl 0469.68012号 背面,R.J.R。 13 1981 反应系统的叠加细化。 Zbl 0852.68008号 背面,R.J.R。;塞雷,K。 11 1996 证明无穷逻辑中非确定性程序的完全正确性。 Zbl 0467.03028号 背面,R.J.R。 11 1981 基于不变量的编程:基本方法和教学经验。 Zbl 1178.68334号 回来了,拉尔夫·约翰 10 2009 在程序规范中结合了天使、恶魔和奇迹。 Zbl 0754.68078号 背面,R.J.R。;冯·赖特,J。 9 1992 无界不确定性的连续语义。 Zbl 0498.68005号 背面,R.J.R。 9 1983 组合动作系统细化。 Zbl 1093.68007号 背面,R.J.R。;冯·赖特,J。 8 2003 用高阶逻辑形式化的精炼概念。 Zbl 0703.68074号 背面,R.J.R。;冯·赖特,J。 8 1990 完善公平诉讼制度。 Zbl 0898.68027号 Ralph J.R.回来了。;徐启文 5 1998 无界不确定性的语义。(预印本)。 Zbl 0425.68021号 R·J·巴克。 5 1980 关于正确细化程序的概念。 Zbl 0444.68013号 背面,R.J.R。 5 1980 支持机械验证的过程改进的代数处理。 Zbl 1101.68669号 回来了,拉尔夫·约翰;普洛塔萨,维奥雷尔 5 2005 具有握手功能的分布式系统中的串行化。 Zbl 0649.68020号 背面,R.J.R。;Kurki Suonio,R。 5 1988 并行算法的叠加细化。 Zbl 0785.68060号 背面,R.J.R。;塞雷,K。 4 1992 合同、游戏和改进。 Zbl 1046.68571号 回来了,拉尔夫·约翰;约阿金·冯·赖特 4 2000 编码、解码和数据优化。 Zbl 1013.68084号 回来了,拉尔夫·约翰;约阿金·冯·赖特 4 2000 将动作系统推广到混合系统。 Zbl 0986.68648号 回来了,拉尔夫·约翰;路易吉亚·皮特;伊凡·波雷斯 4 2000 类精化作为正确对象可替换性的语义。 兹伯利0963.68103 回来了,拉尔夫·约翰;安娜·米哈伊洛娃;约阿金·冯·赖特 4 2000 证明无穷逻辑中非确定性程序的完全正确性。 Zbl 0437.68008号 背面,R.J.R。 三 1980 公平性假设的等效性。 Zbl 0782.68075号 尼西姆·弗朗西兹;Ralph-J。;雷诺·库基·苏尼奥 三 1992 语句反转和最强后置条件。 Zbl 0780.68010号 背面,R.J.R。;冯·赖特,J。 2 1993 存在税收约束的财务报表规划。 Zbl 0912.90095号 后退,B。;背面,R.J.R。 2 1995 结构化计算证明。 Zbl 0905.68139号 回来,拉尔夫;吉姆·格兰迪;约阿金·冯·赖特 2 1997 关于交互式系统的推理。 Zbl 0953.68039号 回来,拉尔夫;安娜·米哈伊洛娃;约阿金·冯·赖特 2 1999 指定加州理工学院异步微处理器。 兹比尔0848.68022 背面,R.J.R。;马丁,A.J。;塞雷,K。 2 1996 关于跟踪语义对通信过程的模块化证明的适用性。 Zbl 0567.68018号 背面,R.J.R。;H·曼尼拉。 2 1985 基于不变量的程序的数据细化。 Zbl 1342.68095号 普洛塔萨,维奥雷尔;回来了,拉尔夫·约翰 2 2009 游戏和获胜策略。 Zbl 0875.68630号 背面,R.J.R。;冯·赖特,J。 1 1995 精化演算中的融合和同时执行。 Zbl 0927.68012号 回来了,拉尔夫·约翰;迈克尔·巴特勒 1 1998 结构化推导:数学教学的统一证明方式。 Zbl 1217.03043号 回来了,拉尔夫·约翰 1 2010 用于简化生物模型的计算启发式。 Zbl 1268.92003号 伊恩·皮特;安德烈·米泽拉;回来了,拉尔夫·约翰 1 2009 作为混合系统模型的连续动作系统。 Zbl 0978.68017号 回来了,拉尔夫·约翰;路易吉亚·皮特;伊凡·波雷斯 1 2001 通过逐步引入功能构建软件。 Zbl 1044.68561号 回来了,拉尔夫·约翰 1 2002 计算系统生物学汇刊XI。 Zbl 1175.92022号 1 2009 结构化推导:数学教学的统一证明方式。 Zbl 1217.03043号 回来了,拉尔夫·约翰 1 2010 基于不变量的编程:基本方法和教学经验。 兹比尔1178.68334 回来了,拉尔夫·约翰 10 2009 基于不变量的程序的数据细化。 Zbl 1342.68095号 普洛塔萨,维奥雷尔;回来了,拉尔夫·约翰 2 2009 简化生物模型的计算启发法。 Zbl 1268.92003号 伊恩·皮特;安德烈·米泽拉;回来了,拉尔夫·约翰 1 2009 计算系统生物学汇刊XI。 Zbl 1175.92022号 1 2009 支持机械验证的过程改进的代数处理。 Zbl 1101.68669号 回来了,拉尔夫·约翰;普洛塔萨,维奥雷尔 5 2005 组合动作系统细化。 Zbl 1093.68007号 背面,R.J.R。;冯·赖特,J。 8 2003 通过逐步引入功能构建软件。 Zbl 1044.68561号 回来了,拉尔夫·约翰 1 2002 作为混合系统模型的连续动作系统。 Zbl 0978.68017号 回来了,拉尔夫·约翰;路易吉亚·皮特;伊凡·波雷斯 1 2001 合同、游戏和改进。 Zbl 1046.68571号 回来了,拉尔夫·约翰;约阿金·冯·赖特 4 2000 编码、解码和数据优化。 Zbl 1013.68084号 回来了,拉尔夫·约翰;约阿金·冯·赖特 4 2000 将动作系统推广到混合系统。 兹伯利0986.68648 回来了,拉尔夫·约翰;路易吉亚·皮特;伊凡·波雷斯 4 2000 类精化作为正确对象可替换性的语义。 Zbl 0963.68103号 回来了,拉尔夫·约翰;安娜·米哈伊洛娃;约阿金·冯·赖特 4 2000 对循环进行代数推理。 Zbl 0940.68011号 背面,R.J.R。;冯·赖特,J。 15 1999 关于交互式系统的推理。 Zbl 0953.68039号 回来,拉尔夫;安娜·米哈伊洛娃;乔金·冯·赖特 2 1999 精化微积分。系统介绍。 Zbl 0949.68094号 回来了,拉尔夫·约翰;乔金·冯·赖特 123 1998 完善公平行动制度。 Zbl 0898.68027号 Ralph J.R.回来了。;徐启文 5 1998 精化演算中的融合和同时执行。 Zbl 0927.68012号 回来了,拉尔夫·约翰;迈克尔·巴特勒 1 1998 结构化计算证明。 Zbl 0905.68139号 回来,拉尔夫;吉姆·格兰迪;约阿金·冯·赖特 2 1997 反应系统的叠加细化。 Zbl 0852.68008号 背面,R.J.R。;塞雷,K。 11 1996 指定加州理工学院异步微处理器。 Zbl 0848.68022号 背面,R.J.R。;马丁,A.J。;塞雷,K。 2 1996 存在税收约束的财务报表规划。 Zbl 0912.90095号 背面,B。;背面,R.J.R。 2 1995 游戏和获胜策略。 Zbl 0875.68630号 背面,R.J.R。;冯·赖特,J。 1 1995 语句反转和最强后置条件。 Zbl 0780.68010号 背面,R.J.R。;冯·赖特,J。 2 1993 在程序规范中结合了天使、恶魔和奇迹。 Zbl 0754.68078号 背面,R.J.R。;冯·赖特,J。 9 1992 并行算法的叠加细化。 Zbl 0785.68060号 背面,R.J.R。;塞雷,K。 4 1992 公平性假设的等效性。 Zbl 0782.68075号 尼西姆·弗朗西兹;Ralph-J。;雷诺·库基·苏尼奥 三 1992 并行算法的逐步细化。 Zbl 0705.68057号 背面,R.J.R。;塞雷,K。 15 1990 规范语言中的二重性:格理论方法。 Zbl 0699.68038号 背面,R.J.R。;冯·赖特,J。 14 1990 用高阶逻辑形式化的精炼概念。 Zbl 0703.68074号 背面,R.J.R。;冯·赖特,J。 8 1990 程序派生的细化演算。 Zbl 0658.68018号 背面,R.J.R。 24 1988 与行动系统的分布式合作。 Zbl 0663.68028号 背面,R.J.R。;Kurki-Soonio,R。 24 1988 具有握手功能的分布式系统中的串行化。 Zbl 0649.68020号 背面,R.J.R。;Kurki-Soonio,R。 5 1988 关于跟踪语义对通信过程的模块化证明的适用性。 兹伯利0567.68018 背面,R.J.R。;H·曼尼拉。 2 1985 无界不确定性的连续语义。 Zbl 0498.68005号 背面,R.J.R。 9 1983 关于程序的正确细化。 Zbl 0469.68012号 背面,R.J.R。 13 1981 证明无穷逻辑中非确定性程序的完全正确性。 Zbl 0467.03028号 背面,R.J.R。 11 1981 保持正确性的程序改进:证明理论和应用。 Zbl 0451.68018号 背面,R.J.R。 44 1980 无界不确定性的语义。(预印本)。 Zbl 0425.68021号 R·J·巴克。 5 1980 关于程序的正确精化的概念。 Zbl 0444.68013号 背面,R.J.R。 5 1980 证明无穷逻辑中非确定性程序的完全正确性。 Zbl 0437.68008号 背面,R.J.R。 三 1980 所有引用出版物 前5名被引用出版物 全部的 前5名329位作者引用 15 回来了,拉尔夫·约翰 11 伊恩·海耶斯。 9 安娜·卡瓦尔坎蒂 9 沃尔特·古特曼 9 卡罗尔·C·摩根。 9 乔治·斯特鲁斯 8 罗伯特·J·科尔文。 8 戴维·诺曼(David A.Naumann)。 7 C.A.R.Tony Hoare 7 拉里萨·梅尼基。 6 尼西姆·弗朗西兹 6 维姆·赫塞林克。 6 彼得·兰米奇 6 约翰·朱尔斯·查尔斯·梅耶 6 普洛塔萨,维奥雷尔 5 理查德·巴纳赫 5 西蒙·福斯特 5 Leino,K.Rustan M。 5 刘志明 5 Annabelle K.McIver。 5 Möller,伯恩哈德 5 塞雷,凯萨 5 金·索林 5 侯赛因·泽丹 4 布里杰什·多戈尔 4 科林·菲奇。 4 本特·琼森 4 奥尔德罗格(Ernst-Rüdiger Olderog) 4 约阿金·冯·赖特 4 詹姆斯·C·P·伍德科克。 4 泽达,弗兰克 三 鲁道夫·伯哈默 三 史蒂夫·邓恩(Steve E.Dunne)。 三 Hitoshi Furusawa 三 奥尔纳·格伦伯格 三 何继峰 三 Joost N.角。 三 雷诺·库基·苏尼奥 三 卡尔·勒默 三 Joseph M.莫里斯。 三 亚历克斯·波坦 三 托拜厄斯·隆格 三 伊娜·谢弗 三 大卫·斯科利菲尔德 三 格雷姆·史密斯 三 保罗·A·斯特罗珀。 三 费卢兹·切尔 三 Elena A.Troubitsyna。 三 范·斯塔登(Stephan van Staden) 三 Martin P.沃德。 2 Jan A.Bergstra。 2 乔达里,Dipak L。 2 帕特里克·库索特 2 Om P.达马尼。 2 雅各布斯·W·德·巴克。 2 埃里克·P·德文克。 2 朱尔斯·德沙奈斯 2 德意志,摩什 2 菲克斯,利莫 2 科马克·弗拉纳根 2 斯特凡·哈勒斯特德 2 马丁·亨森。 2 彼得·霍夫纳 2 乔纳森·朱利安(Jonathan Julián),韦尔塔·穆尼夫(Huerta y Munive) 2 何继峰 2 克利夫·琼斯。 2 马泰·约瑟夫 2 Yuh-Jzer Joung 2 沃尔夫拉姆·卡尔 2 Shmuel Katz 2 莱比尼斯·利纳斯 2 Michael Leuschel先生 2 安德烈亚斯·洛赫比勒 2 米拉·塞德尔巴姆少校。 2 詹弗兰科,马斯卡里 2 阿里·米利 2 O'Hearn,Peter W。 2 杰米·佩顿 2 阿恩·施·赫夫特 2 塔希里·拉贝哈加。 2 安德斯·雷文(Anders P.Ravn)。 2 佩德罗·里贝罗 2 罗马人、格鲁亚·卡塔林 2 奥古斯托·桑帕约。 2 塞菲加·雷扎 2 艾伦·斯图尔特 2 托马斯·图姆 2 马尔科姆·蒂雷尔 2 瓦尔登,玛丽娜 2 克尔斯滕·温特 2 詹乃军 2 朱慧彪 1 阿卜杜拉扎克·阿巴 1 帕罗什·阿齐兹·阿卜杜拉 1 Jean-Raymond Abrial先生 1 维托·米歇尔·阿布鲁西 1 Nazareno M.阿吉雷。 1 谢尔·亚哈龙 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 Joao Alpuim …和229多位作者 全部的 前5名31篇连载文章中引用 64 计算的形式方面 44 理论计算机科学 15 信息学报 13 信息处理信件 13 程序设计中的逻辑和代数方法杂志 8 自动推理杂志 7 信息与计算 7 分布式计算 7 逻辑与代数程序设计杂志 6 计算机程序设计科学 4 系统设计中的形式化方法 三 计算机科学中的逻辑方法 2 信息科学 2 计算机与系统科学杂志 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑事务 1 数学信使 1 苏联数学杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 国际并行程序设计杂志 1 欧洲运筹学杂志 1 数学与人工智能年鉴 1 并行算法与应用 1 国际理论与应用金融杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 应用数学杂志 1 离散和连续动力系统。S系列 1 理论生物学杂志 全部的 前5名21个领域被引用 261 计算机科学(68至XX) 39 数学逻辑和基础(03-XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 阶、格、有序代数结构(06-XX) 5 范畴理论;同调代数(18-XX) 4 运筹学、数学规划(90-XX) 三 组合数学(05-XX) 三 数学教育(97-XX) 2 历史和传记(01-XX) 2 常微分方程(34-XX) 2 一般拓扑结构(54至XX) 2 概率论与随机过程(60-XX) 2 数值分析(65-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 结合环与代数(16-XX) 1 动力系统和遍历理论(37至XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文