编辑配置文件(在新选项卡中打开) 多伦,布斯坦 合著者距离 作者ID: 大鸨 发布日期: 多龙·布斯坦 外部链接: MGP公司 已编制索引的文档: 9出版物自2000年起 合著者: 7合著者具有9联合出版物 353位合作作者 全部的 前5名合著者 0 单作者的 5 奥尔纳·格伦伯格 4 莫西·亚亚科夫·瓦尔迪 三 奥尔纳·库普弗曼 1 罗伊·阿莫尼 1 阿隆·弗莱舍 1 约翰·W·哈夫利切克。 1 萨沙·鲁宾 系列 1 信息与计算 1 ACM计算逻辑事务 领域 9 计算机科学(68至XX) 4 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用59中的次52文件 引用人▼ 年份▼ 经常出现真空。 Zbl 1159.68311号 多龙·布斯坦;阿隆·弗莱舍;奥尔纳·格伦伯格;奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 2005 基于仿真的最小化。 Zbl 1365.68319号 多龙·布斯坦;奥尔纳·格伦伯格 12 2003 验证马尔可夫链的正则性质。 Zbl 1103.68072号 多龙·布斯坦;萨沙·鲁宾;莫舍·瓦尔迪。 10 2004 基于仿真的最小化。 Zbl 0963.68110号 多龙·布斯坦;奥尔纳·格伦伯格 7 2000 模态演算交替层次结构的度量崩溃。 Zbl 1122.68470号 多龙·布斯坦;奥尔纳·库普弗曼;Moshe Y.瓦尔迪。 6 2004 SystemVerilog断言的一些复杂性结果。 Zbl 1188.68184号 多龙·布斯坦;约翰·哈夫利切克 4 2006 线性时序逻辑中的重置与中止。 Zbl 1031.68075号 罗伊·阿莫尼;多龙·布斯坦;奥尔纳·库普弗曼;莫舍·瓦尔迪。 4 2003 公平模拟的适用性。 Zbl 1070.68089号 多龙·布斯坦;奥尔纳·格伦伯格 1 2004 公平模拟的适用性。 Zbl 1043.68567号 多龙·布斯坦;奥尔纳·格伦伯格 1 2002 SystemVerilog断言的一些复杂性结果。 Zbl 1188.68184号 多龙·布斯坦;约翰·哈夫利切克 4 2006 经常出现真空。 Zbl 1159.68311号 多龙·布斯坦;阿隆·弗莱舍;奥尔纳·格伦伯格;奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 2005 验证马尔可夫链的正则性质。 Zbl 1103.68072号 多伦,布斯坦;萨沙·鲁宾;莫舍·瓦尔迪。 10 2004 模态演算交替层次结构的度量崩溃。 Zbl 1122.68470号 多龙·布斯坦;奥尔纳·库普弗曼;莫舍·瓦尔迪。 6 2004 公平模拟的适用性。 Zbl 1070.68089号 多龙·布斯坦;奥尔纳·格伦伯格 1 2004 基于仿真的最小化。 Zbl 1365.68319号 多龙·布斯坦;奥尔纳·格伦伯格 12 2003 线性时序逻辑中的重置与中止。 Zbl 1031.68075号 罗伊·阿莫尼;多龙·布斯坦;奥尔纳·库普弗曼;莫舍·瓦尔迪。 4 2003 公平模拟的适用性。 Zbl 1043.68567号 多龙·布斯坦;奥尔纳·格伦伯格 1 2002 基于仿真的最小化。 Zbl 0963.68110号 多龙·布斯坦;奥尔纳·格伦伯格 7 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名104位作者引用 5 哈娜·乔克勒 5 莫西·亚亚科夫·瓦尔迪 4 张丽君 三 克里斯特尔·拜尔 三 达纳·菲斯曼 三 奥尔纳·库普弗曼 三 弗朗西斯科·兰扎托 三 斯特里赫曼(Ofer Strichman) 2 Nathalie Bertrand 2 罗德里克·布洛姆 2 达克斯,基督徒 2 马苏德·易卜拉希米 2 辛迪·艾斯纳 2 奥尔纳·格伦伯格 2 劳里·T·海拉。 2 斯特凡·基弗 2 费利克斯·克莱特克 2 安蒂·库西斯托 2 李勇 2 雷恩·Rönnholm 2 弗朗西斯科·塔帕罗 2 安德烈亚·图里尼 2 Tim A.C.Willemse。 1 艾丽卡·阿尔布拉汉姆 1 加尔阿姆拉姆 1 马尔科·贝克拉 1 贝恩德·贝克尔 1 肖姆·本·达维德 1 彼得·布利切夫(Peter E.Bulychev)。 1 多龙·布斯坦 1 贝诺·凯劳德 1 曹、杨 1 纳撒尼尔·查尔顿 1 亚历山德罗·西马蒂 1 科普提,费迪 1 斯乔德·克兰恩 1 达姆,丹尼斯·雷内 1 加布里埃尔·德·阿尔伯克基·格莱泽 1 贝诺·德拉哈耶 1 阿戈斯蒂诺·多维尔 1 斯特凡·爱德坎普 1 范文飞 1 冯伟志 1 冯、袁 1 汤姆·菲多尔 1 戈恩,希拉 1 卡洛斯·格雷戈里奥·罗德里格斯 1 马库斯·格勒 1 什巴希斯·古哈 1 Hadjicostis,Christopros N。 1 恩斯特·莫里茨·哈恩 1 约翰·W·哈夫利切克。 1 卢卡什·霍利克 1 怀、金鹏 1 大卫·詹森(David N.Jansen)。 1 詹森,尼尔斯 1 Joost-Pieter卡托恩 1 Jeroen J.A.Keiren。 1 彼得·基斯曼 1 约阿希姆·克莱因 1 马丁·兰格 1 金·古德斯特兰·拉森 1 Legay、Axel 1 Ondřej Lengál 1 斯特凡·洛伊 1 刘军 1 路易斯·利亚纳 1 马帅 1 库什拉伊·马德纳尼 1 鲁帕克·马朱姆达尔 1 沙哈尔·茂兹 1 拉斐尔·加西亚·马丁内斯 1 Manuel jun,马祖。 1 孟一鸣 1 米勒(David I。 1 庞、军 1 卡拉广场 1 活塞,或 1 贝斯·普洛格 1 阿尔贝托,Policriti 1 让-弗朗索瓦·拉斯金 1 克莱门斯·雷纳。 1 詹·奥利弗·林格特 1 马可·罗维里 1 克里斯汀·伊冯·罗泽尔 1 西瓦尼特·鲁阿 1 阿诺希拉万·萨布里 1 马可·萨梅尔 1 莉塞特·桑切斯 1 克里斯蒂安·席林 1 菲利普·施诺贝伦 1 维克多·舒潘 1 吉·斯尔巴 1 斯特凡诺·托内塔 1 范格拉贝克、罗伯特·扬 1 赫尔穆特·维思 1 汤姆·沃纳 1 威格·威瑟林克 1 卡斯·威德肖恩 1 拉尔夫·维默(Ralf D.Wimmer)。 …还有4位作者 全部的 前5名14篇连载文章中引用 7 信息与计算 5 系统设计中的形式化方法 4 信息学报 2 理论计算机科学 1 信息处理信件 1 ACM数据库系统事务 1 信息科学 1 计算机与系统科学杂志 1 编程与计算机软件 1 计算机程序设计科学 1 计算的形式方面 1 ACM计算逻辑事务 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 51 计算机科学(68至XX) 16 数理逻辑与基础(03-XX) 8 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 三 系统论;控制(93至XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 按年份列出的引文