编辑配置文件(在新选项卡中打开) 德克·拜尔 合著者距离 作者ID: 拜耶·迪尔克 发布日期: 德克·拜尔;D.拜尔。 已编制索引的文档: 26出版物自1974年以来,包括1本书 7作为编辑的贡献 合著者: 27位合著者具有26联合出版物 809合著作者 全部的 前5名合著者 7 单作者的 7 苏雷什·塞提(Suresh P.Sethi)。 4 玛丽克·赫斯曼 三 马蒂亚斯·丹格尔 三 托马斯·亨辛格(Thomas A.Henzinger)。 2 鲁帕克·马朱姆达尔 2 迈克尔·塔克萨。 2 菲利普·温德勒 1 米歇尔·博雷尔 1 郑,冯 1 Adam J.Chlipala。 1 苏米特·古尔瓦尼 1 安德烈亚斯·霍尔泽 1 兰吉特·贾拉 1 香塔尔·凯勒 1 法布里斯·科登 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 1222.90001号 德克·拜尔;郑,冯;苏雷什·塞提(Suresh P.Sethi)。;迈克尔·塔克萨 19 2010 具有马尔可夫需求和多项式增长成本函数的库存模型。 兹伯利0908.90108 D.拜尔。;塞提,S.P。;塔克萨,M。 19 1998 组合理论的不变综合。 Zbl 1132.68333号 德克·拜尔;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 19 2007 具有马尔可夫需求的库存模型中的平均成本最优。 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的经典平均成本库存模型。 兹比尔0943.90003 D.拜尔。;塞提,S.P。 10 1999 用于构建和分析系统的工具和算法。TACAS 25年:TOOLympics,作为ETAPS 2019的一部分,于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。第三部分。 Zbl 1408.68008号 9 2019 基于SMT的软件验证的统一观点。 Zbl 1426.68041号 德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 4 2018 用于多目标可达性分析的信息重用。 兹比尔1381.68148 德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 分布式系统的形式化技术。2013年6月3日至5日在意大利佛罗伦萨举行的IFIP WG 6.1联合国际会议,FMOODS/FORTE 2013,作为第八届分布式计算技术国际联合会议的一部分。诉讼程序。 兹比尔1283.68029 4 2013 改进了基于BDD的时间自动机可达性分析。 Zbl 0977.68677号 德克·拜尔 4 2001 结合模型检查和数据流分析。 Zbl 1392.68231号 德克·拜尔;苏米特·古尔瓦尼;戴维·施密特(David A.Schmidt)。 4 2018 决策图能否克服实时验证中的状态空间爆炸? Zbl 1279.68196号 德克·拜尔;安德烈亚斯·诺亚克 三 2003 用拟变量不等式证明EOQ公式。 Zbl 1065.90501号 德克·拜尔;苏雷什·塞提(Suresh P.Sethi)。 三 1998 继承对面向对象系统中大小、耦合和内聚度量的影响。 兹伯利0977.68820 德克·拜尔;克劳斯·勒伦茨;西蒙·弗兰克 三 2001 具有有限存储的随机多产品库存模型。 Zbl 0984.90001号 D.拜尔。;塞提,S.P。;R·斯里达尔。 三 2001 具有维纳需求过程和正提前期的库存模型。 Zbl 0818.90036号 D.拜尔。 三 1994 MetaVal:通过验证进行见证验证。 Zbl 1478.68145号 德克·拜尔;马丁·斯皮塞尔 1 2020 具有马尔可夫需求和销售损失的库存模型中的平均成本最优。 兹比尔1149.90005 德克·拜尔;苏雷什·塞提(Suresh P.Sethi)。 1 2005 关于积极风险的瑞士保费原则的评论。 Zbl 0789.62085号 德克·拜尔;曼弗雷德·里德尔 1 1993 PDR软件验证:最新技术的实现。 Zbl 1507.68178号 德克·拜尔;马蒂亚斯·丹格尔 1 2020 MetaVal:通过验证进行见证验证。 Zbl 1478.68145号 德克·拜尔;马丁·斯皮塞尔 1 2020 PDR软件验证:最新技术的实现。 Zbl 1507.68178号 德克·拜尔;马蒂亚斯·丹格尔 1 2020 用于构建和分析系统的工具和算法。TACAS 25年:TOOLympics,作为ETAPS 2019的一部分,于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。第三部分。 Zbl 1408.68008号 9 2019 基于SMT的软件验证的统一观点。 Zbl 1426.68041号 德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 4 2018 结合模型检查和数据流分析。 Zbl 1392.68231号 德克·拜尔;苏米特·古尔瓦尼;戴维·施密特(David A.Schmidt)。 4 2018 用于多目标可达性分析的信息重用。 Zbl 1381.68148号 德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 分布式系统的形式化技术。2013年6月3日至5日在意大利佛罗伦萨举行的IFIP WG 6.1联合国际会议,FMOODS/FORTE 2013,作为第八届分布式计算技术国际联合会议的一部分。诉讼程序。 兹比尔1283.68029 4 2013 马尔可夫需求库存模型。 Zbl 1222.90001号 德克·拜尔;郑,冯;苏雷什·塞提(Suresh P.Sethi)。;迈克尔·塔克萨 19 2010 组合理论的不变综合。 Zbl 1132.68333号 德克·拜尔;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 19 2007 可配置软件验证:具体化模型检查和程序分析的收敛性。 Zbl 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公式。 兹比尔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 Supratik查克拉博蒂 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 玛莎·契契克 1 陈健 1 陈欣 1 魏恩根·钦 1 牧场克利夫兰 1 玛格布尔·达达 1 达姆,沃纳 1 达姆,丹尼斯·雷内 1 危险,Jean-Luc 1 丹尼尔·雅库布 1 穆拉德·德巴比 1 皮耶保罗·德加诺 1 隆默特·德克尔 1 米查利斯·德利吉安尼斯 1 尤利娅·德米扬诺娃 1 海宁·迪尔克斯 1 斯特凡·迪什 1 塞萨拉·德拉戈伊 1 段振华 1 伊扎克·杜恩亚斯 1 易卜拉欣·J·埃尔沙尔。 1 迈克尔·埃米 1 约尔格恩德鲁利斯 1 康斯坦丁·埃纳 1 吉登·恩斯特 1 埃夫拉德,雨果 1 伯特伦·费尔根豪尔 1 尼克·冯 1 吉安·路易吉,法拉利 1 彼得·丰塔纳 1 让-菲利普盖恩 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(德意志银行) 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) 5 数学逻辑和基础(03-XX) 4 变分法与最优控制;最优化(49-XX) 2 偏微分方程(35-XX) 2 统计学(62-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 代数几何(14-XX) 1 几何图形(51至XX) 按年份列出的引文