1994年第5届国际会计准则委员会：中国北京
丁祝都 , 张向孙 :
《算法与计算》，第五届国际学术研讨会，1994年8月25日至27日，中国北京，ISAAC’94，论文集。 计算机科学课堂讲稿 834, 施普林格 1994 ，国际标准图书编号 3-540-58325-4
会话0
计算几何
罗尔夫·克莱恩 , 安德烈·林加斯 :
线性时间哈密顿抽象Voronoi图。 11-19 普罗森吉特·博斯 , 迈克尔·霍勒 , 戈弗雷德·T·杜桑 :
每一组不相交的线段都承认一棵二叉树。 20-28 岩野一郎 , 拉加万 , 田木久雄 :
移动摄像机问题及其在自动光学检测中的应用。 29-37 Akutsu达也 
:
关于高维点集一致性的判定。 38至46
计算复杂性
罗纳德·V·书 , 渡边大木 :
NP的随机硬集。 47-55 A.Hemaspandra巷 , 阿什什·奈克 , Mitsunori Ogihara公司 , 艾伦·L·塞尔曼 :
计算解决方案独特地折叠了多项式层次结构。 56至64 米克洛斯·桑塔 , Sovanna Tan先生 :
并行验证行列式。 65-73 林志龙 :
近似图变换问题的困难。 74-82
分布式算法
亚历山德罗·潘科内西 , 玛丽娜·帕帕特里安塔菲卢 , Philippas Tsigas公司 , 保罗·M·B·维坦伊 :
随机无等待命名。 83-91 桑古瑟瓦·拉贾塞卡兰 , 王晨 , Shibu Yooseph公司 :
统一网络选择主题。 92-100 莫西·莫尔乔 , Shmuel Zaks公司 :
具有故障检测环的网络中的鲁棒异步算法。 101-109 埃丝特·詹宁斯 , 伦卡·莫蒂科娃 :
在任意网络中寻找小循环覆盖的分布式算法。 110-118
学习
张向孙 , 慧灿珠 :
具有简单上下界的二次规划神经网络模型及其在线性规划中的应用。 119-127 朱大明 , 马绍汉 , 洪泽秋 :
拓扑保持神经网络学习收敛性分析。 128-136 维克拉曼·阿文德 , 约翰内斯·科布勒 , Rainer Schuler公司 :
关于帮助和交互式证明系统。 137-145 Jun Gu先生 , 钱平谷 :
SAT 1.2算法的平均时间复杂性。 146-154
组合算法
陈景森 :
生产部分订单的平均成本。 155-163年 李大兴 , 马绍汉 :
关于低密度子集求和算法的两点注记。 164-171年 Jin-yi Cai公司 , 迈克尔·D·赫希 :
旋转距离，平面三角剖分和双曲几何。 172-180 陈永茂 , 特伦斯·R·史密斯 :
有限可表示空间对象和高效计算。 181-189
图形算法
永末宏（Hiroshi Nagamochi） , 西村和弘 , 茨城东芝 :
计算无向网络中的所有小切割。 190-198 小周 , 西泽高雄 :
各类图的边着色和f着色。 199-207 C.P.戈帕拉克里什南 , C.潘都·兰根 :
置换图中的边不相交路径。 208-216 佐藤桃花 , 渡边俊美 :
图的k-边连接指定顶点的最小扩充。 第217页至第225页
随机算法
阿南德·斯里瓦斯塔夫 , 彼得·斯坦吉尔 :
整数规划中的代数Chernoff-Hoefffing不等式。 226-233 高冈忠雄 :
样本的近似模式匹配。 234-242 林雪敏 , 玛丽亚·奥洛斯卡 :
一种有效的优化算法，用于最小化复制数据管理中的总体通信成本。 243-251 Jun Gu先生 :
多空间搜索：一种新的优化方法。 252-260
并行算法
斯里尼瓦萨·拉奥·阿里卡蒂 , 阿尼尔·马赫什瓦里 :
并行实现度序列。 261-269年 迪米特里斯·卡夫瓦迪亚斯 , 格拉马提·潘齐欧（Grammati E.Pantziou） , 保罗·G·斯皮拉基斯 , 克里斯托斯·扎罗利亚吉斯 :
负循环问题的高效串行和并行算法。 270至278 Danny Z.Chen（丹尼·陈） , 胡晓波 :
并行优先级队列上的快速高效操作。 279-287 斯万特·卡尔松 , 陈景森 , 克里斯特·马特森 :
带比特的堆。 288-296
代数算法
约阿希姆·冯·祖尔·盖森 , 伊戈尔·什帕林斯基 :
有限域上曲线的分量和投影。 297-305 马丁·米登多夫 :
关于求各种极小、极大和一致序列的逼近。 306-314 中崎美雄 , 莫里奥·哈西杜姆 , 伊藤实 , 桥本明弘 :
用于计算特征字符串的线性时间算法。 315至323 Kazuhisa Makino公司 , 茨城东芝 :
正布尔函数的最大延迟和标识。 324-332
VISI和路由
迈克尔·考夫曼 , 哈拉尔德·劳尔 , 海科·施罗德 :
处理器阵列上的快速确定热端口路由。 333-341 钱平谷 , Shietung Peng先生 :
超立方体中的k-成对集群容错路由。 342-350 迈克尔·考夫曼 , 高少迪 , 克里希纳扬·图拉西拉曼 :
网格图中的Steiner极小树及其在VLSI布线中的应用。 351-359 沈晓军 , 青虎 , 郝岱 , 王祥祖 :
环上置换的最优路由。 360-368
计算复杂性
克劳斯·安布罗斯·斯皮斯 , 塞巴斯蒂安·特维恩 , 郑西忠 :
资源有界随机性和弱完全问题。 369-377 斯里拉姆·克里希南 , 阿努杰·普里 , 罗伯特·K·布雷顿 :
确定性w自动机与确定性Buchi自动机的比较。 378-386 三原隆 , 西野哲郎 :
量子计算和NP-完全问题。 387-395 兰斯·福特诺 , 约翰·罗杰斯 :
可分性和单向功能。 396-404
近似和优化
Akutsu达也 , 马格努斯·M·哈尔德森 :
关于最大公共子树和最大公共点集的逼近。 405年至413年 陶江 , 王路生 :
平面上某些Steiner树问题的近似格式。 414-422 杨伯廷 , 许银凤 , 昭阳游 :
最小权三角剖分性质证明的链分解算法。 423-427 Jiyu Ding公司 :
准全Steiner树的生成算法。 428-432
数据结构
卢卡斯·奇光惠 , 查尔斯·马特尔 :
分析竞争性自我调整线性列表中的删除。 433-441 迪亚布·阿巴亚德 , 杰弗里·金斯顿 :
斐波那契堆是最优的吗？ 442-450 明扬考 , 尚华腾 :
稠密图和补图的简单有效的图压缩方案。 451-459 C.R.Subramanian公司 :
随机图着色的改进算法。 460-468
并行算法
奥斯卡·H·伊巴拉 , 尼古拉斯·Q·特伦 :
关于求解递归方程的并行复杂性。 469-477 岩本纯三（Chuzo Iwamoto） , 岩岛和雄 :
扩展图连通性及其逐渐增加的并行复杂性。 478-486 塔克斯-Metaxas泛血管炎 , 格拉马提·潘齐欧（Grammati E.Pantziou） , 安东尼奥斯·西姆沃尼斯 :
二叉树的并行h-v图。 487-495 谢孙元 , 金文浩 :
一种有效的串-平行图识别并行策略。 496-504
几何算法
德山武 :
线段和三角形中的正交查询。 505-513 滨海朱 :
辅助存储器中的进一步计算几何。 514-522 《学厚谭》 , 平田富雄 :
简单多边形中最短的狩猎路线。 523-531 弗朗西斯·李·钦 , 曹安王 :
关于三维点的贪婪四面体化。 532-540
图形算法
藤代武弘（Kunihiro Fujiyoshi） , Yoji Kajitani先生 , Hiroshi Niitsu先生 :
完全完全二部图及其构造。 541-549 蔡国辉 , D.T.李 :
k-圆弧图的最佳切割。 550-558 林晨（Lin Chen） :
重温圆弧图。 559-566 C.潘都·兰根 , 马上昌 :
区间图的加权无冗余。 567-574
复杂性
谷井一郎 , Hiroshi Imai先生 :
有序二元决策图的重排序操作和图组合学的扩展框架。 575-583 细坂一郎（Kazuhisa Hosaka） , 竹中康彦 , 山岛秀三（Shuzo Yajima） :
关于表示阈值函数的有序二元决策图的大小。 584-592 李洪洲 , 李关英 :
非均匀低和强非均匀低。 593-599 英格丽德·贝尔 :
超复杂核的定义和存在性。 600-606
组合算法
吉尔伯特·H·杨 , 陈智乐（Chi-lok Chan） :
在链式网络计算机上分配链式任务的高效算法。 607-615 Hoong Chuin Lau（刘洪泉） :
具有换班限制的人力调度。 616-624 应旭 , 哈罗德·加博 :
横向拟阵相交问题的快速算法。 625-633 邓晓铁 :
粗训练多处理机上的凸壳算法。 634-64
组合算法
分布式和Rondomized算法
孙尚志 , 大卫·洪昌都 , 薛国良 :
通过插入最小延迟量实现最短的时钟周期。 669-677 冯宝 , 吉希德·伊加拉西（Yoshihide Igarashi） :
有限自动机公钥密码系统的一种随机算法。 678-686
