2016年第36届FSTTCS:印度钦奈
阿卡什·拉尔 , S.阿克西 , Saket Saurabh公司 , 桑迪普·森 :
第36届IARCS软件技术和理论计算机科学基础年会,2016年12月13日至15日,印度钦奈。 LIPIcs公司 65, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2016 ,十亿 978-3-95977-027-9 前言、目录、前言、会议组织、外部审查人。 0:i-0:xiv 米克尔·索洛普 :
使用制表法快速而强大的散列(邀请谈话)。 1:1-1:2 穆利·萨吉夫 :
证明分布式协议安全性的简单不变量(邀请谈话)。 2:1-2:1 霍尔格·赫尔曼斯 :
我的O比你的大(邀请谈话)。 3:1-3:2 亚历山大·马德里 :
连续优化:图形算法的“正确”语言? (邀请谈话)。 4:1-4:2 费多尔·V·福明 :
图分解和算法(邀请谈话)。 5:1-5:1 特夫菲克·布尔坦 :
使用模型计数约束求解器和符号执行进行侧通道分析(受邀演讲)。 6:1-6:2 桑乔伊·巴鲁阿 , 阿尔文德·伊斯瓦兰 , 郭志山 :
混合关键性调度以最大限度地减少制造跨度。 7:1-7:13 Aounon Kumar公司 :
带顶点权重的电容k-中心问题。 8:1-8:14 沃尔多·加尔维斯 , 法布里奇奥·格兰多尼 , 萨尔瓦托·英加拉 , 阿林达姆·汗 :
改进的条形填料伪多项式时间近似。 9:1-9:14 阿米特·德什潘德 , 普拉哈德·哈沙 , 拉凯什·文卡特 :
将近似低维l_2^2度量嵌入到l_1中。 10:1-10:13 安妮迪亚·班纳吉 , 大卫·A·诺曼 , 穆罕默德·尼库伊 :
带有框架和假设的关系逻辑。 11:1-11:16 弗伦达·戴夫 , 桑卡拉·纳拉亚南·克里希纳 , 阿什图什·特里维迪 :
无限字符串的FO-可定义变换。 12:1-12:14 艾曼纽尔·菲利奥特 , 奥利维尔·高文 , 内森·洛特 :
有理函数的非周期性是PSPACE-Complete。 13:1-13:15 巴托克·克林 , 斯拉沃米尔·拉索塔 , 乔安娜·奥奇里米亚克 , Szymon Torunczyk公司 :
一阶可定义结构的同态问题。 14:1-14:15 Karthik C.S.公司。 , 塞巴斯蒂安·塔维纳斯 :
关于析取范式的灵敏度猜想。 15:1-15:15 杰库马尔·拉德哈克里希南 , 斯瓦加托三亚 :
指针函数的零错误随机查询复杂性。 16:1-16:13 普拉哈德·哈沙 , 斯里坎斯·斯里尼瓦桑 :
Reed-Muller码的基于鲁棒乘法的测试。 17:1-17:14 摩西·加纳迪 , 丹尼·哈克 , 马库斯·洛伊 :
在滑动窗口上查询正则语言。 18:1-18:14 宣巴赫乐 , 阿奎那·霍伯 , 安东尼·W·林 :
树共享公式的可决定性和复杂性。 19:1-19:14 Benedikt博利格 :
具有反可观测性的单计数器自动机。 20:1-20:14 阿什图什·雷 , M.S.Ramanujan先生 :
强参数化删除:二部图。 21:1-21:14 法哈德·帕诺兰 , 梅拉夫·泽哈维 :
列表K循环的参数化算法。 22:1-22:15 R.Krithika先生 , 普拉纳本德·米斯拉 , 阿什图什·雷 , Prafullkumar故事 :
图收缩问题的损失核。 23:1-23:14 米蒂列什·库马尔 , 丹尼尔·洛克斯塔诺夫 :
二分竞赛反馈顶点集的快速精确参数化算法。 24:1-24:15 金·拉森 , 拉杜·马尔代尔 , 冰天雪 :
概率微积分:可判定性和完全公理化。 25:1-25:18 劳拉·博泽利 , 阿尔贝托·莫里纳里 , 安吉洛·蒙塔纳里 , 阿德里亚诺·佩隆 , 彼得罗·萨拉 :
区间与点时态逻辑模型检验:表达能力比较。 26:1-26:14 哈维尔·埃斯帕尔扎 , 皮埃尔·甘蒂 , 杰罗姆·勒鲁 , 鲁帕克·马朱姆达尔 :
模型检查填充协议。 27:1-27:14 亚历山大·韦内特 , 马丁·齐默尔曼 :
可见线性动态逻辑。 28:1-28:14 苏什米塔·古普塔 , 桑朱塔·罗伊 :
稳定匹配游戏:通过子图同构进行操作。 29:1-29:14 乌曼·巴斯卡 , 阿吉尔贾拉尔 , 拉胡尔·瓦泽 :
具有严格容量限制的Adwords问题。 30:1-30:14 尼尔曼·库马尔 , 本杰明·雷切尔 , Subhash苏里 , 凯文·维尔贝克 :
高维最可能的Voronoi图。 31:1-31:14 阿里特拉·巴尼克 , 法哈德·帕诺兰 , 文卡特斯·拉曼 , Vibha Sahlot公司 :
线和阿凡达点集之间的Fréchet距离。 32:1-32:14 Ankit Chauhan公司 , 托比亚斯·弗里德里希 , 拉尔夫·罗森伯格 :
贪婪有利于确定性无标度网络。 33:1-33:15 马克·德伯格 , 巴特·M·P·詹森 , 德班库尔·穆克吉 :
遗传图类的独立集重构阈值。 34:1-34:15 Pawel Gawrychowski先生 , 阿图尔·杰兹 :
LZ77树木分解。 35:1-35:15 菲利普·比尔 , 安德斯·罗伊·克里斯蒂安森 , Patrick Hagge绳索 , 英格·李·高兹 :
语法压缩字符串中的手指搜索。 36:1-36:16 克里希纳莫西·迪内什 , 萨金·科洛特 , Jayalal萨尔玛 :
使用投影维的分支程序大小的特征和下限。 37:1-37:14 姆里纳尔·库马尔 , Ramprasad Saptharishi公司 :
浅层算术电路之间的精细分离。 38:1-38:12 苎麻C。 , B.V.Raghavendra Rao公司 :
读数公式的乘积之和。 39:1-39:15 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
了解QBF的切割平面。 40:1-40:15 卢卡斯·霍利克 , 罗兰·梅耶 , 塞巴斯蒂安·穆斯卡拉 :
无上下文游戏概要。 41:1-41:16 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
定量图形游戏中的可容许性。 42:1-42:14 费利克斯·克莱恩 , 马丁·齐默尔曼 :
即时延迟。 43:1-43:14 什巴希斯·古哈 , 马金·尤金斯基(Marcin Jurdzinski) , 桑卡拉·纳拉亚南·克里希纳 , 阿什图什·特里维迪 :
定时自动机上的Mean-Payoff游戏。 44:1-44:14 彼得·伯曼 , 梅兰·穆扎布拉托夫 , 索菲亚·拉斯霍德尼科娃 :
均匀样品在图形特性测试中的功效和局限性。 45:1-45:14 卡提基安·钱德拉塞卡兰(Karthekeyan Chandrasekaran) , 马赫迪·切拉赫奇 , 甘迪科塔文卡塔 , 埃琳娜·格里戈雷斯库 :
格成员的局部测试。 46:1-46:14 Sriram V.彭马拉朱 , 维韦克·萨尔德什穆赫 :
使用o(m)消息的拥塞群中的超快速MST算法。 47:1-47:15 Frédéric Herbreteau餐厅 , B.斯里瓦桑 , Thanh-Tung Tran公司 , 伊戈尔·瓦卢基维奇 :
时间自动机为何难以生存,以及我们能做些什么。 48:1-48:14 马克西米利安·哈斯贝克 , 托比亚斯·尼普科 :
列表更新算法的验证分析。 49:1-49:15 雅罗斯拉夫·本迪克 , 尼古拉·贝内斯 , 伊万娜·塞拉 , 吉里·巴纳特 :
可调在线MUS/MSS枚举。 50:1-50:13
![](https://dblp.org/img/cog.dark.24x24.png)