2019年第39届FSTTCS:印度孟买
阿尔卡德夫·查托帕迪耶 , 保罗·加斯廷 :
第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11日至13日,印度孟买,FSTTCS 2019。 LIPIcs公司 150, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-131-3 前言、目录、前言、会议组织。 0:1-0:12 卡提基扬·巴尔干 , 普拉萨德·纳尔德堡 :
真实世界密码术的实用形式方法(受邀演讲)。 1:1-1:12 罗伯特·克劳查默 :
草图和组合优化(邀请演讲)。 2:1-2:1 兰科·拉齐奇 :
芬克尔是对的:关于向量加法系统变体的几个猜想的反例(受邀演讲)。 3:1-3:2 托尼安·皮塔西 :
提升和下限应用进展(邀请演讲)。 4:1-4:1 蒂姆·拉夫加登 :
计算机科学如何为现代拍卖设计提供信息(受邀演讲)。 5:1-5:1 亚历山德拉·席尔瓦 :
关于并发推理的代数框架(受邀演讲)。 6:1-6:1 伊索尔德·阿德勒 , 克里斯托夫·保罗 , 迪米特里奥斯·M·蒂利科斯 :
关联搜索懒惰抢劫犯。 7:1-7:14 Akanksha Agrawal公司 , 阿林达姆·比斯瓦斯 , 埃杜亚德发动机盖 , 尼克·布雷特尔 , Radu Curticapean公司 , 达尼尔·马克思 , 蒂尔曼·米尔佐夫 , 文卡特斯·拉曼 , Saket Saurabh公司 :
Min-ONE d-SAT的参数化流算法。 8:1-8:20 维克拉曼·阿文德 , 阿卜拉尼·查特吉 , 拉吉特·达塔 , 穆霍帕迪亚 :
使用多项式哈达玛积的快速精确算法。 9:1-9:14 迪帕卡·查克拉波蒂 , 德巴拉蒂·达斯 , Michal Koucký :
近似在线模式匹配在次线性时间。 10:1-10:15 普雷罗娜·查特吉 , Ramprasad Saptharishi公司 :
在有限特征域上构造忠实同态。 11:1-11:14 崔宇进(Yujin Choi) , Seungjun Lee先生 , Hee-Kap Ahn先生 :
简单多边形中的最大面积矩形。 12:1-12:14 简·德雷尔 , 彼得·罗斯马尼思 :
优先附着图中的基元计数。 13:1-13:14 费多·弗明 , 彼得·戈洛维奇 , 基里尔·西蒙诺夫 :
参数化k-聚类:牵引岛。 14:1-14:15 埃尔维·福尼尔 , 纪尧姆·马洛德 , 莫德·苏斯特曼 , 塞巴斯蒂安·塔维纳斯 :
非负秩测度和单调代数分支程序。 15:1-15:14 切坦·古普塔 , 分析师拉胡尔贾殷 , 维马尔·拉杰·夏尔马 , Raghunath Tewari公司 :
明确的催化计算。 16:1-16:13 高登·海 , 桑杰·贾恩 , 弗兰克·斯蒂芬 :
最大汉明距离X3SAT的快速指数时间算法。 17:1-17:14 帕拉维·贾因 , 劳奎恩·卡内什 , 威廉·罗切特 , Saket Saurabh公司 , 鲁哈尼·夏尔马 :
精确和近似有向图带宽。 18:1-18:15 分析师拉胡尔贾殷 , Raghunath Tewari公司 :
网格图可达性的O(n^(1/4+epsilon))空间和多项式算法。 19:1-19:14 Telikepalli Kavitha公司 :
简约指数时间的受欢迎室友。 20:1-20:15 桑贾娜·科利塞蒂 , 林乐 , 伊利亚·沃尔科维奇 , 米哈利斯·扬纳卡基斯 :
在正则图中寻找S-因子的复杂性。 21:1-21:12 努坦·利马耶 , 斯里坎斯·斯里尼瓦桑 , 乌特卡什·特里帕蒂 :
关于AC^0[oplus]和多数函数变量的更多信息。 22:1-22:14 阿南·路易斯 , 拉凯什·文卡特 :
k向边缘和顶点扩展的种植模型。 23:1-23:15 乔治·卢卡雷利 , 本杰明·莫斯利 , 金圣元(Kim Thang Nguyen) , 阿比纳夫·斯利瓦斯塔夫 , 丹尼斯·特里斯特拉姆 :
最小化相关机器上最大加权流时间的在线非抢先调度。 24:1-24:12 阿迪蒂亚·波图库奇 :
安德列夫问题的AC^0[oplus]复杂性。 25:1-25:14 Kanthi K.Sarpatwar公司 , 巴鲁克·希伯 , 哈达斯·沙奇奈 :
抢占性资源分配问题。 26:1-26:15 罗伊·施瓦茨 , 莫希特·辛格 , 新浪亚兹丹博德 :
电路交换机调度的在线和离线算法。 27:1-27:14 斯里坎斯·斯里尼瓦桑 , 乌特卡什·特里帕蒂 , S.Venkitesh公司 :
关于对称布尔函数的概率度。 28:1-28:14 S.阿克西 , 雨果·巴兹勒 , 埃里克·法布雷 , 布莱斯·基内斯特 :
隐马尔可夫模型的分类。 29:1-29:14 保罗·巴尔丹 , 亚历山德拉·拉斐塔 :
活动结构最小化。 30:1-30:15 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 阿尼尔班·马朱姆达尔 :
并发参数化游戏。 31:1-31:15 本杰明·博代斯 , 什巴希斯·古哈 , Jean-François Raskin女士 :
预期窗口平均回报。 32:1-32:15 劳拉·博泽利 , 安吉洛·蒙塔纳里 , 阿德里亚诺·佩隆 :
可视下推系统的时间间隔逻辑。 33:1-33:14 劳拉·博泽利 , 安吉洛·蒙塔纳里 , 阿德里亚诺·佩隆 :
缓解密集时间域上基于时间线的规划的复杂性。 34:1-34:14 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , 本杰明·蒙梅格 , 布鲁诺-奎丁 :
游戏动力学:基于仿真的技术及其在路由中的应用。 35:1-35:14 Agnishom Chattopadhyay公司 , M.Praveen先生 :
局部树型数据库的查询保留水印方案。 36:1-36:14 彼得·奇尼 , 罗兰·梅耶 , 普拉卡什·塞瓦桑 :
参数化系统中生命的复杂性。 37:1-37:15 曼弗雷德·德罗斯特 , 斯文·齐亚德克 , 维尔纳·库伊奇 :
欧米伽代数系统的Greibach范式和加权简单欧米伽-下推自动机。 38:1-38:14 杰弗里·杜德克 , Dror Fried公司 :
布尔函数的转换。 39:1-39:14 艾曼纽尔·菲利奥特 , 什巴希斯·古哈 , 尼古拉斯·马佐奇 :
双向Parikh Automata。 40:1-40:14 阿兰·芬克尔 , 埃坎斯迪普·古普塔 :
Presburger计数器的结构良好问题。 41:1-41:15 法比奥·加杜奇 , 埃尔南·梅尔格拉蒂 , 克里斯蒂安·罗尔丹 , 马泰奥·桑马蒂诺 :
复制数据类型的分类帐户。 42:1-42:15 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
喇叭约束系统割平面证明的新结果。 43:1-43:14 马尔科·库尔曼 , 安德烈亚斯·马莱蒂 , 莉娜·凯瑟琳·希弗 :
组合范畴语法的树生成能力。 44:1-44:14 丹尼斯·库珀伯格 , 劳雷琳·皮诺 , 达米安·普斯 :
循环证明和跳跃自动机。 45:1-45:14 萨尔瓦托雷·拉托雷 , Parthasarathy Madhusudan公司 :
并发未解释程序中的可达性。 46:1-46:16 杰罗姆·勒鲁 :
相互可达Petri网配置之间的距离。 47:1-47:14 亚历山大·曼萨尔 :
追踪自动机中的布尔代数。 48:1-48:15 大卫·梅斯特尔 :
常规语言和上下文无关语言的宽度。 49:1-49:14 亚历山大·拉比诺维奇 , 多伦·蒂费雷特 :
Büchi树自动机的模糊度。 50:1-50:14 拉马纳森·西尼亚姆 , 乔治·泽采 :
正则可分离性和交集空性是独立的问题。 51:1-51:15
![](https://dblp.org/img/cog.dark.24x24.png)