ACM其他会议

10.1145/acmotherconferences会议

ACM其他会议

0000000

10.5555/0000000

第36届IARCS软件技术和理论计算机科学基础年会会议记录（FSTTCS 2016）

2016年FSTTCS

拉尔

阿卡什

编辑器阿克西

美国。

编辑器索拉布

萨基特

编辑器森

桑迪普

编辑器

10 12 2016

9783959770279

达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）

出版物7509

德国

2016

13 12 2016 15 12 2016

2016年FSTTCS

：第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）

2016年FSTTCS

使用制表法快速而强大的散列（邀请谈话）

10.4230/LIPIcs公司。FSTTCS.2016年1月

证明分布式协议安全性的简单不变量（受邀谈话）

10.4230/LIPIcs公司。FSTTCS.2016年2月

我的O比你的大（受邀演讲）

10.4230/LIPIcs公司。FSTTCS.2016年3月

三

连续优化：图形算法的“正确”语言？（受邀演讲）

10.4230/LIPIcs公司。FSTTCS.2016年4月

图分解和算法（邀请谈话）

10.4230/LIPIcs公司。FSTTCS.2016年5月

使用模型计数约束求解器和符号执行进行边信道分析（受邀演讲）

10.4230/LIPIcs公司。FSTTCS.2016年6月

最小化Makespan的混合临界调度

10.4230/LIPIcs公司。FSTTCS.2016年7月

具有顶点权重的容量k-中心问题

10.4230/LIPIcs公司。FSTTCS.2016年8月

改进的条形填料伪多项式时间近似

10.4230/LIPIcs公司。FSTTCS.2016年9月

将近似低维l_2^2度量嵌入到l_1中

10.4230/LIPIcs公司。英国财政部贸易法委员会.2016.10

带框架和假设的关系逻辑

10.4230/LIPIcs公司。FSTTCS.2016.11版

无限字符串的FO-可定义变换

10.4230/LIPIcs公司。FSTTCS.2016.12版

有理函数的非周期性是PSPACE-Complete

10.4230/LIPIcs公司。FSTTCS.2016.13版

一阶可定义结构的同态问题

10.4230/LIPIcs公司。FSTTCS.2016.14版

关于虚拟范式的灵敏度猜想

10.4230/LIPIcs公司。FSTTCS.2016.15版

指针函数的零错误随机查询复杂性

10.4230/LIPIcs公司。FSTTCS.2016.16

基于乘法的Reed-Muller码稳健测试

10.4230/LIPIcs公司。FSTTCS.2016.17版

在滑动窗口上查询正则语言

10.4230/LIPIcs公司。FSTTCS.2016.18版

树共享公式的可判定性和复杂性

10.4230/LIPIcs公司。FSTTCS.2016.19版

具有反可观测性的单计数器自动机

10.4230/LIPIcs公司。FSTTCS.2016.20版

强参数化删除：二部图

10.4230/LIPIcs公司。2016年6月21日

列表K循环的参数化算法

10.4230/LIPIcs公司。FSTTCS.2016.22

图收缩问题的有损核

10.4230/LIPIcs公司。FSTTCS.2016.23

二分竞赛反馈顶点集的快速精确参数化算法

10.4230/LIPIcs公司。FSTTCS.2016.24

概率Mu-Calculus：可判定性和完全公理化

10.4230/LIPIcs公司。FSTTCS.2016.25

区间与点时序逻辑模型检验：表达性比较

10.4230/LIPIcs公司。FSTTCS.2016.26

模型检查填充协议

10.4230/LIPIcs公司。FSTTCS.2016.27版

可视线性动态逻辑

10.4230/LIPIcs公司。FSTTCS.2016.28版

稳定匹配博弈：通过子图同构的操作

10.4230/LIPIcs公司。FSTTCS.2016.29

具有严格容量约束的Adwords问题

10.4230/LIPIcs公司。FSTTCS.2016.30

高维最可能的Voronoi图

10.4230/LIPIcs公司。FSTTCS.2016.31

直线与阿凡达点集之间的Fréchet距离

10.4230/LIPIcs公司。FSTTCS.2016.32

贪婪有利于确定性无标度网络

10.4230/LIPIcs公司。FSTTCS.2016.33号

遗传图类的独立集重构阈值

10.4230/LIPIcs公司。FSTTCS.2016.34版

LZ77树木的因子分解

10.4230/LIPIcs公司。FSTTCS.2016.35

语法压缩字符串中的手指搜索

10.4230/LIPIcs公司。FSTTCS.2016.36

用射影维数刻画分支程序大小及其下限

10.4230/LIPIcs公司。FSTTCS.2016.37版

浅层算术电路之间的精细分离

10.4230/LIPIcs公司。FSTTCS.2016.38号

读数公式乘积之和

10.4230/LIPIcs公司。FSTTCS.2016.39

了解QBF的切割平面

10.4230/LIPIcs公司。FSTTCS.2016.40版

无上下文游戏概述

10.4230/LIPIcs公司。FSTTCS.2016.41版

定量图对策中的可容许性

10.4230/LIPIcs公司。FSTTCS.2016.42号

提示延迟

10.4230/LIPIcs公司。2016年4月23日

时间自动机上的Mean-Payoff游戏

10.4230/LIPIcs公司。FSTTCS.2016.44版

均匀样品在图形特性测试中的作用和局限性

10.4230/LIPIcs公司。FSTTCS.2016.45版

格成员的局部检验

10.4230/LIPIcs公司。FSTTCS.2016.46版

使用o（m）消息的拥挤群中的超快速MST算法

10.4230/LIPIcs公司。FSTTCS.2016.47版

时间自动机为何难以生存？我们能做些什么

10.4230/LIPIcs公司。FSTTCS.2016.48版

列表更新算法的验证分析

10.4230/LIPIcs公司。FSTTCS.2016.49版

可调在线MUS/MSS枚举

10.4230/LIPIcs公司。FSTTCS.2016.50版