SIAM计算机杂志，第12卷
第12卷第1期，1983年2月
施特拉森 :
连分式的计算复杂性。 1-27 大卫·G·柯克帕特里克 :
平面细分中的最优搜索。 28-35 罗纳德·费金 , 大卫·迈尔 , 杰弗里·D·厄尔曼 , 米哈利斯·扬纳卡基斯 :
模板依赖项工具。 36-59 唐纳德·弗里森 , 迈克尔·兰斯顿 :
统一处理器上的多拟合调度的界。 60-70 约翰·雷夫 :
O（n log中平面无向网络的最小s-t割 2 （n） ）时间。 71-81 杰拉尔德·彼得森 :
一种建立完备性的技巧可以得到定理的等式证明。 82-100 汉斯·德格罗特 :
最小秩除代数的特征及其算法簇的结构。 101-117 肯尼思·苏波维特 , 爱德华·莱因戈尔德 :
最小加权欧几里德匹配的分治启发式。 118-143 肯尼思·苏波维特 , 爱德华·莱因戈尔德 , 大卫·A·普莱斯特 :
单位平方中的旅行推销员问题与最小匹配。 144-156 丹·古斯菲尔德 :
多终端网络流量合成的简单构造。 157-165 亚瑟·C·弗莱克 , R.S.利马耶 :
字符串模式操作的形式语义和抽象属性以及扩展的形式语言描述机制。 166-188 约翰·V·古塔格 , 迪帕克·卡普尔 , 大卫·R·穆瑟 :
重写系统的一致终止和限制终止的证明。 189-214
第12卷第2期，1983年5月
克里斯托斯·帕帕迪米特里奥 :
通过锁定进行并发控制。 215-226 小爱德华·G·考夫曼。 , M.R.Garey先生 , 大卫·S·约翰逊 :
动态纸盒包装。 227-258 帕特里克·菲舍尔 , 董敏祖（Don-Min Tsou） :
多值依赖集是否意味着联接依赖是NP-Hard。 259-266 阿夫拉·科恩 :
两个语义定义的等价性：LCF中的一个案例研究。 267-285 吕迪格·卢斯 :
用p-adic展开计算积分多项式的有理零点。 286-293 芭芭拉·西蒙斯 :
具有任意发布时间和截止时间的单位时间作业的多处理器调度。 294-299 克里斯蒂安·乔夫鲁特 , 卡雷尔·库利克二世 :
有限和下推传感器的特性。 300-315 叶霍舒亚·萨吉夫 :
限制关系表达式中最小化连接的二次算法。 316-328 弗拉基米尔·利夫希茨 , 鲍里斯·皮特尔 :
一类集合覆盖算法的最差和最可能性能。 329-346 尼姆罗德·梅吉多 :
线性规划的真正多项式算法。 347-353 苏珊·汉布拉什 :
连接元件问题的VLSI算法。 354-365 简·A·伯格斯特拉 , 约翰·V·塔克 :
数据类型规范的初始和最终代数语义：两个特征定理。 366-387 奥斯卡·H·伊瓦拉 , 什洛莫·莫兰 :
关于单带和离线TM的一些时空权衡结果。 388-394 马库斯·劳尔 :
广义p-adic结构。 395-410
第12卷第3期，1983年8月
雅科夫·耶莎 :
关于完备集到稀疏集的某些多项式时间真值表可约性。 411-425 大卫·M·崔 , C.K.Wong先生 :
最佳字母-贝塔叶树的构造及其在前缀编码和信息检索中的应用。 426-446 查尔斯·E·莱瑟森 , 罗恩·平特 :
河流路线的最佳布置。 447-462 迈克尔·路易斯 :
树到数组的最优动态嵌入。 463-472 埃里希·卡尔托芬 , 大卫·R·穆瑟 , B.大卫·桑德斯 :
难以分解的广义多项式类。 473-483 雅各布·E·古德曼 , 理查德·波拉克 :
多维排序。 484-507 布伦达·S·贝克 , 杰拉尔德·施瓦茨 :
二维装箱问题的货架算法。 508-525 约翰·H·罗兰 , 莱斯利·沙德尔 :
向量值递归子程序测试数据的选择。 526-538 山田久雄 , 伊莫里Masatosi :
元胞自动机对周期序列的一步变换。 539-550 特雷弗·I·芬纳 , 乔治·路易斯 :
生成整数分区的树遍历相关算法。 551-564 艾伦·L·塞尔曼 , 徐美瑞 , 罗纳德·V·书 :
复杂性类的正相关。 565-579 埃斯科·乌科宁 :
多项式时间真值表约简为稀疏集的两个结果。 580-587 彼得·布洛尼亚兹 :
期望时间为O（n）的最短路径算法 2 log n log*n）。 588-600 大卫·G·柯克帕特里克 , 帕沃地狱 :
关于一般图形因子问题的复杂性。 601-609
第12卷第4期，1983年11月
M.D.Atkinson博士 , S.劳埃德 :
m*n*（mn-2）张量的秩。 611-615 大卫·约翰逊 , 安东尼·克鲁格 :
优化包含未类型化变量的连接查询。 616-640 莱斯利·瓦利安特 , 斯文·斯库姆 , S.Berkowitz公司 , 查尔斯·拉科夫 :
使用少量处理器快速并行计算多项式。 641-644 蒂莫西·希基 , 雅克·科恩 :
上下文无关语言中字符串的统一随机生成。 645-655 丹尼·多列夫 
, H.雷蒙德·斯特朗 :
拜占庭协议的认证算法。 656-666 陈文进 , 杰弗里·斯科特·维特 :
早期插入标准合并散列分析。 667-676 史蒂芬·L·布鲁姆 , 拉尔夫·廷德尔 :
各种“if-then-else”。 677-707 陈大雄 , 奥斯卡·H·伊瓦拉 :
关于可由简单程序计算的函数的空间和时间复杂性。 708-716 保罗·沃尔顿·普多姆（Paul Walton Purdom Jr.）。 , 辛西娅·布朗 :
搜索重排回溯分析。 717-733 约翰·普法尔茨 :
离散m维空间中的凸簇。 734-750 尼姆罗德·梅吉多 , 阿里·塔米尔 :
关于p-中心问题复杂性的新结果。 751-758 尼姆罗德·梅吉多 :
R中线性规划的线性时间算法 三 以及相关问题。 759-776 J.斯科特·普罗文 , 迈克尔·O·鲍尔 :
计算割集和计算图连通概率的复杂性。 777-788 黛巴斯·米特拉 , 约翰·莫里森 :
交互系统共享处理器中等待时间矩的渐近展开。 789-802
