编辑配置文件（在新选项卡中打开） 多米尼克·斯托菲尔 合著者距离 作者ID: 斯托菲尔·多明尼克 发布日期： 多米尼克·斯托菲尔 编入索引的文档： 4出版物自1997年以来，包括1本书 合著者： 6位合著者具有4联合出版物 100位合作作者 全部的 前5名合著者 0 单作者的 4 沃尔夫冈·昆兹 2 马库斯·韦德勒 2 奥利弗·维南德 1 格特·马丁·格雷尔 1 埃夫根尼·卡里巴耶夫 1 Evgeny Pavlenko 系列 1 it+ti.信息技术和技术信息 领域 4 计算机科学（68至XX） 2 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物被引用9中的次8文件 引用人▼ 年份▼ 布尔网络中的推理。使用测试技术进行逻辑综合和验证。 Zbl 0884.68007号 沃尔夫冈·昆兹;多米尼克·斯托菲尔 4 1997 证明算术数据路径中数据正确性的代数方法。 Zbl 1155.68448号 奥利弗·维南德;马库斯·韦德勒;多米尼克·斯托菲尔;沃尔夫冈·昆兹;格特·马丁·格雷尔 三 2008 为ABL规范化定制设计的算术组件建模。 Zbl 1160.68666号 Evgeny Pavlenko;马库斯·韦德勒;多米尼克·斯托菲尔;沃尔夫冈·昆兹;奥利弗·维南德;埃夫根尼·卡里巴耶夫 2 2008 证明算术数据路径中数据正确性的代数方法。 Zbl 1155.68448号 奥利弗·维南德;马库斯·韦德勒;多米尼克·斯托菲尔;沃尔夫冈·昆兹;格特·马丁·格雷尔 三 2008 为ABL规范化定制设计的算术组件建模。 Zbl 1160.68666号 Evgeny Pavlenko;马库斯·韦德勒;多米尼克·斯托菲尔;沃尔夫冈·昆兹;奥利弗·维南德;埃夫根尼·卡里巴耶夫 2 2008 布尔网络中的推理。使用测试技术进行逻辑综合和验证。 Zbl 0884.68007号 沃尔夫冈·昆兹;多米尼克·斯托菲尔 4 1997 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 2 阿明·比尔 2 丹尼尔·考夫曼 1 蔡少伟 1 瓦希德·查拉巴赫 1 罗尔夫·德雷克斯勒 1 格特·马丁·格雷尔 1 丹尼尔·格罗 1 洪一光 1 曼纽尔·考尔斯 1 李伯翰 1 Alireza马祖翁 1 艾娜·尼梅茨 1 马蒂亚斯·普雷纳 1 弗兰克·塞利什 1 奥利弗·维南德 1 里奇·沃尔斯基 1 徐祥如 1 张新迪 4篇连载文章中引用 2 系统设计中的形式化方法 1 符号计算杂志 1 系统科学与复杂性杂志 1 ACM计算逻辑事务 在5个字段中引用 6 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 交换代数（13-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文