大卫·R·穆瑟
人员信息
附属： 美国纽约州特洛伊伦斯勒·普里奇学院
优化列表
2010 – 2019
2013 
[公元34年] 大卫·R·穆瑟 ， 卡洛斯·瓦雷拉 :
关于行动者系统的结构化推理。 阿盖尔@ 溅水 2013 : 37-48
2000 – 2009
2008 [公元33年] 艾特金·瓦尔根 ， 大卫·R·穆瑟 :
代码聚合理论。 囊 2008 : 376-383 [i1] 大卫·R·穆瑟 ， 戈尔·尼沙诺夫 :
一种快速通用序列匹配算法。 CoRR公司 abs/0810.0264 ( 2008 ) 2006 [公元32年] 安娜·L·米兰诺娃 ， 索尼娅·法赫米 
， 大卫·R·穆瑟 ， 比伦特·耶纳 :
网络虚拟化的安全编程范例。 宽带 2006 [公元31年] 乔什·布洛赫 ， 贾科·贾尔维 ， 大卫·R·穆瑟 ， 西比尔·舒普 ， Jeremy G.Siek先生 :
LCSD：以图书馆为中心的软件设计。 OOPSLA指南 2006 : 618 2005 [公元20年] 道格拉斯·P·格雷戈尔 ， 贾科·贾尔维 ， 马约雷什·库尔卡尼 ， 安德鲁·卢姆斯代恩 ， 大卫·R·穆瑟 ， 西比尔·舒普 :
通用编程和高性能库。 国际J并行程序。 33 ( 2-3 ) : 145-164 ( 2005 ) 2004 [公元30年] 贾科·贾尔维 ， 安德鲁·卢姆斯代恩 ， 道格拉斯·格雷戈 ， 马约雷什·库尔卡尼 ， 大卫·R·穆瑟 ， 西比尔·舒普 :
通用编程和高性能库。 IPDPS下一代软件计划-NSFNGS-PI研讨会 2004 2003 [公元19年] 道格拉斯·格雷戈 ， 西比尔·舒普 ， 大卫·R·穆瑟 :
用于库优化的设计模式。 科学。 程序。 11 ( 4 ) : 309至320 ( 2003 ) 2002 [公元18年] 西比尔·舒普 ， 道格拉斯·格雷戈 ， 大卫·R·穆瑟 ， 刘新明 :
语义和行为库转换。 Inf.软件。 Technol公司。 44 ( 13 ) : 797-810 ( 2002 ) [公元29年] 大卫·R·穆瑟 ， 邵志清 :
概念使用或概念提炼：建筑通用规范中的一个重要区别。 ICFEM公司 2002 : 132-143 [公元28年] 威廉·克洛斯特梅耶 ， 大卫·R·穆瑟 ， 阿图罗·J·Sánchez-Ruíz :
作为一般迭代模式完成遍历。 通用编程 2002 : 187-206 [公元27年] 西比尔·舒普 ， 道格拉斯·格雷戈 ， B.奥斯曼 ， 大卫·R·穆瑟 ， 杰里米·西克 ， 李全全（Lie-Quan Lee） ， 安德鲁·卢姆斯代恩 :
基于概念的组件库和优化编译器。 IPDPS公司 2002 2001 [公元26年] 西比尔·舒普 ， 道格拉斯·格雷戈 ， 大卫·R·穆瑟 ， 刘新明 :
用户扩展简化-基于类型的优化器生成器。 科科斯群岛 2001 : 86-101 [公元25年] 道格拉斯·格雷戈 ， 西比尔·舒普 ， 大卫·R·穆瑟 :
基类注入。 英国普通中等教育证书 2001 : 106-117 [公元24年] 西比尔·舒普 ， 道格拉斯·格雷戈 ， 大卫·R·穆瑟 :
图书馆转型。 SCAM公司 2001 : 111-123 2000 [e1] 梅迪·贾萨耶里 ， 吕迪格·卢斯 ， 大卫·R·穆瑟 :
泛型编程，泛型编程国际研讨会，德国达格斯图尔城堡，1998年4月27日至5月1日，论文集。 计算机科学课堂讲稿 1766, 施普林格 2000 ，国际标准图书编号 3-540-41090-2 [目录]
1990 – 1999
1998 [公元17年] 埃里克·加梅斯 ， 大卫·R·穆瑟 ， 阿图罗·J·Sánchez-Ruíz :
使用标准模板库完成遍历及其实现。 CLEI Electron公司。 J。 1 ( 2 ) ( 1998 ) [c23] 大卫·R·穆瑟 ， 西比尔·舒普 ， 吕迪格·卢斯 :
面向需求的编程。 通用编程 1998 : 12-24 [公元22年] 大卫·R·穆瑟 ， 阿图罗·J·Sánchez-Ruíz :
完全遍历的理论和一般性。 通用编程 1998 : 91-101 1997 [公元16年] 大卫·R·穆瑟 :
反思性排序和选择算法。 柔和。 实际。 支出。 27 ( 8 ) : 983-993 ( 1997 ) [公元15年] 王长庆 ， 大卫·R·穆瑟 :
C++通用算法的动态验证。 IEEE传输。 软件工程。 23 ( 5 ) : 314-323 ( 1997 ) 1996 【b1】 大卫·R·穆瑟 ， 阿图尔·塞尼 :
STL教程和参考指南-使用标准模板库进行C++编程。 Addison-Wesley专业计算系列 ， 出版商 1996 ，国际标准图书编号 978-0-201-63398-6 第I-XXI、1-400页 【c21】 阿尔林森村 ， 埃里希·卡尔托芬 ， 大卫·R·穆瑟 :
精确除法的广义Gram-Schmidt正交化。 ISSAC公司 1996 : 275-282 1994 [公元14年] 大卫·R·穆瑟 ， 亚历山大·斯捷潘诺夫 :
面向算法的泛型库。 柔和。 实际。 支出。 24 ( 7 ) : 623-642 ( 1994 ) [j13] 迪帕克·卡普尔 ， 聂旭敏 ， 大卫·R·穆瑟 :
Tecton证明系统概述。 西奥。 计算。 科学。 133 ( 2 ) : 307-339 ( 1994 ) 1992 [公元20年] 迪帕克·卡普尔 ， 大卫·R·穆瑟 ， 聂旭敏 :
Tecton证明系统。 数据库和软件工程中的形式化方法 1992 : 54-79 1991 [公元12年] 迪帕克·卡普尔 ， 大卫·R·穆瑟 ， 巴利亚特·纳伦德兰 ， 乔纳森·斯蒂尔曼 :
半统一。 西奥。 计算。 科学。 81 ( 2 ) : 169-187 ( 1991 ) [第19条] 拉杰·阿加瓦尔 ， 大卫·R·穆瑟 ， 迪帕克·卡普尔 ， 聂旭敏 :
Tecton证明系统。 区域贸易协定 1991 : 442-444
1980 – 1989
1988 [公元11年] 迪帕克·卡普尔 ， 大卫·R·穆瑟 ， 巴利亚特·纳伦德兰 :
在Knuth-Bendix完井程序中只需考虑素数叠加。 J.塞姆。 计算。 6 ( 1 ) : 19-36 ( 1988 ) [第18条] 迪帕克·卡普尔 ， 大卫·R·穆瑟 ， 巴利亚特·纳伦德兰 ， 乔纳森·斯蒂尔曼 :
半统一。 FSTTCS公司 1988 : 435-454 [第17条] 大卫·R·穆瑟 ， 亚历山大·斯特帕诺夫 :
通用编程。 ISSAC公司 1988 : 13-25 1987 [公元10年] 迪帕克·卡普尔 ， 大卫·R·穆瑟 :
一致性证明。 Artif公司。 智力。 31 ( 2 ) : 125-157 ( 1987 ) [第16条] 大卫·R·穆瑟 ， 亚历山大·斯特帕诺夫 :
Ada中的通用算法库。 SIGAda公司 1987 : 216-225 1986 [第15条] 迪帕克·卡普尔 ， 大卫·R·穆瑟 :
规范不完整的归纳推理（初步报告）。 低收入国家 1986 : 367-377 1985 [公元9年] 大卫·R·穆瑟 :
帮助实现AFFIRM-85中的层次规范结构和重用定理。 ACM SIGSOFT软件。 工程注释 10 ( 4 ) : 2-4 ( 1985 ) [第14条] 迪帕克·卡普尔 ， 约瑟夫·蒙迪 ， 大卫·R·穆瑟 ， 巴利亚特·纳伦德兰 :
关于三维空间的推理。 ICRA公司 1985 : 405-410 1983 [j8] 约翰·V·古塔格 ， 迪帕克·卡普尔 ， 大卫·R·穆瑟 :
重写系统的一致终止和限制终止的证明。 SIAM J.计算。 12 ( 1 ) : 189-214 ( 1983 ) [j7] 埃里希·卡尔托芬 ， 大卫·R·穆瑟 ， B.大卫·桑德斯 :
难以分解的广义多项式类。 SIAM J.计算。 12 ( 三 ) : 473-483 ( 1983 ) 1982 [第13条] 大卫·R·穆瑟 ， 迪帕克·卡普尔 :
重写规则理论和抽象数据类型分析。 欧洲摄像公司 1982 : 77-90 [第12条] 约翰·V·古塔格 ， 迪帕克·卡普尔 ， 大卫·R·穆瑟 :
派生对、重叠闭包和重写多米诺骨牌：分析术语重写系统的新工具。 ICALP公司 1982 : 300-312 1981 [第11条] 迪帕克·卡普尔 ， 大卫·R·穆瑟 ， 亚历山大·斯特帕诺夫 :
Tecton：操作通用对象的语言。 程序规范 1981 : 402-414 [第10条] 迪帕克·卡普尔 ， 大卫·R·穆瑟 ， 亚历山大·斯特帕诺夫 :
运算符和代数结构。 FPCA公司 1981 : 59胜64负 【c9】 埃里希·卡尔托芬 ， 大卫·R·穆瑟 ， B.大卫·桑德斯 :
一类很难考虑的广义多项式。 SYMSACC公司 1981 : 188-194 1980 [j6] 大卫·R·穆瑟 :
AFFIRM系统中的抽象数据类型规范。 IEEE传输。 软件工程。 6 ( 1 ) : 24至32 ( 1980 ) 【c8】 罗迪·埃里克森 ， 大卫·R·穆瑟 :
AFFIRM定理证明者：证明森林和大型证明的管理。 CADE公司 1980 : 220-231 【c7】 苏珊·L·格哈特 ， 大卫·R·穆瑟 ， 大卫·H·汤普森 ， D.A.贝克 ， R.L.贝茨 ， 罗迪·埃里克森 ， 拉尔夫·L·伦敦 ， D.G.泰勒 ， 大卫·S·威尔 :
AFFIRM概述：规范和验证系统。 IFIP大会 1980 : 343-347 【c6】 大卫·R·穆瑟 :
关于证明抽象数据类型的归纳性质。 府绸 1980 : 154-162
1970 – 1979
1978 [j5] 约翰·V·古塔格 ， 霍罗威茨 ， 大卫·R·穆瑟 :
抽象数据类型和软件验证。 公社。 ACM公司 21 ( 12 ) : 1048-1064 ( 1978 ) [j4] 大卫·R·穆瑟 :
多项式不可约性检验的有效性。 美国临床医学杂志 25 ( 2 ) : 271-282 ( 1978 ) 1977 [j3] 乔治·E·柯林斯 ， 大卫·R·穆瑟 :
Pope-Stein除法算法分析。 信息处理。 莱特。 6 ( 5 ) : 151-155 ( 1977 ) 【c5】 约翰·V·古塔格 ， 霍罗威茨 ， 大卫·R·穆瑟 :
代数规格说明的一些扩展。 可靠软件的语言设计 1977 : 63-67 1976 【c4】 约翰·D·利普森 ， 霍罗威茨 ， 大卫·R·穆瑟 :
SIGSAM（教程）。 ACM年会 1976 : 435 【c3】 约翰·V·古塔格 ， 霍罗威茨 ， 大卫·R·穆瑟 :
数据类型规范的设计。 ICSE公司 1976 : 414-420 1975 [j2] 大卫·R·穆瑟 :
多元多项式因子分解。 美国临床医学杂志 22 ( 2 ) : 291-308 ( 1975 ) 1974 [j1] 乔治·E·柯林斯 ， 大卫·R·穆瑟 ， 迈克尔·罗斯斯坦 :
问题7的SAC-1解决方案。 SIGSAM牛市。 8 ( 2 ) : 17-19 ( 1974 ) [c2] 拉尔夫·L·伦敦 ， 大卫·R·穆瑟 :
符号数学系统在程序验证中的应用。 ACM年会（1） 1974 : 265-273 1973 【c1】 雷蒙德·T·耶 ， 唐纳德一世很好 ， 大卫·R·穆瑟 :
计算机科学基础教学的新方向——离散结构和计算分析。 SIGCSE公司 1973 : 60-67
合著者索引
