编辑配置文件（在新选项卡中打开） 斯蒂恩·德古乌 合著者距离 作者ID： 德古瓦·斯蒂恩 发布日期： 斯蒂恩·德古乌;斯蒂恩·德古乌 已编制索引的文档： 11出版物自2012年起 合著者： 18位合著者具有11联合出版物 360位合作作者 全部的 前5名合著者 0 单作者的 8 德波尔（Frank S。 3 朱里安·罗特 2 卞金亭 2 理查德·布贝尔 2 Hiep，Hans Dieter A。 1 沃尔夫冈·阿伦特 1 Krzysztof Rafal公寓 1 马丁·德·波尔（Martin J.M.de Boer）。 1 埃琳娜·贾奇诺 1 雷纳·哈内尔 1 Christian Antonius荣格 1 乔纳斯·克拉姆罗斯 1 科西莫·拉内夫 1 贝鲁奥斯·诺巴赫特 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 多米尼克·施泰因霍费尔 1 马蒂亚斯·乌尔布里奇 1 亚历山大·维格尔 系列 2 自动推理杂志 1 计算机与系统科学杂志 1 系统设计中的形式化方法 领域 11 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用17中的次11文件 引用人▼ 年份▼ 校样珍珠：KeY要正确、稳定地分类。 Zbl 1314.68277号 斯蒂恩·德古乌;弗兰克·德波尔;朱里安·罗特 5 2014 验证OpenJDK的泛型集合排序方法。 Zbl 1468.68125号 斯蒂恩·德古乌;德波尔（Frank S。;理查德·布贝尔;雷纳·哈内尔;朱里安·罗特;多米尼克·施泰因霍费尔 4 2019 面向对象程序的验证：转换方法。 Zbl 1245.68062号 阿普特，克日什托夫R。;De Boer，Frank S。;奥尔德罗格（Ernst-Rüdiger Olderog）;斯蒂恩·德古乌 3 2012 在KeY中集成ADT及其在基于历史的推理中的应用。 Zbl 1521.68076号 卞金亭;Hiep，Hans-Dieter A。;德波尔（Frank S。;斯蒂恩·德古乌 3 2021 JDK身份散列映射实现的正式规范和验证。 Zbl 1502.68054号 马丁·德·波尔;斯蒂恩·德古乌;乔纳斯·克拉姆罗斯;基督教荣格;马蒂亚斯·乌尔布里奇;亚历山大·维格尔 2 2022 JDK身份散列映射实现的正式规范和验证。 Zbl 1502.68054号 马丁·德·波尔;斯蒂恩·德古乌;乔纳斯·克拉姆罗斯;基督教荣格;马蒂亚斯·乌尔布里奇;亚历山大·维格尔 2 2022 在KeY中集成ADT及其在基于历史的推理中的应用。 Zbl 1521.68076号 卞金亭;Hiep，Hans-Dieter A。;德波尔（Frank S。;斯蒂恩·德古乌 3 2021 验证OpenJDK的泛型集合排序方法。 Zbl 1468.68125号 斯蒂恩·德古乌;德波尔（Frank S。;理查德·布贝尔;雷纳·哈内尔;朱里安·罗特;多米尼克·施泰因霍费尔 4 2019 校样珍珠：KeY要正确、稳定地分类。 Zbl 1314.68277号 斯蒂恩·德古乌;弗兰克·德波尔;朱里安·罗特 5 2014 面向对象程序的验证：转换方法。 Zbl 1245.68062号 阿普特，克日什托夫R。;De Boer，Frank S。;奥尔德罗格（Ernst-Rüdiger Olderog）;斯蒂恩·德古乌 3 2012 所有引用出版物 前5名被引用出版物 全部的 前5名26位作者引用 4 德波尔（Frank S。 4 斯蒂恩·德古乌 2 卞金亭 2 Hiep，Hans Dieter A。 2 朱里安·罗特 1 Krzysztof Rafal公寓 1 尼古拉·奥格 1 伯恩哈德·贝克特 1 理查德·布贝尔 1 罗伯特·J·科尔文。 1 阿兰·芬克尔 1 谢尔盖·哈达德 1 雷纳·哈内尔 1 Jugé，文森特 1 伊戈尔·赫梅尔尼茨基 1 Leino，K.Rustan M。 1 帕基·卢西奥 1 J.Ian Munro 1 西里尔·尼科德 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 卡琳·皮沃托 1 多米尼克·施泰因霍费尔 1 马蒂亚斯·乌尔布里奇 1 沃格尔·赫瑟（Vogel-Heuser），比吉特（Birgit） 1 亚历山大·维格尔 1 Wild，塞巴斯蒂安 引用于4个系列 2 自动推理杂志 2 计算的形式方面 1 系统设计中的形式化方法 1 ACM计算逻辑事务 在2个字段中引用 11 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文