编辑配置文件(在新选项卡中打开) Moszkowski,Ben C。 合著者距离 作者ID: 莫斯科夫斯基.ben-c 发布日期: 本·莫斯科夫斯基;莫斯科夫斯基,B。;Moszkowski,Ben C。;不列颠哥伦比亚省莫斯科夫斯基。 更多。。。较少的 已编制索引的文档: 22出版物自1977年以来,包括1本书 1名编辑贡献 合著者: 21位合著者具有13联合出版物 519合著作者 全部的 前5名合著者 10 单作者的 5 Dimitar P.Guelev。 2 安东尼奥·考伊 2 黑尔,罗杰 2 佐哈尔·曼纳 1 克里斯托弗·布尔佐斯卡 1 卡洛斯·何塞·佩雷拉·德·卢塞纳 1 朱利安·迪米特洛夫 1 段振华 1 安东尼·福斯蒂尼(Anthony A.Faustini)。 1 迈克尔·费希尔 1 Joseph Yehuda Halpern 1 海尔格·贾尼克 1 亚当·凯莱 1 汉娜·克劳代尔 1 马西耶·库特尼 1 卡洛斯·劳特巴赫 1 马丁·勒克 1 Manjunathaiah,M。 1 奥贡,穆罕默德·阿里 1 卡尔·施费尔 1 侯赛因·泽丹 全部的 前5名系列 3 应用非经典逻辑杂志 2 数学与人工智能年鉴 1 信息处理信件 1 符号计算杂志 1 计算的形式方面 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 计算机基础理论 1 计算机科学中的逻辑方法 1 巴西科学院 领域 19 数学逻辑和基础(03-XX) 18 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用120中的次85文件 引用人▼ 年份▼ 执行时序逻辑程序。 Zbl 0565.68003号 本·莫斯科夫斯基 39 1985 执行时序逻辑程序。(重印)。 Zbl 0658.68014号 不列颠哥伦比亚省莫斯科夫斯基。 17 1987 基于时间间隔的硬件语义。 Zbl 0534.68025号 约瑟夫·哈尔珀;佐哈尔·曼纳;本·莫斯科夫斯基 17 1983 区间时序逻辑中的推理。 Zbl 0542.68022号 本·莫斯科夫斯基;佐哈尔·曼纳 11 1984 有限时间命题区间时序逻辑的层次完备性证明。 Zbl 1181.03015号 莫斯科夫斯基,B。 10 2004 具有无限时间的命题区间时间逻辑的一个完整公理系统。 Zbl 1256.03023号 本·莫斯科夫斯基 10 2012 区间时序逻辑的自动机理论完备性证明。(扩展摘要)。 Zbl 0973.03508号 Moszkowski,Ben C。 3 2000 使用时态逻辑分析时态逻辑:基于区间的层次方法。 Zbl 1132.03006号 本·莫斯科夫斯基 3 2007 使用区间和时间反转进行组合推理。 Zbl 1378.03017号 本·莫斯科夫斯基 3 2014 序列合成时态公式类之间的互连。 Zbl 1287.03074号 本·莫斯科夫斯基 3 2013 时序逻辑中的并行编程。 兹比尔0645.68009 黑尔,罗杰;本·莫斯科夫斯基 1 1987 命题时态逻辑的层次完备性证明。 Zbl 1274.03034号 本·莫斯科夫斯基 1 2003 基于区间的命题时序逻辑的层次分析。 Zbl 1272.03092号 本·莫斯科夫斯基 1 2005 时间投影在交错并发中的应用。 Zbl 1369.68263号 本·莫斯科夫斯基;Dimitar P.Guelev。 1 2015 时间投影在交错并发中的应用。 Zbl 1369.68263号 本·莫斯科夫斯基;Dimitar P.Guelev。 1 2015 使用区间和时间反转进行组合推理。 Zbl 1378.03017号 本·莫斯科夫斯基 3 2014 序列合成时态公式类之间的互连。 Zbl 1287.03074号 本·莫斯科夫斯基 3 2013 具有无限时间的命题区间时间逻辑的一个完整公理系统。 Zbl 1256.03023号 本·莫斯科夫斯基 10 2012 使用时态逻辑分析时态逻辑:基于区间的层次方法。 Zbl 1132.03006号 本·莫斯科夫斯基 3 2007 基于区间的命题时序逻辑的层次分析。 Zbl 1272.03092号 本·莫斯科夫斯基 1 2005 有限时间命题区间时序逻辑的层次完备性证明。 Zbl 1181.03015号 莫斯科夫斯基,B。 10 2004 命题时态逻辑的层次完备性证明。 Zbl 1274.03034号 本·莫斯科夫斯基 1 2003 区间时序逻辑的自动机理论完备性证明。(扩展摘要)。 Zbl 0973.03508号 Moszkowski,Ben C。 3 2000 执行时序逻辑程序。(重印)。 Zbl 0658.68014号 不列颠哥伦比亚省莫斯科夫斯基。 17 1987 时序逻辑中的并行编程。 Zbl 0645.68009号 Hale,罗杰;本·莫斯科夫斯基 1 1987 执行时序逻辑程序。 Zbl 0565.68003号 本·莫斯科夫斯基 39 1985 区间时序逻辑中的推理。 Zbl 0542.68022号 本·莫斯科夫斯基;佐哈尔·曼纳 11 1984 基于时间间隔的硬件语义。 Zbl 0534.68025号 约瑟夫·哈尔珀;佐哈尔·曼纳;本·莫斯科夫斯基 17 1983 所有引用出版物 前5名被引用出版物 全部的 前5名118位作者引用 18 段振华 12 张楠 11 田聪 7 Dimitar P.Guelev。 7 Moszkowski,Ben C。 5 马,钱 4 安吉洛·蒙塔纳里 4 王晓兵 3 迈克尔·赖赫哈特·汉森 3 沃尔夫冈·雷夫 3 格哈德·谢尔霍恩 3 舒新峰 3 乔治·斯特鲁斯 3 博格丹·托凡 3 杨晓晓 3 赵亮 2 阿夫尼,盖伊 2 安东尼奥·考伊 2 狄龙,L.K。 2 杜洪伟 2 乌里·法伦贝格 2 瓦伦丁·F·戈兰科。 2 什巴希斯·古哈 2 伊恩·海耶斯。 2 彼得·霍夫纳 2 洪丹凡 2 克里斯蒂安·约翰森 2 奥尔纳·库普弗曼 2 G.库蒂。 2 梅利亚·史密斯,P.迈克尔 2 路易丝·莫瑟(Louise E.Moser)。 2 帕维尔·G·瑙莫夫。 2 奥贡,穆罕默德·阿里 2 罗马克里希纳,Y.S。 2 皮埃特罗·萨拉 2 Krzysztof,Zimiañski 1 马丁·阿巴迪 1 霍华德·巴林格 1 西蒙·巴姆勒 1 巴塔查吉,G.P。 1 比约纳,迪内斯 1 托马斯·博兰德 1 安东尼·邦纳。 1 劳拉·博泽利 1 克里斯托弗·布尔佐斯卡 1 艾伦·D·伯恩斯。 1 佩德罗·卡巴拉 1 卡梅隆·卡克 1 洛朗·卡塔赫 1 周朝晨 1 奈杰尔·查普曼。 1 克拉克(Edmund Melson jun Clarke)。 1 罗伯特·J·科尔文。 1 詹姆斯·克兰奇 1 当文雄(Dang Van Hung) 1 德波尔,弗兰克·S。 1 黛拉·莫妮卡,达里奥 1 斯特凡·德姆里。 1 Deters,摩根 1 马丁·迪盖兹 1 克莱尔·迪克森 1 西蒙·多尔蒂 1 杜定珠 1 杜伟昌 1 辛迪·艾斯纳 1 吉登·恩斯特 1 冯新余 1 迈克尔·费希尔 1 达纳·菲斯曼 1 傅明 1 Dov M.加巴伊。 1 毛里齐奥·加布里埃利 1 加拉纳基,克瑞西达 1 格雷厄姆·高夫 1 延斯·乌尔里克·汉森 1 轩尼诗,Matthew C.B。 1 C.A.R.Tony Hoare 1 詹姆斯·霍伊 1 乌尔里希Hustadt 1 海尔格·贾尼克 1 克利夫·琼斯。 1 Zvi Meir Kedem 1 迈克尔·基弗 1 贾纳·科勒 1 萨瓦斯·科努尔 1 马西耶·库特尼 1 斯特凡·库恩 1 奥里·拉哈夫 1 马丁·勒克 1 佐哈尔·曼纳 1 阿莱西奥·曼苏蒂 1 玛丽亚·希亚拉(Maria Chiara Meo) 1 巴德·米什拉 1 伯恩哈德·莫勒 1 Cláudia Nalon 1 克里斯托斯·诺米科斯 1 O'Hearn,Peter W。 1 理查德·欧文斯 1 阿希斯·帕尼。 1 阿德里亚诺·佩隆 …还有18位作者 全部的 前5名25篇连载文章中引用 23 理论计算机科学 8 计算的形式方面 7 应用非经典逻辑杂志 3 MSCS公司。计算机科学中的数学结构 3 数学与人工智能年鉴 2 信息学报 2 人工智能 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 自动推理杂志 2 逻辑与代数程序设计杂志 2 计算机科学前沿 1 信息处理信件 1 代数普遍性 1 符号计算杂志 1 数学和计算机建模 1 实时系统 1 国际计算机数学杂志 1 控制论与系统分析 1 系统设计中的形式化方法 1 工程中的数学问题 1 组合优化期刊 1 逻辑程序设计理论与实践 1 萨达纳 1 ACM计算逻辑事务 全部的 前5名11个领域引用 70 计算机科学(68至XX) 58 数学逻辑和基础(03-XX) 3 有序,格,有序代数结构(06-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文