信息与计算，第208卷
第208卷第1期，2010年1月
弗朗西斯科·兰扎托 ， 弗朗西斯科·塔帕罗 :
一种基于抽象解释的高效仿真算法。 1-22 斯特凡诺·加拉托洛 ， 马修·霍洛普 ， 克里斯托巴尔·罗哈斯 
:
有效的符号动力学、随机点、统计行为、复杂性和熵。 23-41 Sibylle B.Fröschle先生 ， 彼得·詹卡尔 ， 斯拉沃米尔·拉索塔 ， 兹德内克·萨瓦 :
基本并行进程上的不相交互模拟等价。 42-62 奥利弗·舒尔特 ， 魏洛 ， 罗素·格雷纳 :
从相关性和独立性数据出发，对贝叶斯网络结构进行思维转变优化学习。 63-82 多米尼克·D·弗雷登伯格 ， 丹尼尔·雷登巴赫 :
关于模式决策问题的坏消息。 83-96
第208卷第2期，2010年2月
帕特里夏·鲍耶 ， Fabrice骑士 ， 尼古拉斯·马基 :
关于TPTL和MTL的表达能力。 97-116 塞巴斯蒂安·南兹 ， 弗莱明·尼尔森 ， 汉内·里斯·尼尔森 :
拓扑相关广播网络的静态分析。 117-139 纪尧姆·伯勒 ， 克洛德·基什内尔 :
使用抽象补全重新获得演绎模中的割可容许性。 140-164 纳迪娅·贝茨勒 ， Jiong Guo（郭炯） ， 罗尔夫·尼德迈尔 :
Dodgeson和Young选举的参数化计算复杂性。 165-177 沙伦·肖姆 ， 奥尔纳·格隆伯格 :
合成验证和3值抽象结合在一起。 178-202 何塞·德沙奈斯 ， 维尼特·古普塔 ， 拉德哈·贾加迪桑 ， 普拉卡什·帕南加登 :
pCTL的弱互模拟是合理且完整的 * 。 203-219
第208卷第3期，2010年3月
安兴彦 ， 杨长彪 ， 永兴鹏 ， 伯恩·切恩·刘 :
块编辑问题的高效算法。 221-229 默多克-詹姆斯·加贝 ， 多米尼克·P·穆利根 :
柯里·霍华德（Curry-Howard），针对使用一级半项的不完全一阶逻辑推导。 230-258 汉斯·博德兰德 ， 阿里·科斯特（Arie M.C.A.Koster） :
树宽计算I.上限。 259-275 马蒂亚斯·曼 ， 曼弗雷德·施密特·沙乌 :
相似性意味着在一类非确定的按需调用lambda计算中等价。 276-291 克里斯蒂安·卡鲁德 ， 马吕斯·齐曼德 :
算法无关的序列。 292-308年
第208卷第4期，2010年4月
阿萨夫·纳奇米亚斯 ， 阿萨夫·夏皮拉 :
测试图的展开。 309-314 Arie Matsliah公司 ， 奥弗·斯特里赫曼 :
基于通用电路的模型检查的欠近似。 315-326 马修·德·布莱希特 ， 山本明弘 :
概念空间的拓扑性质（完整版）。 327-340 塞卢克·卡武特 ， 梅勒克·迪克·尤塞尔 :
广义旋转对称类中具有非线性242的9变量布尔函数。 341-350 维克拉曼·阿文德 ， 穆霍帕迪亚 :
理想隶属度问题和多项式恒等式检验。 351-363 加博尔·巴托克 ， Csaba Szepesvariá ， 桑德拉·齐勒斯 :
群体结构状态空间中的主动学习模型。 364-384 维利亚姆·格弗特 ， 卡洛·梅雷盖蒂 ， 比阿特丽斯·帕拉诺 :
通过自动机和正则表达式更简洁地表示正则语言。 385-394
第208卷第5期，2010年5月
丹尼尔·利万特 ， 鲁伊·J·G·B·德·奎罗斯 :
逻辑、语言、信息和计算。 395-396
拉斐拉·伯纳迪 ， 迈克尔·穆尔加特 :
Lambek-Grishin演算的延续语义。 397-416 瑞安·西德斯 :
线性序之间的量词秩等价。 第417-432页 托马斯·博兰德 ， 勒内·里多夫·汉森 :
环境微积分的混合逻辑分析。 433-449 阿德里安·布拉索维亚努 :
量词域的结构化回指。 450-473 克里斯蒂亚诺·卡尔卡尼奥 ， 托马斯·丁斯代尔-杨 ， 菲利普·加德纳 :
树的上下文逻辑中的辅助消除。 474-499 亚历山德拉·卡蓬 :
组合证明和从逻辑流图中读出的序列演算证明之间的一种新映射。 500-509 安妮·福雷特 :
预分组演算的模块化和参数化表示。 510-520 斯文·哈特曼 ， 塞巴斯蒂安链接 :
XML数据的数字约束。 521-544 安德烈·赫肖维茨 ， 马可·马格西 :
单体上的模块和初始语义。 545-564 保罗·奥利瓦 :
线性逻辑和直觉逻辑的功能解释。 565-577 亚历山德拉·席尔瓦 ， Jan J.M.M.鲁滕 :
二叉树的共导演算。 578-593 金·索林 :
动态认知半环的草图。 594-604
第208卷第6期，2010年6月
托马斯·埃尔哈德 ， 奥利维耶·劳亨 :
解释微分相互作用网中的有限像素。 606-633 迈克尔·门德勒 ， 杰拉尔德·吕特根 :
在等式Horn逻辑中，µ表达式上的观测同余是公理化的吗？ 634-651 路易吉·桑托卡纳莱 :
一个很好的3级树状事件结构标签。 652-665 卢卡·德·阿尔法罗 ， 普里塔姆·罗伊 :
通过三值抽象求精解决游戏。 666-676 克里希南德·查特吉 ， 托马斯·汉津格 ， 尼尔·皮特曼 :
战略逻辑。 677-693 Konstantinos Chatzikokolakis公司 ， 帕拉米德斯猫 :
使随机选择对调度程序不可见。 694-715 热拉尔·布多尔 :
在高阶并发命令式语言中键入终止。 716-736
第208卷第7期，2010年7月
保罗·金蒂里尼 ， 毛里齐奥·马泰利 :
类型理论的抽象演绎和推理模型。 737-771 安东·库塞拉 ， 理查·马 :
关于检查下推过程和有限状态过程之间语义等价性的复杂性。 772-796年 保罗·加斯廷 ， 迪特里希·库斯克 :
Mazurkiewicz迹上局部时序逻辑的一致可满足性问题。 797-816 简·A·伯格斯特拉 ， 科内利斯·A·米德尔堡 :
分子动力学的线程演算。 817-844 杰拉尔德·吕特根 ， 沃尔特·福格勒 :
准备好并发模拟：这是合乎逻辑的！ 845-867
第208卷第8期，2010年8月
罗伯塔·戈里 ， 弗朗西丝卡·列维 :
基于抽象解释的生物环境时间特性验证。 869-921年 Beatriz Alarcón ， 劳尔·古铁雷斯 ， 萨尔瓦多·卢卡斯 :
上下文相关依赖项对。 922-968年 卢卡·布雷维利里 ， 斯特凡诺·克雷斯皮·雷吉齐 ， 马西米利亚诺·戈德沃尔姆 :
高效识别由重复-直到循环定义的跟踪语言。 969-981 尤拉吉·赫龙科维奇（Juraj Hromkovic） ， 乔治·施尼特 :
关于概率下推自动机。 982-995
第208卷第9期，2010年9月
詹乃军（Naijun Zhan） ， Mila E.Majster-Cederbaum公司 :
关于分层发展的反应系统。 997-1019 奥哈德·利普斯基 ， 本尼·波拉特 ， 伊利·波拉特 ， B.里瓦·沙洛姆 ， 阿萨夫·特苏尔 :
最多可进行k次交换和不匹配的字符串匹配。 1020-1030 丹尼尔·戈拉 :
过程计算的可编码性和分离结果的统一方法。 1031-1053 马克西姆·克罗西莫尔 ， 伊利·波拉特 :
最长递增子序列的快速计算及其应用。 1054-1059 朱哈尼·卡胡马基 ， 米查尔·库克 ， 亚历山大·奥霍廷 :
通信受限的两个堆栈的计算能力。 1060-1089年
第208卷第10期，2010年10月
弗兰克·范·布鲁格尔 ， 玛莎·契契克 :
第19届并行理论国际会议。 1091-1092
马丁·阿巴迪 ， 姆·哈里斯 ， 凯瑟琳·摩尔 :
事务内存的动态分离模型。 1093-1117 露西娅·阿西艾 ， 米歇尔·博雷尔 :
像素中的空间和行为类型。 1118-1153 菲利普·达伦多 ， 布莱斯·基内斯特 ， P.S.Thiagarajan先生 ， 杨绍发 :
通信任务的准静态调度。 1154-1168 保罗·巴尔丹 ， 托马斯·查坦 ， 斯特凡·哈尔 ， 芭芭拉·科尼格 :
具有演化拓扑的系统的基于展开的诊断。 1169-1192 彼得·詹卡尔 ， 马丁·科特 ， 兹德内克·萨瓦 :
确定规范BPA和规范BPP之间的双相似性的复杂性。 1193-1205 迪特马尔·伯旺格 ， 克里希南德·查特吉 ， 马丁·德沃尔夫 ， 劳伦特·多恩 ， 托马斯·汉津格 :
具有不完全信息的平价博弈的策略构建。 1206-1220 朱利安·拉特克 ， 帕维尔·索博辛斯基 :
推导移动环境的结构标记转换。 1221-1242
第208卷第11期，2010年11月
哈维尔·赫兰兹 ， 丹尼斯·霍夫海因茨 ， 艾克·基尔茨 :
安全混合加密的一些充分条件。 1243-1257 非交换有理函数 ， 吕克·博阿松 ， 奥利维尔·卡顿 ， Jean-Eric别针 ， 安东尼奥·雷斯蒂沃 :
洗牌产品的表现力。 1258-1272 奥斯卡·H·伊巴拉 :
关于简单机器的宇宙、不相交和包容问题。 1273-1282 费利克斯·克莱特克 :
Ehrenfeucht-Fraíssé自动进行真正的加法。 1283-1295 Yves Métiver公司 ， 约翰·迈克尔·罗布森 ， 纳赛尔·萨赫布·贾洛米 ， Akka Zemmari公司 :
关于随机分布图着色和图划分算法。 1296-1304
第208卷第12期，2010年12月
杰里·阿达梅克 ， 克莱门斯·库普克 :
前言。 1305 杰里·阿达梅克 ， 斯特凡·米利厄斯 ， 杰里·韦利比尔 :
迭代单子的方程性质。 1306-1348 文森佐·西安西亚 ， 乌戈·蒙塔纳里 :
对称性、本地名称和名称的动态（去）分配。 1349-1367 海尔·维德·汉森 :
后继换能器：联合大脑的观点。 1368-1397 克莱门斯·库普克 ， Jan J.M.M.Rutten先生 :
整套合作。 1398-1420 亚历山大·库兹 ， 丹妮拉·佩特里桑 :
在多种类型和应用上呈现函子。 1421-1446 德克·帕丁森 ， 卢茨·施罗德 :
余代数逻辑中的截消。 1447-1468 丹尼尔·施温克 :
可及函子的等式逻辑。 1469-1489
