国际计算机科学基础杂志，第13卷
第13卷第1期，2002年2月
盛宇（Sheng Yu） :
自动机的实现与应用——编辑前言。 1-3 哈雷尔 , 希勒尔·库格勒 
:
根据LSC规范综合基于状态的对象系统。 5-51 安妮·贝杰伦 , 西尔维·哈默尔 :
近似字符串匹配的向量算法。 53-66 安妮·布吕格曼-克莱恩 , 德里克·伍德 :
双向非确定性树自动机语言的正则性。 67-81 塞扎尔·坎帕努 , 安德烈·鲍恩 , 盛宇（Sheng Yu） :
构造有限语言最小覆盖自动机的有效算法。 83-97 Jean-Marc Champarnaud女士 :
从正则表达式实现非确定性自动机的三种隐式结构的评估。 99-113 奥斯卡·H·伊巴拉 :
队列连接多计数器中的验证。 115-127 梅赫亚尔·莫赫里 :
加权传感器的通用e删除和输入e归一化算法。 129-143 乔瓦尼·皮奇奇尼 , 杰弗里·沙利特 :
一元语言运算、状态复杂性和雅各布斯塔尔函数。 145-159
第13卷第2期，2002年4月
萧永成 , 塔马尔·戴伊 :
体积和曲面三角剖分-前言。 161-162 奥利维尔·德维勒 :
Delaunay层级。 163-180 奥利维尔·德维勒 , 西尔万·皮昂 , 莫妮克·泰劳德 :
在三角测量中行走。 181-199 阿尔珀·昂格尔 , 阿拉·谢弗 :
时空中的俯仰帐篷：间断Galerkin方法的网格生成。 201-221 赫伯特·埃德尔斯布伦纳 , Damrong Guoy公司 :
水槽插入以改善网格。 223-242 魏旭 , 理查德·哈默斯利 , 陆凯伦（Karen Lu） , 唐纳德·福塞尔 :
基于无损细分的任意三角形网格的Kite树多分辨率表示。 243-260 徐国良 , Chandrajit L.Bajaj公司 , 苏珊埃文斯 :
C类 1 使用混合多侧面A-Patches建模。 261-284 威廉·H·弗雷 :
边界三角剖分逼近插值闭合空间曲线的可展曲面。 285-302 奥斯文·艾奇霍尔泽 , 柳巴·阿尔布尔 , 费兰·赫塔多 :
多面体曲面中的翻转。 303-311
第13卷第3期，2002年6月
P.S.Thiagarajan先生 , 罗兰·H·C·叶 :
第五届亚洲计算科学会议-前言。 313-314 杰里·登·哈特戈 , 埃里克·德文克 :
使用类似骗局的逻辑验证概率程序。 315-340 杰斯珀·亨利克森 :
TLC的一个显式扩展。 341-360 Fairouz Kamaredine公司 , 弗朗索瓦·莫宁 :
递归函数自动终止方法的推广。 361-386 阿比克·罗伊乔杜里 , K.Narayan Kumar , C.R.Ramakrishnan（罗马克里希南） , I.V.罗摩克里希南 :
超越常规逻辑程序的Tamaki-Sato风格展开/折叠转换。 387-403
爱德华·Y.C.Cheng , 萨尔塔吉·萨赫尼 :
调整闸门尺寸以降低功耗。 405-429 马库斯·赫特 :
所有定义良好的问题的最快和最短算法。 431-443 汉斯·赞特马 , 汉斯·博德兰德 :
有序决策树的大小。 445-458 卡雷尔·库利克二世 , 朱哈尼·卡胡马基 , 贾科·卡里 :
关于同步自动机和道路着色问题的一个注记。 459-471
第13卷第4期，2002年8月
查尔斯·X·林 , 尼克·塞尔科内 :
编辑笔记。 473-475 安德拉斯·洛林茨 , 伊斯特万·科凯 , 阿提拉·梅雷蒂 :
用于显示WWW主题特定结构的智能高性能爬虫。 477-495 弗拉基米尔·埃斯特维尔-卡斯特罗 , 杨建华 :
通过快速、稳健和收敛的算法对Web访问者进行聚类。 497-520 文高 , Shi Wang先生 , 刘斌（Bin Liu） :
基于日志挖掘的动态推荐系统。 521-530 翁清海 , 莫宽浩 :
Web广告的智能代理。 531-554 宁忠 :
网络智能本体的表示与构建。 555-570
尼尔斯·克拉伦德 , 安德斯·默勒 , 迈克尔·施瓦茨巴赫 :
MONA实施秘密。 571-586 尤根·施密杜贝尔（Jürgen Schmidhuber） :
广义Kolmogorov复杂度的层次和可在极限中计算的不可数通用测度。 587-612 雷诺·莱佩尔 , 丹尼斯·特雷斯特拉姆 , 格哈德·沃金格（Gerhard J.Woeginger） :
优先约束下可延展任务调度的近似算法。 613-627
第13卷第5期，2002年10月
杰苏斯·马里奥·毕尔巴鄂 , 朱利奥·罗德里戈·费尔南德斯·加西亚 , 洛佩斯 :
论限制博弈值计算的复杂性。 633-651 齐志芳 , 朱山峰 :
合作对策的线性和整数规划技术。 653-666 魏佳佳 , 孙志斌 :
关于层次优化的计算复杂性。 667-670 杨晓光 , 朔涛 , 刘荣军 , 蔡茂成 :
具有VaR目标的基于场景的投资组合优化问题的复杂性。 671-679 邓晓铁 , 李忠飞 , 王寿阳 :
摩擦证券市场套利的计算复杂性。 681-684 《纪武书》 , 顾永根 , 郑伟民 :
计算美式期权的一种新的数值方法。 685-693
Emmanuelle Anceaume公司 :
统一原子广播的有效解决方案。 695-717 尼科莱塔·德·弗朗西斯科 , 安东内拉·桑通 :
对状态爆炸的公式驱动的模块化攻击。 719-731 卡洛斯·马丁·维德 , 亚历山德鲁·马泰斯库 , 维克托·米特拉纳 :
状态通信的并行有限自动机系统。 733-749 阿卜杜拉·阿尔斯兰 , 厄默·埃格西奥卢 :
带长度约束的局部对齐近似算法。 751-767 朱哈·本卡拉 :
关于D0L w-E等效性问题的备注。 769-777
第13卷第6期，2002年12月
安德烈·鲍恩 , Gheorghe Paun公司 , 格列泽戈兹·罗森伯格（Grzegorz Rozenberg） :
膜网络中的通信计算。 779-798 塞扎尔·坎帕努 , 凯·萨洛马 , Sándor Vágvölgyi :
正则语言的乱序分解。 799-816 邓晓铁 , 豪迪·冯 , 李国军 , 刘贵珍 :
最小化有界批调度总完成时间的PTAS。 817-827 尼古拉斯·Q.Tran :
关于普适多项式上下文无关语言。 829-835 安德里亚·曼特勒 , 海伦·卡梅隆 :
构建红黑树形状。 837-863 Emmanuelle Anceaume公司 , Jean-Michel Hélary女士 , 米歇尔·雷纳尔 :
关于分布式计算中直接前导元确定的注记。 865-872 纳迪娅·内贾赫 , 路易莎·德·马塞多·穆雷尔 :
基于重写的编程语言中的模式匹配代码最小化。 873-887 米歇尔·法洛索斯（Michalis Faloutsos） , 拉杰什·潘卡吉 , 肯尼思·塞夫西克 :
不对称对在线组播路由问题的影响。 889-910 哲当 , 奥斯卡·H·伊巴拉 :
传递混合线性关系w链的存在性及其应用。 911-936
