2011年第31届FSTTCS:印度钦奈
Supratik Chakraborty公司 , 阿米特·库玛尔 :
IARCS软件技术和理论计算机科学基础年会,2011年12月12日至14日,印度孟买,FSTTCS 2011。 LIPIcs公司 13, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2011 ,国际标准图书编号 978-3-939897-34-7 Supratik Chakraborty公司 , 阿米特·库玛尔 :
前言、目录、前言、会议组织、外部审查人。 作者索引。 苏珊娜·阿尔伯斯 :
节能算法(邀请谈话)。 1-2 莫舍·瓦尔迪 :
约束、图、代数、逻辑和复杂性(邀请谈话)。 3-3 迈度·苏丹 :
沟通的物理限制(邀请谈话)。 4-5 亚历克斯·贝恩 , 约翰·米切尔 , 拉胡尔·夏尔马 , 戴安·斯特凡 , 乔·齐默尔曼 :
一种用于加密数据计算的领域专用语言(邀请对话)。 6-24 Phokion G.Kolaitis公司 :
模式映射和数据示例:从语义派生语法(邀请谈话)。 25-25 乌梅什·V·瓦齐拉尼 :
量子态描述复杂性(受邀演讲)。 26-27 马雷克·赛根 , 法布里奇奥·格兰多尼 , 斯特凡诺·莱昂纳迪 , 马金·穆查 , 马金·皮利普祖克 , 彼得·桑科夫斯基 :
并集和交集覆盖问题的近似算法。 28-40 Siavosh Benabbas公司 , 小安·陈 , 康斯坦蒂诺斯·乔治奥 , Avner Magen公司 :
Sherali-Adams SDP层次结构中顶点覆盖的紧密间隙。 41-54 克里斯蒂安·格拉(Christian Glaßer) , 克里斯蒂安·赖特维(Christian Reitwießner) , 马克西米利安·维特克 :
差异理论在多目标逼近中的应用。 55-65 丹尼斯·库珀伯格 , 迈克尔·范登·布姆 :
准弱成本自动机:一种新的弱点变种。 66-77 Frédéric Herbreteau餐厅 , 迪利普·基尼 , B.斯里瓦桑 , 伊戈尔·瓦卢基维奇 :
使用非凸近似对时间自动机进行有效分析。 78-89 奥坎·桑库尔 , 帕特里夏·鲍耶 , 尼古拉斯·马基 :
收缩时间自动机。 90-102 乌里·法伦伯格 , Axel Legay公司 , 克劳斯·苏兰 :
定量线性时间——分支时间谱。 103-114 B.V.Raghavendra Rao公司 , 贾亚拉尔·萨尔马 :
读函数和多项式的同构测试。 115-126 布鲁诺·格雷内 , 帕斯卡·科伊兰 , 娜塔莎·波特 , 扬恩·斯特罗泽基 :
权力的有限性:多项式身份测试和永久性深度下限。 127-139 菲利普·达伦多 , 斯特凡·德姆里 , 罗兰·梅耶 , 克里斯托夫·莫尔万 :
Petri网可达图:FO属性的可判定状态。 140-151 穆罕默德·法乌齐·阿提格 , 皮埃尔·甘蒂 :
沿无上下文轨迹逼近Petri网可达性。 152-163 费多·弗明 , 格瓦尔盖斯·菲利普 , Yngve村民 :
稀疏图的最小填充:核化和近似。 164-175 阿比金·阿迪加 , L.苏尼尔·钱德兰 , 罗杰斯·马修 :
立方、简并和交叉数。 176-190 H.J.桑德·布鲁金克 , 拉斐尔·考德利埃 , 马蒂亚斯·希尔布施 , 芭芭拉·科尼格 :
条件无功系统。 191-203 塞林骑士 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 :
将密码协议转换为Compose。 204-216 皮纳尔·赫格内斯 , 皮姆·范特·霍夫 , 丹尼尔·洛克斯塔诺夫 , 克里斯托夫·保罗 :
通过收缩少数边获得二部图。 217-228 罗伯特·克劳斯顿 , 迈克尔·R·费罗斯 , 格雷戈里·古丁 , 马克·琼斯 , 弗朗西斯·罗萨蒙德 , 圣多马塞 , 安德斯·杨 :
同时满足F_2上的线性方程组:MaxLin2和Max-r-Lin2参数化高于平均值。 229-240 Prabhanjan Ananth公司 , 梅根娜·纳斯雷 , Kanthi K.Sarpatwar公司 :
彩虹连接:硬度和可牵引性。 241-251 阿诺德·杜兰德 , 约翰内斯·埃宾 , 朱哈·孔廷宁 , 赫里贝特·沃尔默 :
带有多数量词的依赖逻辑。 252-263 伊曼纽尔·基伦斯基 , 雅库布·米查利辛 , 扬·奥托普 :
通用三变量公式定义的模态逻辑。 264-275 斯特凡·格勒 , 马库斯·洛伊 :
地树重写图的一阶理论。 276-287 伯特伦·费尔根豪尔 , 哈拉尔德·赞克 , 阿尔特·米德尔多普 :
证明汇流的分层系统。 288-299 亚历山大·马德里 , 德巴马利亚·帕尼格拉希 :
半随机滑雪-心理问题。 300-311 艾曼纽尔·菲利奥特 , 奥利维尔·高文 , 皮尔雷·阿莱恩·雷尼尔 , 油炸Servais :
嵌套单词转义的可流式处理。 312-324 马诺伊·古普塔 , Yogish Sabharwal瑜伽 , 桑迪普·森 :
选择的更新复杂性和相关问题。 325-338 杨才 , Ting Zhang(张婷) :
街道互补的严格下限。 339-350 巴勃罗·巴塞洛 , 列昂尼德·利布金 , 胡安·雷乌特 :
参数化正则表达式及其语言。 351-362 雅克·杜帕克 , 亚历山德罗·法奇尼 , 菲利普·穆拉克 :
弱可识别树集上的可定义操作。 363-374 帕特里夏·鲍耶 , 罗曼·布伦吉尔 , 尼古拉斯·马基 , 迈克尔·乌梅尔斯 :
具有Büchi目标的并发博弈中的纳什均衡。 375-386 迪特马尔·贝尔万格 , 卢卡斯·凯泽 , 伯恩德·普查拉 :
完善奥运会协调信息建设。 387-398 费恩雷 , 马库斯·拉贝 , 斯文·舍韦 , 张丽君 :
连续时间Markov对策最优控制的有效逼近。 399-410 纳塔莉·贝特朗 , 布莱斯·基内斯特 :
部分可观测马尔可夫决策过程中的最小披露。 411-422 奥伦·本·奇基 , 菲利普·比尔 , 丹妮·布雷斯劳尔 , 莱斯泽克·盖西涅克 , 罗伯托·格罗西 , 奥伦·魏曼 :
最佳压缩字符串匹配。 423-432 萨维里奥·卡米尼蒂 , 艾琳·菲诺奇 , 埃马努埃勒·福斯科 , 弗朗西斯科·西尔维斯特里 :
错误内存层次结构中的动态编程(缓存-发布)。 433-444 傅鸿飞 , Joost-Pieter Katoen公司 :
确定概率下推自动机和有限状态系统之间的概率模拟。 445-456 马修·黑格 :
具有非原子写入的参数化下推系统。 457-468 迪迪埃·考卡尔 , 特奥多尔·科纳皮克 :
高阶指数一元系统。 469-480
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)