@Proceedings{bojanczyk_et_al:LIPIcs.FSTTCS.2021,
title = {{LIPIcs, Volume 213, FSTTCS 2021, Complete Volume}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {1--866},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021},
URN = {urn:nbn:de:0030-drops-155102},
doi = {10.4230/LIPIcs.FSTTCS.2021},
annote = {Keywords: LIPIcs, Volume 213, FSTTCS 2021, Complete Volume}
}
@InProceedings{bojanczyk_et_al:LIPIcs.FSTTCS.2021.0,
author = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {0:i--0:xvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.0},
URN = {urn:nbn:de:0030-drops-155113},
doi = {10.4230/LIPIcs.FSTTCS.2021.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{aaronson:LIPIcs.FSTTCS.2021.1,
author = {Aaronson, Scott},
title = {{BQP After 28 Years}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {1:1--1:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.1},
URN = {urn:nbn:de:0030-drops-155124},
doi = {10.4230/LIPIcs.FSTTCS.2021.1},
annote = {Keywords: quantum computing, complexity theory, oracle separations, circuit lower bounds}
}
@InProceedings{esparza:LIPIcs.FSTTCS.2021.2,
author = {Esparza, Javier},
title = {{State Complexity of Population Protocols}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.2},
URN = {urn:nbn:de:0030-drops-155139},
doi = {10.4230/LIPIcs.FSTTCS.2021.2},
annote = {Keywords: Population protocols, state complexity, Petri nets}
}
@InProceedings{goldberg:LIPIcs.FSTTCS.2021.3,
author = {Goldberg, Leslie Ann},
title = {{Approximately Counting Graph Homomorphisms and Retractions}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.3},
URN = {urn:nbn:de:0030-drops-155146},
doi = {10.4230/LIPIcs.FSTTCS.2021.3},
annote = {Keywords: Graph homomorphisms, counting}
}
@InProceedings{lin:LIPIcs.FSTTCS.2021.4,
author = {Lin, Huijia (Rachel)},
title = {{Indistinguishability Obfuscation from Well-Founded Assumptions}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {4:1--4:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.4},
URN = {urn:nbn:de:0030-drops-155154},
doi = {10.4230/LIPIcs.FSTTCS.2021.4},
annote = {Keywords: Cryptography, indistinguishability obfuscation}
}
@InProceedings{savani:LIPIcs.FSTTCS.2021.5,
author = {Savani, Rahul},
title = {{The Complexity of Gradient Descent}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {5:1--5:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.5},
URN = {urn:nbn:de:0030-drops-155167},
doi = {10.4230/LIPIcs.FSTTCS.2021.5},
annote = {Keywords: Computational Complexity, Continuous Optimization, TFNP, PPAD, PLS, CLS, UEOPL}
}
@InProceedings{albers_et_al:LIPIcs.FSTTCS.2021.6,
author = {Albers, Susanne and Janke, Maximilian},
title = {{Scheduling in the Secretary Model}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.6},
URN = {urn:nbn:de:0030-drops-155172},
doi = {10.4230/LIPIcs.FSTTCS.2021.6},
annote = {Keywords: Scheduling, makespan minimization, online algorithm, competitive analysis, lower bound, random-order, secretary problem}
}
@InProceedings{allender_et_al:LIPIcs.FSTTCS.2021.7,
author = {Allender, Eric and Cheraghchi, Mahdi and Myrisiotis, Dimitrios and Tirumala, Harsha and Volkovich, Ilya},
title = {{One-Way Functions and a Conditional Variant of MKTP}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {7:1--7:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.7},
URN = {urn:nbn:de:0030-drops-155181},
doi = {10.4230/LIPIcs.FSTTCS.2021.7},
annote = {Keywords: Kolmogorov complexity, KT Complexity, Minimum KT-complexity Problem, MKTP, Conditional KT Complexity, Minimum Conditional KT-complexity Problem, McKTP, one-way functions, OWFs, average-case hardness, pseudorandom generators, PRGs, pseudorandom functions, PRFs, distinguishers, learning algorithms, NP-completeness, reductions}
}
@InProceedings{banchhor_et_al:LIPIcs.FSTTCS.2021.8,
author = {Banchhor, Shashwat and Gajjala, Rishikesh and Sabharwal, Yogish and Sen, Sandeep},
title = {{Generalizations of Length Limited Huffman Coding for Hierarchical Memory Settings}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {8:1--8:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.8},
URN = {urn:nbn:de:0030-drops-155193},
doi = {10.4230/LIPIcs.FSTTCS.2021.8},
annote = {Keywords: Approximation algorithms, Hierarchical memory, Prefix free codes}
}
@InProceedings{boyd_et_al:LIPIcs.FSTTCS.2021.9,
author = {Boyd, Sylvia and Cheriyan, Joseph and Haddadan, Arash and Ibrahimpur, Sharat},
title = {{Approximation Algorithms for Flexible Graph Connectivity}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {9:1--9:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.9},
URN = {urn:nbn:de:0030-drops-155206},
doi = {10.4230/LIPIcs.FSTTCS.2021.9},
annote = {Keywords: Approximation Algorithms, Combinatorial Optimization, Network Design, Edge-Connectivity of Graphs, Reliability of Networks}
}
@InProceedings{chakraborty_et_al:LIPIcs.FSTTCS.2021.10,
author = {Chakraborty, Sourav and Mande, Nikhil S. and Mittal, Rajat and Molli, Tulasimohan and Paraashar, Manaswi and Sanyal, Swagato},
title = {{Tight Chang’s-Lemma-Type Bounds for Boolean Functions}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {10:1--10:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.10},
URN = {urn:nbn:de:0030-drops-155215},
doi = {10.4230/LIPIcs.FSTTCS.2021.10},
annote = {Keywords: Analysis of Boolean functions, Chang’s lemma, Parity decision trees, Fourier dimension}
}
@InProceedings{chakraborty_et_al:LIPIcs.FSTTCS.2021.11,
author = {Chakraborty, Diptarka and Das, Debarati and Krauthgamer, Robert},
title = {{Approximate Trace Reconstruction via Median String (In Average-Case)}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {11:1--11:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.11},
URN = {urn:nbn:de:0030-drops-155228},
doi = {10.4230/LIPIcs.FSTTCS.2021.11},
annote = {Keywords: Trace Reconstruction, Approximation Algorithms, Edit Distance, String Median}
}
@InProceedings{chakraborty_et_al:LIPIcs.FSTTCS.2021.12,
author = {Chakraborty, Diptarka and Gajjar, Kshitij and Jha, Agastya Vibhuti},
title = {{Approximating the Center Ranking Under Ulam}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {12:1--12:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.12},
URN = {urn:nbn:de:0030-drops-155230},
doi = {10.4230/LIPIcs.FSTTCS.2021.12},
annote = {Keywords: Center Problem, Ulam Metric, Edit Distance, Closest String, Approximation Algorithms}
}
@InProceedings{chattopadhyay_et_al:LIPIcs.FSTTCS.2021.13,
author = {Chattopadhyay, Arkadev and Garg, Ankit and Sherif, Suhail},
title = {{Towards Stronger Counterexamples to the Log-Approximate-Rank Conjecture}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {13:1--13:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.13},
URN = {urn:nbn:de:0030-drops-155245},
doi = {10.4230/LIPIcs.FSTTCS.2021.13},
annote = {Keywords: Approximate Rank, Randomized Parity Decision Trees, Randomized Communication Complexity, XOR functions, Subspace Designs}
}
@InProceedings{chillara:LIPIcs.FSTTCS.2021.14,
author = {Chillara, Suryajith},
title = {{Functional Lower Bounds for Restricted Arithmetic Circuits of Depth Four}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {14:1--14:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.14},
URN = {urn:nbn:de:0030-drops-155251},
doi = {10.4230/LIPIcs.FSTTCS.2021.14},
annote = {Keywords: Functional Lower Bounds, Boolean Circuit Lower Bounds, Depth Four, Connections to Boolean Complexity, Iterated Matrix Multiplication}
}
@InProceedings{dahiya_et_al:LIPIcs.FSTTCS.2021.15,
author = {Dahiya, Yogesh and Mahajan, Meena},
title = {{On (Simple) Decision Tree Rank}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.15},
URN = {urn:nbn:de:0030-drops-155263},
doi = {10.4230/LIPIcs.FSTTCS.2021.15},
annote = {Keywords: Boolean functions, Decision trees, certificate complexity, rank}
}
@InProceedings{datta_et_al:LIPIcs.FSTTCS.2021.16,
author = {Datta, Samir and Gupta, Chetan and Jain, Rahul and Mukherjee, Anish and Sharma, Vimal Raj and Tewari, Raghunath},
title = {{Reachability and Matching in Single Crossing Minor Free Graphs}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {16:1--16:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.16},
URN = {urn:nbn:de:0030-drops-155277},
doi = {10.4230/LIPIcs.FSTTCS.2021.16},
annote = {Keywords: Reachability, Matching, Logspace, Single-crossing minor free graphs}
}
@InProceedings{du_et_al:LIPIcs.FSTTCS.2021.17,
author = {Du, Yang and Volkovich, Ilya},
title = {{Approximating the Number of Prime Factors Given an Oracle to Euler’s Totient Function}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {17:1--17:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.17},
URN = {urn:nbn:de:0030-drops-155286},
doi = {10.4230/LIPIcs.FSTTCS.2021.17},
annote = {Keywords: Euler’s Totient Function, Integer Factorization, Number of Prime Factors, Derandomization}
}
@InProceedings{eberle_et_al:LIPIcs.FSTTCS.2021.18,
author = {Eberle, Franziska and Megow, Nicole and N\"{o}lke, Lukas and Simon, Bertrand and Wiese, Andreas},
title = {{Fully Dynamic Algorithms for Knapsack Problems with Polylogarithmic Update Time}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.18},
URN = {urn:nbn:de:0030-drops-155297},
doi = {10.4230/LIPIcs.FSTTCS.2021.18},
annote = {Keywords: Fully dynamic algorithms, knapsack problem, approximation schemes}
}
@InProceedings{eom_et_al:LIPIcs.FSTTCS.2021.19,
author = {Eom, Taekang and Lee, Seungjun and Ahn, Hee-Kap},
title = {{Largest Similar Copies of Convex Polygons in Polygonal Domains}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {19:1--19:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.19},
URN = {urn:nbn:de:0030-drops-155300},
doi = {10.4230/LIPIcs.FSTTCS.2021.19},
annote = {Keywords: Polygon placement, Largest similar copy, Polygonal domain}
}
@InProceedings{esser_et_al:LIPIcs.FSTTCS.2021.20,
author = {Esser, Andre and K\"{u}bler, Robert and Zweydinger, Floyd},
title = {{A Faster Algorithm for Finding Closest Pairs in Hamming Metric}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {20:1--20:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.20},
URN = {urn:nbn:de:0030-drops-155317},
doi = {10.4230/LIPIcs.FSTTCS.2021.20},
annote = {Keywords: closest pair problem, LSH, nearest neighbor}
}
@InProceedings{fomin_et_al:LIPIcs.FSTTCS.2021.21,
author = {Fomin, Fedor V. and Golovach, Petr A. and Inamdar, Tanmay and Saurabh, Saket},
title = {{ETH Tight Algorithms for Geometric Intersection Graphs: Now in Polynomial Space}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {21:1--21:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.21},
URN = {urn:nbn:de:0030-drops-155323},
doi = {10.4230/LIPIcs.FSTTCS.2021.21},
annote = {Keywords: Subexponential Algorithms, Geometric Intersection Graphs, Treedepth, Treewidth}
}
@InProceedings{garg_et_al:LIPIcs.FSTTCS.2021.22,
author = {Garg, Jugal and Kulkarni, Pooja and Murhekar, Aniket},
title = {{On Fair and Efficient Allocations of Indivisible Public Goods}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {22:1--22:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.22},
URN = {urn:nbn:de:0030-drops-155331},
doi = {10.4230/LIPIcs.FSTTCS.2021.22},
annote = {Keywords: Public goods, Nash welfare, Leximin, Proportionality}
}
@InProceedings{gupta_et_al:LIPIcs.FSTTCS.2021.23,
author = {Gupta, Chetan and Jain, Rahul and Tewari, Raghunath},
title = {{Time Space Optimal Algorithm for Computing Separators in Bounded Genus Graphs}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {23:1--23:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.23},
URN = {urn:nbn:de:0030-drops-155344},
doi = {10.4230/LIPIcs.FSTTCS.2021.23},
annote = {Keywords: Graph algorithms, space-bounded algorithms, surface embedded graphs, reachability, Euler genus, algorithmic graph theory, computational complexity theory}
}
@InProceedings{jalan_et_al:LIPIcs.FSTTCS.2021.24,
author = {Jalan, Akhil and Moshkovitz, Dana},
title = {{Near-Optimal Cayley Expanders for Abelian Groups}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {24:1--24:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.24},
URN = {urn:nbn:de:0030-drops-155359},
doi = {10.4230/LIPIcs.FSTTCS.2021.24},
annote = {Keywords: Cayley graphs, Expander walks, Epsilon-biased sets, Derandomization}
}
@InProceedings{kavitha:LIPIcs.FSTTCS.2021.25,
author = {Kavitha, Telikepalli},
title = {{Matchings, Critical Nodes, and Popular Solutions}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {25:1--25:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.25},
URN = {urn:nbn:de:0030-drops-155360},
doi = {10.4230/LIPIcs.FSTTCS.2021.25},
annote = {Keywords: Bipartite graphs, Stable matchings, LP-duality}
}
@InProceedings{klimenko_et_al:LIPIcs.FSTTCS.2021.26,
author = {Klimenko, Georgiy and Raichel, Benjamin},
title = {{Fast and Exact Convex Hull Simplification}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {26:1--26:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.26},
URN = {urn:nbn:de:0030-drops-155373},
doi = {10.4230/LIPIcs.FSTTCS.2021.26},
annote = {Keywords: Convex hull, coreset, exact algorithm}
}
@InProceedings{li_et_al:LIPIcs.FSTTCS.2021.27,
author = {Li, Xin and Zheng, Yu},
title = {{Lower Bounds and Improved Algorithms for Asymmetric Streaming Edit Distance and Longest Common Subsequence}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {27:1--27:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.27},
URN = {urn:nbn:de:0030-drops-155381},
doi = {10.4230/LIPIcs.FSTTCS.2021.27},
annote = {Keywords: Asymmetric Streaming Model, Edit Distance, Longest Common Subsequence, Space Lower Bound}
}
@InProceedings{lokshtanov_et_al:LIPIcs.FSTTCS.2021.28,
author = {Lokshtanov, Daniel and Saurabh, Saket and Suri, Subhash and Xue, Jie},
title = {{An ETH-Tight Algorithm for Multi-Team Formation}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {28:1--28:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.28},
URN = {urn:nbn:de:0030-drops-155391},
doi = {10.4230/LIPIcs.FSTTCS.2021.28},
annote = {Keywords: Team formation, Parameterized algorithms, Exponential Time Hypothesis}
}
@InProceedings{lokshtanov_et_al:LIPIcs.FSTTCS.2021.29,
author = {Lokshtanov, Daniel and Surianarayanan, Vaishali},
title = {{Dominating Set in Weakly Closed Graphs is Fixed Parameter Tractable}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {29:1--29:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.29},
URN = {urn:nbn:de:0030-drops-155404},
doi = {10.4230/LIPIcs.FSTTCS.2021.29},
annote = {Keywords: Dominating Set, Weakly Closed Graphs, FPT, Domination Cores, VC-dimension}
}
@InProceedings{nasre_et_al:LIPIcs.FSTTCS.2021.30,
author = {Nasre, Meghana and Nimbhorkar, Prajakta and Ranjan, Keshav and Sarkar, Ankita},
title = {{Popular Matchings in the Hospital-Residents Problem with Two-Sided Lower Quotas}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {30:1--30:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.30},
URN = {urn:nbn:de:0030-drops-155419},
doi = {10.4230/LIPIcs.FSTTCS.2021.30},
annote = {Keywords: Matching, Popularity, Lower quota, Preferences}
}
@InProceedings{radhakrishnan_et_al:LIPIcs.FSTTCS.2021.31,
author = {Radhakrishnan, Jaikumar and Srinivasan, Aravind},
title = {{Property B: Two-Coloring Non-Uniform Hypergraphs}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {31:1--31:8},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.31},
URN = {urn:nbn:de:0030-drops-155428},
doi = {10.4230/LIPIcs.FSTTCS.2021.31},
annote = {Keywords: Hypergraph coloring, Propery B}
}
@InProceedings{sharma:LIPIcs.FSTTCS.2021.32,
author = {Sharma, Eklavya},
title = {{Harmonic Algorithms for Packing d-Dimensional Cuboids into Bins}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {32:1--32:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.32},
URN = {urn:nbn:de:0030-drops-155432},
doi = {10.4230/LIPIcs.FSTTCS.2021.32},
annote = {Keywords: Geometric bin packing}
}
@InProceedings{akshay_et_al:LIPIcs.FSTTCS.2021.33,
author = {Akshay, S. and Genest, Blaise and H\'{e}lou\"{e}t, Lo\"{i}c and Krishna, S. and Roychowdhury, Sparsa},
title = {{Resilience of Timed Systems}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {33:1--33:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.33},
URN = {urn:nbn:de:0030-drops-155442},
doi = {10.4230/LIPIcs.FSTTCS.2021.33},
annote = {Keywords: Timed automata, Fault tolerance, Integer-resets, Resilience}
}
@InProceedings{arrighi_et_al:LIPIcs.FSTTCS.2021.34,
author = {Arrighi, Emmanuel and Fernau, Henning and Hoffmann, Stefan and Holzer, Markus and Jecker, Isma\"{e}l and de Oliveira Oliveira, Mateus and Wolf, Petra},
title = {{On the Complexity of Intersection Non-emptiness for Star-Free Language Classes}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {34:1--34:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.34},
URN = {urn:nbn:de:0030-drops-155456},
doi = {10.4230/LIPIcs.FSTTCS.2021.34},
annote = {Keywords: Intersection Non-emptiness Problem, Star-Free Languages, Straubing-Th\'{e}rien Hierarchy, dot-depth Hierarchy, Commutative Languages, Complexity}
}
@InProceedings{balasubramanian:LIPIcs.FSTTCS.2021.35,
author = {Balasubramanian, A. R.},
title = {{Complexity of Coverability in Bounded Path Broadcast Networks}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {35:1--35:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.35},
URN = {urn:nbn:de:0030-drops-155466},
doi = {10.4230/LIPIcs.FSTTCS.2021.35},
annote = {Keywords: Parameterized verification, Bounded path networks, Fast-growing complexity classes}
}
@InProceedings{bednarczyk_et_al:LIPIcs.FSTTCS.2021.36,
author = {Bednarczyk, Bartosz and Or{\l}owska, Maja and Pacanowska, Anna and Tan, Tony},
title = {{On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {36:1--36:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.36},
URN = {urn:nbn:de:0030-drops-155478},
doi = {10.4230/LIPIcs.FSTTCS.2021.36},
annote = {Keywords: statistical reasoning, knowledge representation, satisfiability, fragments of first-order logic, guarded fragment, two-variable fragment, (un)decidability}
}
@InProceedings{bedon:LIPIcs.FSTTCS.2021.37,
author = {Bedon, Nicolas},
title = {{Branching Automata and Pomset Automata}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {37:1--37:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.37},
URN = {urn:nbn:de:0030-drops-155486},
doi = {10.4230/LIPIcs.FSTTCS.2021.37},
annote = {Keywords: Finite N-free Pomsets, Finite Series-Parallel Pomsets, Branching Automata, Pomset Automata, Series-Parallel Rational Languages}
}
@InProceedings{boker_et_al:LIPIcs.FSTTCS.2021.38,
author = {Boker, Udi and Lehtinen, Karoliina},
title = {{History Determinism vs. Good for Gameness in Quantitative Automata}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {38:1--38:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.38},
URN = {urn:nbn:de:0030-drops-155495},
doi = {10.4230/LIPIcs.FSTTCS.2021.38},
annote = {Keywords: Good for games, history determinism, alternation, quantitative automata}
}
@InProceedings{bollig_et_al:LIPIcs.FSTTCS.2021.39,
author = {Bollig, Benedikt and Sangnier, Arnaud and Stietel, Olivier},
title = {{Local First-Order Logic with Two Data Values}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {39:1--39:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.39},
URN = {urn:nbn:de:0030-drops-155508},
doi = {10.4230/LIPIcs.FSTTCS.2021.39},
annote = {Keywords: first-order logic, data values, specification of distributed algorithms}
}
@InProceedings{bonchi_et_al:LIPIcs.FSTTCS.2021.40,
author = {Bonchi, Filippo and Di Giorgio, Alessandro and Soboci\'{n}ski, Pawe{\l}},
title = {{Diagrammatic Polyhedral Algebra}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {40:1--40:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.40},
URN = {urn:nbn:de:0030-drops-155511},
doi = {10.4230/LIPIcs.FSTTCS.2021.40},
annote = {Keywords: String diagrams, Polyhedral cones, Polyhedra}
}
@InProceedings{bordais_et_al:LIPIcs.FSTTCS.2021.41,
author = {Bordais, Benjamin and Bouyer, Patricia and Le Roux, St\'{e}phane},
title = {{From Local to Global Determinacy in Concurrent Graph Games}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {41:1--41:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.41},
URN = {urn:nbn:de:0030-drops-155522},
doi = {10.4230/LIPIcs.FSTTCS.2021.41},
annote = {Keywords: Concurrent games, Game forms, Local interaction}
}
@InProceedings{chatterjee_et_al:LIPIcs.FSTTCS.2021.42,
author = {Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas},
title = {{Quantitative Verification on Product Graphs of Small Treewidth}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {42:1--42:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.42},
URN = {urn:nbn:de:0030-drops-155533},
doi = {10.4230/LIPIcs.FSTTCS.2021.42},
annote = {Keywords: graph algorithms, algebraic paths, mean-payoff, initial credit for energy}
}
@InProceedings{filiot_et_al:LIPIcs.FSTTCS.2021.43,
author = {Filiot, Emmanuel and Winter, Sarah},
title = {{Synthesizing Computable Functions from Rational Specifications over Infinite Words}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {43:1--43:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.43},
URN = {urn:nbn:de:0030-drops-155541},
doi = {10.4230/LIPIcs.FSTTCS.2021.43},
annote = {Keywords: uniformization, synthesis, transducers, continuity, computability}
}
@InProceedings{gutierrez_et_al:LIPIcs.FSTTCS.2021.44,
author = {Guti\'{e}rrez, Ra\'{u}l and Lucas, Salvador and V{\'\i}tores, Miguel},
title = {{Confluence of Conditional Rewriting in Logic Form}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {44:1--44:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.44},
URN = {urn:nbn:de:0030-drops-155553},
doi = {10.4230/LIPIcs.FSTTCS.2021.44},
annote = {Keywords: Confluence, Program analysis, Rewriting-based systems}
}
@InProceedings{holla_et_al:LIPIcs.FSTTCS.2021.45,
author = {Holla, Raveendra and Deka, Nabarun and D'Souza, Deepak},
title = {{On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {45:1--45:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.45},
URN = {urn:nbn:de:0030-drops-155562},
doi = {10.4230/LIPIcs.FSTTCS.2021.45},
annote = {Keywords: Real-Time Logics, First-Order Logics}
}
@InProceedings{hugenroth:LIPIcs.FSTTCS.2021.46,
author = {Hugenroth, Christopher},
title = {{Separating Regular Languages over Infinite Words with Respect to the Wagner Hierarchy}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {46:1--46:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.46},
URN = {urn:nbn:de:0030-drops-155574},
doi = {10.4230/LIPIcs.FSTTCS.2021.46},
annote = {Keywords: Separation, Regular, Wagner Hierarchy, Muller Automata, Parity Automata, Product Automata, Membership}
}
@InProceedings{jordon_et_al:LIPIcs.FSTTCS.2021.47,
author = {Jordon, Liam and Moser, Philippe},
title = {{Normal Sequences with Non-Maximal Automatic Complexity}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {47:1--47:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.47},
URN = {urn:nbn:de:0030-drops-155580},
doi = {10.4230/LIPIcs.FSTTCS.2021.47},
annote = {Keywords: Automatic Complexity, finite-state complexity, normal sequences, Champernowne sequences, de Bruijn strings, Kolmogorov complexity}
}
@InProceedings{kiefer_et_al:LIPIcs.FSTTCS.2021.48,
author = {Kiefer, Stefan and Tang, Qiyi},
title = {{Approximate Bisimulation Minimisation}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {48:1--48:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.48},
URN = {urn:nbn:de:0030-drops-155599},
doi = {10.4230/LIPIcs.FSTTCS.2021.48},
annote = {Keywords: Markov chains, Behavioural metrics, Bisimulation}
}
@InProceedings{kikuchi_et_al:LIPIcs.FSTTCS.2021.49,
author = {Kikuchi, Kentaro and Aoto, Takahito},
title = {{Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {49:1--49:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.49},
URN = {urn:nbn:de:0030-drops-155602},
doi = {10.4230/LIPIcs.FSTTCS.2021.49},
annote = {Keywords: Term rewriting, Sufficient completeness, Local sufficient completeness, Non-termination, Derivation rule, Well-founded induction schema}
}
@InProceedings{lasota_et_al:LIPIcs.FSTTCS.2021.50,
author = {Lasota, S{\l}awomir and Pattathurajan, Mohnish},
title = {{Parikh Images of Register Automata}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {50:1--50:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.50},
URN = {urn:nbn:de:0030-drops-155613},
doi = {10.4230/LIPIcs.FSTTCS.2021.50},
annote = {Keywords: Sets with atoms, register automata, Parikh images, rational sets, hierarchical register automata}
}
@InProceedings{lee_et_al:LIPIcs.FSTTCS.2021.51,
author = {Lee, Dongho and Perrelle, Valentin and Valiron, Beno\^{i}t and Xu, Zhaowei},
title = {{Concrete Categorical Model of a Quantum Circuit Description Language with Measurement}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {51:1--51:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.51},
URN = {urn:nbn:de:0030-drops-155627},
doi = {10.4230/LIPIcs.FSTTCS.2021.51},
annote = {Keywords: Categorical semantics, Operational semantics, Quantum circuit description language}
}
@InProceedings{virtema_et_al:LIPIcs.FSTTCS.2021.52,
author = {Virtema, Jonni and Hofmann, Jana and Finkbeiner, Bernd and Kontinen, Juha and Yang, Fan},
title = {{Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity}},
booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)},
pages = {52:1--52:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-215-0},
ISSN = {1868-8969},
year = {2021},
volume = {213},
editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.52},
URN = {urn:nbn:de:0030-drops-155634},
doi = {10.4230/LIPIcs.FSTTCS.2021.52},
annote = {Keywords: Linear temporal logic, Hyperproperties, Model Checking, Expressivity}
}
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