编辑配置文件（在新选项卡中打开） 格哈德·谢尔霍恩 合著者距离 作者ID： 谢尔霍恩·格哈德 发布日期： 格哈德·谢尔霍恩;谢尔霍恩，G。 已编制索引的文档： 36出版物自1993年起 4作为编辑的贡献 合著者： 32位合著者具有36联合出版物 289合著作者 全部的 前5名合著者 4 单作者的 19 沃尔夫冈·雷夫 12 约翰·德里克 10 海克·卫尔海姆 7 布里杰什·多戈尔 6 西蒙·多尔蒂 4 博格丹·托凡 3 沃尔夫冈·阿伦特 3 迈克尔·巴尔泽 3 西蒙·巴姆勒 3 Eerke A.Boiten。 3 安德烈·杜奈茨 3 库尔特·斯坦泽尔 3 奥列格·特拉夫金 2 埃利尼·比拉 1 理查德·巴纳赫 1 伯恩哈德·贝克特 1 马丁·比特利希 1 Stefan Bodenmüller 1 雷纳·德雷克斯勒 1 克里斯托夫·杜埃利 1 吉登·恩斯特 1 雷纳·哈内尔 1 沃尔夫拉姆·门泽尔 1 弗洛里安·纳夫兹 1 弗兰克·奥特米耶 1 约尔格·普费勒 1 尤尔根·鲁夫 1 彼得·施密特（Peter H.Schmitt）。 1 沃纳·斯蒂芬 1 安德烈亚斯·图姆斯 1 托拜厄斯·沃尔默 1 安德烈亚斯·沃尔珀斯 全部的 前5名系列 5 计算的形式方面 4 通用计算机科学杂志 2 计算机程序设计科学 1 理论计算机科学 1 信息处理与控制论杂志 1 自动推理杂志 1 人工智能通信 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 领域 40 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用159中的次78文件 引用人▼ 年份▼ 结构化规范和与KIV的交互证明。 Zbl 0970.68149号 沃尔夫冈·雷夫;格哈德·谢尔霍恩;库尔特·斯坦泽尔;迈克尔·巴尔泽 20 1998 ASM精化和数据精化中正向模拟的推广：比较。 Zbl 1080.68058号 格哈德·谢尔霍恩 14 2005 RGITL：一种时序逻辑框架，用于对交错程序进行组合推理。 Zbl 1329.68172号 格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫 9 2014 大理论中的定理证明。 Zbl 0972.68520号 沃尔夫冈·雷夫;格哈德·谢尔霍恩 8 1998 集成自动化和交互式定理证明。 Zbl 0970.68151号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃尔夫冈·雷夫;格哈德·谢尔霍恩;彼得·施密特（Peter H.Schmitt）。 8 1998 并发数据结构线性化能力的完善证明技术。 Zbl 1354.68066号 格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 8 2014 使用符号执行对并发系统进行交互验证。 Zbl 1205.68217号 西蒙·巴姆勒;迈克尔·巴尔泽;弗洛里安·纳夫兹;沃尔夫冈·雷夫;格哈德·谢尔霍恩 8 2010 WAM案例研究：使用KIV验证Prolog的编译器正确性。 Zbl 0977.68017号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 7 1998 关系并发优化。二： 内部操作和输出。 Zbl 1165.68412号 埃尔克·博伊滕;约翰·德里克;格哈德·谢尔霍恩 7 2009 用时序逻辑证明线性化能力。 兹比尔1214.68209 西蒙·巴姆勒;格哈德·谢尔霍恩;博格丹·托凡;沃尔夫冈·雷夫 7 2011 关于抽象状态机的推理：WAM案例研究。 Zbl 0960.68090号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 6 1997 正式规范中的缺陷检测。 Zbl 0988.68107号 沃尔夫冈·雷夫;谢尔霍恩，G。;安德烈亚斯·图姆斯 5 2001 原子操作及其对独立协议的改进。 Zbl 1183.68362号 理查德·巴纳赫;格哈德·谢尔霍恩 5 2010 验证事务互斥锁的不透明度。 Zbl 1427.68190号 约翰·德里克;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 5 2015 验证持久并发数据结构的正确性：一种完善的方法。 Zbl 1519.68133号 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 4 2021 ASM求精保持不变量。 兹比尔1217.68064 谢尔霍恩，G。 4 2008 锁自由的时序逻辑验证。 Zbl 1286.68322号 博格丹·托凡;西蒙·巴姆勒;格哈德·谢尔霍恩;沃尔夫冈·雷夫 4 2010 ASM细化的完整性。 兹比尔1283.68213 格哈德·谢尔霍恩 4 2008 使用符号执行验证并发系统。 Zbl 1001.68085号 迈克尔·巴尔泽;克里斯托夫·杜埃利;沃尔夫冈·雷夫;格哈德·谢尔霍恩 3 2002 使用危险指针对无锁堆栈进行正式验证。 Zbl 1350.68081号 博格丹·托凡;格哈德·谢尔霍恩;沃尔夫冈·雷夫 3 2011 通过非原子求精证明线性化能力。 Zbl 1213.68370号 约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 3 2007 证明悲观STM的不透明度。 Zbl 1432.68070号 西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 3 2017 定义和验证持久不透明度：持久软件事务内存的正确性。 Zbl 1511.68072号 埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 3 2020 自由数据类型的有界关系分析。 Zbl 1138.68446号 安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 2 2008 公平ASM改进的完整性。 Zbl 1217.68065号 格哈德·谢尔霍恩 2 2011 正式故障树分析-实践经验。 Zbl 1335.68146号 弗兰克·奥特米耶;格哈德·谢尔霍恩 2 2007 不透明的机械化证明：两种技术的比较。 Zbl 1395.68186号 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 2 2018 KIV的战术。 Zbl 0838.68099号 沃尔夫冈·雷夫;格哈德·谢尔霍恩;库尔特·斯坦泽尔 1 1994 自动化非自由生成数据类型的代数规范。 Zbl 1183.68368号 安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 1 2008 代数规范中的自动缺陷检测。 兹比尔1207.68337 安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 1 2010 验证持久并发数据结构的正确性：一种完善的方法。 Zbl 1519.68133号 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 4 2021 定义和验证持久不透明度：持久软件事务内存的正确性。 Zbl 1511.68072号 埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 3 2020 不透明的机械化证明：两种技术的比较。 Zbl 1395.68186号 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 2 2018 证明悲观STM的不透明度。 Zbl 1432.68070号 西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 3 2017 验证事务互斥锁的不透明度。 Zbl 1427.68190号 约翰·德里克;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 5 2015 RGITL：一种时序逻辑框架，用于对交错程序进行组合推理。 Zbl 1329.68172号 格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫 9 2014 并发数据结构线性化能力的完善证明技术。 Zbl 1354.68066号 格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 8 2014 用时序逻辑证明线性化能力。 兹比尔1214.68209 西蒙·巴姆勒;格哈德·谢尔霍恩;博格丹·托凡;沃尔夫冈·雷夫 7 2011 使用危险指针对无锁堆栈进行正式验证。 兹比尔1350.68081 博格丹·托凡;格哈德·谢尔霍恩;沃尔夫冈·雷夫 3 2011 公平ASM改进的完整性。 Zbl 1217.68065号 格哈德·谢尔霍恩 2 2011 使用符号执行的并发系统的交互式验证。 Zbl 1205.68217号 西蒙·巴姆勒;迈克尔·巴尔泽;弗洛里安·纳夫兹;沃尔夫冈·雷夫;格哈德·谢尔霍恩 8 2010 原子操作及其对独立协议的改进。 Zbl 1183.68362号 理查德·巴纳赫;格哈德·谢尔霍恩 5 2010 锁自由的时序逻辑验证。 Zbl 1286.68322号 博格丹·托凡;西蒙·巴姆勒;格哈德·谢尔霍恩;沃尔夫冈·雷夫 4 2010 代数规范中的自动缺陷检测。 Zbl 1207.68337号 安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 1 2010 关系并发优化。二： 内部操作和输出。 Zbl 1165.68412号 埃尔克·博伊滕;约翰·德里克;格哈德·谢尔霍恩 7 2009 ASM求精保持不变量。 兹比尔1217.68064 谢尔霍恩，G。 4 2008 ASM细化的完整性。 Zbl 1283.68213号 格哈德·谢尔霍恩 4 2008 自由数据类型的有界关系分析。 Zbl 1138.68446号 安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 2 2008 自动化非自由生成数据类型的代数规范。 Zbl 1183.68368号 安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 1 2008 通过非原子求精证明线性化能力。 Zbl 1213.68370号 约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 3 2007 正式故障树分析-实践经验。 Zbl 1335.68146号 弗兰克·奥特米耶;格哈德·谢尔霍恩 2 2007 ASM精化和数据精化中正向模拟的推广：比较。 Zbl 1080.68058号 格哈德·谢尔霍恩 14 2005 使用符号执行验证并发系统。 Zbl 1001.68085号 迈克尔·巴尔泽;克里斯托夫·杜埃利;沃尔夫冈·雷夫;格哈德·谢尔霍恩 3 2002 正式规范中的缺陷检测。 Zbl 0988.68107号 沃尔夫冈·雷夫;谢尔霍恩，G。;安德烈亚斯·图姆斯 5 2001 结构化规范和与KIV的交互证明。 Zbl 0970.68149号 沃尔夫冈·雷夫;格哈德·谢尔霍恩;库尔特·斯坦泽尔;迈克尔·巴尔泽 20 1998 大理论中的定理证明。 Zbl 0972.68520号 沃尔夫冈·雷夫;格哈德·谢尔霍恩 8 1998 集成自动化和交互式定理证明。 Zbl 0970.68151号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃尔夫冈·雷夫;格哈德·谢尔霍恩;彼得·施密特（Peter H.Schmitt）。 8 1998 WAM案例研究：使用KIV验证Prolog的编译器正确性。 Zbl 0977.68017号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 7 1998 关于抽象状态机的推理：WAM案例研究。 Zbl 0960.68090号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 6 1997 KIV的战术。 兹比尔083868099 沃尔夫冈·雷夫;格哈德·谢尔霍恩;库尔特·斯坦泽尔 1 1994 所有引用出版物 前5名被引用出版物 全部的 前5名112位作者引用 20 格哈德·谢尔霍恩 15 约翰·德里克 9 布里杰什·多戈尔 9 海克·卫尔海姆 8 Eerke A.Boiten。 7 沃尔夫冈·雷夫 6 西蒙·多尔蒂 5 理查德·巴纳赫 4 Moszkowski，Ben C。 4 劳伦斯·查尔斯·保尔森 3 贾斯敏·克里斯蒂安·布兰切特 3 伊贡博格尔 3 安德烈·杜奈茨 3 弗拉维奥·安东尼奥·费拉罗蒂 3 格雷姆·史密斯 3 博格丹·托凡 3 奥列格·特拉夫金 2 伯恩哈德·贝克特 2 埃利尼·比拉 2 Böhme，萨沙 2 吉登·恩斯特 2 Dimitar P.Guelev。 2 奥斯曼·哈桑 2 维姆·赫瑟林克。 2 孟，贾 2 托比亚斯·尼普科 2 大卫·艾伦（David Alan），Plaisted 2 克劳斯·迪特·施韦 2 Tec，Loredana公司 2 王青 2 朱慧彪 1 萨尔瓦多阿布雷乌 1 克劳斯·埃利格 1 瓦卡尔·艾哈迈德 1 瓦卡尔·艾哈迈德 1 西德尼·阿曼尼 1 阿夫申·阿米吉 1 保罗·阿卡尼 1 西蒙·巴姆勒 1 拉尔斯·比克达尔 1 马丁·比特利希 1 斯特凡·布隆 1 Stefan Bodenmüller 1 布兰登·伯勒 1 玛丽亚·保拉（Maria Paola Bonacina） 1 坎通纳，多梅尼科 1 陈子林 1 乔瓦尼·西亚托 1 安东尼奥·西斯特尼诺 1 罗伯特·J·科尔文。 1 维托尔·桑托斯·科斯塔 1 卡尔·克里 1 西蒙·克鲁恩斯 1 达尔，维罗妮卡 1 萨迪·达尔瓦迪 1 赛义德·达拉比 1 丹尼尔·迪亚兹 1 多米尼克·迪特里希 1 多兹，迈克 1 丹·弗鲁明 1 文森佐·格瓦西 1 塞恩·冈萨雷斯 1 阿列克谢·戈茨曼 1 弗洛里安·哈夫特曼 1 雷纳·哈内尔 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 罗克萨娜·玛丽亚·霍洛姆 1 黄润磊 1 玛丽克·赫斯曼 1 马克·伊杰贝马 1 文森特·杰克逊 1 捷斯劳·杰斯克 1 加布里埃尔·科妮莉亚·凯勒 1 Khoroshilov，A.V.公司。 1 阿特姆·科扎 1 弗拉基米尔·克莱巴诺夫 1 格温·克莱恩 1 多米尼克·克伦普 1 菲利普·科纳 1 克雷伯斯，罗伯特 1 杰·勒·佩宾 1 菲利普·伦岑 1 马丁·勒克 1 Michael Leuschel先生 1 何塞·弗朗西斯科·莫拉莱斯 1 沃伊西奇·莫斯托夫斯基。 1 米德勒，尼尔斯 1 托比·默里 1 玛丽安娜·尼科洛西·阿斯蒙多 1 利亚姆·奥康纳 1 彼得·厄尔 1 弗兰克·奥特米耶 1 马修·帕金森。 1 约格·佩勒 1 阿尔弗雷多·皮隆蒂 1 克莱尔·奎格利 1 安德鲁·雷诺兹 1 利可宾，埃尔维尼亚 1 克里斯汀·里兹卡拉 1 埃诺·鲁伊特斯 …还有12位作者 全部的 前5名17篇连载文章中引用 16 计算的形式方面 5 自动推理杂志 4 计算机程序设计科学 4 数学与人工智能年鉴 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 人工智能 1 信息处理信件 1 计算机与系统科学杂志 1 编程和计算机软件 1 理论计算机科学 1 信息与计算 1 骨髓间充质干细胞。计算机科学中的数学结构 1 函数编程杂志 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 计算机科学评论 全部的 前5名在9个字段中引用 75 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 有序，格，有序代数结构（06-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文