LIPIcs，第65卷
第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
-
部分： 系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS）
出版物详细信息
发布时间：2016-12-10 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 国际标准图书编号：978-3-95977-027-9 DBLP： db/conf/fsttcs/fsttcs2016
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
LIPICs，第65卷，FSTTCS’16，完整卷
摘要
引用为
@议事录{lal_et_al:LIPIcs.FSTTCS.2016， title={{LIPICs，第65卷，FSTTCS'16，完整卷}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016 }, URN={URN:nbn:de:0030-drops-69074}， doi={10.4230/LIPIcs.FSTTCS.2016}， annote={关键词：软件/程序验证、计算模型、计算模式、复杂性度量和类、非数值算法和程序指定、验证和推理问题、数理逻辑、形式语言} }
封面、目录、前言、会议组织、外部审查人员
摘要
引用为
@会议记录{lal_et_al:LIPIcs.FSTTCS.2016.0， author={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， title={{前言、目录、前言、会议组织、外部审核人}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页面={0:i--0:xiv}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.0 }, URN={URN:nbn:de:0030-drops-68412}， doi={10.4230/LIPIcs.FSTTCS.2016.0}， 注释={关键词：前言、目录、前言、会议组织、外部审阅者} }
使用表格进行快速而强大的哈希处理（特邀演讲）
摘要
引用为
@会议记录{thorup:LIPIcs.FSTTCS.2016.1， author={Thorup，Mikkel}， title={{使用制表快速而强大的散列}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={1:1--1:2}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.1 }, URN＝{URN:nbn:de:00030-drops-68869}， doi={10.4230/LIPIcs.FSTTCS.2016.1}， annote={关键词：散列，随机算法} }
证明分布式协议安全性的简单不变量（受邀谈话）
摘要
引用为
@会议记录{sagiv:LIPIcs.FSTTCS.2016.2， author={Sagiv，Mooly}， title={{证明分布式协议安全性的简单不变量}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={2:1--2:1}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.2 }, URN={URN:nbn:de:0030-drops-68877}， doi={10.4230/LIPIcs.FSTTCS.2016.2}， annote＝｛关键词：程序验证，分布式协议，演绎推理｝ }
我的O比你的大（受邀演讲）
摘要
引用为
@会议记录{赫尔曼：LIPIcs.FSTTCS.2016.3， author={Hermanns，Holger}， title={{我的O比你的大}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={3:1--3:2}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.3 }, URN={URN:nbn:de:0030-drops-68881}， doi={10.4230/LIPIcs.FSTTCS.2016.3}， annote={关键词：概率安全分析，故障树，组成，马尔可夫模型，模型检查} }
连续优化：图形算法的“正确”语言？ （受邀演讲）
摘要
引用为
@会议记录{madry:LIPIcs.FSTTCS.2016.4， author={Madry，Aleksander}， title={{连续优化：图形算法的“正确”语言？}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={4:1--4:2}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.4 }, URN={URN:nbn:de:0030-drops-68890}， doi={10.4230/LIPIcs.FSTTCS.2016.4}， annote={关键词：最大流问题，二部匹配，内点方法，梯度下降法，拉普拉斯线性系统} }
图分解和算法（邀请谈话）
摘要
引用为
@会议记录{fomin:LIPIcs.FSTTCS.2016.5， 作者＝{Fomin，Fedor V.}， title={{图分解和算法}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={5:1--5:1}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.5 }, URN={URN:nbn:de:0030-drops-68903}， doi={10.4230/LIPIcs.FSTTCS.2016.5}， annote={关键词：算法、逻辑、图形次要} }
使用模型计数约束求解器和符号执行进行边信道分析（受邀演讲）
摘要
引用为
@会议记录{bultan:LIPIcs.FSTTCS.2016.6， author={Bultan，Tevfik}， title={{使用模型计数约束求解器和符号执行进行边通道分析}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页码＝{6:1-6:2}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.6 }, URN={URN:nbn:de:0030-drops-68914}， doi={10.4230/LIPIcs.FSTTCS.2016.6}， annote={关键词：边通道，定量信息流，符号执行，模型计数，约束求解器} }
最小化Makespan的混合临界调度
摘要
引用为
@会议记录{baruah_et_al:LIPIcs.FSTTCS.2016.7， author={Baruah、Sanjoy和Easwaran、Arvind和Guo、Zhishan}， title={{最小化Makespan}}的混合临界调度， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={7:1--7:13}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.7 }, URN＝{URN:nbn:de:00030-drops-68429}， doi＝{10.4230/LPIcs.FSTTCS.2016.7}， annote={关键词：调度，混合临界，相同的并行机，最大跨度最小化，近似算法。} }
带顶点权重的电容k-中心问题
摘要
引用为
@会议记录{kumar:LIPIcs.FSTTCS.2016.8， author={Kumar，Aounon}， title={{带顶点权重的电容k-中心问题}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={8:1--8:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.8 }, URN={URN:nbn:de:0030-drops-68438}， doi={10.4230/LIPIcs.FSTTCS.2016.8}， annote={关键词：近似硬度，k中心，小工具简化} }
改进的条形填料伪多项式时间近似
摘要
引用为
@会议记录{galvez_et_al:LIPIcs.FSTTCS.2016.9， 作者={G\' {a} 阿尔维斯 瓦尔多和格兰多尼、法布里奇奥和因加拉、萨尔瓦多和汗、阿林达姆}、， title={{改进的条形填料伪多项式时间近似}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={9:1--9:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSTTCS.2016.9 }, URN={URN:nbn:de:0030-drops-68445}， doi={10.4230/LIPIcs.FSTTCS.2016.9}， annote={关键词：近似算法，条带封装，矩形封装，切割存储问题} }
将近似低维l_2^2度量嵌入到l_1中
摘要
引用为
@会议记录{deshpande_et_al：LIPIcs.FSTTCS.2016.10， 作者={Deshpande、Amit和Harsha、Prahladh和Venkat、Rakesh}， title={{将近似低维l\underline2^2度量嵌入l\under 1}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={10:1--10:13}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.10 }, URN={URN:nbn:de:0030-drops-68456}， doi={10.4230/LIPIcs.FSTTCS.2016.10}， annote＝｛关键词：度量嵌入，稀疏割，负类型度量，近似算法｝ }
带框架和假设的关系逻辑
摘要
引用为
@会议记录{banerjee_et_al：LIPIcs.FSTTCS.2016.11， author={Banerjee、Anindya和Naumann、David A.和Nikouei、Mohammad}， title={{带框架和假设的关系逻辑}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={11:1--11:16}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.11 }, URN={URN:nbn:de:0030-drops-68465}， doi={10.4230/LIPIcs.FSTTCS.2016.11}， annote={关键词：关系Hoare逻辑，程序等价，产品程序，框架条件，区域逻辑} }
FO无限字符串的可定义变换
摘要
引用为
@会议记录{dave_et_al:LIPIcs.FSTTCS.2016.12， author={Dave、Vrunda和Krishna、Shankara Narayanan和Trivedi、Ashutosh}， title={{FO-无限字符串的可定义变换}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={12:1--12:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.12 }, URN={URN:nbn:de:0030-drops-68476}， doi={10.4230/LIPIcs.FSTTCS.2016.12}， annote={关键词：传感器，FO-可定义性，无限字符串} }
有理函数的非周期性是PSPACE-Complete
摘要
引用为
@会议记录{filiot_et_al:LIPIcs.FSTTCS.2016.13， author={菲利奥特、伊曼纽尔和高文、奥利维尔和洛特、内森}， title={{有理函数的非周期性是PSPACE-Complete}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={13:1--13:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.13 }, URN={URN:nbn:de:0030-drops-68482}， doi={10.4230/LIPIcs.FSTTCS.2016.13}， annote={关键词：有理词转义，决策问题，非周期性，双机器} }
一阶可定义结构的同态问题
摘要
引用为
@会议记录{klin_et_al:LIPIcs.FSTTCS.2016.14， author={克林、巴托克和拉索塔、斯拉沃米尔和奥切里米亚克、乔安娜和托伦茨克、斯齐蒙}， title={{一阶可定义结构的同态问题}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={14:1--14:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.14 }, URN={URN:nbn:de:0030-drops-68498}， doi={10.4230/LIPIcs.FSTTCS.2016.14}， annote={关键词：原子集，一阶解释，同态问题} }
关于析取范式的灵敏度猜想
摘要
引用为
@会议记录{s._et_al:LIPIcs.FSTTCS.2016.15， 作者={S.，Karthik C.和Tavenas，S\' {e} 巴斯蒂安 }, title={{关于析取范式的灵敏度猜想}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={15:1--15:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.15 }, URN={URN:nbn:de:0030-drops-68504}， doi={10.4230/LIPIcs.FSTTCS.2016.15}， annote={关键词：布尔函数，灵敏度，块灵敏度，DNF} }
指针函数的零错误随机查询复杂性
摘要
引用为
@会议记录{radhakrishnan_et_al:LIPIcs.FSTTCS.2016.16， author={Radhakrishnan、Jaikumar和Sanyal、Swagato}， title={{指针函数的零错误随机查询复杂性}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={16:1--16:13}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.16 }, URN＝{URN:nbn:de:00030-drops-68514}， doi={10.4230/LIPIcs.FSTTCS.2016.16}， annote={关键词：确定性决策树，随机决策树，查询复杂性，计算模型。} }
基于乘法的Reed-Muller码稳健测试
摘要
引用为
@诉讼程序{harsha_et_al:LIPIcs.FSTTCS.2016.17， author={哈沙、普拉哈德和斯里尼瓦桑、斯里坎斯}， title={{Reed-Muller码的稳健乘法测试}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={17:1--17:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.17 }, URN={URN:nbn:de:0030-drops-68524}， doi={10.4230/LIPIcs.FSTTCS.2016.17}， annote={关键词：有限域上的多项式，Schwartz-Zippel引理，低次测试，低次长代码} }
在滑动窗口上查询正则语言
摘要
引用为
@会议记录{ganardi_et_al:LIPIcs.FSTTCS.2016.18， author={加纳迪、摩西和哈克、丹尼和洛伊、马库斯}， title={{在滑动窗口上查询正则语言}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={18:1--18:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.18 }, URN={URN:nbn:de:0030-drops-68539}， doi={10.4230/LIPIcs.FSTTCS.2016.18}， annote={关键词：流算法，正则语言，空间复杂性} }
树共享公式的可判定性和复杂性
摘要
引用为
@会议记录{le_et_al:LIPIcs.FSTTCS.2016.19， author={Le、Xuan Bach和Hobor、Aquina和Lin、Anthony W.}， title={{树共享公式的可决定性和复杂性}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， pages={19:1-19:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.19 }, URN={URN:nbn:de:0030-drops-68544}， doi={10.4230/LIPIcs.FSTTCS.2016.19}， annote={关键词：分数共享模型，资源核算，可数无原子布尔代数，字方程，树自动结构} }
具有反可观测性的单计数器自动机
摘要
引用为
@会议记录{bollig:LIPIcs.FSTTCS.2016.20， author={Bollig，Benedikt}， title={{具有反可观测性的单计数器自动机}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={20:1--20:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.20 }, URN={URN:nbn:de:0030-drops-68554}， doi={10.4230/LIPIcs.FSTTCS.2016.20}， annote={关键词：单计数器自动机，包含检查，可观察性，可见的单计数器自自动机，强自动机} }
强参数化删除：二部图
摘要
引用为
@会议记录{rai_et_al:LIPIcs.FSTTCS.2016.21， 作者={Rai，Ashutosh and Ramanujan，M.S.}， title={{强参数化删除：二部图}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={21:1--21:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.21 }, URN＝{URN:nbn:de:00030-drops-68561}， doi＝{10.4230/LPIcs.FSTTCS.2016.21}， annote={关键词：固定参数可处理，二部编辑，递归理解} }
列表K循环的参数化算法
摘要
引用为
@会议记录{panolan_et_al:LIPIcs.FSTTCS.2016.22， author={Panolan、Fahad和Zehavi、Meirav}， title={{列表K循环的参数化算法}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={22:1--22:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.22 }, URN＝{URN:nbn:de:00030-drops-68571}， doi={10.4230/LIPIcs.FSTTCS.2016.22}， annote={关键词：参数化复杂性，K循环，彩色路径，K路径} }
图收缩问题的有损核
摘要
引用为
@会议记录{krithika_et_al:LIPIcs.FSTTCS.2016.23， 作者={Krithika，R.和Misra，Pranabendu和Rai，Ashutosh和Tale，Prafullkumar}， title={{图收缩问题的损失核}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={23:1--23:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.23 }, URN={URN:nbn:de:0030-drops-68587}， doi={10.4230/LIPIcs.FSTTCS.2016.23}， annote={关键词：参数化复杂性，有损核化，图论，边收缩问题} }
二分竞赛反馈顶点集的快速精确参数化算法
摘要
引用为
@会议记录{kumar_et_al:LIPIcs.FSTTCS.2016.24， author={库马尔、米蒂列什和洛克斯塔诺夫、丹尼尔}， title={{二部竞赛反馈顶点集的快速精确参数化算法}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={24:1--24:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.24 }, URN={URN:nbn:de:0030-drops-68591}， doi={10.4230/LIPIcs.FSTTCS.2016.24}， annote={关键词：参数化算法，精确算法，反馈顶点集，巡回赛，二分赛} }
概率Mu-Calculus：可判定性和完全公理化
摘要
引用为
@会议记录{larsen_et_al:LIPIcs.FSTTCS.2016.25， author={Larsen，Kim G.和Mardare，Radu和Xue，Bingtian}， title={{概率Mu-Calculus:判定性和完全公理化}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={25:1--25:18}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.25 }, URN＝{URN:nbn:de:00030-drops-68607}， doi={10.4230/LIPIcs.FSTTCS.2016.25}， annote={关键词：马尔可夫过程，概率模态多演算，n元（in-）方程模式，可满足性，公理化} }
区间与点时序逻辑模型检验：表达性比较
摘要
引用为
@会议记录{bozzelli_et_al:LIPIcs.FSTTCS.2016.26， author={博泽利、劳拉和莫利纳里、阿尔贝托和蒙塔纳里、安吉洛和佩隆、阿德里亚诺和萨拉、彼得罗}， title={{区间与点时间逻辑模型检查：表达性比较}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={26:1--26:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.26 }, URN={URN:nbn:de:0030-drops-68615}， doi={10.4230/LIPIcs.FSTTCS.2016.26}， annote={关键词：区间时间逻辑、表达性、模型检查} }
模型检查填充协议
摘要
引用为
@会议记录{esparza_et_al:LIPIcs.FSTTCS.2016.27， author={Esparza，Javier and Ganty，Pierre and Leroux，J’ {e} 第页 \^ {o} 我 和Rupak Majumdar， title＝｛｛模型检查总体协议｝｝｝， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={27:1--27:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.27 }, URN={URN:nbn:de:0030-drops-68628}， doi={10.4230/LIPIcs.FSTTCS.2016.27}， annote={关键词：参数化系统，人口协议，概率模型检查，概率线性时间规范，可判定性} }
可视线性动态逻辑
摘要
引用为
@会议记录{weinert_et_al:LIPIcs.FSTTCS.2016.28， author={Weinert，Alexander和Zimmermann，Martin}， title={{可见线性动态逻辑}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页码＝{28:1-28:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.28 }, URN={URN:nbn:de:0030-drops-68639}， doi={10.4230/LIPIcs.FSTTCS.2016.28}， annote={关键词：时间逻辑，可视下推语言，可满足性，模型检查，无限游戏} }
稳定匹配博弈：基于子图同构的操作
摘要
引用为
@会议记录{gupta_et_al:LIPIcs.FSTTCS.2016.29， author={古普塔、苏什米塔和罗伊、桑朱塔}， title={{稳定匹配游戏：通过子图同构}}进行操作， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={29:1--29:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.29 }, URN={URN:nbn:de:0030-drops-68642}， doi={10.4230/LIPIcs.FSTTCS.2016.29}， annote={关键词：稳定匹配，Gale-Shapley算法，suiter图，子图同构，精确指数时间算法} }
具有严格容量约束的Adwords问题
摘要
引用为
@会议记录{bhaskar_et_al:LIPIcs.FSTTCS.2016.30， 作者={Bhaskar、Umang和Jalal、Ajil和Vaze、Rahul}， title={{具有严格容量限制的Adwords问题}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={30:1--30:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.30 }, URN={URN:nbn:de:0030-drops-68651}， doi={10.4230/LIPIcs.FSTTCS.2016.30}， annote={关键词：在线算法，广告词，预算匹配，贪婪算法} }
高维中的最可能Voronoi图
摘要
引用为
@会议记录{kumar_et_al:LIPIcs.FSTTCS.2016.31， author={Kumar、Nirman和Raichel、Benjamin和Suri、Subhash和Verbeek、Kevin}， title={{高维最可能的Voronoi图}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={31:1--31:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.31 }, URN={URN:nbn:de:0030-drops-68667}， doi={10.4230/LIPIcs.FSTTCS.2016.31}， annote={关键词：不确定性，下限，Voronoi图，随机} }
直线与阿凡达点集之间的Fréchet距离
摘要
引用为
@会议记录{banik_et_al:LIPIcs.FSTTCS.2016.32， author={Banik、Aritra和Panolan、Fahad和Raman、Venkatesh和Sahlot、Vibha}， title={{Fr\' {e} 切特 线与虚拟点集之间的距离}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={32:1--32:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.32 }, URN={URN:nbn:de:0030-drops-68676}， doi={10.4230/LIPIcs.FSTTCS.2016.32}， annote={关键词：Frechet距离，阿凡达问题，多项选择，FPT} }
贪婪有利于确定性无标度网络
摘要
引用为
@会议记录{chauhan_et_al:LIPIcs.FSTTCS.2016.33， author={Chauhan、Ankit和Friedrich、Tobias和Rothenberger、Ralf}， title={{贪婪有利于确定性无标度网络}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={33:1--33:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.33 }, URN={URN:nbn:de:0030-drops-68682}， doi={10.4230/LIPIcs.FSTTCS.2016.33}， annote={关键词：随机图，幂律度分布，无标度网络，PLB网络，近似算法，顶点覆盖，支配集，独立s} }
遗传图类的独立集重构阈值
摘要
引用为
@会议记录{deberg_et_al:LIPIcs.FSTTCS.2016.34， author={de Berg、Mark和Jansen、Bart M.P.和Mukherjee、Debankur}， title={{遗传图类的独立集重构阈值}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={34:1--34:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.34 }, URN={URN:nbn:de:0030-drops-68694}， doi={10.4230/LIPIcs.FSTTCS.2016.34}， annote={关键词：重新配置，独立集，标记添加删除，标记滑动} }
LZ77树木分解
摘要
引用为
@在诉讼中{gawrychowski_et_al:LIPIcs.FSTTCS.2016.35， 作者={Gawrychowski，Pawel and Jez，Artur}， title={{LZ77树分解}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={35:1--35:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.35 }, URN={URN:nbn:de:0030-drops-68700}， doi={10.4230/LIPIcs.FSTTCS.2016.35}， annote={关键词：树语法，语法压缩，LZ77，SLP，树压缩} }
语法压缩字符串中的手指搜索
摘要
引用为
@会议记录{bill_et_al:LIPIcs.FSTTCS.2016.36， author={Bille、Philip和Christiansen、Anders Roy和Cording、Patrick Hagge和Gortz、Inge Li}， title={{语法压缩字符串中的手指搜索}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={36:1--36:16}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.36 }, URN＝{URN:nbn:de:00030-drops-68717}， doi={10.4230/LIPIcs.FSTTCS.2016.36}， annote={关键词：压缩、语法、手指搜索、算法} }
使用投影维数的分支程序大小的特征化和下界
摘要
引用为
@会议记录{dinsh_et_al:LIPIcs.FSTTCS.2016.37， 作者={迪内什、克里希纳莫沃西和科洛特、萨金和萨玛、贾亚拉尔}， title＝{{使用投影维数分支程序大小的特征和下界}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={37:1--37:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.37 }, URN={URN:nbn:de:0030-drops-68722}， doi={10.4230/LIPIcs.FSTTCS.2016.37}， annote={关键词：投影维数，下限，分支程序大小} }
浅层算术电路之间的精细分离
摘要
引用为
@会议记录{kumar_et_al:LIPIcs.FSTTCS.2016.38， author={Kumar、Mrinal和Saptharishi、Ramprasad}， title={{浅算术电路之间的精细分离}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={38:1--38:12}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.38 }, URN={URN:nbn:de:0030-drops-68730}， doi={10.4230/LIPIcs.FSTTCS.2016.38}， annote={关键词：算术电路、下限、分隔、深度缩减} }
读数公式乘积之和
摘要
引用为
@会议记录{c._et_al:LIPIcs.FSTTCS.2016.39， 作者={C.，Ramya and Rao，B.V.Raghavendra}， title={{只读公式乘积之和}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={39:1--39:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.39 }, URN={URN:nbn:de:0030-drops-68741}， doi={10.4230/LIPIcs.FSTTCS.2016.39}， annote={关键词：算术电路，永久性，计算复杂性，代数复杂性理论} }
了解QBF的切割平面
摘要
引用为
@会议记录{beyersdorff_et_al:LIPIcs.FSTTCS.2016.40， author={Beyersdorff、Olaf和Chew、Leroy和Mahajan、Meena和Shukla、Anil}， title={{了解QBFs}}的切割平面， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={40:1--40:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.40 }, URN={URN:nbn:de:0030-drops-68758}， doi={10.4230/LIPIcs.FSTTCS.2016.40}， annote={关键词：证明复杂性，QBF，切割平面，分辨率，模拟} }
无上下文游戏概述
摘要
引用为
@会议记录{holik_et_al:LIPIcs.FSTTCS.2016.41， author={Hol{'\i}k，Luk\' {a} 秒 梅耶、罗兰、马斯卡拉、塞巴斯蒂安， title={{无上下文游戏摘要}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={41:1--41:16}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.41 }, URN={URN:nbn:de:0030-drops-68763}， doi={10.4230/LIPIcs.FSTTCS.2016.41}， annote={关键词：摘要，无上下文游戏，Kleene迭代，过渡幺半群，策略合成} }
定量图对策中的可容许性
摘要
引用为
@在诉讼中{brenguier_et_al:LIPIcs.FSTTCS.2016.42， author={Brenguier、Romain和P\' {e} 雷兹 吉列尔莫·A.和拉斯金、珍妮·弗朗索瓦和桑库尔·奥坎}， title={{定量图形游戏中的可容许性}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={42:1--42:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.42 }, URN={URN:nbn:de:0030-drops-68772}， doi={10.4230/LIPIcs.FSTTCS.2016.42}， annote={关键词：定量游戏，验证，反应合成，可接受性} }
提示延迟
摘要
引用为
@会议记录{klein_et_al:LIPIcs.FSTTCS.2016.43， 作者={克莱恩、费利克斯和齐默尔曼、马丁}， title={{提示延迟}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={43:1--43:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.43 }, URN={URN:nbn:de:0030-drops-68786}， doi={10.4230/LIPIcs.FSTTCS.2016.43}， annote={关键词：无限游戏，延迟游戏，提示-LTL，LTL} }
时间自动机上的Mean-Payoff游戏
摘要
引用为
@会议记录{guha_et_al:LIPIcs.FSTTCS.2016.44， 作者={Guha、Shibashis和Jurdzinski、Marcin和Krishna、Shankara Narayanan和Trivedi、Ashutosh}， title={{定时自动机上的Mean-Payoff游戏}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={44:1--44:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.44 }, URN={URN:nbn:de:0030-drops-68797}， doi={10.4230/LIPIcs.FSTTCS.2016.44}， annote={关键词：时间自动机，平均回报游戏，控制器综合} }
均匀样本在测试图形特性中的威力和局限性
摘要
引用为
@会议记录{berman_et_al:LIPIcs.FSTTCS.2016.45， author={伯曼、彼得亚·穆扎布拉托夫、梅拉姆和拉斯霍德尼科娃、索非亚}， title={{均匀样品在图形特性测试中的威力和局限性}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={45:1--45:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.45 }, URN={URN:nbn:de:0030-drops-68803}， doi={10.4230/LIPIcs.FSTTCS.2016.45}， annote={关键词：属性测试，随机算法，半平面，凸性} }
格成员的局部检验
摘要
引用为
@会议记录{chandrasekaran_et_al:LIPIcs.FSTTCS.2016.46， author={Chandrasekaran、Karthekeyan和Cheraghchi、Mahdi和Gandikota、Venkata和Grigorescu、Elena}， title={{格成员的局部测试}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={46:1--46:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.46 }, URN={URN:nbn:de:0030-drops-68818}， doi={10.4230/LIPIcs.FSTTCS.2016.46}， annote={关键词：格，属性测试，局部可测试代码，复杂性理论} }
使用o（m）消息的拥挤群中的超快速MST算法
摘要
引用为
@会议记录{pemmaraju_et_al:LIPIcs.FSTTCS.2016.47， author={彭马拉朱，斯里拉姆五世和萨德斯穆克，维维克B.}， title={{使用o（m）消息的拥挤群中的超快速MST算法}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={47:1--47:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.47 }, URN={URN:nbn:de:0030-drops-68827}， doi={10.4230/LIPIcs.FSTTCS.2016.47}， annote={关键词：拥塞团、最小生成树、线性图草图、消息复杂性、采样} }
为什么时间自动机的生命力很难，以及我们能做些什么
摘要
引用为
@会议记录{herbreteau_et_al:LIPIcs.FSTTCS.2016.48， author={Herbreteau，神父 {e} d日 \' {e} 里克 以及Srivathsan，B.和Tran，Thanh-Tung和Walukiewicz，Igor}， title={{为什么时间自动机很难生存，以及我们可以做些什么}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页码＝{48:1-48:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.48 }, URN={URN:nbn:de:0030-drops-68831}， doi={10.4230/LIPIcs.FSTTCS.2016.48}， annote={关键词：时间自动机，模型检查，活性不变量，状态包含} }
列表更新算法的验证分析
摘要
引用为
@会议记录{haslbeck_et_al:LIPIcs.FSTTCS.2016.49， author={Haslbeck，Maximilian P.L.和Nipkow，Tobias}， title={{列表更新算法验证分析}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={49:1--49:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.49 }, URN={URN:nbn:de:0030-drops-68849}， doi={10.4230/LIPIcs.FSTTCS.2016.49}， annote={关键词：程序验证、算法分析、在线算法} }
可调在线MUS/MSS枚举
摘要
引用为
@会议记录{bendik_et_al:LIPIcs.FSTTCS.2016.50， author={Bend{'\i}k，Jaroslav和Benes，Nikola和Cern{a}，Ivana和Barnat，Jir{'\i}}， title={{可调在线MUS/MSS枚举}}， booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}， 页数={50:1--50:13}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-027-9}， ISSN={1868-8969}， 年份={2016年}， 体积={65}， editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.50 }, URN={URN:nbn:de:0030-drops-68855}， doi={10.4230/LIPIcs.FSTTCS.2016.50}， annote={关键词：最小不满足子集，最大可满足子集，不满足分析，不可行分析} }