@Proceedings{lal_et_al:LIPIcs.FSTTCS.2016,
title = {{LIPICs, Volume 65, FSTTCS'16, Complete Volume}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Software/Program Verification, Models of Computation, Modes of Computation, Complexity Measures and Classes, Nonnumerical Algorithms and Problems Specifying and Verifying and Reasoning about Programs, Mathematical Logic, Formal Languages}
}
@InProceedings{lal_et_al:LIPIcs.FSTTCS.2016.0,
author = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
title = {{Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.0},
URN = {urn:nbn:de:0030-drops-68412},
doi = {10.4230/LIPIcs.FSTTCS.2016.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers}
}
@InProceedings{thorup:LIPIcs.FSTTCS.2016.1,
author = {Thorup, Mikkel},
title = {{Fast and Powerful Hashing Using Tabulation}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.1},
URN = {urn:nbn:de:0030-drops-68869},
doi = {10.4230/LIPIcs.FSTTCS.2016.1},
annote = {Keywords: Hashing, Randomized Algorithms}
}
@InProceedings{sagiv:LIPIcs.FSTTCS.2016.2,
author = {Sagiv, Mooly},
title = {{Simple Invariants for Proving the Safety of Distributed Protocols}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.2},
URN = {urn:nbn:de:0030-drops-68877},
doi = {10.4230/LIPIcs.FSTTCS.2016.2},
annote = {Keywords: Program verification, Distributed protocols, Deductive reasoning}
}
@InProceedings{hermanns:LIPIcs.FSTTCS.2016.3,
author = {Hermanns, Holger},
title = {{My O Is Bigger Than Yours}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {3:1--3:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.3},
URN = {urn:nbn:de:0030-drops-68881},
doi = {10.4230/LIPIcs.FSTTCS.2016.3},
annote = {Keywords: Probabilistic Safety Analysis, Fault Trees, Compositionality, Markov Models, Model Checking}
}
@InProceedings{madry:LIPIcs.FSTTCS.2016.4,
author = {Madry, Aleksander},
title = {{Continuous Optimization: The “Right” Language for Graph Algorithms?}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {4:1--4:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.4},
URN = {urn:nbn:de:0030-drops-68890},
doi = {10.4230/LIPIcs.FSTTCS.2016.4},
annote = {Keywords: maximum flow problem, bipartite matchings, interior-point methods, gradient decent method, Laplacian linear systems}
}
@InProceedings{fomin:LIPIcs.FSTTCS.2016.5,
author = {Fomin, Fedor V.},
title = {{Graph Decompositions and Algorithms}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {5:1--5:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.5},
URN = {urn:nbn:de:0030-drops-68903},
doi = {10.4230/LIPIcs.FSTTCS.2016.5},
annote = {Keywords: Algorithms, logic, graph minor}
}
@InProceedings{bultan:LIPIcs.FSTTCS.2016.6,
author = {Bultan, Tevfik},
title = {{Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {6:1--6:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.6},
URN = {urn:nbn:de:0030-drops-68914},
doi = {10.4230/LIPIcs.FSTTCS.2016.6},
annote = {Keywords: Side-channels, quantitative information flow, symbolic execution, model counting, constraint solvers}
}
@InProceedings{baruah_et_al:LIPIcs.FSTTCS.2016.7,
author = {Baruah, Sanjoy and Easwaran, Arvind and Guo, Zhishan},
title = {{Mixed-Criticality Scheduling to Minimize Makespan}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {7:1--7:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.7},
URN = {urn:nbn:de:0030-drops-68429},
doi = {10.4230/LIPIcs.FSTTCS.2016.7},
annote = {Keywords: Scheduling, Mixed criticality, Identical parallel machines, Makespan minimization, Approximation algorithm.}
}
@InProceedings{kumar:LIPIcs.FSTTCS.2016.8,
author = {Kumar, Aounon},
title = {{Capacitated k-Center Problem with Vertex Weights}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {8:1--8:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.8},
URN = {urn:nbn:de:0030-drops-68438},
doi = {10.4230/LIPIcs.FSTTCS.2016.8},
annote = {Keywords: approximation hardness, k-center, gadget reduction}
}
@InProceedings{galvez_et_al:LIPIcs.FSTTCS.2016.9,
author = {G\'{a}lvez, Waldo and Grandoni, Fabrizio and Ingala, Salvatore and Khan, Arindam},
title = {{Improved Pseudo-Polynomial-Time Approximation for Strip Packing}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {9:1--9:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.9},
URN = {urn:nbn:de:0030-drops-68445},
doi = {10.4230/LIPIcs.FSTTCS.2016.9},
annote = {Keywords: approximation algorithms, strip packing, rectangle packing, cutting-stock problem}
}
@InProceedings{deshpande_et_al:LIPIcs.FSTTCS.2016.10,
author = {Deshpande, Amit and Harsha, Prahladh and Venkat, Rakesh},
title = {{Embedding Approximately Low-Dimensional l\underline2^2 Metrics into l\underline1}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {10:1--10:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Metric Embeddings, Sparsest Cut, Negative type metrics, Approximation Algorithms}
}
@InProceedings{banerjee_et_al:LIPIcs.FSTTCS.2016.11,
author = {Banerjee, Anindya and Naumann, David A. and Nikouei, Mohammad},
title = {{Relational Logic with Framing and Hypotheses}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {11:1--11:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Relational Hoare logic, program equivalence, product programs, frame conditions, region logic}
}
@InProceedings{dave_et_al:LIPIcs.FSTTCS.2016.12,
author = {Dave, Vrunda and Krishna, Shankara Narayanan and Trivedi, Ashutosh},
title = {{FO-Definable Transformations of Infinite Strings}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {12:1--12:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Transducers, FO-definability, Infinite Strings}
}
@InProceedings{filiot_et_al:LIPIcs.FSTTCS.2016.13,
author = {Filiot, Emmanuel and Gauwin, Olivier and Lhote, Nathan},
title = {{Aperiodicity of Rational Functions Is PSPACE-Complete}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Rational word transductions, decision problem, aperiodicity, bimachines}
}
@InProceedings{klin_et_al:LIPIcs.FSTTCS.2016.14,
author = {Klin, Bartek and Lasota, Slawomir and Ochremiak, Joanna and Torunczyk, Szymon},
title = {{Homomorphism Problems for First-Order Definable Structures}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {14:1--14:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Sets with atoms, first-order interpretations, homomorphism problem}
}
@InProceedings{s._et_al:LIPIcs.FSTTCS.2016.15,
author = {S., Karthik C. and Tavenas, S\'{e}bastien},
title = {{On the Sensitivity Conjecture for Disjunctive Normal Forms}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {15:1--15:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Boolean function, Sensitivity, Block sensitivity, DNF}
}
@InProceedings{radhakrishnan_et_al:LIPIcs.FSTTCS.2016.16,
author = {Radhakrishnan, Jaikumar and Sanyal, Swagato},
title = {{The Zero-Error Randomized Query Complexity of the Pointer Function}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {16:1--16:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.16},
URN = {urn:nbn:de:0030-drops-68514},
doi = {10.4230/LIPIcs.FSTTCS.2016.16},
annote = {Keywords: Deterministic Decision Tree, Randomized Decision Tree, Query Complexity, Models of Computation.}
}
@InProceedings{harsha_et_al:LIPIcs.FSTTCS.2016.17,
author = {Harsha, Prahladh and Srinivasan, Srikanth},
title = {{Robust Multiplication-Based Tests for Reed-Muller Codes}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {17:1--17:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Polynomials over finite fields, Schwartz-Zippel lemma, Low degree testing, Low degree long code}
}
@InProceedings{ganardi_et_al:LIPIcs.FSTTCS.2016.18,
author = {Ganardi, Moses and Hucke, Danny and Lohrey, Markus},
title = {{Querying Regular Languages over Sliding Windows}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {18:1--18:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: streaming algorithms, regular languages, space complexity}
}
@InProceedings{le_et_al:LIPIcs.FSTTCS.2016.19,
author = {Le, Xuan Bach and Hobor, Aquinas and Lin, Anthony W.},
title = {{Decidability and Complexity of Tree Share Formulas}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {19:1--19:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Fractional Share Models, Resource Accounting, Countable Atomless Boolean Algebras, Word Equations, Tree Automatic Structures}
}
@InProceedings{bollig:LIPIcs.FSTTCS.2016.20,
author = {Bollig, Benedikt},
title = {{One-Counter Automata with Counter Observability}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {20:1--20:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: One-counter automata, inclusion checking, observability, visibly one- counter automata, strong automata}
}
@InProceedings{rai_et_al:LIPIcs.FSTTCS.2016.21,
author = {Rai, Ashutosh and Ramanujan, M. S.},
title = {{Strong Parameterized Deletion: Bipartite Graphs}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {21:1--21:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.21},
URN = {urn:nbn:de:0030-drops-68561},
doi = {10.4230/LIPIcs.FSTTCS.2016.21},
annote = {Keywords: fixed parameter tractable, bipartite-editing, recursive understanding}
}
@InProceedings{panolan_et_al:LIPIcs.FSTTCS.2016.22,
author = {Panolan, Fahad and Zehavi, Meirav},
title = {{Parameterized Algorithms for List K-Cycle}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {22:1--22:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.22},
URN = {urn:nbn:de:0030-drops-68571},
doi = {10.4230/LIPIcs.FSTTCS.2016.22},
annote = {Keywords: Parameterized Complexity, K-Cycle, Colorful Path, k-Path}
}
@InProceedings{krithika_et_al:LIPIcs.FSTTCS.2016.23,
author = {Krithika, R. and Misra, Pranabendu and Rai, Ashutosh and Tale, Prafullkumar},
title = {{Lossy Kernels for Graph Contraction Problems}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {23:1--23:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: parameterized complexity, lossy kernelization, graph theory, edge contraction problems}
}
@InProceedings{kumar_et_al:LIPIcs.FSTTCS.2016.24,
author = {Kumar, Mithilesh and Lokshtanov, Daniel},
title = {{Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Bipartite Tournaments}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {24:1--24:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Parameterized algorithms, Exact algorithms, Feedback vertex set, Tour- naments, Bipartite tournaments}
}
@InProceedings{larsen_et_al:LIPIcs.FSTTCS.2016.25,
author = {Larsen, Kim G. and Mardare, Radu and Xue, Bingtian},
title = {{Probabilistic Mu-Calculus: Decidability and Complete Axiomatization}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {25:1--25:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.25},
URN = {urn:nbn:de:0030-drops-68607},
doi = {10.4230/LIPIcs.FSTTCS.2016.25},
annote = {Keywords: Markov process, probabilistic modal mu-calculus, n-ary (in-)equational modalities, satisfiability, axiomatization}
}
@InProceedings{bozzelli_et_al:LIPIcs.FSTTCS.2016.26,
author = {Bozzelli, Laura and Molinari, Alberto and Montanari, Angelo and Peron, Adriano and Sala, Pietro},
title = {{Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {26:1--26:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Interval Temporal Logics, Expressiveness, Model Checking}
}
@InProceedings{esparza_et_al:LIPIcs.FSTTCS.2016.27,
author = {Esparza, Javier and Ganty, Pierre and Leroux, J\'{e}r\^{o}me and Majumdar, Rupak},
title = {{Model Checking Population Protocols}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {27:1--27:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: parameterized systems, population protocols, probabilistic model checking, probabilistic linear-time specifications, decidability}
}
@InProceedings{weinert_et_al:LIPIcs.FSTTCS.2016.28,
author = {Weinert, Alexander and Zimmermann, Martin},
title = {{Visibly Linear Dynamic Logic}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {28:1--28:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Temporal Logic, Visibly Pushdown Languages, Satisfiability, Model Checking, Infinite Games}
}
@InProceedings{gupta_et_al:LIPIcs.FSTTCS.2016.29,
author = {Gupta, Sushmita and Roy, Sanjukta},
title = {{Stable Matching Games: Manipulation via Subgraph Isomorphism}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {29:1--29:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: stable matching, Gale-Shapley algorithm, suitor graph, subgraph iso- morphism, exact-exponential time algorithms}
}
@InProceedings{bhaskar_et_al:LIPIcs.FSTTCS.2016.30,
author = {Bhaskar, Umang and Jalal, Ajil and Vaze, Rahul},
title = {{The Adwords Problem with Strict Capacity Constraints}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {30:1--30:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Online Algorithms, Adwords, Budgeted Matching, Greedy Algorithms}
}
@InProceedings{kumar_et_al:LIPIcs.FSTTCS.2016.31,
author = {Kumar, Nirman and Raichel, Benjamin and Suri, Subhash and Verbeek, Kevin},
title = {{Most Likely Voronoi Diagrams in Higher Dimensions}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {31:1--31:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Uncertainty, Lower bounds, Voronoi Diagrams, Stochastic}
}
@InProceedings{banik_et_al:LIPIcs.FSTTCS.2016.32,
author = {Banik, Aritra and Panolan, Fahad and Raman, Venkatesh and Sahlot, Vibha},
title = {{Fr\'{e}chet Distance Between a Line and Avatar Point Set}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {32:1--32:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Frechet Distance, Avatar Problems, Multiple Choice, FPT}
}
@InProceedings{chauhan_et_al:LIPIcs.FSTTCS.2016.33,
author = {Chauhan, Ankit and Friedrich, Tobias and Rothenberger, Ralf},
title = {{Greed is Good for Deterministic Scale-Free Networks}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {33:1--33:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: random graphs, power-law degree distribution, scale-free networks, PLB networks, approximation algorithms, vertex cover, dominating set, independent s}
}
@InProceedings{deberg_et_al:LIPIcs.FSTTCS.2016.34,
author = {de Berg, Mark and Jansen, Bart M. P. and Mukherjee, Debankur},
title = {{Independent-Set Reconfiguration Thresholds of Hereditary Graph Classes}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {34:1--34:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Reconfiguration, Independent set, Token Addition Removal, Token Sliding}
}
@InProceedings{gawrychowski_et_al:LIPIcs.FSTTCS.2016.35,
author = {Gawrychowski, Pawel and Jez, Artur},
title = {{LZ77 Factorisation of Trees}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {35:1--35:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Tree grammars, Grammar compression, LZ77, SLP, Tree compression}
}
@InProceedings{bille_et_al:LIPIcs.FSTTCS.2016.36,
author = {Bille, Philip and Christiansen, Anders Roy and Cording, Patrick Hagge and Gortz, Inge Li},
title = {{Finger Search in Grammar-Compressed Strings}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {36:1--36:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.36},
URN = {urn:nbn:de:0030-drops-68717},
doi = {10.4230/LIPIcs.FSTTCS.2016.36},
annote = {Keywords: Compression, Grammars, Finger search, Algorithms}
}
@InProceedings{dinesh_et_al:LIPIcs.FSTTCS.2016.37,
author = {Dinesh, Krishnamoorthy and Koroth, Sajin and Sarma, Jayalal},
title = {{Characterization and Lower Bounds for Branching Program Size Using Projective Dimension}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {37:1--37:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Projective Dimension, Lower Bounds, Branching Program Size}
}
@InProceedings{kumar_et_al:LIPIcs.FSTTCS.2016.38,
author = {Kumar, Mrinal and Saptharishi, Ramprasad},
title = {{Finer Separations Between Shallow Arithmetic Circuits}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {38:1--38:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: arithmetic circuits, lower bounds, separations, depth reduction}
}
@InProceedings{c._et_al:LIPIcs.FSTTCS.2016.39,
author = {C., Ramya and Rao, B. V. Raghavendra},
title = {{Sum of Products of Read-Once Formulas}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {39:1--39:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Arithmetic Circuits, Permanent, Computational Complexity, Algebraic Complexity Theory}
}
@InProceedings{beyersdorff_et_al:LIPIcs.FSTTCS.2016.40,
author = {Beyersdorff, Olaf and Chew, Leroy and Mahajan, Meena and Shukla, Anil},
title = {{Understanding Cutting Planes for QBFs}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {40:1--40:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: proof complexity, QBF, cutting planes, resolution, simulations}
}
@InProceedings{holik_et_al:LIPIcs.FSTTCS.2016.41,
author = {Hol{\'\i}k, Luk\'{a}s and Meyer, Roland and Muskalla, Sebastian},
title = {{Summaries for Context-Free Games}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {41:1--41:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: summaries, context-free games, Kleene iteration, transition monoid, strategy synthesis}
}
@InProceedings{brenguier_et_al:LIPIcs.FSTTCS.2016.42,
author = {Brenguier, Romain and P\'{e}rez, Guillermo A. and Raskin, Jean-Francois and Sankur, Ocan},
title = {{Admissibility in Quantitative Graph Games}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {42:1--42:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Quantitative games, Verification, Reactive synthesis, Admissibility}
}
@InProceedings{klein_et_al:LIPIcs.FSTTCS.2016.43,
author = {Klein, Felix and Zimmermann, Martin},
title = {{Prompt Delay}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {43:1--43:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Infinite Games, Delay Games, Prompt-LTL, LTL}
}
@InProceedings{guha_et_al:LIPIcs.FSTTCS.2016.44,
author = {Guha, Shibashis and Jurdzinski, Marcin and Krishna, Shankara Narayanan and Trivedi, Ashutosh},
title = {{Mean-Payoff Games on Timed Automata}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {44:1--44:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Timed Automata, Mean-Payoff Games, Controller-Synthesis}
}
@InProceedings{berman_et_al:LIPIcs.FSTTCS.2016.45,
author = {Berman, Piotr and Murzabulatov, Meiram and Raskhodnikova, Sofya},
title = {{The Power and Limitations of Uniform Samples in Testing Properties of Figures}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {45:1--45:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Property testing, randomized algorithms, being a half-plane, convexity}
}
@InProceedings{chandrasekaran_et_al:LIPIcs.FSTTCS.2016.46,
author = {Chandrasekaran, Karthekeyan and Cheraghchi, Mahdi and Gandikota, Venkata and Grigorescu, Elena},
title = {{Local Testing for Membership in Lattices}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {46:1--46:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Lattices, Property Testing, Locally Testable Codes, Complexity Theory}
}
@InProceedings{pemmaraju_et_al:LIPIcs.FSTTCS.2016.47,
author = {Pemmaraju, Sriram V. and Sardeshmukh, Vivek B.},
title = {{Super-Fast MST Algorithms in the Congested Clique Using o(m) Messages}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {47:1--47:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Congested Clique, Minimum Spanning Tree, Linear Graph Sketches, Message Complexity, Sampling}
}
@InProceedings{herbreteau_et_al:LIPIcs.FSTTCS.2016.48,
author = {Herbreteau, Fr\'{e}d\'{e}ric and Srivathsan, B. and Tran, Thanh-Tung and Walukiewicz, Igor},
title = {{Why Liveness for Timed Automata Is Hard, and What We Can Do About It}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {48:1--48:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Timed automata, model-checking, liveness invariant, state subsumption}
}
@InProceedings{haslbeck_et_al:LIPIcs.FSTTCS.2016.49,
author = {Haslbeck, Maximilian P. L. and Nipkow, Tobias},
title = {{Verified Analysis of List Update Algorithms}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {49:1--49:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Program Verification, Algorithm Analysis, Online Algorithms}
}
@InProceedings{bendik_et_al:LIPIcs.FSTTCS.2016.50,
author = {Bend{\'\i}k, Jaroslav and Benes, Nikola and Cern\'{a}, Ivana and Barnat, Jir{\'\i}},
title = {{Tunable Online MUS/MSS Enumeration}},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages = {50:1--50:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-027-9},
ISSN = {1868-8969},
year = {2016},
volume = {65},
editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
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 = {Keywords: Minimal unsatisfiable subsets, Maximal satisfiable subsets, Unsatisfiab- ility analysis, Infeasibility analysis}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing