编辑配置文件(在新选项卡中打开) 贝恩德·贝克尔 合著者距离 作者ID: 贝克·伯恩 发布日期: 贝恩德·贝克尔;B.贝克尔。;Bernd W.贝克尔。 更多。。。较少的 主页: http://ira.informationk.uni-freiburg.de/~贝克尔/ 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 73出版物自1982年以来,包括3本书 1进一步贡献 合著者: 85位合著者具有69份联合出版物 1516名合作作者 全部的 前5名合著者 5 单作者的 17 拉尔夫·维默(Ralf D.Wimmer)。 11 罗尔夫·德雷克斯勒 10 艾丽卡·阿尔布拉汉姆 7 保罗·莫利托 7 克里斯托夫·斯科尔 7 托拜厄斯·舒伯特 6 马修·刘易斯。 5 尼尔斯·詹森 5 Joost-Pieter卡托恩 4 布雷丁,贝蒂娜 4 马克·赫伯斯特里特 4 霍尔格·赫尔曼斯 4 雷纳·科拉 4 斯特凡·库普弗施米德 三 费雷尔·菲奥里蒂,路易斯·玛丽亚 三 沃尔夫冈·Günther 三 约阿希姆·哈特曼 三 哈桑·哈特菲 三 霍茨,君特 三 马蒂亚斯·索尔 三 乌韦·斯巴曼 三 拉尔夫·沃奇纳 2 Abbott,John A。 2 安娜·玛丽亚·比加蒂 2 布莱恩,马丁 2 布赫伯格,布鲁诺 2 伯查德,简 2 亚历山德罗·西马蒂 2 詹姆斯·哈罗德,达文波特 2 英格兰,马修 2 托马斯·埃什巴赫 2 帕斯卡·方丹 2 史蒂芬·福雷斯特 2 阿尔贝托·格里乔 2 马丁·凯姆 2 丹尼尔·科宁 2 马林,保罗 2 米勒,克里斯蒂安·R。 2 汉斯·乔治·奥斯托夫 2 托比亚斯·帕西安 2 伊利亚州波利安 2 斯文·雷默 2 Werner M.塞勒。 2 马丁·斯特芬 2 托马斯·斯特姆 2 卡里娜·威默 1 恩斯特·奥尔特豪斯 1 本杰明·安德烈斯 1 鲁本·贝克尔 1 马库斯·贝勒 1 弗洛里安·科齐利厄斯 1 亚历山大·库特罗 1 克里斯蒂安·德内特 1 丹尼尔·杜米特里乌 1 吕迪格·埃勒斯 1 弗里德里希·艾森布兰德 1 彼得·恩格尔克 1 马丁·范策尔 1 马丁·格布瑟 1 卡里娜·吉蒂娜 1 丹尼尔·格罗 1 拉尔夫·哈恩 1 蒂洛·哈里奇 1 克里斯蒂安·赫尔德 1 简·霍拉克 1 塞巴斯蒂安·荣格斯 1 安德烈亚斯·卡伦鲍尔 1 Jens Katelaan公司 1 费利克斯·克莱特克 1 亚历山大·科图斯 1 马丁·克鲁泽 1 乌尔里奇·洛普 1 珍妮特·莫恩克 1 珍妮弗·尼斯特 1 帕斯卡·雷奥拉 1 Sudhakar M.雷迪。 1 Schaub,Torsten H。 1 卡斯滕·谢布勒 1 弗兰克·施密德 1 罗比·施恩费尔德 1 汉斯·尤里奇·西蒙 1 凯利·斯特兰普 1 迈克尔·西奥博尔德 1 乌富克托普库 1 托马斯·维斯 1 莱昂诺尔·温特勒 全部的 前5名系列 三 信息与计算 三 系统设计中的形式化方法 2 理论计算机科学 2 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 2 集成。超大规模集成电路期刊 2 可满足性、布尔建模与计算杂志 1 信息学报 1 IEEE自动控制汇刊 1 电气电子工程师学会计算机期刊 1 SIAM计算机杂志 1 国际并行程序设计杂志 1 信息处理与控制论杂志 1 计算的形式方面 1 人工智能通信 1 逻辑与计算杂志 1 多值逻辑 1 图形算法与应用杂志 1 计算机代数中的ACM通信 全部的 前5名领域 65 计算机科学(68至XX) 20 信息与通信理论、电路(94-XX) 5 组合数学(05-XX) 三 数学逻辑和基础(03-XX) 三 概率论与随机过程(60-XX) 三 运筹学、数学规划(90-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 流形和细胞复合体(57至XX) 1 数值分析(65-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 54出版物被引用200中的次158文件 引用人▼ 年份▼ n立方体的健壮性如何? Zbl 0647.68007号 贝恩德·贝克尔;汉斯·尤里奇·西蒙 15 1988 分支和切割框架中的BDD。 Zbl 1121.90422号 贝恩德·贝克尔;马库斯·贝勒;弗里德里希·艾森布兰德;拉尔夫·威默 14 2005 联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 14 2016 关于固定边界平面图的最优布局。 兹比尔06250020 B.贝克尔。;霍茨,G。 10 1987 PaMirXT:线程和消息传递的并行SAT求解。 Zbl 1190.68057号 托拜厄斯·舒伯特;马修·刘易斯;贝恩德·贝克尔 9 2009 SIGREF–符号互模拟工具箱。 Zbl 1161.68631号 拉尔夫·威默;马克·赫伯斯特里特;霍尔格·赫尔曼斯;凯利·斯特兰普;贝恩德·贝克尔 9 2006 区间约束传播与柱面代数分解的共生。 Zbl 1381.68274号 乌尔里奇·洛普;卡斯滕·谢布勒;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔 8 2013 使用有界模型检查生成离散时间马尔可夫链的反例。 Zbl 1206.68195号 拉尔夫·威默;布雷丁,贝蒂娜;贝恩德·贝克尔 7 2009 DQBF的预处理。 兹比尔1471.68264 拉尔夫·威默;卡里娜·吉蒂娜;珍妮弗·尼斯特;克里斯托夫·斯科尔;贝恩德·贝克尔 7 2015 离散时间Markov模型的最小临界子系统。 Zbl 1352.68167号 拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;Joost-Pieter卡托恩 6 2012 用于求解加权MaxSAT的动态多项式看门狗编码。 Zbl 1511.68256号 托比亚斯·帕西安;斯文·雷默;贝恩德·贝克尔 6 2018 线性混合系统的优化有界模型检验。 Zbl 1111.68493号 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;费利克斯·克莱特克;马丁·斯特芬 5 2005 离散时间马尔可夫模型的反例生成:介绍性调查。 Zbl 1445.68130号 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;尼尔斯·詹森;Joost-Pieter卡托恩;拉尔夫·威默 5 2014 非线性约束条件下的克雷格插值。 Zbl 1348.68141号 斯特凡·库普弗施米德;贝恩德·贝克尔 5 2011 正交超图绘制可提高可见性。 Zbl 1161.68665号 托马斯·埃什巴赫;沃尔夫冈·根瑟;贝恩德·贝克尔 5 2006 线性时间概率验证的最小反例。 Zbl 1360.68604号 拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2014 利用可满足性分析的线程并行集成测试模式生成器。 Zbl 1197.68026号 亚历山大·库特罗;伊利亚州波利安;刘易斯,马修;彼得·恩格尔克;Sudhakar M.雷迪。;贝恩德·贝克尔 4 2010 关于BDD和FDD之间的关系。 Zbl 0839.68022号 贝恩德·贝克尔;罗尔夫·德雷克斯勒;拉尔夫·沃奇纳 4 1995 离散时间马尔可夫链的层次反例。 Zbl 1348.68139号 尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Jens Katelaan公司;拉尔夫·威默;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2011 通过依赖消除从DQBF到QBF。 Zbl 1496.68372号 拉尔夫·威默;安德烈亚斯·卡伦鲍尔;鲁本·贝克尔;克里斯托夫·斯科尔;贝恩德·贝克尔 4 2017 (D)QBF预处理器HQPre——基本理论及其实现。 Zbl 1484.68225号 拉尔夫·威默;克里斯托夫·斯科尔;贝恩德·贝克尔 4 2019 碾压混凝土加法器的统一测试方法。 Zbl 0716.94021号 贝恩德·贝克尔;乌韦·斯巴曼 三 1991 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆;托拜厄斯·舒伯特;贝恩德·贝克尔;马丁·范策尔;克里斯蒂安·赫尔德 三 2011 编码技术、克雷格插值和不完整设计的有界模型检查。 兹比尔1306.68168 克里斯蒂安·米勒;斯特凡·库普弗施米德;马修·刘易斯;贝恩德·贝克尔 三 2010 OFDD的可满足性问题。 Zbl 0849.68057号 拉尔夫·沃奇纳;哈里奇,蒂洛;罗尔夫·德雷克斯勒;贝恩德·贝克尔 三 1996 DQBF的依赖方案。 Zbl 1475.68225号 拉尔夫·威默;克里斯托夫·斯科尔;卡里娜·威默;贝恩德·贝克尔 三 2016 用于并行#SAT求解的自由缓存。 Zbl 1471.68175号 伯查德,简;托拜厄斯·舒伯特;贝恩德·贝克尔 三 2015 平衡长度的电线布局。 兹比尔06229.4033 B.贝克尔。;H.G.奥斯托夫。 2 1987 数字电路的等效性检查。基本原理、原则、方法。客座作家伯恩德·贝克尔和克里斯托夫·斯科尔。 Zbl 1053.68020号 保罗·莫里托;珍妮特·莫恩克 2 2004 通过窗口优化减少交叉。 Zbl 1037.68583号 托马斯·埃什巴赫;沃尔夫冈·Günther;罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 2002 DQBF的Skolem函数。 Zbl 1398.68487号 Karina威默;拉尔夫·威默;克里斯托夫·斯科尔;贝恩德·贝克尔 2 2016 使用增量QBF验证部分设计。 Zbl 1373.68382号 克里斯蒂安·米勒;马林,保罗;贝恩德·贝克尔 2 2015 基于抽象的马尔可夫自动机报酬测度计算。 Zbl 1432.68217号 布雷丁,贝蒂娜;费雷尔·菲奥里蒂,路易斯·玛丽亚;哈桑·哈特菲;拉尔夫·威默;贝恩德·贝克尔;霍尔格赫尔曼斯 2 2015 随机博弈和马尔可夫自动机中的成本与时间。 Zbl 1369.68253号 哈桑·哈特菲;布雷丁,贝蒂娜;拉尔夫·威默;费雷尔·菲奥里蒂,路易斯·玛丽亚;霍尔格·赫尔曼斯;贝恩德·贝克尔 2 2015 基于图形的函数表示。布尔函数和伪布尔函数。(Graphenbasierte Funktionsdarstellung.Boolesche和Pseudo-Boolesche Funktitonen) Zbl 0914.06004号 罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 1998 集成电路构造的逻辑拓扑演算。一、。(Ein logisch-topologischer Kalkül zur Konstruktion积分器Schaltkreise.I.) Zbl 0617.94013号 霍茨,君特;贝恩德·贝克尔;雷纳·科拉;保罗·莫里托 1 1986 BMC中使用的增量预处理方法。 Zbl 1247.68167号 斯特凡·库普弗施米德;马修·刘易斯;舒伯特、托比亚斯;贝恩德·贝克尔 1 2011 平衡长度的电线布局。 Zbl 0567.94028号 B.贝克尔。;H.G.奥斯托夫。 1 1985 一种易于测试的最佳时间VLSI乘法器。 Zbl 0602.94019号 贝恩德·贝克尔 1 1987 最佳时间加法器的有效测试。 Zbl 0604.94015号 贝恩德·贝克尔 1 1986 最优时间乘数和C-可测试性。 Zbl 0714.94027号 贝恩德·贝克尔;约阿希姆·哈特曼 1 1990 乘数的多项式形式验证。 Zbl 1033.68075号 马丁·凯姆;罗尔夫·德雷克斯勒;贝恩德·贝克尔;马丁,迈克尔;保罗·莫里托 1 2003 基于冲突的分支规则选择。 Zbl 1204.68199号 马克·赫伯斯特里特;贝恩德·贝克尔 1 2004 通过计算学习求解ALLQBF。 Zbl 1374.68487号 贝恩德·贝克尔;吕迪格埃勒斯;马修·刘易斯;马林,保罗 1 2012 关于加权图在平面上的无交叉矩形嵌入。 Zbl 0496.68046号 贝恩德·贝克尔 1 1982 有限幺半群的计算及其测试复杂性。 Zbl 0743.68084号 贝恩德·贝克尔;乌韦·斯巴曼 1 1991 关于WLCD和单词级决策图的复杂性-除法的下限。 Zbl 1017.68068号 克里斯托夫·斯科尔;贝恩德·贝克尔;托马斯·维斯 1 2002 概率验证中对可靠性的要求。 Zbl 1156.68480号 拉尔夫·威默;亚历山大·科图斯;马克·赫伯斯特里特;贝恩德·贝克尔 1 2008 将LP解算器集成到区间约束传播中。 兹比尔1342.68307 恩斯特·奥尔特豪斯;贝恩德·贝克尔;丹尼尔·杜米特里乌;斯特凡·库普弗施米德 1 2011 增量编码和基数约束的求解。 Zbl 1448.68390号 斯文·雷默;马蒂亚斯·索尔;托拜厄斯·舒伯特;贝恩德·贝克尔 1 2014 OKFDD与OBDD和OFDD的比较。 Zbl 1412.68046号 贝恩德·贝克尔;罗尔夫·德雷克斯勒;迈克尔·西奥博尔德 1 1995 通过基于游戏的抽象为机器人规划中的POMDP进行策略合成。 Zbl 07352056号 莱昂诺尔·温特勒;塞巴斯蒂安·荣格斯;拉尔夫·威默;尼尔斯·詹森;乌富克托普库;Joost-Pieter卡托恩;贝恩德·贝克尔 1 2021 集成代数和SAT求解器。 Zbl 1497.68546号 简·霍拉克;伯沙尔,简;贝恩德·贝克尔;马丁·克鲁泽 1 2017 关于加权MaxSAT的预处理。 Zbl 1472.68185号 托拜厄斯·帕西安;帕斯卡·雷奥拉;贝恩德·贝克尔 1 2021 通过基于游戏的抽象为机器人规划中的POMDP进行策略合成。 Zbl 07352056号 莱昂诺·温特尔;塞巴斯蒂安·荣格斯;拉尔夫·威默;尼尔斯·詹森;乌富克托普库;Joost-Pieter卡托恩;贝恩德·贝克尔 1 2021 关于加权MaxSAT的预处理。 Zbl 1472.68185号 托拜厄斯·帕西安;帕斯卡·雷奥拉;贝恩德·贝克尔 1 2021 (D)QBF预处理器HQPre——基本理论及其实现。 Zbl 1484.68225号 拉尔夫·威默;克里斯托夫·斯科尔;贝恩德·贝克尔 4 2019 用于求解加权MaxSAT的动态多项式看门狗编码。 Zbl 1511.68256号 托拜厄斯·帕西安;斯文·雷默;贝恩德·贝克尔 6 2018 通过依赖消除从DQBF到QBF。 Zbl 1496.68372号 拉尔夫·威默;安德烈亚斯·卡伦鲍尔;鲁本·贝克尔;克里斯托夫·斯科尔;贝恩德·贝克尔 4 2017 集成代数和SAT求解器。 Zbl 1497.68546号 简·霍拉克;伯沙尔,简;贝恩德·贝克尔;马丁·克鲁泽 1 2017 联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 14 2016 DQBF的依赖方案。 Zbl 1475.68225号 拉尔夫·威默;克里斯托夫·斯科尔;卡里娜·威默;贝恩德·贝克尔 三 2016 DQBF的Skolem函数。 Zbl 1398.68487号 卡里娜·威默;拉尔夫·威默;克里斯托夫·斯科尔;贝恩德·贝克尔 2 2016 DQBF的预处理。 Zbl 1471.68264号 拉尔夫·威默;卡里娜·吉蒂娜;珍妮弗·尼斯特;克里斯托夫·斯科尔;贝恩德·贝克尔 7 2015 用于并行#SAT求解的自由缓存。 Zbl 1471.68175号 伯查德,简;托拜厄斯·舒伯特;贝恩德·贝克尔 三 2015 使用增量QBF验证部分设计。 Zbl 1373.68382号 克里斯蒂安·米勒;马林,保罗;贝恩德·贝克尔 2 2015 基于抽象的马尔可夫自动机报酬测度计算。 Zbl 1432.68217号 布雷丁,贝蒂娜;费雷尔·菲奥里蒂,路易斯·玛丽亚;哈桑·哈特菲;拉尔夫·威默;贝恩德·贝克尔;霍尔格·赫尔曼斯 2 2015 随机博弈和马尔可夫自动机中的成本与时间。 兹比尔1369.68253 哈桑·哈特菲;布雷丁,贝蒂娜;拉尔夫·威默;费雷尔·菲奥里蒂,路易斯·玛丽亚;霍尔格·赫尔曼斯;贝恩德·贝克尔 2 2015 离散时间马尔可夫模型的反例生成:介绍性调查。 Zbl 1445.68130号 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;尼尔斯·詹森;Joost-Pieter卡托恩;拉尔夫·威默 5 2014 线性时间概率验证的最小反例。 Zbl 1360.68604号 拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2014 增量编码和基数约束的求解。 Zbl 1448.68390号 斯文·雷默;马蒂亚斯·索尔;托拜厄斯·舒伯特;贝恩德·贝克尔 1 2014 区间约束传播与柱面代数分解的共生。 Zbl 1381.68274号 乌尔里奇·洛普;卡斯滕·谢布勒;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔 8 2013 离散时间Markov模型的最小临界子系统。 Zbl 1352.68167号 拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;Joost-Pieter卡托恩 6 2012 通过计算学习求解ALLQBF。 Zbl 1374.68487号 贝恩德·贝克尔;吕迪格埃勒斯;马修·刘易斯;马林,保罗 1 2012 非线性约束条件下的克雷格插值。 Zbl 1348.68141号 斯特凡·库普弗施米德;贝恩德·贝克尔 5 2011 离散时间马尔可夫链的层次反例。 Zbl 1348.68139号 尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Jens Katelaan公司;拉尔夫·威默;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2011 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆;托拜厄斯·舒伯特;贝恩德·贝克尔;马丁·范策尔;克里斯蒂安·赫尔德 三 2011 BMC中使用的增量预处理方法。 Zbl 1247.68167号 斯特凡·库普弗施米德;马修·刘易斯;托拜厄斯·舒伯特;贝恩德·贝克尔 1 2011 将LP解算器集成到区间约束传播中。 Zbl 1342.68307号 恩斯特·奥尔特豪斯;贝恩德·贝克尔;丹尼尔·杜米特里乌;斯特凡·库普弗施米德 1 2011 利用可满足性分析的线程并行集成测试模式生成器。 Zbl 1197.68026号 亚历山大·库特罗;伊利亚州波利安;马修·刘易斯;彼得·恩格尔克;Sudhakar M.雷迪。;贝恩德·贝克尔 4 2010 编码技术、克雷格插值和不完整设计的有界模型检查。 Zbl 1306.68168号 克里斯蒂安·米勒;斯特凡·库普弗施米德;马修·刘易斯;贝恩德·贝克尔 三 2010 PaMirXT:线程和消息传递的并行SAT求解。 Zbl 1190.68057号 托拜厄斯·舒伯特;马修·刘易斯;贝恩德·贝克尔 9 2009 使用有界模型检查生成离散时间马尔可夫链的反例。 Zbl 1206.68195号 拉尔夫·威默;布雷丁,贝蒂娜;贝恩德·贝克尔 7 2009 概率验证中对可靠性的要求。 兹比尔1156.68480 拉尔夫·威默;亚历山大·科图斯;马克·赫伯斯特里特;贝恩德·贝克尔 1 2008 SIGREF–一个符号化的交互模拟工具箱。 Zbl 1161.68631号 拉尔夫·威默;马克·赫伯斯特里特;霍尔格·赫尔曼斯;凯利·斯特兰普;贝恩德·贝克尔 9 2006 正交超图绘制可提高可见性。 Zbl 1161.68665号 托马斯·埃什巴赫;沃尔夫冈·根瑟;贝恩德·贝克尔 5 2006 分支和切割框架中的BDD。 Zbl 1121.90422号 贝恩德·贝克尔;马库斯·贝勒;弗里德里希·艾森布兰德;拉尔夫·威默 14 2005 线性混合系统的优化有界模型检验。 Zbl 1111.68493号 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;费利克斯·克莱特克;马丁·斯特芬 5 2005 数字电路的等效性检查。基本原理、原则、方法。与客座作者Bernd Becker和Christoph Scholl合作。 Zbl 1053.68020号 保罗·莫里托;珍妮特·莫恩克 2 2004 基于冲突的分支规则选择。 Zbl 1204.68199号 马克·赫伯斯特里特;贝恩德·贝克尔 1 2004 乘法器的多项式形式验证。 Zbl 1033.68075号 马丁·凯姆;罗尔夫·德雷克斯勒;贝恩德·贝克尔;迈克尔·马丁;保罗·莫里托 1 2003 通过窗口优化减少交叉。 兹比尔1037.68583 托马斯·埃什巴赫;沃尔夫冈·Günther;罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 2002 关于WLCD和单词级决策图的复杂性-除法的下限。 Zbl 1017.68068号 克里斯托夫·斯科尔;贝恩德·贝克尔;托马斯·维斯 1 2002 基于图形的函数表示。布尔函数和伪布尔函数。(函数的图形化。布尔舍和伪布尔舍函数。) Zbl 0914.06004号 罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 1998 OFDD的可满足性问题。 Zbl 0849.68057号 拉尔夫·沃奇纳;哈里奇,蒂洛;罗尔夫·德雷克斯勒;贝恩德·贝克尔 三 1996 关于BDD和FDD之间的关系。 Zbl 0839.68022号 贝恩德·贝克尔;罗尔夫·德雷克斯勒;拉尔夫·沃奇纳 4 1995 OKFDD与OBDD和OFDD的比较。 Zbl 1412.68046号 贝恩德·贝克尔;罗尔夫·德雷克斯勒;迈克尔·西奥博尔德 1 1995 RCC加法器的统一测试方法。 Zbl 0716.94021号 贝恩德·贝克尔;乌韦·斯巴曼 三 1991 有限幺半群的计算及其测试复杂性。 Zbl 0743.68084号 贝恩德·贝克尔;乌韦·斯巴曼 1 1991 最佳时间乘数和C测试性。 Zbl 0714.94027号 贝恩德·贝克尔;约阿希姆·哈特曼 1 1990 n立方体的健壮性如何? Zbl 0647.68007号 贝恩德·贝克尔;汉斯·尤里奇·西蒙 15 1988 关于固定边界平面图的最优布局。 Zbl 0625.05020号 B.贝克尔。;霍茨,G。 10 1987 平衡长度的电线布局。 兹比尔06229.4033 B.贝克尔。;H.G.奥斯托夫。 2 1987 一种易于测试的最佳时间VLSI乘法器。 Zbl 0602.94019号 贝恩德·贝克尔 1 1987 集成电路构造的逻辑拓扑演算。一、。(Ein logisch-topologischer Kalkül zur Konstruktion积分器Schaltkreise.I.) Zbl 0617.94013号 霍茨,君特;贝恩德·贝克尔;雷纳·科拉;保罗·莫利托 1 1986 最佳时间加法器的有效测试。 Zbl 0604.94015号 贝恩德·贝克尔 1 1986 平衡长度的电线布局。 Zbl 0567.94028号 B.贝克尔。;H.G.奥斯托夫。 1 1985 关于加权图在平面上的无交叉矩形嵌入。 Zbl 0496.68046号 贝恩德·贝克尔 1 1982 所有引用出版物 前5名被引用出版物 全部的 前5名334位作者引用 17 贝恩德·贝克尔 9 Joost-Pieter卡托恩 7 塞巴斯蒂安·荣格斯 7 拉尔夫·维默(Ralf D.Wimmer)。 6 艾丽卡·阿尔布拉汉姆 6 安德烈·奥古斯托·西雷 6 詹姆斯·哈罗德,达文波特 5 英格兰,马修 5 威廉·扬·范霍夫 4 亚历山德罗·西马蒂 4 霍尔格·赫尔曼斯 4 尼尔斯·詹森 4 基里恩·克莱默 4 克里斯托夫·斯科尔 三 奥拉夫·拜尔斯多夫 三 布莱特,柯蒂斯 三 罗尔夫·德雷克斯勒 三 安德烈亚斯·艾格斯 三 约翰·克劳斯·费希特 三 马丁·范策尔 三 维杰·加内什 三 阿尔贝托·格里乔 三 马库斯·赫彻 三 科齐里亚斯(Ilias S.Kotsireas)。 三 马丁·洛宾 三 弗洛里安·隆辛 三 莱昂纳多·洛扎诺 三 鲁本·马丁斯 三 托马斯·斯特姆 三 蒂诺·特伊格 三 王世英 三 英戈·韦格纳 三 斯特凡·沃尔特兰 2 J.克里斯托弗·贝克 2 乔舒亚·布林霍恩 2 贝特·博利格 2 埃里克·博纳鲍 2 克里斯托弗·布朗(Christopher W.Brown)。 2 玛格丽塔·帕斯·卡斯特罗 2 科什卡,米兰 2 陈明帅 2 勒罗伊·周 2 查尔斯·科尔伯恩。 2 安娜丽莎·德·博尼斯 2 克里斯蒂安·德内特 2 伊德斯,彼得 2 埃格利,乌韦 2 约翰·胡克(John N.jun Hooker)。 2 索拉巴·乔希 2 沙赫拉姆·拉蒂菲 2 林奇,因斯 2 Vasco M.Manquinho。 2 移动器,Sergio 2 乔安·拉斯加 2 考希·萨卡尔 2 雷娜特·施密特(Renate A.Schmidt)。 2 马蒂娜·塞德尔 2 Aleksandr Anatol’evich塞梅诺夫 2 阿米尔卡·塞尔纳达斯。 2 克里斯蒂娜·塞尔纳达斯。 2 桑吉特·阿伦库马尔·塞希亚 2 尤拉吉·西奇 2 J.Cole史密斯 2 马丁·苏达 2 帕特里克·蒂尔 2 塞萨尔·蒂内利 2 斯特凡诺·托内塔 2 乌戈·瓦卡罗 2 杨玉星 2 张国珍 1 Abbott,John A。 1 萨尔瓦多阿布雷乌 1 坦比尔·艾哈迈德 1 恩斯特·奥尔特豪斯 1 安、杰 1 罗马人Andriushchenko 1 苏海卜·巴里尔 1 克里斯特尔·拜尔 1 弗兰克·巴尔巴赫。 1 克拉克·W·巴雷特。 1 凯文·巴茨 1 马修·史蒂文·鲍尔 1 马库斯·贝勒 1 丹尼尔·贝伦德 1 杰里米亚斯·伯格 1 安娜·玛丽亚·比加蒂 1 埃卡德·伯德 1 亚历山大·布尔加科夫 1 罗素·J·布拉德福德。 1 布莱恩,马丁 1 布雷丁,贝蒂娜 1 布兰德斯,乌尔里克 1 詹姆斯·布里奇。 1 布鲁尼,雷纳托 1 卜、雷 1 布赫伯格,布鲁诺 1 彼得·布利切夫(Peter E.Bulychev)。 1 伯查德,简 1 伊夫·卡尼奥 1 史蒂文·卡尔 …还有234位作者 全部的 前5名52篇连载文章被引用 8 理论计算机科学 8 符号计算杂志 8 系统设计中的形式化方法 6 制约因素 6 信息计算杂志 5 离散应用数学 5 信息处理信件 三 信息科学 三 信息与计算 三 自动推理杂志 三 计算的形式方面 三 计算机科学中的数学 三 可满足性、布尔建模与计算杂志 2 信息学报 2 人工智能 2 编程和计算机软件 2 数学编程。A系列B系列 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 离散优化 1 应用力学与工程中的计算机方法 1 计算 1 组合理论杂志。系列A 1 苏联数学杂志 1 运筹学 1 Quaestions数学 1 运营研究信件 1 计算机辅助几何设计 1 计算机科学与技术杂志 1 算法 1 国际并行程序设计杂志 1 计算机与运筹学 1 计算几何 1 超级计算杂志 1 国际计算机数学杂志 1 分布式计算 1 数学Opuscula Mathematica 1 人工智能研究杂志 1 摩尔多瓦计算机科学杂志 1 启发式杂志 1 计算系统理论 1 组合优化期刊 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 SIAM应用动力系统杂志 1 应用逻辑杂志 1 泛逻辑 1 非线性分析。混合动力系统 1 计算机代数中的ACM通信 1 数学规划计算 1 程序设计中的逻辑和代数方法杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名18个领域被引用 128 计算机科学(68至XX) 27 运筹学、数学规划(90-XX) 18 组合数学(05-XX) 14 数学逻辑和基础(03-XX) 13 信息与通信理论、电路(94-XX) 9 概率论与随机过程(60-XX) 三 阶、格、有序代数结构(06-XX) 三 交换代数(13-XX) 三 代数几何(14-XX) 三 数值分析(65-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 系统论;控制(93至XX) 2 常微分方程(34-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 动力系统和遍历理论(37至XX) 1 变分法与最优控制;最优化(49至XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中。