西莫·金斯堡
人员信息
附属： 南加州大学计算机科学系
优化列表
1990 – 1999
1999 
[公元87年] 西莫·金斯堡 , 南C.舒 , 丹·西莫维奇 :
自动数据重组。 J.大学。 计算。 科学。 5 ( 4 ) : 243-286 ( 1999 ) 1998 [公元86年] 西莫·金斯堡 , 肖扬·肖恩·王 :
规则序列操作及其在数据库查询中的使用。 J.计算。 系统。 科学。 56 ( 1 ) : 1-26 ( 1998 ) 1995 [公元85年] 郭竹东 , 西莫·金斯堡 :
链数据日志程序的分解 P（P） （左）线性1-规则组件。 J.日志。 程序。 23 ( 三 ) : 203-236 ( 1995 ) [公元84年] 西莫·金斯堡 , 田中胜美 :
对象历史记录的间隔查询。 西奥。 计算。 科学。 145 ( 1&2 ) : 291-316 ( 1995 ) 1993 [公元83年] 西莫·金斯堡 , 丹·西莫维奇 , 肖扬·肖恩·王 :
对象历史记录上与内容相关的间隔查询。 Inf.计算。 103 ( 1 ) : 30-67 ( 1993 ) [第1页] 西莫·金斯堡 :
对象和电子表格历史记录。 时态数据库 1993 : 271-293 1992 [公元27年] 西莫·金斯堡 , 肖扬·肖恩·王 :
通过Rs操作进行模式匹配：走向查询序列数据的统一方法。 豆荚 1992 : 293-300 1991 [公元82年] 郭竹东 , 西莫·金斯堡 :
对象历史记录的可本地化约束。 西奥。 计算。 科学。 90 ( 2 ) : 391-432 ( 1991 ) 1990 [公元81年] 西莫·金斯堡 , 丹田 :
仅输入相关对象历史记录。 J.计算。 系统。 科学。 40 ( 三 ) : 346-375 ( 1990 ) 【j80】 郭竹东 , 西莫·金斯堡 :
关于数据日志程序映射的分解。 西奥。 计算。 科学。 76 ( 1 ) : 143-177 ( 1990 )
1980 – 1989
1989 [公元79年] 赵勇军（Yongkyun Cho） , 西莫·金斯堡 :
对象历史的决策问题。 Inf.计算。 83 ( 2 ) : 245-263 ( 1989 ) [公元78年] 西莫·金斯堡 , 长街汤 :
对象历史的内聚性。 西奥。 计算。 科学。 63 ( 1 ) : 63-90 ( 1989 ) 1988 [c26] 西莫·金斯堡 , 斯蒂芬·库兹曼 :
对象历史和电子表格P-Simulation。 ICDT公司 1988 : 383-395 1987 [公元77年] 西莫·金斯堡 , 马克·吉森 
:
避免某些后续事件的对象历史记录。 Inf.计算。 73 ( 2 ) : 174-206 ( 1987 ) [公元76年] 西莫·金斯堡 , 长街汤 :
区间函数的规范形式。 西奥。 计算。 科学。 54 : 299-313 ( 1987 ) 1986 [公元75年] 谢尔盖·阿比特布尔 , 西莫·金斯堡 :
元组序列和词典索引。 美国临床医学杂志 33 ( 三 ) : 409-422 ( 1986 ) [公元74年] 西莫·金斯堡 , 理查德·哈尔 :
关系模型中的排序集。 美国临床医学杂志 33 ( 三 ) : 465-488 ( 1986 ) [公元73年] 西莫·金斯堡 , 长街汤 :
对象历史的投影。 西奥。 计算。 科学。 48 ( 三 ) : 297-328 ( 1986 ) [公元72年] 西莫·金斯堡 , 田中胜美 :
计算偶序列和对象历史。 ACM事务处理。 数据库系统。 11 ( 2 ) : 186-212 ( 1986 ) [公元25年] 董国柱 , 西莫·金斯堡 :
对象历史记录的可本地化约束。 XP7.52数据库理论研讨会 1986 [c24] 西莫·金斯堡 , 长街汤 :
对象历史的内聚性。 XP7.52数据库理论研讨会 1986 1985 [公元71年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
关于完成表以满足函数依赖。 西奥。 计算。 科学。 39 : 309-317 ( 1985 ) 【c23】 西莫·金斯堡 , 田中胜美 :
计算偶序列和对象历史：扩展抽象。 FODO公司 1985 : 333-343 [公元22年] 西莫·金斯堡 , 长街汤 :
对象历史的投影。 FODO公司 1985 : 345-358 1984 【c21】 谢尔盖·阿比特布尔 , 西莫·金斯堡 :
元组序列和索引。 ICALP公司 1984 : 41-50 [公元20年] 西莫·金斯堡 , 田中胜美 :
对象历史记录的间隔查询：扩展抽象。 超大规模数据库 1984 : 208-217 1983 [j70] 西莫·金斯堡 , 乔纳森·戈德斯廷 , 埃德温·H·斯潘（Edwin H.Spanier） :
论语法家族的平等。 J.计算。 系统。 科学。 26 ( 2 ) : 171-196 ( 1983 ) [公元69年] 西莫·金斯堡 , 理查德·哈尔 :
关系模型中的顺序依赖。 西奥。 计算。 科学。 26 : 149-195 ( 1983 ) [公元68年] 西莫·金斯堡 , 理查德·哈尔 :
函数依赖和Boyce-CODD范式族的特征。 西奥。 计算。 科学。 26 : 243-286 ( 1983 ) [第19条] 西莫·金斯堡 , 理查德·哈尔 :
关系模型中的排序集。 豆荚 1983 : 332-339 1982 [公元67年] 西莫·金斯堡 , 奥托·迈耶 :
树接受者和语法形式。 计算 29 ( 1 ) : 1-9 ( 1982 ) [j66] 西莫·金斯堡 , 萨米·穆罕默德·扎伊丹 :
函数依赖族的属性。 美国临床医学杂志 29 ( 三 ) : 678-698 ( 1982 ) [公元65年] 西莫·金斯堡 , 乔纳森·戈德斯廷 , 埃德温·H·斯潘尼尔 :
文法族的素分解定理。 J.计算。 系统。 科学。 24 ( 三 ) : 315-361 ( 1982 ) [公元64年] 梅拉·布拉特纳 , 西莫·金斯堡 :
位置限制语法形式和语法。 西奥。 计算。 科学。 17 : 1-27 ( 1982 ) 1981 [公元63年] 西莫·金斯堡 , 钱德拉·M·R·金塔拉 :
严格解释确定性下压接受者。 数学。 系统。 理论 14 : 229-240 ( 1981 ) [第18条] 西莫·金斯堡 , 理查德·哈尔 :
函数依赖和Boyce-Chodd范式数据库的特征。 XP2关系数据库理论研讨会 1981 [第17条] 西莫·金斯堡 , 理查德·哈尔 :
关系模型中的有序属性域。 XP2关系数据库理论研讨会 1981 1980 [电子2] 雷蒙德·米勒 , 西莫·金斯堡 , 沃尔特·A·伯克哈德 , 理查德·利普顿 :
1980年4月28日至30日在美国加利福尼亚州洛杉矶举行的第十二届ACM计算理论年会论文集。 ACM公司 1980 [目录]
1970 – 1979
1979 [公元62年] 西莫·金斯堡 , 梁本顿 , 奥托·迈耶 , 德特勒夫·沃奇克 :
语法形式的严格解释。 数学。 系统。 理论 12 : 233-252 ( 1979 ) 1978 [公元61年] 西莫·金斯堡 , 德里克·伍德 :
语法形式中的优先关系。 信息学报 11 : 79-88 ( 1978 ) [公元60年] 西莫·金斯堡 , 艾丽卡·M·罗兹 :
使用语法形式的动态语法规范。 IEEE传输。 软件工程。 4 ( 1 ) : 44-55 ( 1978 ) 1977 [公元59年] 西莫·金斯堡 :
1977年语法形式调查。 《网络学报》。 三 ( 4 ) : 269-280 ( 1977 ) [约58] 西莫·金斯堡 , 赫尔曼·A·莫勒 :
语法形式的准解释。 计算 19 ( 2 ) : 141-147 ( 1977 ) [公元57年] Armin B.Cremers公司 , 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
上下文无关语法族的结构。 J.计算。 系统。 科学。 15 ( 三 ) : 262-279 ( 1977 ) [公元56年] 西莫·金斯堡 , 南希·A·林奇 :
上下文无关语法形式中的派生复杂性。 SIAM J.计算。 6 ( 1 ) : 123-138 ( 1977 ) [公元55年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
下推接受表格。 西奥。 计算。 科学。 5 ( 三 ) : 307-320 ( 1977 ) [第16条] 梅拉·布拉特纳 , 西莫·金斯堡 :
上下文无关语法和位置受限语法的规范形式。 FCT公司 1977 : 49-53 1976 [约54] 西莫·金斯堡 , 赫尔曼·A·莫勒 :
关于强等价的上下文无关语法形式。 计算 16 ( 三 ) : 281-290 ( 1976 ) [公元53年] 西莫·金斯堡 , 南希·A·林奇 :
无上下文语法形式的大小复杂性。 美国临床医学杂志 23 ( 4 ) : 582-598 ( 1976 ) [公元52年] 西莫·金斯堡 , 乔纳森·戈德斯廷 , 希拉·格雷巴赫 :
一些统一可擦除的语言家族。 西奥。 计算。 科学。 2 ( 1 ) : 29-44 ( 1976 ) [第15条] 西莫·金斯堡 , 奥托·迈耶 :
语法形式的严格解释。 MFCS公司 1976 : 294-298 1975 [公元51年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
语法形式的替换。 信息学报 5 : 377-386 ( 1975 ) [约50] 西莫·金斯堡 , Grzegorz Rozenberg公司 :
TOL方案和控制集。 信息控制。 27 ( 2 ) : 109-125 ( 1975 ) [公元49年] 西莫·金斯堡 , 乔纳森·戈德斯廷 , 希拉·格雷巴赫 :
均匀可擦除AFL。 J.计算。 系统。 科学。 10 ( 2 ) : 165-182 ( 1975 ) [公元48年] Armin B.Cremers公司 , 西莫·金斯堡 :
上下文无关语法形式。 J.计算。 系统。 科学。 11 ( 1 ) : 86-117 ( 1975 ) [第14条] 西莫·金斯堡 , 南希·A·林奇 :
语法形式的比较复杂性。 STOC公司 1975 : 153-158 1974 [公元47年] 西莫·金斯堡 , 布拉尼斯拉夫·罗万 :
DOL语言中单词长度的周期性。 信息控制。 26 ( 1 ) : 34-44 ( 1974 ) [公元46年] 阿蒙·加布里利安 , 西莫·金斯堡 :
语法图式。 美国临床医学杂志 21 ( 2 ) : 213-226 ( 1974 ) [j45] 西莫·金斯堡 , 基因F.罗斯 :
堆栈计数器接收器和准实时接收器的等价性。 J.计算。 系统。 科学。 8 ( 2 ) : 243-269 ( 1974 ) [公元44年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
论不可比抽象语系（AFL）。 J.计算。 系统。 科学。 9 ( 1 ) : 88-108 ( 1974 ) [第13条] Armin B.Cremers公司 , 西莫·金斯堡 :
无上下文语法族的特征。 重拍 1974 : 199-204 [第12条] Armin B.Cremers公司 , 西莫·金斯堡 :
上下文无关语法形式。 ICALP公司 1974 : 364-382 1973 [公元43年] 西莫·金斯堡 , 乔纳森·戈德斯廷 :
交叉闭全AFL和递归可枚举语言。 信息控制。 22 ( 三 ) : 201-231 ( 1973 ) [公元42年] 西莫·金斯堡 , 希拉·格雷巴赫 :
关于有限编码AFA的AFL生成器。 J.计算。 系统。 科学。 7 ( 1 ) : 1-27 ( 1973 ) [公元41年] 阿蒙·加布里利安 , 西莫·金斯堡 :
结构化存储AFA。 IEEE传输。 计算机 22 ( 5 ) : 534-537 ( 1973 ) [第11条] 西莫·金斯堡 :
替代和（半）AFL。 MFCS公司 1973 : 65-69 1972 [j40] 西莫·金斯堡 , 希拉·格雷巴赫 :
多磁带AFA。 美国临床医学杂志 19 ( 2 ) : 193-221 ( 1972 ) [公元39年] 罗纳德·V·书 , 西莫·金斯堡 :
多堆栈计数器语言。 数学。 系统。 理论 6 ( 1 ) : 37-48 ( 1972 ) [公元38年] 西莫·金斯堡 , 乔纳森·戈德斯廷 :
在AFL的最大完整子AFL上。 数学。 系统。 理论 6 ( 三 ) : 241-242 ( 1972 ) [第10条] 阿蒙·加布里利安 , 西莫·金斯堡 :
结构化存储AFA（摘要）。 认知过程的形式方面 1972 : 70-71 【c9】 希拉·卡莱尔·格雷巴赫 , 西莫·金斯堡 , 乔纳森·戈尔丁 :
均匀可擦除AFL。 STOC公司 1972 : 207-213 1971 [公元37年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
具有半线性性质的AFL。 J.计算。 系统。 科学。 5 ( 4 ) : 365-396 ( 1971 ) [公元36年] 西莫·金斯堡 , 霍普克罗夫特 :
某些同态族下的AFL图像。 数学。 系统。 理论 5 ( 三 ) : 216-227 ( 1971 ) 【c8】 西莫·金斯堡 , 乔纳森·戈德斯廷 :
交集-封闭的完全AFL和递归枚举语言。 STOC公司 1971 : 121-131 1970 [j35] 西莫·金斯堡 , 迈克尔·哈里森 :
关于撤销AFL。 信息控制。 17 ( 4 ) : 395-409 ( 1970 ) [公元34年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
语言家族中的替代。 信息科学。 2 ( 1 ) : 83-110 ( 1970 ) [公元33年] 西莫·金斯堡 , 基因F.罗斯 :
关于某些AFL的发电机的存在。 信息科学。 2 ( 4 ) : 431-446 ( 1970 ) [公元32年] 西莫·金斯堡 , 霍普克罗夫特 :
双向气球自动机和AFL。 美国临床医学杂志 17 ( 1 ) : 3-13 ( 1970 ) [公元31年] 西莫·金斯堡 , 希拉·格雷巴赫 :
AFL负责人。 J.计算。 系统。 科学。 4 ( 4 ) : 308-338 ( 1970 )
1960 – 1969
1969 【j30】 西莫·金斯堡 , 芭芭拉派对 :
转换语法的数学模型。 信息控制。 15 ( 4 ) : 297-334 ( 1969 ) [电子1] 帕特里克·菲舍尔 , 西莫·金斯堡 , 迈克尔·哈里森 :
1969年5月5日至7日在美国加利福尼亚州玛丽娜·德尔雷伊举行的第一届ACM计算理论年度研讨会论文集。 ACM公司 1969 [目录] 1968 [公元29年] 西莫·金斯堡 , 迈克尔·哈里森 :
论终结标记的消除。 信息控制。 12 ( 2 ) : 103-115 ( 1968 ) [公元28年] 西莫·金斯堡 , 基因F.罗斯 :
关于换能器保存语言的注释。 信息控制。 12 ( 5/6 ) : 549-552 ( 1968 ) [公元27年] 西莫·金斯堡 , 迈克尔·哈里森 :
单向非确定性实时列表存储语言。 美国临床医学杂志 15 ( 三 ) : 428-446 ( 1968 ) [公元26年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
派生有界语言。 J.计算。 系统。 科学。 2 ( 三 ) : 228-250 ( 1968 ) [公元25年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
语法控制集。 数学。 系统。 理论 2 ( 2 ) : 159-177 ( 1968 ) 【c7】 西莫·金斯堡 , 霍普克罗夫特 :
双向气球自动机和AFL。 重拍 1968 : 292-297 【c6】 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
衍生约束语言。 重拍 1968 : 306-314 1967 [公元24年] 西莫·金斯堡 , 希拉·格雷巴赫 , 迈克尔·哈里森 :
堆栈自动机和编译。 美国临床医学杂志 14 ( 1 ) : 172-201 ( 1967 ) [公元23年] 西莫·金斯堡 , 希拉·格雷巴赫 , 迈克尔·哈里森 :
单向堆栈自动机。 美国临床医学杂志 14 ( 2 ) : 389-418 ( 1967 ) [公元22年] 西莫·金斯堡 , 迈克尔·哈里森 :
带括号的上下文无关语言。 J.计算。 系统。 科学。 1 ( 1 ) : 1-23 ( 1967 ) 【c5】 西莫·金斯堡 , 希拉·格雷巴赫 :
抽象的语言族。 重拍 1967 : 128-139 1966 [公元21年] 西莫·金斯堡 , 基因F.罗斯 :
传感器保存语言。 信息控制。 9 ( 2 ) : 153-176 ( 1966 ) [公元20年] 西莫·金斯堡 , 希拉·格雷巴赫 :
保留上下文相关语言的映射。 信息控制。 9 ( 6 ) : 563-582 ( 1966 ) [公元19年] 西莫·金斯堡 , 希拉·格雷巴赫 :
确定性上下文无关语言。 信息控制。 9 ( 6 ) : 620-648 ( 1966 ) [公元18年] 西莫·金斯堡 , 约瑟夫·乌利安 :
上下文无关语言中的歧义。 美国临床医学杂志 13 ( 1 ) : 62-89 ( 1966 ) [公元17年] 西莫·金斯堡 , 约瑟夫·乌利安 :
在无上下文语言中保持明确性和固有的歧义性。 美国临床医学杂志 13 ( 三 ) : 364-368 ( 1966 ) 【c4】 西莫·金斯堡 , 希拉·格雷巴赫 , 迈克尔·哈里森 :
单向堆栈自动机（扩展抽象）。 重拍 1966 : 47-52 1965 [公元16年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
通过两个磁带设备映射语言。 美国临床医学杂志 12 ( 三 ) : 423-434 ( 1965 ) 【c3】 西莫·金斯堡 , 希拉·格雷巴赫 :
确定性上下文无关语言。 SWCT公司 1965 : 203-220 1964 [公元15年] 西莫·金斯堡 , 托马斯·希伯德 :
正则集到正则集的机器映射的可解性。 美国临床医学杂志 11 ( 三 ) : 302-312 ( 1964 ) [c2] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
通过两个磁带设备映射语言。 SWCT公司 1964 : 57-67 1963 [公元14年] 西莫·金斯堡 , 基因F.罗斯 :
类ALGOL语言中的一些递归不可解问题。 美国临床医学杂志 10 ( 1 ) : 29-47 ( 1963 ) [j13] 西莫·金斯堡 , 基因F.罗斯 :
保留语言不可定义性的操作。 美国临床医学杂志 10 ( 2 ) : 175-195 ( 1963 ) [公元12年] 西莫·金斯堡 , 埃德温·H·斯潘（Edwin H.Spanier） :
上下文无关语言的商。 美国临床医学杂志 10 ( 4 ) : 487-492 ( 1963 ) 1962 [公元11年] 西莫·金斯堡 , H.戈登·赖斯 :
与ALGOL相关的两个语言家族。 美国临床医学杂志 9 ( 三 ) : 350-371 ( 1962 ) [公元10年] 西莫·金斯堡 :
抽象机器示例。 IRE事务处理。 电子。 计算。 11 ( 2 ) : 132-135 ( 1962 ) 1961 [公元9年] 西莫·金斯堡 :
抽象机器理论。 Commun公司。 ACM公司 4 ( 4 ) : 195 ( 1961 ) [j8] 西莫·金斯堡 :
不同类型的自动机接受的磁带集。 美国临床医学杂志 8 ( 1 ) : 81-86 ( 1961 ) [j7] 西莫·金斯堡 :
输入无关机器中状态的兼容性。 美国临床医学杂志 8 ( 三 ) : 400-403 ( 1961 ) 1960 [j6] 西莫·金斯堡 :
最小状态机中保留的连接属性。 美国临床医学杂志 7 ( 4 ) : 311-325 ( 1960 )
1950 – 1959
1959 [j5] 西莫·金斯堡 :
关于时序机中多余状态的约简。 美国临床医学杂志 6 ( 2 ) : 259-282 ( 1959 ) 【j4】 西莫·金斯堡 :
最小状态序列机的综合技术。 IRE变速器。 电子。 计算。 8 ( 1 ) : 13-24 ( 1959 ) [j3] 西莫·金斯堡 :
将给定机器简化为最小状态机器的技术。 IRE事务处理。 电子。 计算。 8 ( 三 ) : 346-355 ( 1959 ) [注2] 西莫·金斯堡 :
最小状态机的综合。 IRE事务处理。 电子。 计算。 8 ( 4 ) : 441-449 ( 1959 ) 1958 [j1] 西莫·金斯堡 :
关于区分机器终端状态的最小均匀实验的长度。 美国临床医学杂志 5 ( 三 ) : 266-280 ( 1958 ) 【c1】 西莫·金斯堡 :
关于抽象机器的一些评论。 ACM全国会议 1958 : 2:1-2:3
合著者索引
