编辑配置文件（在新选项卡中打开） 德克·拜尔 合著者距离 作者ID： 拜耶·迪尔克 发布日期： 德克·拜尔;Beyer，D。 已编制索引的文档： 26出版物自1974年以来，包括1本书 7作为编辑的贡献 合著者： 27位合著者具有26联合出版物 808位合作作者 全部的 前5名合著者 7 单作者的 7 苏雷什·塞提（Suresh P.Sethi）。 4 马里克，Huisman 三 马蒂亚斯·丹格尔 三 托马斯·亨辛格（Thomas A.Henzinger）。 2 鲁帕克·马朱姆达尔 2 迈克尔·塔克萨。 2 菲利普·温德勒 1 米歇尔·博雷尔 1 郑，冯 1 Adam J.Chlipala。 1 苏米特·古尔瓦尼 1 安德烈亚斯·霍尔泽 1 兰吉特·贾拉 1 香塔尔·凯勒 1 Fabrice Kordon公司 1 克劳斯·勒伦茨 1 安德烈亚斯·诺亚克 1 曼弗雷德·里德尔 1 安德烈·里巴尔琴科 1 戴维·施密特（David A.Schmidt）。 1 Simon，Frank U。 1 马丁·斯皮塞尔 1 伯恩哈德·斯特芬 1 迈克尔·陶奇尼格 1 格雷戈里·塞奥多洛兹 1 赫尔穆特·维思 1 达米安·祖弗里 全部的 前5名系列 6 计算机科学讲义 4 最优化理论与应用杂志 三 自动推理杂志 2 莫斯科大学数学通报 2 维斯特尼克·莫斯科斯科戈大学。塞里亚·马特马提卡（Seriya I.Matematika，Mekhanika） 1 国际系统科学杂志 1 保险数学与经济学 1 优化 1 运筹学与管理科学国际系列 领域 20 计算机科学（68至XX） 8 运筹学、数学规划（90-XX） 7 总体主题；集合（00-XX） 5 概率论与随机过程（60-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用152中的次121文件 引用人▼ 年份▼ 具有马尔可夫需求和多项式增长成本函数的库存模型。 Zbl 0908.90108号 D.拜尔。;塞提，S.P。;塔克萨，M。 19 1998 组合理论的不变综合。 Zbl 1132.68333号 德克·拜尔;托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 19 2007 马尔科夫需求库存模型。 Zbl 1222.90001号 德克·拜尔;郑，冯;苏雷什·塞提（Suresh P.Sethi）。;迈克尔·塔克萨 19 2010 具有马尔可夫需求的库存模型中的平均成本最优。 Zbl 0873.90021号 D.拜尔。;塞提，S.P。 18 1997 可配置软件验证：具体化模型检查和程序分析的收敛性。 Zbl 1135.68466号 德克·拜尔;托马斯·亨辛格（Thomas A.Henzinger）。;格雷戈里·塞奥多洛兹 12 2007 用于软件验证的Blast查询语言。 Zbl 1104.68408号 德克·拜尔;Adam J.Chlipala。;托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔 10 2004 重温了Iglehart和Veinott-Wagner的经典平均成本库存模型。 Zbl 0943.90003号 D.拜尔。;塞提，S.P。 10 1999 用于构建和分析系统的工具和算法。TACAS 25周年：TOOLympics，作为2019年ETAPS的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。第三部分。 Zbl 1408.68008号 9 2019 改进了基于BDD的时间自动机可达性分析。 Zbl 0977.68677号 德克·拜尔 4 2001 基于SMT的软件验证的统一观点。 Zbl 1426.68041号 德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 4 2018 结合模型检查和数据流分析。 Zbl 1392.68231号 德克·拜尔;苏米特·古尔瓦尼;戴维·施密特（David A.Schmidt）。 4 2018 分布式系统的形式化技术。2013年6月3日至5日在意大利佛罗伦萨举行的IFIP WG 6.1联合国际会议，FMOODS/FORTE 2013，作为第八届分布式计算技术国际联合会议的一部分。诉讼程序。 Zbl 1283.68029号 4 2013 用于多目标可达性分析的信息重用。 Zbl 1381.68148号 德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 继承对面向对象系统中大小、耦合和内聚度量的影响。 Zbl 0977.68820号 德克·拜尔;克劳斯·勒伦茨;西蒙·弗兰克 三 2001 具有有限存储的随机多产品库存模型。 Zbl 0984.90001号 D.拜尔。;塞提，S.P。;R·斯里达尔。 三 2001 用拟变量不等式证明EOQ公式。 Zbl 1065.90501号 德克·拜尔;苏雷什·塞提（Suresh P.Sethi）。 三 1998 具有维纳需求过程和正提前期的库存模型。 Zbl 0818.90036号 D.拜尔。 三 1994 决策图能否在实时验证中克服状态空间爆炸？ Zbl 1279.68196号 德克·拜尔;安德烈亚斯·诺亚克 三 2003 MetaVal：通过验证进行见证验证。 Zbl 1478.68145号 德克·拜尔;马丁·斯皮塞尔 1 2020 关于积极风险的瑞士保费原则的评论。 Zbl 0789.62085号 德克·拜尔;曼弗雷德·里德尔 1 1993 使用PDR进行软件验证：实现了最先进的技术。 Zbl 1507.68178号 德克·拜尔;马蒂亚斯·丹格尔 1 2020 具有马尔可夫需求和销售损失的库存模型中的平均成本最优。 Zbl 1149.90005号 德克·拜尔;苏雷什·塞提（Suresh P.Sethi）。 1 2005 MetaVal：通过验证进行见证验证。 Zbl 1478.68145号 德克·拜尔;马丁·斯皮塞尔 1 2020 PDR软件验证：最新技术的实现。 Zbl 1507.68178号 德克·拜尔;马蒂亚斯·丹格尔 1 2020 用于构建和分析系统的工具和算法。TACAS 25周年：TOOLympics，作为2019年ETAPS的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。第三部分。 Zbl 1408.68008号 9 2019 基于SMT的软件验证的统一观点。 Zbl 1426.68041号 德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 4 2018 结合模型检查和数据流分析。 Zbl 1392.68231号 德克·拜尔;苏米特·古尔瓦尼;戴维·施密特（David A.Schmidt）。 4 2018 分布式系统的形式化技术。2013年6月3日至5日在意大利佛罗伦萨举行的IFIP WG 6.1联合国际会议，FMOODS/FORTE 2013，作为第八届分布式计算技术国际联合会议的一部分。诉讼程序。 Zbl 1283.68029号 4 2013 用于多目标可达性分析的信息重用。 Zbl 1381.68148号 德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 马尔科夫需求库存模型。 Zbl 1222.90001号 德克·拜尔;郑，冯;苏雷什·塞提（Suresh P.Sethi）。;迈克尔·塔克萨 19 2010 组合理论的不变综合。 Zbl 1132.68333号 德克·拜尔;托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 19 2007 可配置软件验证：具体化模型检查和程序分析的收敛性。 兹比尔1135.68466 德克·拜尔;托马斯·亨辛格（Thomas A.Henzinger）。;格雷戈里·塞奥多洛兹 12 2007 具有马尔可夫需求和销售损失的库存模型中的平均成本最优。 Zbl 1149.90005号 德克·拜尔;苏雷什·塞提（Suresh P.Sethi）。 1 2005 用于软件验证的Blast查询语言。 Zbl 1104.68408号 德克·拜尔;Adam J.Chlipala。;托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔 10 2004 决策图能否克服实时验证中的状态空间爆炸？ Zbl 1279.68196号 德克·拜尔;安德烈亚斯·诺亚克 三 2003 基于BDD的时间自动机可达性分析的改进。 Zbl 0977.68677号 德克·拜尔 4 2001 继承对面向对象系统中大小、耦合和内聚度量的影响。 Zbl 0977.68820号 德克·拜尔;克劳斯·勒伦茨;西蒙·弗兰克 三 2001 具有有限存储的随机多产品库存模型。 Zbl 0984.90001号 D.拜尔。;塞提，S.P。;R·斯里达尔。 三 2001 重温了Iglehart和Veinott-Wagner的经典平均成本库存模型。 Zbl 0943.90003号 D.拜尔。;塞提，S.P。 10 1999 具有马尔可夫需求和多项式增长成本函数的库存模型。 Zbl 0908.90108号 D.拜尔。;塞提，S.P。;塔克萨，M。 19 1998 用拟变量不等式证明EOQ公式。 Zbl 1065.90501号 德克·拜尔;苏雷什·塞提（Suresh P.Sethi）。 三 1998 具有马尔可夫需求的库存模型中的平均成本最优。 Zbl 0873.90021号 D.拜尔。;塞提，S.P。 18 1997 具有维纳需求过程和正提前期的库存模型。 Zbl 0818.90036号 D.拜尔。 三 1994 关于瑞士积极风险溢价原则的说明。 Zbl 0789.62085号 德克·拜尔;曼弗雷德·里德尔 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名被262位作者引用 7 德克·拜尔 7 苏雷什·塞提（Suresh P.Sethi）。 5 阿兰·本苏桑 三 尤金·阿列克桑德罗维奇·范伯格 三 梁燕 三 刘京珍 三 亚历山大·洛赫曼 三 阿德尔德多尔普 三 瓦利德·纳斯尔。 三 Yiu，Ka Fai Cedric先生 2 洛伦佐·贝蒂尼 2 罗伯特·布鲁托梅索 2 梅廷，圣阿卡尼 2 萨拉·卡佩基 2 卡尔德纳斯·巴隆，利奥波多·爱德华多 2 查克拉波蒂，苏普拉特克 2 陈洪桥 2 亚历山德罗·西马蒂 2 马蒂亚斯·丹格尔 2 丁晓松 2 卡洛·阿尔贝托·福里亚 2 阿什图什·古普塔 2 兰吉特·贾拉 2 菲克里卡拉斯门 2 安娜·基塔耶娃 2 丹尼尔·科宁 2 李晓明 2 贝特朗·梅耶 2 费比安·米特沃纳 2 格钦·诺曼 2 安德烈亚斯·波德尔斯基 2 穆罕默德·纳西姆·塞吉尔 2 娜塔莎·莎莉吉娜 2 维奥里卡Sofrone-Stokkerman 2 杰里米·斯普洛斯顿 2 迪夫耶什·乌纳德卡特 2 赫尔穆特·维思 2 贝蒂·文内里 2 乔治·威森巴赫 2 张继红 1 亚历克斯·艾肯 1 穆拉德·阿洪多夫 1 弗朗西斯科·阿尔贝蒂 1 安德里亚诺夫，P.S。 1 塔里克·奥阿姆 1 艾琳娜·莫瑞卡 1 艾库特阿塔尔 1 凯特琳娜·巴罗内·阿德斯 1 大卫·巴兹勒 1 埃里克·扬（Erik Jan Baurdoux） 1 巴伊拉克塔尔，埃尔罕 1 Johannes Bechberger 1 Lakdere Benkherouf 1 阿明·比尔 1 阿纳布·比西 1 迪米特里·博伦德 1 詹姆斯·H·书装订工。 1 艾哈迈德·博阿贾尼 1 奇亚拉·布拉金 1 蔡奇书 1 洛伦佐·坎迪戈 1 克里斯托斯·卡桑德拉斯。 1 弗兰克·卡塞兹 1 安娜·卡瓦尔坎蒂 1 马雷克·查卢帕 1 Chechik，玛莎 1 陈健 1 陈欣 1 魏恩根·钦 1 兰斯·克莱维兰 1 玛格布尔·达达 1 达姆，沃纳 1 达姆，丹尼斯·雷内 1 危险，Jean-Luc 1 丹尼尔·雅库布 1 穆拉德·德巴比 1 皮耶保罗·德加诺 1 隆默特·德克尔 1 米查利斯·德利吉安尼斯 1 尤利娅·德米扬诺娃 1 海宁·迪尔克斯 1 斯特凡·迪什 1 Cezara德拉戈伊 1 段振华 1 伊扎克杜尼亚斯 1 易卜拉欣·J·埃尔沙尔。 1 迈克尔·埃米 1 约尔格恩德鲁利斯 1 康斯坦丁·埃纳 1 吉登·恩斯特 1 埃夫拉德，雨果 1 伯特伦·费尔根豪尔 1 尼克·冯 1 吉安·路易吉，法拉利 1 彼得·丰塔纳 1 Jean-Philippe Gayon 1 加迪米，福阿德 1 西尔维奥·吉拉尔迪 1 帕特丽斯·戈德弗里德 1 阿尔贝托·格里乔 …还有162位作者 全部的 前5名41篇连载文章中引用 8 最优化理论与应用杂志 8 欧洲运筹学杂志 6 运筹学年鉴 5 计算机程序设计科学 5 系统设计中的形式化方法 4 自动推理杂志 三 理论计算机科学 三 运营研究信件 三 计算的形式方面 三 工程和信息科学中的概率 2 倒排索引综述 2 运筹学 2 编程和计算机软件 2 计算机与运筹学 2 离散事件动态系统 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 计算机与数学及其应用 1 富兰克林学院学报 1 Automatica公司 1 Blätter（德国Gesellschaft für Versicherungsmathematik） 1 海军研究后勤 1 SIAM控制与优化杂志 1 应用数学学报。英语系列 1 国际并行程序设计杂志 1 信息与计算 1 亚太运筹学杂志 1 排队系统 1 应用数学建模 1 随机过程及其应用 1 信息计算杂志 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 RAIRO公司。运筹学 1 离散和连续动力系统。B系列 1 系统科学与复杂性杂志 1 计算机语言、系统和结构 1 工业与管理优化杂志 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 科学中国。信息科学 全部的 前5名在12个字段中引用 70 计算机科学（68至XX） 46 运筹学、数学规划（90-XX） 11 系统论；控制（93至XX） 10 概率论与随机过程（60-XX） 6 数学逻辑和基础（03-XX） 4 变异微积分和最优控制；最优化（49至XX） 2 偏微分方程（35-XX） 2 统计学（62-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 代数几何（14-XX） 1 几何图形（51至XX） 按年份列出的引文