信息与计算，第205卷
第205卷第1期，2007年1月
扬·乔米奇 ， 大卫·托曼 :
特刊：TIME 2005。 1 斯特凡·德姆里 ， 兰科·拉齐奇 ， 大卫·诺瓦 :
关于约束LTL中的冻结量词：可决定性和复杂性。 2-24 安德烈亚斯·施费尔 :
多维持续时间微积分的公理化和可判定性。 25-64 杨基扬（Kiyoung Yang） ， 赛鲁士·萨哈比 
:
多元时间序列的高效k近邻搜索。 65-98 卡斯滕·卢茨 ， 德克·沃尔特 ， 弗兰克·沃尔特 :
实域上的定量时间逻辑：PSpace及以下。 99-123
第205卷第2期，2007年2月
阿伦德·伦辛克 ， 沃尔特·福格勒 :
公平测试。 125-198 艾哈迈德·布阿贾尼 ， 安卡·穆斯科尔 ， 泰西尔·图利 :
置换重写和算法验证。 199-224 Hui Gao公司 ， 维姆·赫塞林克 :
使用比较和切换的通用无锁算法。 225-241 亚历克谢·V·切尔诺夫 ， 马库斯·赫特 ， 尤根·施密杜贝尔（Jürgen Schmidhuber） :
算法复杂度限制了未来的预测误差。 242-261
第205卷第3期，2007年3月
阿努杰·达瓦尔 ， 菲利普·加德纳 ， 乔治·盖利 :
图形逻辑的表达性和复杂性。 263-310 妮可·施韦卡特 :
用Ehrenfeucht-Fraíssé博弈方法来解决数据库理论中的崩溃问题。 311-379 斯特凡·德姆里 ， Deepak D'Souza公司 :
约束LTL的自动机理论方法。 380-415
第205卷第4期，2007年4月
吉尔根·吉斯尔 :
RTA 2005年。 417-418 迪莉娅·凯斯纳 ， 圣埃芬·伦格兰 :
lambda-calculus的资源运算符。 419-473年 Nao Hirokawa先生 ， 阿尔特·米德尔多普 :
Tyrolean终止工具：技术和功能。 474-511 阿尔芬斯·盖瑟 ， 迪特尔·霍夫鲍尔 ， 约翰内斯·沃尔德曼 ， 汉斯·赞特马 :
证明左线性项重写系统终止的树自动机。 512-534 纳丘姆·德肖维茨 ， E.卡斯特多·埃勒曼 :
最小准阶。 535-556 罗伯特·尼文胡斯 ， 阿尔伯特·奥利弗拉斯 :
快速同余闭包和扩展。 557-580 帕斯卡·拉福卡德 ， 丹尼斯·卢吉兹 ， 拉尔夫·特雷恩 :
利用分布式加密对阿贝尔群方程理论进行入侵推理。 581-623 蒂埃里·德拉图尔男孩 ， Mnacho Echenim公司 :
置换重写和统一。 624-650
第205卷第5期，2007年5月
安德烈·布拉托夫 ， 维克托·达尔摩 :
关于计数约束满足问题的二分法定理。 651-678 克里斯蒂安·拉沃 ， Jean-François Marckert女士 ， 维拉迪·拉韦洛马纳纳 :
无线网络中的准最优节能领导者选举算法。 679-693 约翰·希区柯克 ， 阿杜里·帕凡 :
比较NP完备集的约简。 694-706 亚历山大·拉比诺维奇 :
具有不可通约距离的时间逻辑是不可判定的。 707-715 安德烈亚斯·克莱恩 ， 马库斯·韦斯勒 :
扩展的可视加密方案。 716-732 保罗·巴尔丹 ， 安德烈亚·科拉迪尼 ， 乌戈·蒙塔纳里 ， 莱拉·里贝罗 :
图变换的展开语义。 733-782 卡罗尔·德尔波特（Carole Delport-Gallet） ， Hugues Fauconnier先生 ， 拉希德·格雷劳伊 ， 巴斯蒂安·波雄 :
完全同步的基于圆形的分布式计算模型。 783-815
第205卷第6期，2007年6月
库马尔·内拉杰·维尔马 ， 让·古堡-拉雷克 :
交替双向交流树自动机。 第817页至第869页 亚历山大·拉比诺维奇 :
关于由一元谓词扩展的自然语言的一元顺序逻辑的可判定性。 870-889 佩卡·基尔佩拉宁 ， 劳诺·图卡宁 :
具有数字出现指示符的正则表达式的一个明确性。 890-916 玛丽贝尔·费尔南德斯 ， 默多克-加贝 :
名义重写。 917-965
第205卷第7期，2007年7月
约翰·雷夫 ， 苏克亨德·查克拉波蒂 :
高效准确的量子压缩。 967-981 默多克-加贝 :
名字的一般数学。 982-1011 阿尔贝托·阿波斯托利科 :
Lempel-Ziv-Welch压缩的快速间隙变体。 1012-1026 玛尔塔·奎亚特科夫斯卡 ， 格钦·诺曼 ， 杰里米·斯普洛斯顿 ， 王福之 :
概率时间自动机的符号模型检验。 1027-1077 Iiro S.Honkala公司 ， Tero Laihonen公司 :
识别对边缘变化鲁棒的代码。 1078-1095 金莫·弗雷德里克森 ， 维利·梅基宁 ， 冈萨洛·纳瓦罗 :
旋转和照明不变模板匹配。 1096-1113
诺加·艾伦 ， 哈伊姆·卡普兰 ， 迈克尔·克里夫利维奇 ， Dahlia Malkhi公司 ， 朱利安·斯特恩 :
“当一半系统出现故障时，可扩展的安全存储”的补遗【Inform.Comput 174（2）（2002）203-213】。 1114-1116
第205卷第8期，2007年8月
尼尔·艾隆 ， 诺加·艾伦 :
完全致密问题的硬度。 1117-1129 奥尔娜·格伦伯格 ， 马丁·兰格 ， 马丁·勒克 ， 沙伦·肖姆 :
不输胜于赢：对完整的微积分进行抽象和提炼。 1130-1148 埃琳娜·费斯曼 ， 帕维尔·科卡尔 ， 保罗·佩特森 ， 王毅 :
任务自动机：可调度性、可判定性和不可判定性。 1149-1172 维利亚姆·格弗特 ， 卡洛·梅雷盖蒂 ， 乔瓦尼·皮奇奇尼 :
互补双向有限自动机。 1173-1187 巴哈勒巴德班 ， 雅各·范德波尔 ， 奥尔加·特维雷蒂纳 ， 汉斯·赞特马 :
推广DPLL和等式的可满足性。 1188-1211 马库斯·洛伊 ， 妮可·昂德鲁什 :
逆幺半群：代数问题的可判定性和复杂性。 1212-1234 西尔维娅·克拉法 ， 萨比娜·罗西 :
控制像素中的信息发布。 1235-1273年 A.Hemaspandra巷 ， 克里斯托弗·霍曼 ， 斯文·科苏布 :
集群计算和边缘识别的威力。 1274-1293
第205卷第9期，2007年9月
杰森·贝尔 ， 陶林高（Teow Lim Goh） :
避免模式的等长单词数的指数下限。 1295-1306 斯塔夫罗斯·康斯坦蒂尼迪斯 :
计算常规语言的编辑距离。 1307-1316 顾晓阳 ， 杰克·H·卢茨 ， 菲利普·莫瑟 :
Copeland-Erdös序列的维数。 1317-1333 尼科莱塔·德·弗朗西斯科 ， 卢卡·马蒂尼 :
基于堆栈的汇编语言中信息流的指令级安全分析。 1334-1370 路易吉·利科里 ， 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型为教堂。 1371-1386 托马斯·尤金斯基 ， Krzysztof Lorys公司 :
长度缩减自动机的下限技术。 1387-1412 张国强 :
调解安全信息流策略。 1413-1425 兰斯·克莱维兰 ， 杰拉尔德·吕特根 ， V.纳塔拉扬 :
进程代数中的优先级和抽象。 1426-1458 沃伊切赫·莱特 :
字符串中的运行次数。 1459-1469 罗伯特·阿马迪奥 :
同步像素。 1470-1490
第205卷第10期，2007年10月
洛科·德·尼古拉 ， 丹妮尔·戈拉 ， 罗萨里奥·普格利泽 :
全局计算微积分的基本观察值。 1491-1525 菲利普·加德纳 ， 科西莫·拉伊夫 ， 卢西安·维希克 :
线性货运代理。 1526-1550 洛伦佐·卡卢奇 ， 约翰·凯斯 ， 桑杰·贾恩 ， 弗兰克·斯蒂芬 :
记忆受限的U型学习的结果。 1551-1573
第205卷第11期，2007年11月
拉格罗·拉诺特 ， 西蒙·蒂尼 :
混合系统的泰勒近似。 1575-1607年 袁峰 ， 段润耀 ， 郑凤记 ， 明生英 :
量子过程的概率互模拟。 1608-1639 大卫·多蒂 ， 杰克·H·卢茨 ， 萨蒂亚德夫·南达库马 :
有限状态维数和实数运算。 1640-1651 维利亚姆·格弗特 :
有限自动机状态层次中的幻数。 1652-1670 桑杰·贾恩 ， 斯特芬·兰格 ， 桑德拉·齐勒斯 :
增量学习的一些自然条件。 1671-1684
第205卷第12期，2007年12月
迈克尔·巴克斯 ， 比吉特·普菲茨曼 ， 迈克尔·韦德纳 :
异步系统的反应可模拟性（RSIM）框架。 1685-1720 阿莫斯·科尔曼 ， 大卫·佩莱 :
加权动态树的标记方案。 1721-1740 拉尔夫·库斯特斯 ， 托马斯·威尔克 :
基于传感器的密码协议分析。 1741-1776 桑杰·贾恩 ， Efim B.Kinber公司 :
从正面数据和负面反例中迭代学习。 1777-1805
