计算系统理论,第48卷
第48卷第1期,2011年1月
安东尼奥·费尔南德斯·安塔 , 何塞·路易斯·洛佩斯·普雷萨 , M.Araceli Lorenzo先生 , 皮拉尔·曼扎诺 , 胡安·马丁内斯·罗莫 , 阿尔贝托·莫佐 , 克里斯托弗·瑟夫斯 :
具有非同步时钟的对抗性网络中调度策略的性能。 1-22 曼弗雷德·德罗斯特 , 海科·福格勒 :
未排序树自动机的加权逻辑。 23-47 伊娜·费希特纳 :
加权图像自动机和加权逻辑。 48-78 利亚·爱泼斯坦 , 罗布·范·斯蒂 :
内存分配问题的改进结果。 79-92 斯特凡·格勒 , 马库斯·洛伊 :
层次结构上的定点逻辑。 93-131 什洛米·多列夫 , 玛丽娜·科佩茨基 , 阿迪·沙米尔 :
RFID身份验证计算安全中的高效主动信息安全。 132-149 瑞恩·威廉姆斯 :
多项式电路的时间并行化。 150-169 比特·博利格 , Jochen Klump公司 :
整数乘法最高有效位的新结果。 170-188 酒井义夫 :
稀疏拼接对准的近似二次时间算法。 189-210 马库斯·巴泽尔 , 安德烈亚斯·雅科比 , 马西耶·利斯基维奇 , 博多·曼泰 :
非私人环境中的隐私。 211-245
第48卷第2期,2011年2月
布鲁诺·鲍文斯 , 塞巴斯蒂安·特维恩 :
总和测试和独立性测试注释。 247-268 迈克尔·本德 , 布拉德利·C·库兹摩尔 , 尚华腾 , 王可斌 :
最佳缓存可用网格布局。 269-296 雅各布·格鲁·西蒙森 :
Beta-Shifts、他们的语言和可计算性。 297-318 阿图尔·杰兹 , 亚历山大·奥霍廷 :
自然数集上方程的复杂性。 319-342 哈特穆特·梅塞施密特 , 弗里德里希·奥托 :
单调确定性无遗忘重启自动机的层次结构。 343-373 塔米尔·列维 , 阿米·利特曼 :
遵循0-1原则的最强计算模型。 374-388 Ching-Lueh Chang公司 , Yuh-Dauh Lyuu公司 :
随机图中消息的传播。 389-401 格雷戈里·古丁 , 金永中(Eun Jung Kim) , 迈克尔·兰皮斯 , 瓦利亚·米特苏 :
紧边界上下参数化顶点覆盖问题。 402-410 马库斯·洛伊 , 本杰明·斯坦伯格 :
Metabelian群的平铺和子幺半群。 411-427 坎杜巴 , Huy L.Nguyen先生 , Huy N.Nguyen先生 , 罗尼特·鲁宾菲尔德 :
推土机距离的次线性时间算法。 428-442
第48卷第3期,2011年4月
苏珊娜·阿尔伯斯 , 珍妮·伊夫·马里恩 :
前言:计算机科学理论专题。 443 达尼尔·马克思 :
用真值表实现约束满足的可牵引结构。 444-464 Péter Gács公司 , 马修·霍洛普 , 克里斯托巴尔·罗哈斯 :
可计算概率空间上的随机性-动力学观点。 465-485 沃尔克·迪克特 , 曼弗雷德·库夫莱特纳 :
无限字上的一阶逻辑片段。 486-516 尤拉吉·赫龙科维奇(Juraj Hromkovic) , 乔治·施尼特 :
歧义和沟通。 517-534 乔尔·阿尔文 , 克里斯·佩克特 :
生成硬随机格的较短基。 535-553 米科拉伊·博扬奇克 :
带有无限量词的弱MSO。 554-576 托马斯·埃本伦德 , 吉尔·斯加尔 :
半在线抢占式调度:一种适用于所有变量的算法。 577-613 阿诺德·贝克曼 , Benedikt Löwe公司 :
2008年欧洲的可计算性。 614-616 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 马修·帕蒂兹 , 斯科特·萨默斯 :
自组装中的可计算性和复杂性。 617-647 拉克希米·马纳萨 , 桑卡拉·纳拉亚南·克里希纳 , 钦梅耆那教 :
模型检查加权整数重置时间自动机。 648-679 迈克尔·索尔提斯 , 克莱格·威尔逊 :
有限姿态游戏中计算获胜策略的复杂性。 680-692 马蒂厄·萨布利克 , 纪尧姆·塞西尔 :
元胞自动机的拓扑动力学:维数问题。 693-714 加布里埃尔·乔巴努 , 桑卡拉·纳拉亚南·克里希纳 :
增强型移动膜:可计算性结果。 715-729
第48卷第4期,2011年5月
埃尔维拉·马约多莫 , 菲利普·莫瑟 , 西尔万·佩里费尔 :
Polylog空间压缩、下推压缩和Lempel-Ziv是不可比拟的。 731-766 文朝成 :
模糊系统中映射的条件模糊熵。 767-780 托拜厄斯·哈克斯 :
可分流网络游戏中的斯塔克伯格策略与共谋。 781-802 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
内核化和其他预处理过程的下限。 803-839 简·A·伯格斯特拉 , 英格·贝斯克 :
取消草地总计算的直线指令序列完整性。 840-864 杰斯珀·詹森 , 彭泽山 :
寻找最相似子林的算法。 865-887
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)