编辑配置文件（在新选项卡中打开） 伯恩德·菲舍尔 合著者距离 作者ID： 费舍尔·伯恩德.1 发布方式： 伯恩德·菲舍尔 主页： http://www.cs.sun.ac.za/~b缺血/ 已编制索引的文档： 13出版物自1997年起 4作为编辑的贡献 合著者： 13合著者具有15联合出版物 180位合作作者 全部的 前5名合著者 0 单作者的 7 Schumann，Johann M.博士。 2 丹尼·埃文 2 内维尔·格雷奇 2 朱利安·拉特克 2 斯蒂芬·舒尔茨 2 萨特克利夫，杰夫 2 迈克尔·沃伦。 1 托马斯·巴尔 1 操，德克 1 杰科·盖尔登胡伊斯 1 托马斯·普雷斯伯格 1 格里高·罗什乌 1 格雷戈·斯内尔廷 1 塔尔莫乌斯塔卢 1 埃尔科·维瑟 系列 2 自动推理杂志 2 计算机科学课堂讲稿 1 函数编程杂志 1 通用计算机科学杂志 1 程序设计中的逻辑和代数方法杂志 领域 17 计算机科学（68至XX） 4 一般性和全局性主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用14中的次14文件 引用人▼ 年份▼ 使用自动定理证明器验证自动生成的航空航天软件。 Zbl 1126.68563号 丹尼·埃文;伯恩德·菲舍尔;约翰·舒曼 5 2004 AutoBayes：一种从统计模型中生成数据分析程序的系统。 Zbl 1037.68044号 伯恩德·菲舍尔;约翰·舒曼 三 2003 综合认证代码。 Zbl 1064.68541号 迈克尔·威伦;约翰·舒曼;伯恩德·菲舍尔 2 2002 解释成员关系等式逻辑中的抽象解释。 Zbl 1268.68066号 伯恩德·菲舍尔;格里高·罗什乌 2 2001 根据统计模型生成数据分析程序（立场文件）。 Zbl 1044.68527号 伯恩德·菲舍尔;约翰·舒曼;汤姆·普雷斯伯格 1 2000 计算的理论方面——ICTAC 2018。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。 Zbl 1398.68027号 1 2018 动态类型语言中的抢占式类型检查。 Zbl 1405.68030号 内维尔·格雷奇;朱利安·拉特克;伯恩德·菲舍尔 1 2013 计算的理论方面——ICTAC 2018。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。 Zbl 1398.68027号 1 2018 动态类型语言中的抢占式类型检查。 Zbl 1405.68030号 内维尔·格雷奇;朱利安·拉特克;伯恩德·菲舍尔 1 2013 使用自动定理证明器验证自动生成的航空航天软件。 Zbl 1126.68563号 丹尼·埃文;伯恩德·菲舍尔;约翰·舒曼 5 2004 AutoBayes：一种从统计模型中生成数据分析程序的系统。 Zbl 1037.68044号 伯恩德·菲舍尔;约翰·舒曼 三 2003 综合认证代码。 Zbl 1064.68541号 迈克尔·威伦;约翰·舒曼;伯恩德·菲舍尔 2 2002 解释成员关系等式逻辑中的抽象解释。 Zbl 1268.68066号 伯恩德·菲舍尔;格里高·罗什乌 2 2001 根据统计模型生成数据分析程序（立场文件）。 Zbl 1044.68527号 伯恩德·菲舍尔;约翰·舒曼;汤姆·普雷斯伯格 1 2000 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 三 伯恩德·菲舍尔 三 萨特克利夫，杰夫 2 何塞·梅塞盖尔·瓜伊塔 2 瓦莱里·A·内波米纳西。 1 珍妮特·巴恩斯 1 克拉克·W·巴雷特。 1 尼古拉·S·比约纳。 1 大卫·H·布什内尔。 1 罗德里克·查普曼 1 曼纽尔·克莱维尔 1 安德鲁·库克。 1 莱昂纳多·德·莫拉 1 丹尼·埃文 1 比尔·J·埃利斯。 1 Heinz Erzberger公司 1 葛叶婷 1 詹纳科普洛，迪米特拉 1 内维尔·格雷奇 1 凯伦·希雷 1 爱尔兰，安德鲁 1 马丁·奥列特，纳西索 1 米盖尔·帕洛米诺 1 帕维尔·普德拉克 1 朱利安·拉特克 1 格里高·罗什乌 1 Schumann，Johann M.博士。 1 塞萨尔·蒂内利 1 约瑟夫·乌尔班 1 维斯科基尔 5篇连载文章中引用 三 自动推理杂志 2 理论计算机科学 2 数学与人工智能年鉴 1 控制论与系统分析 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 14 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文