编辑配置文件（在新选项卡中打开） Doron A.Peled。 合著者距离 作者ID： peled.doron-a公司 发布方式： 多龙·贝利德;Doron A.Peled。;D.贝利德。 更多。。。较少的 主页： 网址：https://u.cs.biu.ac.il/~多伦普/ 外部链接： MGP公司·维基数据·接地·ID参考 已编制索引的文档： 93出版物自1989年起，包括2本书 11作为编辑的贡献 合著者： 76位合著者具有94联合出版物 2110合作作者 全部的 前5名合著者 10 单作者的 10 布莱斯·基内斯特 7 斯文·舍韦 6 拉杰夫·阿鲁尔 6 萨德克·本萨勒姆 6 伊迪丝·埃尔金德 6 克劳斯·哈维隆德 6 安卡·穆斯科尔 6 曲洪阳 6 米哈利斯·亚纳卡基斯 5 埃尔萨·甘特。 4 Shmuel Katz 4 阿米尔·普努利 三 克拉克（Edmund Melson jun Clarke）。 三 亚历克斯·格罗斯 三 杰拉德·J·霍尔兹曼。 三 加尔·卡茨 三 马吕斯·米娜 三 彼得·尼伯特 三 约瑟夫·西法基斯 三 莫西·亚亚科夫·瓦尔迪 三 托马斯·威尔克 三 Lenore D.扎克。 2 阿南达·巴苏 2 吉里什·S·巴特。 2 博什纳奇·德拉甘 2 库沙·埃特萨米 2 约翰·费恩利 2 苏珊娜·格拉芙 2 奥尔纳·格伦伯格 2 罗伯特·P·库尔珊（Robert P.Kurshan）。 2 萨尔瓦多拉托雷 2 肯尼思·麦克米兰。 2 沃伊切赫·彭泽克 2 苏菲·昆顿 2 鲍拉·斯波莱蒂尼 2 斯塔夫罗斯·特里帕基斯 2 Tsay，Yih-Kuen先生 2 皮埃尔·沃尔珀 1 西里尔·阿尔托 1 马吕斯·博兹加 1 周庆孙 1 辛迪·艾斯纳 1 彼得·费蒙维尔 1 伯恩德·芬克贝纳 1 罗布·特里斯坦·格特 1 让-查尔斯，格雷戈伊尔 1 拉杜·格罗苏 1 尼古拉斯·哈尔巴赫斯 1 黄忠浩 1 马泰·约瑟夫 1 马尔钦·尤尔季安斯基 1 Joost-Peter卡托恩 1 伊尔卡·科科林宁 1 丹尼尔·科宁 1 鲁德·柯伊伯 1 迪特里赫·库斯克 1 Kwiatkowska，Marta Z。 1 金·古德斯特兰·拉森 1 Legay、Axel 1 弗拉基米尔·莱文 1 弗朗西斯科·洛戈佐 1 佐哈尔·曼纳 1 莫兰·奥马尔 1 沃恩·R·普拉特。 1 罗马克里希南，C.R。 1 肖恩·塞德瓦兹 1 娜塔莎·莎莉吉娜 1 斯科特·斯莫尔卡。 1 斯科特·斯托勒。 1 多根·乌卢斯 1 安蒂·瓦尔马里 1 赫尔穆特·维思 1 王法恩 1 迈克尔·J·伍尔德里奇。 1 杨俊兴 1 胡斯努·耶尼贡 全部的 前5名系列 8 理论计算机科学 8 系统设计中的形式化方法 8 计算机科学课堂讲稿 三 国际计算机科学基础杂志 2 信息处理信件 2 信息与计算 2 DIMACS系统。离散数学和理论计算机科学系列 1 信息学报 1 计算机与系统科学杂志 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 自动推理杂志 1 计算的形式化方面 1 分布式计算 1 数学与人工智能年鉴 1 自动机、语言和组合数学杂志 1 IGPL逻辑期刊 1 ACM计算逻辑事务 1 计算机科学课文 1 网络物理系统系列 全部的 前5名领域 104 计算机科学（68-XX） 14 数学逻辑和基础（03-XX） 12 总体主题；集合（00-XX） 2 阶、格、有序代数结构（06-XX） 2 系统论；控制（93至XX） 1 拓扑群、李群（22日至XX日） 1 微分几何（53至XX） 1 一般拓扑结构（54至XX） 1 流形和细胞复合体（57-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 74出版物有被引用562中的次438文件 引用人▼ 年份▼ 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 并发系统的临时调试。 Zbl 1043.68592号 冈特，艾尔莎;多龙·贝利德 31 2002 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 30 2001 不需要下一时间操作符，就可以表达断断续续的时间属性。 Zbl 1337.68170号 多龙·贝利德;托马斯·威尔克 29 1997 将部分订单减少与飞行模型检查相结合。 Zbl 1425.68267号 多龙·贝利德 27 1996 Marzurkiewicz跟踪上的消息序列图和决策问题。 Zbl 0955.68084号 安卡·穆斯科尔;多龙·贝利德 23 1999 嵌套深度优先搜索。 Zbl 0880.68084号 杰拉德·J·霍尔兹曼。;多龙·贝利德;米哈利斯·亚纳卡基斯 22 1997 分支时间逻辑模型检查的部分顺序方法。 Zbl 1045.68588号 罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克 20 1999 黑盒检查。 Zbl 0952.68012号 多龙·贝利德;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯 19 1999 使用偏序技术的状态空间约简。 兹比尔1065.68506 E.M.克拉克。;O·格伦伯格。;米娜，M。;D.贝利德。 18 1999 并发对象正确性条件的模型检查。 Zbl 1003.68067号 拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 17 2000 黑盒检查。 Zbl 1046.68072号 多龙·贝利德;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 16 2002 使用折叠定义条件独立性。 Zbl 0769.68082号 Shmuel Katz;多龙·贝利德 15 1992 交错集时序逻辑。 兹伯利0718.03014 Shmuel Katz;多龙·贝利德 14 1990 用于检查时态逻辑规范和（ω）正则语言的闭包属性的算法方法。 Zbl 0915.68058号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 13 1998 自适应模型检查。 Zbl 1043.68570号 亚历克斯·格罗斯;多龙·贝利德;米哈利斯·亚纳卡基斯 13 2002 证明部分顺序属性。 兹比尔0803.68070 多龙·贝利德;阿米尔·普努利 12 1994 使用代表性交错序列验证分布式程序。 Zbl 0773.68053号 Shmuel Katz;多龙·贝利德 12 1992 从伪造到验证。 Zbl 1052.68086号 多龙·贝利德;阿米尔·普努利;勒诺尔·扎克 11 2001 一种有效的并行和分布式程序验证方法。（技术贡献）。 Zbl 0683.68015号 卡茨，S。;D.贝利德。 9 1989 合成消息序列图。 兹伯利0978.68549 埃尔萨·甘特。;安卡·穆斯科尔;Doron A.Peled。 8 2001 软件可靠性方法。Edmund M.Clarke的前言。 Zbl 0980.68014号 Doron A.Peled。 8 2001 宽松的可视性增强了部分订单的减少。 Zbl 0995.68060号 多龙·贝利德;安蒂·瓦尔马里;伊尔卡·科科林宁 7 2001 证明偏序活性性质。 兹比尔0765.68137 多龙·贝利德;阿米尔·普努利 6 1990 使用BDD进行一阶时序逻辑监控。 Zbl 1506.68055号 克劳斯·哈维隆德;多龙·贝利德;多根·乌卢斯 6 2020 根据可监控性，细化时间特性的安全活跃度分类。 Zbl 1519.68138号 多龙·贝利德;克劳斯·哈维隆德 6 2019 从模型检查到时间证明。 Zbl 0985.68030号 多龙·贝利德;勒诺尔·扎克 5 2001 部分降阶：线性和分支时序逻辑和过程代数。 Zbl 0883.68090号 多龙·贝利德 5 1997 基于模型检查的遗传编程及其互斥应用。 Zbl 1134.68411号 加尔·卡茨;多龙·贝利德 5 2008 “模型测量”的参数时序逻辑。 Zbl 0939.03021号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 4 1999 模型检查、测试和验证协同工作。 Zbl 1101.68681号 埃尔莎·冈特;多龙·贝利德 4 2005 消息序列图。 Zbl 1088.68124号 布莱斯·基内斯特;麝香草，安卡;多龙·贝利德 4 2004 基于模型检查的分布式系统优先级调度。 Zbl 1242.68033号 阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 4 2009 通过规范转换实现容错的组合框架。 Zbl 0812.68092号 多龙·贝利德;马泰·约瑟夫 三 1994 自适应模型检查。 Zbl 1108.68073号 格罗斯，亚历克斯;多龙·贝利德;米哈利斯·亚纳卡基斯 三 2006 使用模板MSC指定和验证部分订单属性。 Zbl 1126.68498号 布莱斯·基内斯特;马里乌斯·米尼亚;安卡·穆斯科尔;多龙·贝利德 三 2004 用于检查\（\omega \）-正则语言的闭包属性的算法方法。 Zbl 1514.68109号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 三 1996 一阶时态属性的高效运行时验证。 Zbl 1508.68220号 克劳斯·哈维隆德;多龙·贝利德 三 2018 关于射影和可分性质。 Zbl 0938.68702号 D.贝利德。 2 1994 向线性时序逻辑添加部分顺序。 Zbl 0930.68063号 吉里什·巴特;多龙·贝利德 2 1998 克服建模和实现概率并发系统的混淆。 Zbl 1381.68206号 Joost-Peter卡托恩;多龙·贝利德 2 2013 实施并发时间行为。 Zbl 1098.68080号 多龙·贝利德;曲洪阳 2 2006 验证、模型检查和抽象解释。第九届国际会议，2008年VMCAI，美国旧金山，2008年1月7日至9日。诉讼程序。 Zbl 1134.68006号 2 2008 验证时间。纪念埃米尔·普努利的散文。 Zbl 1194.68054号 2 2010 分布式系统基于知识的控制方法。 Zbl 1305.68123号 萨德克·本萨勒姆;马吕斯·博兹加;苏珊娜·格拉芙;多龙·贝利德;苏菲·昆顿 2 2010 计算机辅助验证。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。 Zbl 1056.68003号 2 2004 灰盒检查。 Zbl 1225.68113号 伊迪丝·埃尔金德;布莱斯·基内斯特;多龙·贝利德;曲洪阳 2 2006 鉴别模型检查。 Zbl 1155.68444号 彼得·尼伯特;多龙·贝利德;阿米尔·普努利 2 2008 部分订单减少。 Zbl 1392.68262号 多龙·贝利德 2 2018 通过模型检查实现分布式控制。 Zbl 1247.68185号 苏珊娜·格拉芙;多龙·贝利德;苏菲·昆顿 2 2012 快照验证。 Zbl 1087.68055号 布莱斯·基内斯特;迪特里赫·库斯克;安卡·穆斯科尔;多龙·贝利德 1 2005 从有限状态通信协议到高级消息序列图。 Zbl 0986.68060号 安卡·穆斯科尔;多龙·贝利德 1 2001 关于射影和可分性质。 Zbl 0893.68090号 多龙·贝利德 1 1997 软件可靠性的一种组合测试和验证方法。 Zbl 0977.68572号 娜塔莎·莎莉吉娜;多龙·贝利德 1 2001 基于交换性的边缘精益搜索。 Zbl 1171.68444号 博什纳奇·德拉甘;伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 1 2007 为定时系统生成路径条件。 Zbl 1137.68351号 萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 1 2005 验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿大学。 Zbl 0863.00044号 1 1997 简洁系统的综合。 Zbl 1374.68282号 约翰·费恩利;多龙·贝利德;斯文·舍韦 1 2012 用于验证和分析的自动化技术。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。 Zbl 1089.68013号 1 2005 使用消息序列图进行规范和验证。 Zbl 1268.68116号 多龙·贝利德 1 2002 使用部分顺序快照对LTL进行有效的模型检查。 Zbl 1180.68177号 彼得·尼伯特;多龙·贝利德 1 2006 计算实时测试用例的概率。 Zbl 1183.68178号 马尔钦·尤季扬斯基;多龙·贝利德;曲洪阳 1 2006 检测消息序列图集合中的种族。 Zbl 1186.68319号 伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 1 2007 分布式系统的基于知识的调度。 Zbl 1288.68178号 萨德克本塞勒姆;多龙·贝利德;约瑟夫·西法基斯 1 2010 单元检查：对代码单元进行符号模型检查。 Zbl 1274.68188号 埃尔莎·冈特;多龙·贝利德 1 2003 比较软件系统的符号模型检查和显式模型检查。 Zbl 1077.68683号 辛迪·艾斯纳;多龙·贝利德 1 2002 部分顺序时间属性的层次结构。 Zbl 0949.68537号 Kwiatkowska，M。;Peled博士。;彭泽克，W。 1 1994 用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 Zbl 1346.68003号 1 2016 监测参数时间逻辑。 Zbl 1428.68184号 彼得·费蒙维尔;伯恩德·芬克贝纳;多龙·贝利德 1 2014 计算机辅助验证。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。 Zbl 0925.68015号 1 1999 量化不一致：消息序列图中的顺序差异。 Zbl 1141.68504号 伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;鲍拉·斯波莱蒂尼 1 2007 并发定时系统路径条件的自动生成。 Zbl 1293.68201号 萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 1 2008 遗传编程和模型检查：合成新的互斥算法。 Zbl 1183.68376号 加尔·卡茨;多龙·贝利德 1 2008 基于模型检查的分布式系统优先级调度。 兹比尔1260.68030 阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 1 2011 使用BDD进行一阶时序逻辑监控。 Zbl 1506.68055号 克劳斯·哈维隆德;多龙·贝利德;多根·乌卢斯 6 2020 根据可监测性细化时间属性的安全活性分类。 Zbl 1519.68138号 多龙·贝利德;克劳斯·哈维隆德 6 2019 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 一阶时态属性的高效运行时验证。 Zbl 1508.68220号 克劳斯·哈维隆德;多龙·贝利德 三 2018 部分订单减少。 Zbl 1392.68262号 多龙·贝利德 2 2018 用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 Zbl 1346.68003号 1 2016 监测参数时序逻辑。 Zbl 1428.68184号 彼得·费蒙维尔;伯恩德·芬克贝纳;多龙·贝利德 1 2014 克服建模和实现概率并发系统的混淆。 Zbl 1381.68206号 Joost-Peter卡托恩;多龙·贝利德 2 2013 通过模型检查实现分布式控制。 Zbl 1247.68185号 苏珊娜·格拉芙;多龙·贝利德;苏菲·昆顿 2 2012 简洁系统的综合。 Zbl 1374.68282号 约翰·费恩利;多龙·贝利德;斯文·舍韦 1 2012 基于模型检查的分布式系统优先级调度。 Zbl 1260.68030号 阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 1 2011 验证时间。纪念埃米尔·普努利的散文。 兹比尔1194.68054 2 2010 分布式系统基于知识的控制方法。 Zbl 1305.68123号 萨德克·本萨勒姆;马吕斯·博兹加;格拉夫，苏珊娜;多龙·贝利德;苏菲·昆顿 2 2010 分布式系统的基于知识的调度。 Zbl 1288.68178号 萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 1 2010 基于模型检查的分布式系统优先级调度。 Zbl 1242.68033号 阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 4 2009 基于模型检查的遗传编程及其互斥应用。 Zbl 1134.68411号 加尔·卡茨;多龙·贝利德 5 2008 验证、模型检查和抽象解释。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。 Zbl 1134.68006号 2 2008 鉴别模型检查。 Zbl 1155.68444号 彼得·尼伯特;多龙·贝利德;阿米尔·普努利 2 2008 并发定时系统路径条件的自动生成。 Zbl 1293.68201号 萨德克本塞勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 1 2008 遗传编程和模型检查：合成新的互斥算法。 Zbl 1183.68376号 加尔·卡茨;多龙·贝利德 1 2008 基于交换性的边缘精益搜索。 Zbl 1171.68444号 博什纳奇·德拉甘;伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 1 2007 检测消息序列图集合中的种族。 Zbl 1186.68319号 伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 1 2007 量化不一致：消息序列图中的顺序差异。 兹比尔1141.68504 伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;鲍拉·斯波莱蒂尼 1 2007 自适应模型检查。 Zbl 1108.68073号 亚历克斯·格罗斯;多龙·贝利德;米哈利斯·亚纳卡基斯 三 2006 实施并发时间行为。 Zbl 1098.68080号 多龙·贝利德;曲洪阳 2 2006 灰盒检查。 Zbl 1225.68113号 伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;曲洪阳 2 2006 使用部分顺序快照对LTL进行有效的模型检查。 Zbl 1180.68177号 彼得·尼伯特;多龙·贝利德 1 2006 计算实时测试用例的概率。 Zbl 1183.68178号 马尔钦·尤尔季安斯基;多龙·贝利德;曲洪阳 1 2006 模型检查、测试和验证协同工作。 Zbl 1101.68681号 埃尔莎·冈特;多龙·贝利德 4 2005 快照验证。 Zbl 1087.68055号 布莱斯·基内斯特;迪特里赫·库斯克;安卡·穆斯科尔;多龙·贝利德 1 2005 为定时系统生成路径条件。 Zbl 1137.68351号 萨德克本塞勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 1 2005 用于验证和分析的自动化技术。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。 兹比尔1089.68013 1 2005 消息序列图。 Zbl 1088.68124号 布莱斯·基内斯特;安卡·穆斯科尔;多龙·贝利德 4 2004 使用模板MSC指定和验证部分订单属性。 Zbl 1126.68498号 布莱斯·基内斯特;马吕斯·米娜;安卡·穆斯科尔;多龙·贝利德 三 2004 计算机辅助验证。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。 Zbl 1056.68003号 2 2004 单元检查：对代码单元进行符号模型检查。 Zbl 1274.68188号 埃尔莎·冈特;多龙·贝利德 1 2003 并发系统的临时调试。 Zbl 1043.68592号 埃尔莎·冈特;多龙·贝利德 31 2002 黑盒检查。 Zbl 1046.68072号 多龙·贝利德;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯 16 2002 自适应模型检查。 Zbl 1043.68570号 亚历克斯·格罗斯;多龙·贝利德;米哈利斯·亚纳卡基斯 13 2002 使用消息序列图进行规范和验证。 Zbl 1268.68116号 多龙·贝利德 1 2002 比较软件系统的符号模型检查和显式模型检查。 Zbl 1077.68683号 辛迪·艾斯纳;多龙·贝利德 1 2002 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉吉耶夫;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 30 2001 从伪造到验证。 Zbl 1052.68086号 多龙·贝利德;阿米尔·普努利;祖克，莱诺 11 2001 合成消息序列图。 Zbl 0978.68549号 埃尔萨·甘特。;安卡·穆斯科尔;Doron A.Peled。 8 2001 软件可靠性方法。Edmund M.Clarke的前言。 Zbl 0980.68014号 Doron A.Peled。 8 2001 宽松的可视性增强了部分订单的减少。 Zbl 0995.68060号 多龙·贝利德;安蒂·瓦尔马里;伊尔卡·科科林宁 7 2001 从模型检查到时间证明。 Zbl 0985.68030号 多龙·贝利德;勒诺尔·扎克 5 2001 从有限状态通信协议到高级消息序列图。 Zbl 0986.68060号 安卡·穆斯科尔;多龙·贝利德 1 2001 一种用于软件可靠性的组合测试和验证方法。 Zbl 0977.68572号 娜塔莎·莎莉吉娜;多龙·贝利德 1 2001 并发对象正确性条件的模型检查。 兹比尔1003.68067 拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 17 2000 Marzurkiewicz跟踪上的消息序列图和决策问题。 Zbl 0955.68084号 安卡·穆斯科尔;多龙·贝利德 23 1999 分支时间逻辑模型检查的部分顺序方法。 Zbl 1045.68588号 罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克 20 1999 黑盒检查。 Zbl 0952.68012号 多龙·贝利德;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯 19 1999 使用偏序技术的状态空间约简。 Zbl 1065.68506号 克拉克，E.M。;O·格伦伯格。;米娜，M。;D.贝利德。 18 1999 “模型测量”的参数时序逻辑。 Zbl 0939.03021号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 4 1999 计算机辅助验证。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。 Zbl 0925.68015号 1 1999 用于检查时态逻辑规范和（ω）正则语言的闭包属性的算法方法。 Zbl 0915.68058号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 13 1998 向线性时序逻辑添加部分顺序。 Zbl 0930.68063号 吉里什·巴特;多龙·贝利德 2 1998 不需要下一时间操作符，就可以表达断断续续的时间属性。 Zbl 1337.68170号 多龙·贝利德;托马斯·威尔克 29 1997 嵌套深度优先搜索。 Zbl 0880.68084号 杰拉德·J·霍尔兹曼。;多龙·贝利德;米哈利斯·亚纳卡基斯 22 1997 部分降阶：线性和分支时序逻辑和过程代数。 Zbl 0883.68090号 多龙·贝利德 5 1997 关于射影和可分性质。 Zbl 0893.68090号 多龙·贝利德 1 1997 验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿大学。 兹比尔0863.00044 1 1997 将部分订单减少与飞行模型检查相结合。 Zbl 1425.68267号 多龙·贝利德 27 1996 用于检查\（\omega \）-正则语言的闭包属性的算法方法。 Zbl 1514.68109号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 三 1996 证明部分顺序属性。 兹比尔0803.68070 多龙·贝利德;阿米尔·普努利 12 1994 通过规范转换实现容错的组合框架。 Zbl 0812.68092号 多龙·贝利德;马泰·约瑟夫 三 1994 关于射影和可分性质。 Zbl 0938.68702号 D.贝利德。 2 1994 部分顺序时间属性的层次结构。 Zbl 0949.68537号 Kwiatkowska，M。;D.贝利德。;彭泽克，W。 1 1994 使用折叠定义条件独立性。 Zbl 0769.68082号 Shmuel Katz;多龙·贝利德 15 1992 使用代表性交错序列验证分布式程序。 Zbl 0773.68053号 Shmuel Katz;多龙·贝利德 12 1992 交错集时序逻辑。 Zbl 0718.03014号 Shmuel Katz;多龙·贝利德 14 1990 证明偏序活性性质。 Zbl 0765.68137号 多龙·贝利德;阿米尔·普努利 6 1990 一种有效的并行和分布式程序验证方法。（技术贡献）。 Zbl 0683.68015号 卡茨，S。;D.贝利德。 9 1989 所有引用出版物 前5名被引用出版物 全部的 前5名845位作者引用 29 Doron A.Peled。 10 马丁·齐默尔曼 9 安蒂·瓦尔马里 8 布莱斯·基内斯特 7 麝香草，安卡 7 莫西·亚亚科夫·瓦尔迪 6 艾哈迈德·博阿贾尼 6 康斯坦丁·埃纳 6 奥尔纳·库普弗曼 6 迪特里赫·库斯克 6 穆拉诺，阿尼洛 6 曲洪阳 6 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 5 拉杰夫·阿鲁尔 5 克里斯特尔·拜尔 5 Basin，大卫·A。 5 贝内迪克特·博利格 5 达纳·菲斯曼 5 马达瓦恩·穆昆德 5 阿米尔·普努利 4 帕罗什·阿齐兹·阿卜杜拉 4 卢博什·布里姆 4 克里希南德·查特吉 4 托马斯·亨辛格（Thomas A.Henzinger）。 4 本特·琼森 4 Shmuel Katz 4 克里斯滕森，拉尔斯·迈克尔 4 丹尼尔·科宁 4 K.Narayan Kumar 4 马丁·勒克 4 Tim A.C.Willemse。 三 亚历山德罗·阿巴特 三 达纳州安格鲁因 三 卡梅尔·巴考伊 三 萨德克·本萨勒姆 三 哈尼法布切尼布 三 萨加·查基 三 亚历山德罗·西马蒂 三 帕拉布·达斯古普塔 三 德奥利维拉·奥利维拉，马特乌斯 三 曼弗雷德·德罗斯特 三 迈克尔·埃米 三 尼西姆·弗朗西兹 三 苏珊娜·格拉芙 三 朱利安·古铁雷斯 三 贾德·哈姆扎 三 亨利·汉森 三 洛依茨海露 三 杰拉德·J·霍尔兹曼。 三 彼得·格约尔·詹森 三 Sr Djan Krstić 三 萨尔瓦多拉托雷 三 彼得·兰米奇 三 弗雷德里克·朗 三 金·古德斯特兰·拉森 三 马库斯·洛伊 三 托马斯·内勒 三 丹尼尔·奈德 三 马可·罗维里 三 萨沙·鲁宾 三 维克多·舒潘 三 吉·斯尔巴 三 Leander Tentrup公司 三 斯特凡诺·托内塔 三 亚历山大·韦内特 三 托马斯·威尔克 三 杨绍发 三 张丽君 2 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 阿克西，S。 2 奥马尔·巴塔内赫 2 穆罕默德·法乌齐（Mohamed Faouzi Atig） 2 JiříBarnat 2 伊梅内·本·哈菲德 2 尼古拉·贝内什 2 安娜·贝纳斯科尼 2 弗雷德里克·梅耶·伯内兰 2 劳拉·博泽利 2 卡德，莫菲 2 伊万娜·乔纳 2 陈玉芳 2 阿伦·程 2 Frank Ciesinski先生 2 克拉克（Edmund Melson jun Clarke）。 2 Thao Dang先生 2 当、哲 2 蒂鲍特·达迪尼尔 2 Dixit，Manoj G。 2 托马索·德罗西 2 段振华 2 斯特凡·爱德坎普 2 伊迪丝·埃尔金 2 Kousha Etessami公司 2 马可·费拉 2 阿扎德法尔赞 2 阿兰·芬克尔 2 法语，蒂姆 2 哈达尔·弗兰克尔 2 约翰·加拉赫（John P.Gallagher）。 2 休伯特·加拉维 …还有745名作者 全部的 前5名56篇连载文章被引用 45 理论计算机科学 35 系统设计中的形式化方法 20 信息与计算 17 计算的形式化方面 13 信息学报 11 信息处理信件 8 程序设计中的逻辑和代数方法杂志 7 逻辑与代数程序设计杂志 7 计算机科学中的逻辑方法 6 自动推理杂志 5 计算机与系统科学杂志 4 计算机程序设计科学 4 离散事件动态系统 4 分布式计算 4 计算系统理论 4 计算机基础理论 三 信息科学 三 国际计算机科学基础杂志 三 逻辑程序设计理论与实践 三 计算机科学评论 2 国际并行程序设计杂志 2 数学与人工智能年鉴 2 国际应用数学与计算机科学杂志 2 应用逻辑杂志 2 Modelirovanie i Analiz信息系统 1 人工智能 1 国际通用系统杂志 1 Automatica公司 1 计算 1 编程和计算机软件 1 计算机科学与技术杂志 1 国际近似推理杂志 1 并行与分布式计算杂志 1 实时系统 1 机器学习 1 吉泰。实验与理论人工智能杂志 1 应用概率年鉴 1 MSCS公司。计算机科学中的数学结构 1 应用智能 1 国际计算机数学杂志 1 控制论与系统分析 1 国际计算机与系统科学杂志 1 应用非经典逻辑杂志 1 组合数学电子杂志 1 工程中的数学问题 1 美国医学会杂志 1 Informatica（维尔纽斯） 1 萨达纳 1 计算机语言、系统和结构 1 数学生物科学与工程 1 理论计算机科学的基础和发展趋势 1 密码学和通信 1 科学中国。信息科学 1 中国计算机科学前沿 1 计算机科学前沿 1 膜计算杂志 全部的 前5名19个领域引用 416 计算机科学（68-XX） 89 数学逻辑和基础（03-XX） 32 系统论；控制（93至XX） 18 博弈论、经济学、金融和其他社会和行为科学（91-XX） 12 运筹学、数学规划（90-XX） 8 概率论与随机过程（60-XX） 7 信息和通信理论，电路（94-XX） 5 组合数学（05-XX） 4 常微分方程（34-XX） 三 总体主题；集合（00-XX） 三 阶、格、有序代数结构（06-XX） 三 生物学和其他自然科学（92-XX） 2 凸和离散几何（52-XX） 2 数值分析（65-XX） 1 场论和多项式（12-XX） 1 群论与推广（20-XX） 1 变分法与最优控制；最优化（49至XX） 1 统计学（62-XX） 1 粒子和系统力学（70-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.