×
作者ID: 长.david-e最近由“Long,David E.”撰写的zbMATH文章
发布日期: Long,David E。;龙,D.E。
编入索引的文档: 5出版物自1989年以来
合著者: 6位合著者具有4联合出版物
172位合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文