编辑配置文件（在新选项卡中打开） 沃尔夫冈·阿伦特 合著者距离 作者ID： 阿伦德特·沃尔夫冈 发布日期： 沃尔夫冈·阿伦特 外部链接： MGP公司·ORCID公司 已编制索引的文档： 18出版物自1997年以来，包括1个附加arXiv预打印 4作为编辑的贡献 合著者： 48位合著者具有21联合出版物 870名合作作者 全部的 前5名合著者 1 单作者的 5 伯恩哈德·贝克特 4 雷纳·哈内尔 4 彼得·施密特（Peter H.Schmitt）。 3 马丁·吉斯（Martin A.Giese）。 3 沃尔夫拉姆·门泽尔 3 格哈德·谢尔霍恩 2 托马斯·巴尔 2 马丁·费比安 2 埃尔玛·哈贝马斯 2 乔纳斯·克鲁克 2 戈登·佩斯。 2 杰拉尔多·施奈德 2 尤瓦拉吉·塞尔瓦拉吉 2 塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 2 海克·卫尔海姆 1 罗莎·阿巴斯 1 埃齐奥·巴托西 1 彼得·鲍姆加特纳 1 多梅尼科·比安库利 1 理查德·布贝尔 1 Jesús Mauricio奇门托 1 克里斯蒂安·科伦坡 1 伊娃·达鲁洛娃 1 德波尔，弗兰克·S。 1 斯蒂恩·德古乌 1 汉斯·德·尼维尔 1 马克西米利安·迪拉 1 伊利耶斯·法尔科内 1 阿德里安·弗兰卡兰扎 1 科瓦奇，劳拉·伊尔迪科 1 Sr Djan Krstić 1 Lourenço，Joáo M。 1 沃伊西奇·莫斯托夫斯基。 1 德扬·尼科维奇 1 西尔维奥·兰伊斯 1 沃尔夫冈·雷夫 1 西蒙·罗比拉德 1 安德烈亚斯·巴切尔·罗思 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 拉尔夫·萨西 1 乔纳斯·希夫尔 1 辛戈尔斯，朱利安 1 格诺·斯坦兹 1 塞萨尔·蒂内利 1 德米特里·特拉泰尔 1 马蒂亚斯·乌尔布里奇 1 亚历山大·韦斯 全部的 前5名系列 2 系统设计中的形式化方法 2 通用计算机科学杂志 2 计算机科学课堂讲稿 1 计算机程序设计科学 1 计算的形式方面 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 领域 20 计算机科学（68至XX） 4 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用81中的次69文件 引用人▼ 年份▼ KeY方法：集成面向对象设计和形式验证。 Zbl 0998.68651号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛哈贝里茨;雷纳·哈内尔;沃尔夫拉姆·门泽尔;彼得·施密特（Peter H.Schmitt）。 11 2000 KeY：面向对象系统的形式化方法。 Zbl 1202.68092号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;彼得·施密特（Peter H.Schmitt）。 11 2007 高级应用程序域（软件以外）的运行时验证挑战调查。 兹比尔1425.68268 塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯 9 2019 集成自动化和交互式定理证明。 Zbl 0970.68151号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃尔夫冈·雷夫;格哈德·谢尔霍恩;彼得·施密特（Peter H.Schmitt）。 8 1998 异步对象的组合验证系统。 兹比尔1264.68050 沃尔夫冈·阿伦特;马克西米利安·迪拉 8 2012 WAM案例研究：使用KIV验证Prolog的编译器正确性。 Zbl 0977.68017号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 7 1998 针对重写语义自动验证Java验证的转换规则。 Zbl 1143.68348号 沃尔夫冈·阿伦特;安德烈亚斯·罗斯;拉尔夫·萨西 7 2005 关于抽象状态机的推理：WAM案例研究。 Zbl 0960.68090号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 6 1997 自动定理证明中的希尔伯特项。 Zbl 0931.03016号 马丁·吉斯;沃尔夫冈·阿伦特 6 1999 结合静态和运行时验证验证面向数据和控制的属性：理论和工具。 Zbl 1370.68195号 沃尔夫冈·阿伦特;Jesús Mauricio奇门托;戈登·佩斯。;杰拉尔多·施奈德 4 2017 使用模型生成对自由数据类型规范中的错误进行演绎搜索。 Zbl 1072.68558号 沃尔夫冈·阿伦特 2 2002 KEY系统：集成面向对象设计和形式化方法。 Zbl 1059.68548号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃伊切赫·莫斯托夫斯基;彼得·施密特（Peter H.Schmitt）。 1 2002 2004年在爱尔兰科克举行的关于反驳的研讨会和第二次关于决策程序语用学的国际研讨会（2004年PDPAR）的论文选集。 Zbl 1271.68015号 1 2005 高级应用程序域（软件以外）的运行时验证挑战调查。 Zbl 1425.68268号 塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯 9 2019 结合静态和运行时验证验证面向数据和控制的属性：理论和工具。 Zbl 1370.68195号 沃尔夫冈·阿伦特;Jesús Mauricio奇门托;戈登·佩斯。;杰拉尔多·施奈德 4 2017 异步对象的组合验证系统。 Zbl 1264.68050号 沃尔夫冈·阿伦特;马克西米利安·迪拉 8 2012 KeY：面向对象系统的形式化方法。 Zbl 1202.68092号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;彼得·施密特（Peter H.Schmitt）。 11 2007 针对重写语义自动验证Java验证的转换规则。 Zbl 1143.68348号 沃尔夫冈·阿伦特;安德烈亚斯·罗斯;拉尔夫·萨西 7 2005 2004年，在爱尔兰科克举行的第二次国际决策程序语用学研讨会（PDPAR 2004）上的论文选集。 Zbl 1271.68015号 1 2005 使用模型生成对自由数据类型规范中的错误进行演绎搜索。 Zbl 1072.68558号 沃尔夫冈·阿伦特 2 2002 KEY系统：集成面向对象设计和形式化方法。 Zbl 1059.68548号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛哈贝里茨;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃伊切赫·莫斯托夫斯基;彼得·施密特（Peter H.Schmitt）。 1 2002 KeY方法：集成面向对象设计和形式验证。 Zbl 0998.68651号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;彼得·施密特（Peter H.Schmitt）。 11 2000 自动定理证明中的希尔伯特项。 Zbl 0931.03016号 马丁·吉斯;沃尔夫冈·阿伦特 6 1999 集成自动化和交互式定理证明。 Zbl 0970.68151号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃尔夫冈·雷夫;格哈德·谢尔霍恩;彼得·施密特（Peter H.Schmitt）。 8 1998 WAM案例研究：使用KIV验证Prolog的编译器正确性。 Zbl 0977.68017号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 7 1998 关于抽象状态机的推理：WAM案例研究。 Zbl 0960.68090号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 6 1997 所有引用出版物 前5名被引用出版物 全部的 前5名126位作者引用 7 埃纳尔·布罗赫·约翰森 7 奥维，奥拉夫 7 格哈德·谢尔霍恩 5 约翰·多夫兰 5 何塞·梅塞盖尔·瓜伊塔 5 劳伦斯·查尔斯·保尔森 4 沃尔夫冈·雷夫 4 格里高·罗什乌 3 伊贡博格尔 3 丁，Crystal Chang 3 安德烈·杜奈茨 3 杰拉尔多·施奈德 2 贾斯敏·克里斯蒂安·布兰切特 2 Böhme，萨沙 2 德波尔，弗兰克·S。 2 斯蒂恩·德古乌 2 弗拉基米尔·克莱巴诺夫 2 孟，贾 2 戈登·佩斯。 2 菲利普·吕默 2 鲁道夫·施拉特 2 马丁·斯特芬 2 塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 2 克劳斯·皮特·沃思 1 艾丽卡·阿尔布拉汉姆 1 萨尔瓦多阿布雷乌 1 沃尔夫冈·阿伦特 1 阿米尔·穆罕默德（Amir-Mhammadian，Sepehr） 1 大卫·安科纳 1 安德鲁·W·阿佩尔。 1 Krzysztof Rafal公寓 1 卡洛斯·阿雷塞斯 1 尼科斯·阿雷奇加 1 尼古拉·奥格 1 埃齐奥·巴托西 1 伯恩哈德·贝克特 1 亚历克西斯·贝达德 1 米歇尔·比多瓦 1 马丁·比特利希 1 Stefan Bodenmüller 1 布兰登·伯勒 1 博尔祖·博纳克达尔普尔 1 米歇尔·博雷尔 1 理查德·布贝尔 1 坎通纳，多梅尼科 1 阿曼多·卡斯塔涅达 1 Jesús Mauricio奇门托 1 乔瓦尼·西亚托 1 克莱尔·西尼 1 安东尼奥·西斯特尼诺 1 路易斯·科洛迪 1 克里斯蒂安·科伦坡 1 维托尔·桑托斯·科斯塔 1 卡尔·克里 1 达科斯塔，翁贝托·苏扎 1 达尔，维罗妮卡 1 费卢西奥·达米亚尼 1 Jyotirmoy V.德斯穆赫。 1 丹尼尔·迪亚兹 1 罗伯特·多金斯 1 伊利耶斯·法尔科内 1 迈克尔·Färber 1 安吉洛·费兰多 1 阿德里安·弗兰卡兰扎 1 文森佐·格瓦西 1 法特梅·加塞米 1 丹尼尔·戈林 1 雷纳·哈内尔 1 西尔万·霍尔 1 罗尔夫·亨尼克 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 阿奎那·霍伯 1 马克西姆·雅克明 1 朱利安·贾卡德 1 Jugé，文森特 1 塞巴斯蒂安·荣格斯 1 沃尔夫拉姆·卡尔 1 塞萨里·卡利西克 1 詹姆斯·卡宾斯基 1 拉丁·科斯拉维 1 菲利普·科纳 1 尼古拉·科马托夫 1 布鲁斯·H·克罗。 1 伊勒姆·W·库尼亚。 1 彼得·兰米奇 1 Michael Leuschel先生 1 多雷尔·卢卡努 1 Mai Thoung Tran，Thi公司 1 马丁斯·莫雷拉，阿纳玛利亚 1 维维亚娜·马斯卡迪 1 穆罕默德·穆罕默德·莫哈盖吉 1 何塞·弗朗西斯科·莫拉莱斯 1 Musicante，Martin A。 1 尼泊尔、苏里亚 1 西里尔·尼科德 1 玛丽安娜·尼科洛西·阿斯蒙多 1 托比亚斯·尼普科 1 阿里·A·诺鲁齐。 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 潘靖 …还有26位作者 全部的 前5名14篇连载文章中引用 7 计算的形式方面 6 自动推理杂志 5 程序设计中的逻辑和代数方法杂志 4 理论计算机科学 4 信息与计算 3 计算机与系统科学杂志 3 系统设计中的形式化方法 3 逻辑与代数程序设计杂志 2 应用逻辑杂志 1 信息学报 1 计算机程序设计科学 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 逻辑程序设计理论与实践 在5个字段中引用 66 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 按年份列出的引文