编辑配置文件（在新选项卡中打开） 阿希姆·D·布鲁克。 合著者距离 作者ID： brucker.achim-d公司 发布日期： 阿希姆·D·布鲁克。 外部链接： MGP公司 已编制索引的文档： 12出版物自2002年起 1名编辑贡献 合著者： 7合著者具有13联合出版物 82位合作作者 全部的 前5名合著者 0 单作者的 10 沃尔夫，伯克哈特 1 艾特·萨杜恩 1 保罗·克里斯福利 1 安德烈亚斯·赫斯。 1 雅克·朱利安德 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 艾米·斯特尔 系列 1 信息学报 1 自动推理杂志 1 计算的形式方面 1 计算机科学课堂讲稿 领域 13 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用13中的次10文件 引用人▼ 年份▼ 关于基于定理证明的测试。 Zbl 1298.68251号 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 三 2013 HOL中面向对象数据模型的可扩展编码。使用IMP++应用程序。 兹比尔1191.68619 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 三 2008 使用Hol-TestGen和应用程序到防火墙测试生成测试序列。 Zbl 1196.68043号 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 三 2007 基本递归函数的符号测试用例生成。 Zbl 1081.68672号 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 2 2005 使用Isabelle本体论框架——将正式与非正式联系起来。 Zbl 1417.68178号 阿希姆·D·布鲁克。；艾特·萨杜恩；保罗·克里斯福利；沃尔夫，伯克哈特 1 2018 有状态协议组成。 Zbl 1496.68065号 安德烈亚斯·赫斯。；塞巴斯蒂安·莫德谢姆。；阿希姆·D·布鲁克。 1 2018 使用Isabelle本体论框架——将正式与非正式联系起来。 Zbl 1417.68178号 阿希姆·D·布鲁克。；艾特·萨杜恩；保罗·克里斯福利；沃尔夫，伯克哈特 1 2018 有状态协议组成。 Zbl 1496.68065号 安德烈亚斯·赫斯。；塞巴斯蒂安·莫德谢姆。；阿希姆·D·布鲁克。 1 2018 关于基于定理证明的测试。 Zbl 1298.68251号 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 三 2013 HOL中面向对象数据模型的可扩展编码。使用IMP++应用程序。 Zbl 1191.68619号 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 三 2008 使用Hol-TestGen和应用程序到防火墙测试生成测试序列。 Zbl 1196.68043号 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 三 2007 基本递归函数的符号测试用例生成。 兹比尔1081.68672 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 2 2005 所有引用的出版物 前5名被引用出版物 全部的 前5名28位作者引用 4 阿希姆·D·布鲁克。 4 沃尔夫，伯克哈特 1 马克·艾吉尔 1 阿格内斯·阿诺德 1 Böhme，萨沙 1 博因，克莱门特 1 卡利埃、马蒂厄 1 安娜·卡瓦尔坎蒂 1 Dénès，马克西姆 1 凯瑟琳·杜布瓦 1 西蒙·福斯特 1 马里奥·格雷舍尔 1 安德烈亚斯·赫斯。 1 Hriţcu，科特林 1 蒂姆·凯利 1 Steve F.金。 1 莱昂尼达斯·兰普罗普洛斯 1 帕斯卡尔·勒加尔 1 布鲁诺·玛丽 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 米查·莫斯卡尔 1 雅库布·内穆奇 1 科林·奥哈洛兰 1 佐伊州Paraskevopoulou 1 本杰明·皮尔斯。 1 沃尔夫拉姆·舒尔特 1 魏冉 1 詹姆斯·C·P·伍德科克。 3篇连载文章中引用 三 计算的形式方面 1 信息学报 1 自动推理杂志 在2个字段中引用 10 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文