×
文卡特斯·拉曼（编辑）;S.P.苏雷什。（编辑）

第34届软件技术和理论计算机科学基础国际会议，2014年FSTTCS，印度新德里，2014年12月15日至17日。 （英语） 兹比尔1329.68036

LIPIcs–莱布尼茨国际信息学会议录29.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。xiv，665页。，仅电子版（2014年）。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1280.68045号].
索引文章：
尼基尔·班萨尔，迭代取整的新发展（受邀演讲），1-10[兹比尔1436.68391]
西里亚克，爱斯瓦里亚；保罗·加斯丁，分布式系统推理：所见即所得（特邀演讲），11-30[Zbl 1436.68041号]
奥纳·库普夫曼；塔米尔、塔米，容量受限自动机的性质和利用（邀请演讲），33-44[Zbl 1436.68178号]
理查德·瑞安·威廉姆斯，用于算法设计的电路复杂性多项式方法（特邀演讲），47-60[Zbl 1436.68392号]
菲利普·格瓦尔盖塞；拉马努扬，M.S。，连通因子的顶点指数算法，61-71[Zbl 1360.68517号]
马努·巴萨瓦拉朱；福明，Fedor V。；Petr A.Golovach。；萨科特·索拉布，通过独立树连接顶点，73-84[Zbl 1360.68487号]
执政官Giannopoulou。；丹尼尔·洛克斯塔诺夫（Daniel Lokshtanov）；Saket Saurabh；昂德雷·苏西，树删除集具有多项式核（但没有（mathrm{OPT}^{mathcalO（1）}近似），85-96[Zbl 1360.68510号]
Dabrowski，Konrad K。；Petr A.Golovach。；van’t Hof，皮姆；丹尼尔·保卢斯玛，编辑为欧拉图，97-108[兹比尔1360.68503]
克里斯托夫·伯克霍尔茨；迈克尔·埃尔伯菲尔德，固定变量逻辑的参数化复杂性，109-120[Zbl 1360.68491号]
Laurent Doyen；Juhl，线；Larsen，Kim G。；尼古拉斯·马基（Nicolas Markey）；马赫萨·希尔穆罕默德，为加权和定时自动机同步字，121-132[Zbl 1360.68552号]
艾曼纽尔·菲利奥特；Gentilini、Raffaella；Jean-François拉斯金，有限值加权自动机，133-145[Zbl 1360.68554号]
艾曼纽尔·菲利奥特；克里希纳、桑卡拉·纳拉亚南；阿舒托什·特里维迪，一阶可定义字符串转换，147-159[Zbl 1360.68555号]
阿尔马戈，沙乌尔；丹尼斯·库珀伯格（Denis Kuperberg）；奥尔纳·库普弗曼，常规感应，161-173[Zbl 1360.68537号]
基尔、马提亚斯；彼得·蒂曼，扩展正则表达式不等式的符号求解，175-186[Zbl 1360.68565号]
阿德里安·博克（Adrian Bock）；尤里·法恩扎；卡斯滕·莫尔登豪尔（Carsten Moldenhauer）；鲁伊斯·巴尔加斯，安德烈斯·哈辛托，用奇数循环装箱数求解稳定集问题，187-198[Zbl 1360.68496号]
康斯坦蒂诺斯·乔治奥；爱德华·李，在部分顶点覆盖多边形上执行的提升和投影系统，199-211[Zbl 1360.90222号]
索尼卡·阿罗拉；Chakaravarthy，Venkatesan T。；卡尼卡·古普塔；尼利玛古普塔；萨巴沃尔，瑜伽，有向非循环图上的副本放置，213-225[Zbl 1360.90217号]
马诺伊·古普塔，在多对数更新时间内保持增量二部图中的近似最大匹配，227-239[Zbl 1360.05166号]
托尔法、哈泽姆；马丁·齐默尔曼，线性时间-时间逻辑计数模型的复杂性，241-252[Zbl 1360.68603号]
宋、傅；吴志林，用数据变量量化扩展时序逻辑，253-265[Zbl 1360.68600号]
托马斯·科尔科姆贝特（Thomas Colcombet）；阿马尔德夫·曼努埃尔，广义数据自动机和定点逻辑，267-278[Zbl 1360.68550号]
克莱尔·戴维；纳迪梅·弗朗西斯（Nadime Francis）；菲利普·莫拉克，内射树模式的一致性，279-290[Zbl 1360.68377号]
纳瓦罗，贡萨洛；Rajeev Raman；萨蒂，斯里尼瓦萨·拉奥，用于范围选择的渐近最优编码，291-301[Zbl 1360.68384号]
罗伯托·格罗西；朱利亚·门科尼；纳迪亚·皮桑蒂；罗伯托·特兰尼（Roberto Trani）；索伦·文德，按顺序输出敏感模式提取，303-314[Zbl 1360.68964号]
哈普莱德，萨里尔；尼尔曼·库马尔，使用次线性空间对球进行稳健的近似搜索，315-326[Zbl 1360.68876号]
Gelman，Efraim；塔·希玛（Ta-Shma，Amnon），Benes网络是（q（q-1）/2n）-几乎是（q）-集-线独立的，327-338[1360.94500兹罗提]
德米特里·奇斯蒂科夫，关于有限机器计数的注释，339-350[Zbl 1360.68548号]
Patricia Bouyer；尼古拉斯·马基（Nicolas Markey）；斯坦，丹尼尔，并发最终报酬博弈中的混合纳什均衡，351-363[Zbl 1360.91041号]
保罗·亨特（Paul Hunter）；Jean-Francois拉斯金，有间歇目标的定量游戏，365-377[Zbl 1360.91039号]
托马斯·科尔科姆贝特（Thomas Colcombet）；纳塔娜·菲亚尔科夫；霍恩，弗洛里安，谨慎行事，379-390[Zbl 1360.68583号]
De Moura，Flávio L.C。；迪莉娅·凯斯纳（Delia Kesner）；毛里西奥·阿亚拉·林科恩，结石与远处显式替换的汇合，391-402[兹比尔1360.68324]
保罗·巴尔丹；Filippo Bonchi；柯斯坦、海宁；巴巴拉·科尼格，通过函子提升的行为度量，403-415[Zbl 1360.68607号]
Nathalie Bertrand；谢尔盖·哈达德；恩格尔·勒福丘，概率系统诊断和预测基础，417-429[Zbl 1360.68627号]
托马斯·亨辛格（Thomas A.Henzinger）。；Otop，Jan；萨曼塔（Samanta，Roopsha），有限状态传感器的Lipschitz鲁棒性，431-443[Zbl 1360.68559号]
曼达尔，德巴西斯；Pavan，A。；拉杰斯瓦里·维努戈帕兰，在最坏情况硬度假设下区分Cook完备性和Karp-Levin完备性，445-456[Zbl 1360.68482号]
丹尼·哈克；马库斯·洛伊；不，埃里克，为公式构造小树语法和小电路，457-468[Zbl 1360.68534号]
Ryan O'Donnell；喂，A.C.杰姆，一个时间旅行位与对数多个一样好，469-480[Zbl 1360.68468号]
哈特穆特·克劳克；波德，苏帕莎，garden-hose模型的新边界，481-492[Zbl 1360.68465号]
阿诺·杜兰德；Meena Mahajan；纪尧姆·马洛德；尼古拉斯·德·鲁吉-阿尔特黑尔（Nicolas De Rugy-Altherre）；尼廷·索拉布，VP的同态多项式完备，493-504[Zbl 1360.68475号]
罗希特·查达；乌芒·马图尔；斯特凡·施温，使用符号模型检查计算信息流，505-516[Zbl 1360.68359号]
法布里西奥·比昂迪；Legay，Axel；尼尔森，Bo Fries；马拉卡里亚，帕斯夸尔；安德烈·索夫斯基，非终止过程的信息泄漏，517-529[Zbl 1360.68422号]
Jean-François拉斯金；奥坎·桑库尔，多环境马尔可夫决策过程，531-543[Zbl 1360.68598号]
Frank Cassez；穆勒，克里斯蒂安；卡拉·伯内特，通过模块化轨迹细化进行基于总结的过程间分析，545-556[Zbl 1360.68581号]
南方，玛丽；乔杜里，考斯图夫，用于推理类型化规范语言的两级逻辑方法，557-569[Zbl 1360.68601号]
陈、陶璐；韩婷婷，关于马尔科夫模型最大熵计算的复杂性，571-583[Zbl 1360.68501号]
查克拉波蒂，迪帕尔卡；Pavan，A。；拉古纳特瓦里；Vinodchandran，N.V。；杨林福勒，高亏格和（H）-次无图中有向可达性的新时空上界，585-595[Zbl 1360.68500号]
阿南特·达亚尔；查亚拉尔萨尔玛；萨瓦拉尼，多项式最小/最大加权可达性位于明确的日志空间中，597-609[Zbl 1360.68504号]
穆罕默德·法乌齐（Mohamed Faouzi Atig）；艾哈迈德·博阿贾尼；Kumar，K.Narayan；普拉卡什·塞瓦桑，关于共享内存系统的有界可达性分析，611-623[Zbl 1360.68624号]
博利格，贝内迪克特；保罗·加斯丁（Paul Gastin）；阿克谢·库马尔，参数化通信自动机：补充和模型检查，625-637[Zbl 1360.68577号]
麝香草，安卡；伊戈尔·瓦卢基维奇，非循环体系结构的分布式综合，639-651[Zbl 1360.68594号]
阿卜杜拉，帕罗什·阿齐兹；穆罕默德·法乌齐（Mohamed Faouzi Atig）；艾哈迈特·卡拉；奥思曼·雷津，动态寄存器自动机验证，653-665[兹比尔1360.68575]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
00B25型 杂项特定利益的会议记录

引文：

Zbl 1280.68045号
PDF格式BibTeX公司 XML格式引用
\textit{V.Raman}（ed.）和\textit{S.P.Suresh}（edi.），第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15-17日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2014；Zbl 1329.68036）
全文： 链接