default search action
Search dblp for Publications
export results for "toc:db/conf/fsttcs/fsttcs2023.bht:"
@inproceedings{DBLP:conf/fsttcs/0001CHMS23, author = {Dmitry Chistikov and Wojciech Czerwinski and Piotr Hofman and Filip Mazowiecki and Henry Sinclair{-}Banks}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Acyclic Petri and Workflow Nets with Resets}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {16:1--16:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.16}, doi = {10.4230/LIPICS.FSTTCS.2023.16}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/0001CHMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/0001MST23, author = {R. Krithika and V. K. Kutty Malu and Roohani Sharma and Prafullkumar Tale}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Parameterized Complexity of Biclique Contraction and Balanced Biclique Contraction}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {8:1--8:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.8}, doi = {10.4230/LIPICS.FSTTCS.2023.8}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/0001MST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/00020S23, author = {Anupam Das and Abhishek De and Alexis Saurin}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Comparing Infinitary Systems for Linear Logic with Fixed Points}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {40:1--40:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.40}, doi = {10.4230/LIPICS.FSTTCS.2023.40}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/00020S23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/0002KK0023, author = {Tanmay Inamdar and Lawqueen Kanesh and Madhumita Kundu and M. S. Ramanujan and Saket Saurabh}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {{FPT} Approximations for Packing and Covering Problems Parameterized by Elimination Distance and Even Less}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {28:1--28:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.28}, doi = {10.4230/LIPICS.FSTTCS.2023.28}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/0002KK0023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/AbboudKLS23, author = {Amir Abboud and Seri Khoury and Oree Leibowitz and Ron Safier}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Listing 4-Cycles}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {25:1--25:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.25}, doi = {10.4230/LIPICS.FSTTCS.2023.25}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/AbboudKLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Agrawal023, author = {Akanksha Agrawal and M. S. Ramanujan}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Approximately Interpolating Between Uniformly and Non-Uniformly Polynomial Kernels}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {36:1--36:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.36}, doi = {10.4230/LIPICS.FSTTCS.2023.36}, timestamp = {Tue, 02 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Agrawal023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/AlmagorAB23, author = {Shaull Almagor and Daniel Assa and Udi Boker}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Synchronized {CTL} over One-Counter Automata}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {19:1--19:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.19}, doi = {10.4230/LIPICS.FSTTCS.2023.19}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/AlmagorAB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/AsarinDDI23, author = {Eugene Asarin and Aldric Degorre and Catalin Dima and Bernardo Jacobo Incl{\'{a}}n}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Bandwidth of Timed Automata: 3 Classes}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {10:1--10:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.10}, doi = {10.4230/LIPICS.FSTTCS.2023.10}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/AsarinDDI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BeraT23, author = {Debajyoti Bera and SAPV Tharrmashastha}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {A Generalized Quantum Branching Program}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {31:1--31:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.31}, doi = {10.4230/LIPICS.FSTTCS.2023.31}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BeraT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BhaskarP23, author = {Ashwin Bhaskar and M. Praveen}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Constraint {LTL} with Remote Access}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {41:1--41:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.41}, doi = {10.4230/LIPICS.FSTTCS.2023.41}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BhaskarP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Bisht0V23, author = {Pranav Bisht and Nikhil Gupta and Ilya Volkovich}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Towards Identity Testing for Sums of Products of Read-Once and Multilinear Bounded-Read Formulae}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {9:1--9:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.9}, doi = {10.4230/LIPICS.FSTTCS.2023.9}, timestamp = {Mon, 15 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Bisht0V23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Bogdanov0FIKS23, author = {Andrej Bogdanov and Krishnamoorthy Dinesh and Yuval Filmus and Yuval Ishai and Avi Kaplan and Sruthi Sekar}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Bounded Simultaneous Messages}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {23:1--23:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.23}, doi = {10.4230/LIPICS.FSTTCS.2023.23}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Bogdanov0FIKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BrihayeGMR23, author = {Thomas Brihaye and Aline Goeminne and James C. A. Main and Mickael Randour}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Reachability Games and Friends: {A} Journey Through the Lens of Memory and Complexity (Invited Talk)}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {1:1--1:26}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.1}, doi = {10.4230/LIPICS.FSTTCS.2023.1}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BrihayeGMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChakrabortyV23, author = {Arghya Chakraborty and Rahul Vaze}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Online Facility Location with Weights and Congestion}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {6:1--6:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.6}, doi = {10.4230/LIPICS.FSTTCS.2023.6}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ChakrabortyV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChatterjeeGT23, author = {Prerona Chatterjee and Kshitij Gajjar and Anamay Tengse}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Monotone Classes Beyond {VNP}}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {11:1--11:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.11}, doi = {10.4230/LIPICS.FSTTCS.2023.11}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ChatterjeeGT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChoudhuryM23, author = {Abhimanyu Choudhury and Meena Mahajan}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Dependency Schemes in CDCL-Based {QBF} Solving: {A} Proof-Theoretic Study}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {38:1--38:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.38}, doi = {10.4230/LIPICS.FSTTCS.2023.38}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ChoudhuryM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChughPS23, author = {Rahul Chugh and Supartha Podder and Swagato Sanyal}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Decision Tree Complexity Versus Block Sensitivity and Degree}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {27:1--27:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.27}, doi = {10.4230/LIPICS.FSTTCS.2023.27}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ChughPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/CzerwinskiDGH0S23, author = {Wojciech Czerwinski and Maciej Debski and Tomasz Gogasz and Gordon Hoi and Sanjay Jain and Michal Skrzypczak and Frank Stephan and Christopher Tan}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Languages Given by Finite Automata over the Unary Alphabet}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {22:1--22:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.22}, doi = {10.4230/LIPICS.FSTTCS.2023.22}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/CzerwinskiDGH0S23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/CzerwinskiJ0LO23, author = {Wojciech Czerwinski and Isma{\"{e}}l Jecker and Slawomir Lasota and J{\'{e}}r{\^{o}}me Leroux and Lukasz Orlikowski}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {New Lower Bounds for Reachability in Vector Addition Systems}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {35:1--35:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.35}, doi = {10.4230/LIPICS.FSTTCS.2023.35}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/CzerwinskiJ0LO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DarkD023, author = {Jacques Dark and Adithya Diddapur and Christian Konrad}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Interval Selection in Data Streams: Weighted Intervals and the Insertion-Deletion Setting}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {24:1--24:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.24}, doi = {10.4230/LIPICS.FSTTCS.2023.24}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/DarkD023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FeinsteinK23, author = {Yoav Feinstein and Orna Kupferman}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Monotonicity Characterizations of Regular Languages}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {26:1--26:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.26}, doi = {10.4230/LIPICS.FSTTCS.2023.26}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FeinsteinK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkelKMMZ23, author = {Alain Finkel and Shankara Narayanan Krishna and Khushraj Madnani and Rupak Majumdar and Georg Zetzsche}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Counter Machines with Infrequent Reversals}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {42:1--42:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.42}, doi = {10.4230/LIPICS.FSTTCS.2023.42}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkelKMMZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GahlawatZ23, author = {Harmender Gahlawat and Meirav Zehavi}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Parameterized Complexity of Incomplete Connected Fair Division}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {14:1--14:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.14}, doi = {10.4230/LIPICS.FSTTCS.2023.14}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/GahlawatZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GuruswamiS23, author = {Venkatesan Guruswami and Rishi Saket}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Hardness of Learning Boolean Functions from Label Proportions}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {37:1--37:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.37}, doi = {10.4230/LIPICS.FSTTCS.2023.37}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/GuruswamiS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/HenryGD23, author = {L{\'{e}}o Henry and Blaise Genest and Alexandre Drewery}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Reinforcement Planning for Effective {\(\epsilon\)}-Optimal Policies in Dense Time with Discontinuities}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {13:1--13:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.13}, doi = {10.4230/LIPICS.FSTTCS.2023.13}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/HenryGD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/KavithaM23, author = {Telikepalli Kavitha and Kazuhisa Makino}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Perfect Matchings and Popularity in the Many-To-Many Setting}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {43:1--43:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.43}, doi = {10.4230/LIPICS.FSTTCS.2023.43}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/KavithaM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/KocherZ23, author = {Chris K{\"{o}}cher and Georg Zetzsche}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Regular Separators for {VASS} Coverability Languages}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {15:1--15:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.15}, doi = {10.4230/LIPICS.FSTTCS.2023.15}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/KocherZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Kuske23, author = {Dietrich Kuske}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {A Class of Rational Trace Relations Closed Under Composition}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {20:1--20:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.20}, doi = {10.4230/LIPICS.FSTTCS.2023.20}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Kuske23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LalondeMW23, author = {Olivier Lalonde and Nikhil S. Mande and Ronald de Wolf}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Tight Bounds for the Randomized and Quantum Communication Complexities of Equality with Small Error}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {32:1--32:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.32}, doi = {10.4230/LIPICS.FSTTCS.2023.32}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/LalondeMW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Lechine23, author = {Ulysse L{\'{e}}chine}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Revisiting Mulmuley: Simple Proof That Maxflow Is Not in the Algebraic Version of {NC}}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {33:1--33:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.33}, doi = {10.4230/LIPICS.FSTTCS.2023.33}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Lechine23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MandePS23, author = {Nikhil S. Mande and Manaswi Paraashar and Nitin Saurabh}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Randomized and Quantum Query Complexities of Finding a King in a Tournament}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {30:1--30:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.30}, doi = {10.4230/LIPICS.FSTTCS.2023.30}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/MandePS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MathewPSS23, author = {Prince Mathew and Vincent Penelle and Prakash Saivasan and A. V. Sreejith}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Weighted One-Deterministic-Counter Automata}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {39:1--39:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.39}, doi = {10.4230/LIPICS.FSTTCS.2023.39}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/MathewPSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MelkebeekS23, author = {Dieter van Melkebeek and Nicollas M. Sdroievski}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Leakage Resilience, Targeted Pseudorandom Generators, and Mild Derandomization of Arthur-Merlin Protocols}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {29:1--29:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.29}, doi = {10.4230/LIPICS.FSTTCS.2023.29}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/MelkebeekS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MurhekarS23, author = {Aniket Murhekar and Eklavya Sharma}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Nash Equilibria of Two-Player Matrix Games Repeated Until Collision}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {18:1--18:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.18}, doi = {10.4230/LIPICS.FSTTCS.2023.18}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/MurhekarS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Raghavendra23, author = {Prasad Raghavendra}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {On Measuring Average Case Complexity via Sum-Of-Squares Degree (Invited Talk)}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {2:1--2:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.2}, doi = {10.4230/LIPICS.FSTTCS.2023.2}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Raghavendra23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/RoychoudhuryY23, author = {Jishnu Roychoudhury and Jatin Yadav}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {An Optimal Algorithm for Sorting in Trees}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {7:1--7:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.7}, doi = {10.4230/LIPICS.FSTTCS.2023.7}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/RoychoudhuryY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/SaglamS23, author = {Irmak Saglam and Anne{-}Kathrin Schmuck}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Solving Odd-Fair Parity Games}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {34:1--34:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.34}, doi = {10.4230/LIPICS.FSTTCS.2023.34}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/SaglamS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Schulman23, author = {Leonard J. Schulman}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Computational and Information-Theoretic Questions from Causal Inference (Invited Talk)}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {3:1--3:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.3}, doi = {10.4230/LIPICS.FSTTCS.2023.3}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Schulman23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Shoham23, author = {Sharon Shoham}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {From Concept Learning to SAT-Based Invariant Inference (Invited Talk)}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {4:1--4:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.4}, doi = {10.4230/LIPICS.FSTTCS.2023.4}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Shoham23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Vahanwala23, author = {Mihir Vahanwala}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {17:1--17:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.17}, doi = {10.4230/LIPICS.FSTTCS.2023.17}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Vahanwala23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Vazirani23, author = {Vijay V. Vazirani}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Towards a Practical, Budget-Oblivious Algorithm for the Adwords Problem Under Small Bids}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {21:1--21:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.21}, doi = {10.4230/LIPICS.FSTTCS.2023.21}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Vazirani23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Vishnoi23, author = {Nisheeth K. Vishnoi}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Algorithms in the Presence of Biased Inputs (Invited Talk)}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {5:1--5:2}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.5}, doi = {10.4230/LIPICS.FSTTCS.2023.5}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Vishnoi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/X23, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Front Matter, Table of Contents, Preface, Conference Organization}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {0:1--0:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.0}, doi = {10.4230/LIPICS.FSTTCS.2023.0}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/X23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/YaoC23, author = {Alvin Yan Hong Yao and Diptarka Chakraborty}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Approximate Maximum Rank Aggregation: Beyond the Worst-Case}, booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, pages = {12:1--12:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.12}, doi = {10.4230/LIPICS.FSTTCS.2023.12}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/YaoC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fsttcs/2023, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {43rd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023, {IIIT} Hyderabad, Telangana, India}, series = {LIPIcs}, volume = {284}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-304-1}, isbn = {978-3-95977-304-1}, timestamp = {Wed, 21 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/2023.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.