迈克尔·哈里森
人员信息
附属: 美国加州大学伯克利分校
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2008 [公元46年] 迈克尔·哈里森 :
伯克利大学的吉姆·格雷。 SIGMOD记录。 37 ( 2 ) : 26-27 ( 2008 ) 2005 [j45] 谢尔盖·阿比特布尔 , 理查德·哈尔 , 维克托·维亚努 , 希拉·格雷巴赫 , 迈克尔·哈里森 , 霍罗威茨 , 丹尼尔·罗森克兰茨 , 杰弗里·D·厄尔曼 , 莫舍·瓦尔迪 :
1928-2004年纪念西莫·金斯堡。 SIGMOD记录。 34 ( 1 ) : 5-12 ( 2005 )
1990 – 1999
1997 [公元24年] 迈克尔·哈里森 , 万斯·马弗里克 :
通过树转换表示。 COMPCON公司 1997 : 68-73 【c23】 布莱恩·丹尼斯 , 迈克尔·哈里森 :
Grendel:具有最终用户扩展性的Web浏览器。 COMPCON公司 1997 : 74-79 1995 [公元22年] 布莱恩·丹尼斯 , 迈克尔·哈里森 :
超媒体创作系统中的技术问题(扩展摘要)。 COMPCON公司 1995 : 373-378 1994 【c21】 蒂姆·瓦格纳 , 万斯·马弗里克 , 苏珊·格雷厄姆 , 迈克尔·哈里森 :
程序优化的精确静态估计。 PLDI公司 1994 : 85-96 1993 [公元20年] 大津隆 , 迈克尔·哈里森 :
嵌入多媒体文档编辑器框架中的用户界面管理系统。 FODO公司 1993 : 35-50 1992 [第19条] 迈克尔·哈里森 :
证明某些上下文无关语言族中的非成员关系。 计算机科学理论研究 1992 : 15-71 [第18条] 苏珊·格雷厄姆 , 迈克尔·哈里森 , 伊桑·V·蒙森 :
Proteus演示系统。 SDE公司 1992 : 130-138 1991 [公元44年] 迈克尔·哈里森 , 伊桑·V·蒙森 :
为文档组件编号。 电子。 出版物。 4 ( 1 ) : 43-60 ( 1991 )
1980 – 1989
1988 [公元43年] 陈丕宏博士 , 迈克尔·哈里森 :
多表示文档开发。 电脑类 21 ( 1 ) : 15-31 ( 1988 ) [公元42年] 迈克尔·哈里森 , 伊桑·V·蒙森 :
论综合书目处理。 电子。 出版物。 2 ( 4 ) : 193-209 ( 1988 ) [公元41年] 陈丕宏博士 , 迈克尔·哈里森 :
索引准备和处理。 柔和。 实际。 支出。 18 ( 9 ) : 897-915 ( 1988 ) [第17条] 陈丕宏博士 , 迈克尔·哈里森 , Ikuo Minakata公司 :
增量文档格式。 DOCPROCS公司 1988 : 93-100 1986 [第16条] 陈丕宏博士 , 迈克尔·哈里森 , 杰弗里·麦卡雷尔 , 约翰·库克 , 史蒂夫·普洛克特 :
改进的T用户环境 E类 十、。 科学文献TEX 1986 : 32-44 [第15条] 陈丕宏博士 , 约翰·库克 , 迈克尔·哈里森 , 杰弗里·麦卡瑞尔 , 史蒂夫·普洛克特 :
V型 或 T型 E类 X文件编制环境。 科学文献TEX 1986 : 45-54 1985 [j40] 迈克尔·哈里森 :
操作系统保护的理论问题。 高级计算。 24 : 61-100 ( 1985 ) 1982 [公元39年] 彼得·J·丹尼 , 迈克尔·哈里森 , 凯萨琳·A·瓦格纳 , 亚伦·芬纳曼 , 丹尼尔·麦克拉肯 :
执行委员会对VLDB会议的立场。 SIGMOD记录。 12 ( 三 ) : 14a-14i ( 1982 ) 1981 [公元38年] 迈克尔·哈里森 , 阿米拉姆·耶胡代 :
消除线性时间中的空规则。 计算。 J。 24 ( 2 ) : 156-161 ( 1981 ) 1980 [公元37年] 苏珊·格雷厄姆 , 迈克尔·哈里森 , 沃尔特·卢佐 :
改进的无上下文识别器。 ACM事务处理。 程序。 语言系统。 2 ( 三 ) : 415-462 ( 1980 )
1970 – 1979
1979 [公元36年] 迈克尔·哈里森 , 阿米拉姆·耶胡代 :
确定性语言的层次结构。 J.计算。 系统。 科学。 19 ( 1 ) : 63-78 ( 1979 ) [j35] 迈克尔·哈里森 , 伊凡·哈维尔 , 阿米拉姆·耶胡代 :
通过转换树研究语法的等价性。 西奥。 计算。 科学。 9 : 173-205 ( 1979 ) 1978 [c14] 迈克尔·哈里森 :
编程和操作系统概述。 AFIPS全国计算机会议 1978 : 1077-1078 1977 [公元34年] Matthew M.盖勒 , 迈克尔·哈里森 :
特征分析:生成紧凑确定性分析程序的框架,I。 J.计算。 系统。 科学。 14 ( 三 ) : 265-317 ( 1977 ) [公元33年] 马修·盖勒 , 迈克尔·哈里森 :
特征分析:生成紧凑确定分析程序的框架,II。 J.计算。 系统。 科学。 14 ( 三 ) : 318-343 ( 1977 ) [公元32年] 马修·盖勒 , 迈克尔·哈里森 :
在LR上 (k) 语法和语言。 西奥。 计算。 科学。 4 ( 三 ) : 245-276 ( 1977 ) [e10] 罗伯特·格雷厄姆 , 迈克尔·哈里森 , 拉维·塞蒂 :
1977年1月于美国加利福尼亚州洛杉矶举行的第四届ACM编程语言原理研讨会会议记录。 ACM公司 1977 [目录] [电子9] 霍普克罗夫特 , 艾米莉·弗里德曼 , 迈克尔·哈里森 :
1977年5月4日至6日在美国科罗拉多州博尔德举行的第九届ACM计算理论年会论文集。 ACM公司 1977 [目录] 1976 [公元31年] 苏珊·格雷厄姆 , 迈克尔·哈里森 :
通用上下文无关语言的解析。 高级计算。 14 : 77-185 ( 1976 ) [j30] 迈克尔·哈里森 , 沃尔特·卢佐 , 杰弗里·D·厄尔曼 :
操作系统中的保护。 Commun公司。 ACM公司 19 ( 8 ) : 461-471 ( 1976 ) [公元29年] 马修·盖勒 , 迈克尔·哈里森 , 伊凡·哈维尔 :
确定性文法的正规形式。 谨慎。 数学。 16 ( 4 ) : 313-321 ( 1976 ) [第13条] 迈克尔·A·哈里森 , 苏珊·格雷厄姆 , 肯尼思·肯尼迪 , 梅拉·布拉特纳 :
SIGACT(教程)。 ACM年会 1976 : 22 [第12条] 迈克尔·哈里森 , 苏珊·格雷厄姆 , 肯尼思·肯尼迪 , 梅拉·布拉特纳 :
编译器设计和实现的理论结果(教程)。 ACM年会 1976 : 23 [第11条] 苏珊·格雷厄姆 , 迈克尔·哈里森 , 沃尔特·卢佐 :
不到立方时间的在线上下文无关语言识别(扩展摘要)。 STOC公司 1976 : 112-120 [电子8] 苏珊·L·格雷厄姆 , 罗伯特·格雷厄姆 , 迈克尔·A·哈里森 , 威廉·格罗斯基 , 杰弗里·D·厄尔曼 :
第三届美国计算机学会编程语言原理研讨会会议记录,美国佐治亚州亚特兰大,1976年1月。 美国计算机协会出版社 1976 [目录] [电子7] 阿肖克·K·钱德拉 , 德特勒夫·沃奇克 , 艾米莉·弗里德曼 , 迈克尔·哈里森 :
第八届美国计算机学会计算理论年会论文集,1976年5月3日至5日,美国宾夕法尼亚州赫尔希。 ACM公司 1976 [目录] 1975 [第10条] 迈克尔·哈里森 :
操作系统中的保护模型。 MFCS公司 1975 : 46-60 【c9】 迈克尔·哈里森 , 沃尔特·卢佐 , 杰弗里·D·厄尔曼 :
关于操作系统中的保护。 SOSP(标准操作程序) 1975 : 14-24 [电子6] 罗伯特·格雷厄姆 , 迈克尔·A·哈里森 , 约翰·雷诺兹 :
第二届ACM编程语言原理研讨会会议记录,美国加利福尼亚州帕洛阿尔托,1975年1月。 美国计算机协会出版社 1975 [目录] [电子5] 威廉·C·罗兹 , 南希·马丁 , 杰克·W·卡莱尔 , 迈克尔·哈里森 :
1975年5月5日至7日在美国新墨西哥州阿尔伯克基举行的第七届ACM计算理论年度研讨会论文集。 ACM公司 1975 [目录] 1974 [公元28年] 罗纳德·V·书 , 迈克尔·哈里森 :
互可分半群。 谨慎。 数学。 9 ( 4 ) : 329-332 ( 1974 ) [公元27年] 迈克尔·哈里森 , 伊凡·哈维尔 :
论确定性语言的解析。 美国临床医学杂志 21 ( 4 ) : 525-548 ( 1974 ) 【c8】 Matthew M.盖勒 , 苏珊·L·格雷厄姆 , 迈克尔·A·哈里森 :
生产前缀解析(扩展抽象)。 ICALP公司 1974 : 232-241 [电子4] 罗伯特·康斯特布尔 , 罗伯特·W·里奇 , 杰克·W·卡莱尔 , 迈克尔·哈里森 :
1974年4月30日至5月2日在美国华盛顿州西雅图举行的第六届ACM计算理论年会论文集。 ACM公司 1974 [目录] 1973 [公元26年] 吉姆·格雷 , 迈克尔·哈里森 :
规范优先方案。 美国临床医学杂志 20 ( 2 ) : 214-234 ( 1973 ) [公元25年] 迈克尔·哈里森 , 伊凡·哈维尔 :
严格确定性语法。 J.计算。 系统。 科学。 7 ( 三 ) : 237-277 ( 1973 ) [公元24年] 迈克尔·A·哈里森 :
关于二元矩阵的类数。 IEEE传输。 计算机 22 ( 12 ) : 1048-1052 ( 1973 ) 【c7】 马修·盖勒 , 迈克尔·哈里森 :
LR(0)语言的特征(扩展抽象)。 重拍 1973 : 103-108 【c6】 迈克尔·哈里森 :
关于覆盖和优先分析。 GI贾尔斯塔贡 1973 : 2-17 【c5】 马修·盖勒 , 迈克尔·哈里森 :
严格确定性与LR(0)解析。 POPL公司 1973 : 22-32 [电子3] 阿尔弗雷德·阿霍 , 阿伦·博罗丁 , 罗伯特·康斯特布尔 , 罗伯特·弗洛伊德 , 迈克尔·哈里森 , 理查德·卡普 , H.雷蒙德·斯特朗 :
1973年4月30日至5月2日在美国德克萨斯州奥斯汀举行的第五届ACM计算理论年会论文集。 ACM公司 1973 [目录] 1972 [公元23年] 吉姆·格雷 , 迈克尔·哈里森 :
关于上下文无关语法的覆盖和约简问题。 美国临床医学杂志 19 ( 4 ) : 675-698 ( 1972 ) [公元22年] 迈克尔·哈里森 , 伊凡·哈维尔 :
实时严格确定性语言。 SIAM J.计算。 1 ( 4 ) : 333-349 ( 1972 ) 【c4】 迈克尔·哈里森 , 伊凡·哈维尔 :
关于决定论语法家族(扩展摘要)。 ICALP公司 1972 : 413-441 1971 [公元21年] 迈克尔·哈里森 , 马里奥·施科利尼克 :
单向非确定性堆栈语言的语法特征。 美国临床医学杂志 18 ( 2 ) : 148-172 ( 1971 ) [电子2] 迈克尔·哈里森 , 拉南·巴纳尔基 , 杰弗里·D·厄尔曼 :
1971年5月3日至5日,美国俄亥俄州Shaker Heights,第三届ACM计算理论年度研讨会论文集。 ACM公司 1971 [目录] 1970 [公元20年] 西莫·金斯堡 , 迈克尔·哈里森 :
关于撤销AFL。 信息控制。 17 ( 4 ) : 395-409 ( 1970 ) [公元19年] 迈克尔·哈里森 :
B70-1真函数及其用二端图实现的问题。 IEEE传输。 计算机 19 ( 5 ) : 462 ( 1970 )
1960 – 1969
1969 [j18] 埃尔维·加莱尔 , 迈克尔·哈里森 :
线性序列机器的分解。 数学。 系统。 理论 三 ( 三 ) : 246-287 ( 1969 ) 【c3】 吉姆·格雷 , 迈克尔·哈里森 :
单程优先分析(扩展抽象)。 重拍 1969 : 106-117 [电子1] 帕特里克·C·费舍尔 , 西莫·金斯堡 , 迈克尔·哈里森 :
1969年5月5日至7日在美国加利福尼亚州玛丽娜·德尔雷伊举行的第一届ACM计算理论年度研讨会论文集。 ACM公司 1969 [目录] 1968 [公元17年] 西莫·金斯堡 , 迈克尔·哈里森 :
论终结标记的消除。 信息控制。 12 ( 2 ) : 103-115 ( 1968 ) [公元16年] 迈克尔·哈里森 , 奥斯卡·H·伊巴拉 :
多带多头下推自动机。 信息控制。 13 ( 5 ) : 433-470 ( 1968 ) [公元15年] 西莫·金斯堡 , 迈克尔·哈里森 :
单向非确定性实时列表存储语言。 美国临床医学杂志 15 ( 三 ) : 428-446 ( 1968 ) [公元14年] HervéGallaire公司 , 吉姆·格雷 , 迈克尔·A·哈里森 , 加博·T·赫尔曼 :
无限线性序列机器。 J.计算。 系统。 科学。 2 ( 4 ) : 381-419 ( 1968 ) [j13] 迈克尔·哈里森 :
论国家分配的等效性。 IEEE传输。 计算机 17 ( 1 ) : 55-57 ( 1968 ) 1967 [公元12年] 吉姆·格雷 , 迈克尔·哈里森 , 奥斯卡·H·伊巴拉 :
双向下推自动机。 信息控制。 11 ( 1/2 ) : 30-70 ( 1967 ) [公元11年] 西莫·金斯堡 , 希拉·格雷巴赫 , 迈克尔·哈里森 :
堆栈自动机和编译。 美国临床医学杂志 14 ( 1 ) : 172-201 ( 1967 ) [公元10年] 西莫·金斯堡 , 希拉·格雷巴赫 , 迈克尔·哈里森 :
单向堆栈自动机。 美国临床医学杂志 14 ( 2 ) : 389-418 ( 1967 ) [公元9年] 西莫·金斯堡 , 迈克尔·哈里森 :
带括号的上下文无关语言。 J.计算。 系统。 科学。 1 ( 1 ) : 1-23 ( 1967 ) [j8] 迈克尔·哈里森 :
关于确定时序机状态数的注记。 IEEE传输。 电子。 计算。 16 ( 5 ) : 689-690 ( 1967 ) 1966 [j7] 吉姆·格雷 , 迈克尔·哈里森 :
顺序关系理论。 信息控制。 9 ( 5 ) : 435-468 ( 1966 ) [j6] 迈克尔·哈里森 :
关于切换和自动机理论中的渐近估计。 美国临床医学杂志 13 ( 1 ) : 151-157 ( 1966 ) 【c2】 西莫·金斯堡 , 希拉·格雷巴赫 , 迈克尔·哈里森 :
单向堆栈自动机(扩展抽象)。 重拍 1966 : 47-52 1965 [j5] 迈克尔·哈里森 :
有限自动机的纠错能力。 信息控制。 8 ( 4 ) : 430-450 ( 1965 ) 1964 【j4】 迈克尔·哈里森 :
关于均匀分布的注记。 IEEE传输。 电子。 计算。 13 ( 5 ) : 630-631 ( 1964 ) 【c1】 迈克尔·哈里森 :
有限自动机普查(扩展摘要)。 SWCT公司 1964 : 44-46 1963 [j3] 迈克尔·哈里森 :
可逆布尔函数的类数。 美国临床医学杂志 10 ( 1 ) : 25-28 ( 1963 ) [注2] 理查德·阿诺德 , 迈克尔·哈里森 :
对称和部分对称布尔函数的代数性质。 IEEE传输。 电子。 计算。 12 ( 三 ) : 244-251 ( 1963 ) [j1] 迈克尔·哈里森 :
包含否定的群下布尔函数等价类的数目。 IEEE传输。 电子。 计算。 12 ( 5 ) : 559-561 ( 1963 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)