default search action
Search dblp for Publications
export results for "toc:db/conf/fsttcs/fsttcs2022.bht:"
@inproceedings{DBLP:conf/fsttcs/000122, author = {Anupam Gupta}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Algorithms for Uncertain Environments: Going Beyond the Worst-Case (Invited Talk)}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {1:1--1:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.1}, doi = {10.4230/LIPICS.FSTTCS.2022.1}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/000122.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/0001JS22, author = {Abhishek De and Farzad Jafarrahmani and Alexis Saurin}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Phase Semantics for Linear Logic with Least and Greatest Fixed Points}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {35:1--35:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.35}, doi = {10.4230/LIPICS.FSTTCS.2022.35}, timestamp = {Tue, 04 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/0001JS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/0001MSS22, author = {Nathalie Bertrand and Nicolas Markey and Suman Sadhukhan and Ocan Sankur}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Semilinear Representations for Series-Parallel Atomic Congestion Games}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {32:1--32:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.32}, doi = {10.4230/LIPICS.FSTTCS.2022.32}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/0001MSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/0001SS22, author = {Arindam Khan and Eklavya Sharma and K. V. N. Sreenivas}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Geometry Meets Vectors: Approximation Algorithms for Multidimensional Packing}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {23:1--23:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.23}, doi = {10.4230/LIPICS.FSTTCS.2022.23}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/0001SS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/0003S22, author = {Mohit Garg and Suneel Sarswat}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {The Design and Regulation of Exchanges: {A} Formal Approach}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {39:1--39:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.39}, doi = {10.4230/LIPICS.FSTTCS.2022.39}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/0003S22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/AhmadiCGMSZ22, author = {Ali Ahmadi and Krishnendu Chatterjee and Amir Kafshdar Goharshady and Tobias Meggendorfer and Roodabeh Safavi and Dorde Zikelic}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Algorithms and Hardness Results for Computing Cores of Markov Chains}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {29:1--29:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29}, doi = {10.4230/LIPICS.FSTTCS.2022.29}, timestamp = {Mon, 02 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/AhmadiCGMSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/AvniS22, author = {Guy Avni and Suman Sadhukhan}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Computing Threshold Budgets in Discrete-Bidding Games}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {30:1--30:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.30}, doi = {10.4230/LIPICS.FSTTCS.2022.30}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/AvniS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Babu0R22, author = {Jasine Babu and R. Krithika and Deepak Rajendraprasad}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Packing Arc-Disjoint 4-Cycles in Oriented Graphs}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {5:1--5:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.5}, doi = {10.4230/LIPICS.FSTTCS.2022.5}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Babu0R22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BeidemanCC022, author = {Calvin Beideman and Karthekeyan Chandrasekaran and Chandra Chekuri and Chao Xu}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Approximate Representation of Symmetric Submodular Functions via Hypergraph Cut Functions}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {6:1--6:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.6}, doi = {10.4230/LIPICS.FSTTCS.2022.6}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BeidemanCC022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BellierPS22, author = {Dylan Bellier and Sophie Pinchinat and Fran{\c{c}}ois Schwarzentruber}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Dependency Matrices for Multiplayer Strategic Dependencies}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {31:1--31:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.31}, doi = {10.4230/LIPICS.FSTTCS.2022.31}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BellierPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BilardiS22, author = {Gianfranco Bilardi and Lorenzo De Stefani}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {The {DAG} Visit Approach for Pebbling and {I/O} Lower Bounds}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {7:1--7:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.7}, doi = {10.4230/LIPICS.FSTTCS.2022.7}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BilardiS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BishnuGMP22, author = {Arijit Bishnu and Arijit Ghosh and Gopinath Mishra and Manaswi Paraashar}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Counting and Sampling from Substructures Using Linear Algebraic Queries}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {8:1--8:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.8}, doi = {10.4230/LIPICS.FSTTCS.2022.8}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BishnuGMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Bisht022, author = {Pranav Bisht and Nitin Saxena}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Derandomization via Symmetric Polytopes: Poly-Time Factorization of Certain Sparse Polynomials}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {9:1--9:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.9}, doi = {10.4230/LIPICS.FSTTCS.2022.9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Bisht022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BishtV22, author = {Pranav Bisht and Ilya Volkovich}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {On Solving Sparse Polynomial Factorization Related Problems}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {10:1--10:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.10}, doi = {10.4230/LIPICS.FSTTCS.2022.10}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BishtV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BordaisB022, author = {Benjamin Bordais and Patricia Bouyer and St{\'{e}}phane Le Roux}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Playing (Almost-)Optimally in Concurrent B{\"{u}}chi and Co-B{\"{u}}chi Games}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {33:1--33:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.33}, doi = {10.4230/LIPICS.FSTTCS.2022.33}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BordaisB022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BouyerRV22, author = {Patricia Bouyer and Mickael Randour and Pierre Vandenhove}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {The True Colors of Memory: {A} Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk)}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {3:1--3:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.3}, doi = {10.4230/LIPICS.FSTTCS.2022.3}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BouyerRV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Carton22, author = {Olivier Carton}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Ambiguity Through the Lens of Measure Theory}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {34:1--34:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.34}, doi = {10.4230/LIPICS.FSTTCS.2022.34}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Carton22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChatterjeeIJS22, author = {Krishnendu Chatterjee and Rasmus Ibsen{-}Jensen and Isma{\"{e}}l Jecker and Jakub Svoboda}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Complexity of Spatial Games}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {11:1--11:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11}, doi = {10.4230/LIPICS.FSTTCS.2022.11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ChatterjeeIJS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChattopadhyayGM22, author = {Arkadev Chattopadhyay and Utsab Ghosal and Partha Mukhopadhyay}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Robustly Separating the Arithmetic Monotone Hierarchy via Graph Inner-Product}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {12:1--12:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.12}, doi = {10.4230/LIPICS.FSTTCS.2022.12}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ChattopadhyayGM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChungBSYA22, author = {Jaehoon Chung and Sang Won Bae and Chan{-}Su Shin and Sang Duk Yoon and Hee{-}Kap Ahn}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Inscribing or Circumscribing a Histogon to a Convex Polygon}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {13:1--13:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.13}, doi = {10.4230/LIPICS.FSTTCS.2022.13}, timestamp = {Mon, 03 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/ChungBSYA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Cook22, author = {Joshua Cook}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {More Verifier Efficient Interactive Protocols for Bounded Space}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {14:1--14:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.14}, doi = {10.4230/LIPICS.FSTTCS.2022.14}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Cook22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/CornelissenMP22, author = {Arjan Cornelissen and Nikhil S. Mande and Subhasree Patro}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Improved Quantum Query Upper Bounds Based on Classical Decision Trees}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {15:1--15:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.15}, doi = {10.4230/LIPICS.FSTTCS.2022.15}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/CornelissenMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/CurticapeanL022, author = {Radu Curticapean and Nutan Limaye and Srikanth Srinivasan}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {On the VNP-Hardness of Some Monomial Symmetric Polynomials}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {16:1--16:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.16}, doi = {10.4230/LIPICS.FSTTCS.2022.16}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/CurticapeanL022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DeJKS22, author = {Minati De and Saksham Jain and Sarat Varma Kallepalli and Satyam Singh}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Online Piercing of Geometric Objects}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {17:1--17:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.17}, doi = {10.4230/LIPICS.FSTTCS.2022.17}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/DeJKS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Dinur22, author = {Irit Dinur}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Expanders in Higher Dimensions (Invited Talk)}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {4:1--4:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.4}, doi = {10.4230/LIPICS.FSTTCS.2022.4}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Dinur22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DuraisamyHJKMNP22, author = {Nandhana Duraisamy and Hannah Miller Hillberg and Ramesh K. Jallu and Erik Krohn and Anil Maheshwari and Subhas C. Nandy and Alex Pahlow}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Half-Guarding Weakly-Visible Polygons and Terrains}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {18:1--18:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.18}, doi = {10.4230/LIPICS.FSTTCS.2022.18}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/DuraisamyHJKMNP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/EhlersS22, author = {R{\"{u}}diger Ehlers and Sven Schewe}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Natural Colors of Infinite Words}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {36:1--36:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.36}, doi = {10.4230/LIPICS.FSTTCS.2022.36}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/EhlersS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkbeinerP22, author = {Bernd Finkbeiner and Noemi Passing}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Synthesizing Dominant Strategies for Liveness}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {37:1--37:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.37}, doi = {10.4230/LIPICS.FSTTCS.2022.37}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkbeinerP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GanardiJLS22, author = {Moses Ganardi and Louis Jachiet and Markus Lohrey and Thomas Schwentick}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Low-Latency Sliding Window Algorithms for Formal Languages}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {38:1--38:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.38}, doi = {10.4230/LIPICS.FSTTCS.2022.38}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/GanardiJLS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GangamMRV22, author = {Rohith Reddy Gangam and Tung Mai and Nitya Raju and Vijay V. Vazirani}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {A Structural and Algorithmic Study of Stable Matching Lattices of "Nearby" Instances, with Applications}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {19:1--19:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.19}, doi = {10.4230/LIPICS.FSTTCS.2022.19}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/GangamMRV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GesmundoGIL22, author = {Fulvio Gesmundo and Purnata Ghosal and Christian Ikenmeyer and Vladimir Lysikov}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Degree-Restricted Strength Decompositions and Algebraic Branching Programs}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {20:1--20:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.20}, doi = {10.4230/LIPICS.FSTTCS.2022.20}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/GesmundoGIL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GuhaJL022, author = {Shibashis Guha and Isma{\"{e}}l Jecker and Karoliina Lehtinen and Martin Zimmermann}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Parikh Automata over Infinite Words}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {40:1--40:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.40}, doi = {10.4230/LIPICS.FSTTCS.2022.40}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/GuhaJL022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/JoshiRT22, author = {Utkarsh Joshi and Saladi Rahul and Josson Joe Thoppil}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {A Simple Polynomial Time Algorithm for Max Cut on Laminar Geometric Intersection Graphs}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {21:1--21:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.21}, doi = {10.4230/LIPICS.FSTTCS.2022.21}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/JoshiRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Kavitha22, author = {Telikepalli Kavitha}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Stable Matchings with One-Sided Ties and Approximate Popularity}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {22:1--22:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.22}, doi = {10.4230/LIPICS.FSTTCS.2022.22}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Kavitha22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Koechlin22, author = {Florent Koechlin}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {New Analytic Techniques for Proving the Inherent Ambiguity of Context-Free Languages}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {41:1--41:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.41}, doi = {10.4230/LIPICS.FSTTCS.2022.41}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Koechlin22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/KoiranS22, author = {Pascal Koiran and Subhayan Saha}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Black Box Absolute Reconstruction for Sums of Powers of Linear Forms}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {24:1--24:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.24}, doi = {10.4230/LIPICS.FSTTCS.2022.24}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/KoiranS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/KupfermanL22, author = {Orna Kupferman and Ofer Leshkowitz}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Synthesis of Privacy-Preserving Systems}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {42:1--42:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.42}, doi = {10.4230/LIPICS.FSTTCS.2022.42}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/KupfermanL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LachishRT22, author = {Oded Lachish and Felix Reidl and Chhaya Trehan}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {When You Come at the King You Best Not Miss}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {25:1--25:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.25}, doi = {10.4230/LIPICS.FSTTCS.2022.25}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/LachishRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Maharjan022, author = {Ramita Maharjan and Thomas Watson}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Complexity of Fault Tolerant Query Complexity}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {26:1--26:11}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.26}, doi = {10.4230/LIPICS.FSTTCS.2022.26}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Maharjan022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MisraMTV22, author = {Neeldhara Misra and Manas Mulpuri and Prafullkumar Tale and Gaurav Viramgami}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Romeo and Juliet Meeting in Forest like Regions}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {27:1--27:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.27}, doi = {10.4230/LIPICS.FSTTCS.2022.27}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/MisraMTV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/PlaceZ22, author = {Thomas Place and Marc Zeitoun}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {A Generic Polynomial Time Approach to Separation by First-Order Logic Without Quantifier Alternation}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {43:1--43:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.43}, doi = {10.4230/LIPICS.FSTTCS.2022.43}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/PlaceZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Santhanam22, author = {Rahul Santhanam}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Why {MCSP} Is a More Important Problem Than {SAT} (Invited Talk)}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {2:1--2:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.2}, doi = {10.4230/LIPICS.FSTTCS.2022.2}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Santhanam22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ThejaswiniOJ22, author = {K. S. Thejaswini and Pierre Ohlmann and Marcin Jurdzinski}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {44:1--44:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.44}, doi = {10.4230/LIPICS.FSTTCS.2022.44}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ThejaswiniOJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Vazirani22, author = {Vijay V. Vazirani}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {New Characterizations of Core Imputations of Matching and b-Matching Games}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {28:1--28:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.28}, doi = {10.4230/LIPICS.FSTTCS.2022.28}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Vazirani22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/X22, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Front Matter, Table of Contents, Preface, Conference Organization}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {0:1--0:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.0}, doi = {10.4230/LIPICS.FSTTCS.2022.0}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/X22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fsttcs/2022, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-261-7}, isbn = {978-3-95977-261-7}, timestamp = {Wed, 21 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.