信息与计算,第209卷
第209卷第1期,2011年1月
朱哈·孔蒂宁 , 汉努·尼米斯托 :
MSO和一元计数层次结构的扩展。 1-19 欧伟 , 阿里·古芬克尔 , 玛莎·契契克 :
关于部分建模形式的一致性、表达性和准确性。 20-47 安德鲁·加塞克 , 戴尔·米勒 , 戈帕兰·纳达图尔 :
名义抽象。 48-73 朱列克·齐佐维奇 , 阿尔诺·拉博雷尔 , 安德烈·佩尔克 :
移动机器人探索多边形的最佳性和竞争力。 74-88
第209卷第2期,2011年2月
彼得亚·法利舍夫斯基 , 伊迪丝·赫玛斯潘德拉 , A.Hemaspandra巷 , 约格·罗特 :
从未有过的盾牌:单峰偏好的社会更容易被操纵和控制。 89-107 拉兹万·迪亚科内斯库 :
预序代数的合成。 108-117 帕特里克·贝洛特 , 保罗·科波拉 , 乌戈·达尔·拉戈 :
轻逻辑和优化简化:完整性和复杂性。 118-142 迈克尔·R·费罗斯 , 费多·弗明 , 丹尼尔·洛克斯塔诺夫 , 弗朗西斯·罗萨蒙德 , Saket Saurabh公司 , 斯特凡·塞德尔 , 卡斯滕·托马森 :
关于一些由树宽参数化的彩色问题的复杂性。 143-153 霍尔格·赫尔曼斯 , 奥古斯托·帕尔马 , 罗伯托·塞加拉 , 比约恩·瓦赫特 , 张丽君 :
概率逻辑表征。 154-172 阿明·海默林 :
关于线性时间和多项式时间之间的全集的观测。 173-182 Hayato Takahashi先生 :
乘积空间上的算法随机性和单调复杂性。 183-197 伊万·拉内斯 , 豪尔赫·佩雷斯 , 戴维德·桑吉奥吉 , 阿兰·施密特 :
关于高阶过程计算的表达性和可判定性。 198-226 约尔格·恩德鲁利斯 , 赫尔曼·杰弗斯 , 雅各布·格鲁·西蒙森 , 汉斯·赞特马 :
重写中的不确定性级别。 227-245
第209卷第3期,2011年3月
帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 劳伦特·范·贝京 :
结构良好的转换系统表达能力的分类。 248-279 拉斐尔·贝利 , 弗朗索瓦·丹尼斯 :
有理级数的绝对收敛性是半可判定的。 280-295 弗兰克·J·巴尔巴赫 , 托马斯·齐格曼 :
通过反馈教授随机学员。 296-319 奥拉夫·贝耶斯多夫 , 约翰内斯·科布勒 , 塞巴斯蒂安·米勒 :
接受建议的证明系统。 320-332 比特·博利格 :
整数乘法的OBDD复杂度的较大下限。 333-343 亨宁·博迪恩 , 马库斯·霍尔泽 , 马丁·库特里布 :
T0L语言和子类操作问题的可决定性。 344-352 贾努斯·布尔佐夫斯基 , 杰弗里·沙利特 , 志旭 :
凸语言的决策问题。 353-367 于尔根·达索 , 维克托·米特拉纳 , 比安卡·特鲁特 :
进化操作在接受进化处理器混合网络中的作用。 368-382 塞德里克·德格雷蒙特 , 尼娜·吉拉西姆祖克 :
从认知更新的角度进行有限识别。 383-396 藤冈高茹 :
乔姆斯基层次中具有插入和局部性的语言的语素特征。 397-408 奥利维尔·高文 , 约阿希姆·尼伦 , 索菲·蒂森 :
对具有有限延迟和并发性的Xml流的查询。 409-442 克里斯蒂安·格拉(Christian Glaßer) , 阿杜里·帕凡 , 斯蒂芬·D·特拉弗斯 :
NP-hard问题的容错性。 443-455 马库斯·霍尔泽 , 马丁·库特里布 :
有限自动机的描述和计算复杂性——综述。 456-470 伊藤正美 , 彼得·卢波尔德 , 弗洛林·马内亚 , 维克托·米特拉纳 :
绑定发夹完成。 471-485 弗洛伦特·雅克马尔 , 弗朗西斯·克莱 , 卡米尔·瓦彻 :
刚性树自动机及其应用。 486-512 桑杰·贾恩 :
学习的假设空间。 513-527 加琳娜·吉尔拉斯科娃 , 乔瓦尼·皮奇奇尼 :
用确定性自动机对自验证自动机进行优化模拟。 528-535 马托巴龙井 , 中村真本 , 佐藤东条(Satoshi Tojo) :
语法习得中对称偏差的有效性。 536-547 尼尔·摩尔 :
细粒度访问控制策略下树生成问题的计算复杂性。 548-567 埃琳娜·普里巴夫基纳 , 伊曼纽尔·罗德罗 :
用有限多个最小同步字同步自动机。 568-579 凯·萨洛马 :
确定性嵌套词自动机下限方法的局限性。 580-589 Sicco Verwer公司 , 马蒂杰斯·德维尔德(Mathijs de Weerdt) , Cees Wittevien公司 :
识别时间自动机的效率和时钟的功率。 606-625
第209卷第4期,2011年4月
兰斯·福特诺 , 约翰·希区柯克 , 阿杜里·帕凡 , N.V.Vinodchandran公司 , 王凤鸣 :
提取Kolmogorov复杂性并应用于维零定律。 627-636 Bas Ploeger公司 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
通过实例化参数化布尔方程系统验证反应系统。 637-663 阿尔伯特·阿塞里亚斯 , 埃利扎·N·马涅瓦 :
平均收益博弈和命题证明。 664-691 马克西姆·克罗西莫尔 , Dov M.Gabbay公司 :
反应自动机。 692-704 加德·兰道 , 阿维维特·利维 , 伊兰·纽曼 :
通过嵌入到局部非重复字符串中的LCS近似。 705-716 埃琳娜·齐兹勒 , 尤根·齐兹勒 , 莉拉·卡里 , Shinnosuke Seki公司 :
Lyndon-Schützenberger结果的扩展为伪周期词。 717-730 拉斐尔·克利福德 , 克里姆·埃夫雷缅科 , 本尼·波拉特 , 伊利·波拉特 :
用于在线近似模式匹配的黑框。 731-736 盖·费根布拉特 , 伊利·波拉特 , 阿里尔·西夫坦 :
基于min-wise算法的指数时间改进。 737-747 兰斯·福特诺 , 约书亚·A·格罗丘 :
重温等价问题的复杂性类别。 748-763
第209卷第5期,2011年5月
朱利安·古铁雷斯 , 朱利安·布拉德菲尔德 :
具有部分顺序模型的定点逻辑的模型检查游戏。 766-781 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , Sibylle B.Fröschle先生 , 斯拉沃米尔·拉索塔 :
部分交换的上下文无关过程:表达性和可处理性。 782-798 马修·黑格 , C.-H.卢克·翁 :
下推系统上模态μ-微积分的一种饱和方法。 799-821 亚历山德拉·席尔瓦 , 菲利波·邦奇 , 马塞洛·M·邦桑格 , Jan J.M.M.Rutten先生 :
定量Kleene余代数。 822-849 何塞·德沙奈斯 , 弗朗索瓦·拉维奥莱特 , Amélie Turgeon女士 :
未指定概率系统的逻辑对偶性。 850-871
第209卷第6期,2011年6月
阿布泽·亚卡里尔马兹 , A.C.杰姆说 :
具有较小空间边界的无边界错误量子计算。 873-892 杰伦·凯特马 , 雅各布·格鲁·西蒙森 :
无限组合约简系统。 893-926 保罗·C·阿蒂 , 拉希德·格雷劳伊 , 彼得·库兹涅佐夫 , 南希·A·林奇 , 塞尔吉奥·拉兹鲍姆 :
提高分布式服务弹性的可能性。 927-950 马库斯·洛伊 :
叶语言和字符串压缩。 951-965 文森特·达诺斯 , 托马斯·埃尔哈德 :
概率相干空间作为高阶概率计算的模型。 966-991 顾晓阳 , 杰克·H·卢茨 , 埃尔维拉·马约多莫 :
必须回溯的曲线。 992-1006
第209卷第7期,2011年7月
丁毅昌 :
一种基于身份的多签名者通用指定多验证者签名方案。 1007-1015 维利亚姆·格弗特 , 乔瓦尼·皮吉齐尼 :
双向一元自动机与对数空间。 1016-1025 克里斯托弗·林奇 , 西尔维奥·兰伊斯 , 克里斯托夫·林盖森 , Duc-Khanh Tran公司 :
自动判定性和可组合性。 1026-1047 佩德罗·桑切斯地形 :
互模拟逻辑特征的不可验证性。 1048-1056 Chi-Yuan Chan先生 , 洪一瑜 , Wing-Kai Hon先生 , 王碧峰 :
文本指纹问题的更快查询算法。 1057-1069 迭戈·阿罗尤罗 , 贡萨洛·纳瓦罗 :
Lempel-Ziv压缩文本索引的空间效率构造。 1070-1102 汉斯·博德兰德 , 阿里·科斯特(Arie M.C.A.Koster) :
树宽计算2。 下限。 1103-1119 罗伯特·D·格雷 , 安东尼奥·马赫罗 , 斯蒂芬·J·骄傲 :
关于幺半群未从Schützenberger群继承的性质。 1120-1134
第209卷第8期,2011年8月
曼努埃尔·拉梅拉斯·坎帕尼奥洛 , 克里·奥贾基安 :
使用微分方程对无界区域进行可计算分析的特征。 1135-1159 托马斯·布拉兹迪尔 , 瓦克拉夫·布罗泽克 , 安东·库塞拉 , 扬·奥布德扎勒克 :
随机BPA博弈中的定性可达性。 1160-1183 鲍里斯·斯科里克 , 奇布佐·奥比 , Evgeny A.Verbitskiy , Berry Schoenmakers公司 :
非均匀源可提取随机性的锐利下限。 1184-1196
第209卷第9期,2011年9月
拉兹万·迪亚科内斯库 :
机构中的结构归纳法。 1197-1222 鲍里斯·里亚布科 , 丹尼尔·里亚布科 :
构建完善的隐写系统。 1223-1230 吉尔斯·道克 , 盈江 :
关于计划的表达能力。 1231-1245 马泰奥·普拉德拉 , 亚历山德拉·切鲁比尼 , 斯特凡诺·克雷斯皮·雷吉齐 :
图片语法的统一方法。 1246-1267
第209卷第10期,2011年10月
第209卷第11期,2011年11月
里萨德·贾尼基 , 戴三文乐 :
使用comtrace和广义comtrace建模并发。 1355-1389 塞尔盖·伦格利特 , 阿兰·施密特 , 让-伯纳德·斯特凡尼 :
用钝化表征计算中的上下文对等。 1390-1433
第209卷第12期,2011年12月
托本·布拉纳 :
直觉混合逻辑:介绍和调查。 1437-1446 迪迪埃·加尔米奇 , 雅库布沙利 :
直觉混合逻辑的序列计算和可判定性。 1447-1463 迈克尔·门德勒 , 斯蒂芬·谢勒 :
多模态CK的无割Gentzen演算。 1465-1490 小岛贤介 , Atsushi Igarashi先生 :
构造线性时间逻辑:证明系统和克里普克语义学。 1491-1503 克劳迪奥·赫尔米达 :
对关系模式和模拟的明确看法。 1505-1517 Sungwoo公园 , Hyeonseung Im公司 :
内化正常证明的模态逻辑。 1519-1535