编辑配置文件(在新选项卡中打开) Long,David E。 合著者距离 作者ID: 长.david-e 发布日期: Long,David E。;龙,D.E。 编入索引的文档: 5出版物自1989年以来 合著者: 6位合著者具有4联合出版物 172位合作作者 全部的 前5名合著者 0 单作者的 4 克拉克(Edmund Melson jun Clarke)。 2 Soumitra Bose公司 2 斯皮罗·米查洛夫 1 Jha,萨默什 1 威尔·马里罗 1 肯尼思·麦克米兰。 1 约翰·图本 系列 1 计算物理杂志 1 理论计算机科学 1 自动推理杂志 领域 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用53中的次52文件 引用人▼ 年份▼ 一种改进的不动点表达式求值算法。 Zbl 0901.68118号 Browne,A。;克拉克,E.M。;Jha,S。;Long博士。;西马里罗。 26 1997 成分模型检查。 Zbl 0716.68035号 E.M.克拉克。;龙,D.E。;麦克米兰,K.L。 22 1989 非均匀一维交错网格上的数值波传播。 Zbl 1217.65173号 再见,大卫;J·图本。 4 2011 帕特农神庙:非霍恩子句的并行定理证明程序。 Zbl 0716.68076号 Soumitra Bose公司;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;斯皮罗·米查洛夫 4 1989 PARTHENON:非horn子句的并行定理证明程序。 Zbl 0759.68079号 Soumitra Bose公司;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;斯皮罗·米查洛夫 1 1992 非均匀一维交错网格上的数值波传播。 Zbl 1217.65173号 再见,大卫;J·图本。 4 2011 一种改进的不动点表达式求值算法。 Zbl 0901.68118号 A.布朗。;E.M.克拉克。;Jha,S。;龙,D.E。;西马里罗。 26 1997 PARTHENON:非horn子句的并行定理证明程序。 Zbl 0759.68079号 Soumitra Bose公司;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;斯皮罗·米查洛夫 1 1992 成分模型检查。 Zbl 0716.68035号 E.M.克拉克。;龙,D.E。;麦克米兰,K.L。 22 1989 帕特农神庙:非霍恩子句的并行定理证明程序。 Zbl 0716.68076号 Soumitra Bose公司;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;斯皮罗·米查洛夫 4 1989 所有引用出版物 前5名被引用出版物 全部的 前5名106位作者引用 8 斯文·舍韦 3 毛兹,沙哈尔 2 加尔阿姆拉姆 2 萨德克·本萨勒姆 2 马吕斯·博兹加 2 朱利安·查尔斯·布拉德菲尔德 2 段振华 2 马丁·兰格 2 杰拉尔德·吕特根 2 罗比·马利克 2 阮,Thanh-Hung 2 帕里斯(Pawe Parys) 2 撒尿者,或 2 詹·奥利弗·林格特 2 伯恩哈德·斯特芬 2 田聪 2 亚历山大·韦内特 2 马丁·齐默尔曼 1 罗莎·阿巴斯 1 马克·艾吉耶 1 保罗·巴拉里尼 1 安娜丽莎·博西 1 弗莱德里克·博朗格 1 罗曼·布伦吉尔 1 马蒂亚斯·布里尔 1 奥拉夫·伯卡特 1 克里斯蒂安·卡鲁德。 1 萨加·查基 1 克拉克(Edmund Melson jun Clarke)。 1 兰斯·克莱维兰 1 拉内·克利维兰 1 当、哲 1 伊迪丝·埃尔金 1 马丁·费比安 1 伊利耶斯·法尔科内 1 伯恩德·芬克贝纳 1 伊丽莎白·菲尔曼 1 菲克斯,利莫 1 里卡多·福卡迪 1 尤格尼·福斯托科斯 1 加亚尔斯克,雅库布 1 布莱斯·基内斯特 1 法特梅·加塞米 1 萨拉·格拉达拉 1 苏珊娜·格拉芙 1 伊雷纳游击队 1 恩斯特·莫里茨·哈恩 1 丹尼尔·豪斯曼 1 安德拉斯·霍斯 1 S.Purushothaman Iyer 1 穆罕默德·伊扎迪。 1 穆罕默德·贾伯。 1 桑杰贾恩 1 坎金,A.S。 1 比拉尔·坎索 1 拉丁·科斯拉维 1 Bakhadyr M.库萨诺夫。 1 波胡斯拉夫·科埃纳 1 迈克尔·兰皮斯 1 莱茨,莱因霍尔德 1 李伟 1 安德烈亚·马焦洛·谢蒂尼 1 米拉·塞德尔巴姆少校。 1 Kazuhisa Makino 1 安德烈亚·马西尼 1 瓦利亚·米苏 1 Mohajerani,萨哈尔 1 阿里·莫瓦加尔 1 穆拉利·纳拉西姆哈 1 蒙蒂,新生儿 1 聂旭敏 1 塞巴斯蒂安·奥德尼亚克 1 Doron A.Peled。 1 卡拉广场 1 斯里尼瓦斯·皮尼塞蒂 1 大卫·艾伦(David Alan),Plaisted 1 安吉特·普拉丹 1 曲洪阳 1 Jean-François拉斯金 1 罗普,Partha S。 1 萨宾娜·罗西 1 弗兰克·索尔格 1 奥坎·桑库尔 1 安东内拉·桑顿 1 弗雷德·施耐德。 1 卢茨·施罗德 1 赫尔穆特·塞德尔 1 娜塔莎·莎莉吉娜 1 约瑟夫·西法基斯 1 尼尚·辛哈 1 弗兰克·斯蒂芬 1 马克·塔弗 1 斯塔夫罗斯·特里帕基斯 1 阿舒托什特里维迪 1 安德烈亚·图里尼 1 托马斯·瓦尔盖塞 1 玛丽亚·路易莎·维拉尼 1 汤姆·沃纳 1 伊戈尔·瓦卢基维奇 1 王宗燕 …还有6位作者 全部的 前5名17篇连载文章中引用 6 理论计算机科学 3 信息学报 2 计算的形式方面 2 离散事件动态系统 2 系统设计中的形式化方法 2 RAIRO公司。理论信息学及其应用 1 人工智能 1 国际通用系统杂志 1 信息处理信件 1 计算机与系统科学杂志 1 编程和计算机软件 1 SIAM计算机杂志 1 信息与计算 1 自动推理杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 48 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 12 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 概率论与随机过程(60-XX) 按年份列出的引文