Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/icalp/icalp2023.bht:"
@inproceedings{DBLP:conf/icalp/0001023, author = {Ruizhe Zhang and Xinzhi Zhang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {A Hyperbolic Extension of Kadison-Singer Type Results}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {108:1--108:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.108}, doi = {10.4230/LIPICS.ICALP.2023.108}, timestamp = {Wed, 05 Jul 2023 16:19:52 +0200}, biburl = {https://dblp.org/rec/conf/icalp/0001023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/00010KS23, author = {Tobias Friedrich and Andreas G{\"{o}}bel and Maximilian Katzmann and Leon Schiller}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Cliques in High-Dimensional Geometric Inhomogeneous Random Graphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {62:1--62:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.62}, doi = {10.4230/LIPICS.ICALP.2023.62}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/00010KS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/00010TW23, author = {Lijie Chen and Xin Lyu and Avishay Tal and Hongxun Wu}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {New PRGs for Unbounded-Width/Adaptive-Order Read-Once Branching Programs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {39:1--39:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.39}, doi = {10.4230/LIPICS.ICALP.2023.39}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/00010TW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/000123, author = {James Worrell}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Skolem Landscape (Invited Talk)}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {5:1--5:2}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.5}, doi = {10.4230/LIPICS.ICALP.2023.5}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/000123.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/000123a, author = {Shi Li}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Nearly-Linear Time {LP} Solvers and Rounding Algorithms for Scheduling Problems}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {86:1--86:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.86}, doi = {10.4230/LIPICS.ICALP.2023.86}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/000123a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/000123b, author = {Michal Wlodarczyk}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {106:1--106:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.106}, doi = {10.4230/LIPICS.ICALP.2023.106}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/000123b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/000123c, author = {Ruiwen Dong}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Identity Problem in {\(\mathbb{Z}\)} {\(\wr\)} {\(\mathbb{Z}\)} Is Decidable}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {124:1--124:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.124}, doi = {10.4230/LIPICS.ICALP.2023.124}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/000123c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0001GMTZ23, author = {Pascal Baumann and Moses Ganardi and Rupak Majumdar and Ramanathan S. Thinniyam and Georg Zetzsche}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Context-Bounded Analysis of Concurrent Programs (Invited Talk)}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {3:1--3:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.3}, doi = {10.4230/LIPICS.ICALP.2023.3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/0001GMTZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0001GMTZ23a, author = {Pascal Baumann and Moses Ganardi and Rupak Majumdar and Ramanathan S. Thinniyam and Georg Zetzsche}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Checking Refinement of Asynchronous Programs Against Context-Free Specifications}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {110:1--110:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.110}, doi = {10.4230/LIPICS.ICALP.2023.110}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/0001GMTZ23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0001K23, author = {David G. Harris and Vladimir Kolmogorov}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Parameter Estimation for Gibbs Distributions}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {72:1--72:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.72}, doi = {10.4230/LIPICS.ICALP.2023.72}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/0001K23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0001W23, author = {Pan Peng and Yuyang Wang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {An Optimal Separation Between Two Property Testing Models for Bounded Degree Directed Graphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {96:1--96:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.96}, doi = {10.4230/LIPICS.ICALP.2023.96}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/0001W23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0003HM23, author = {Mohit Garg and Felix Hommelsheim and Nicole Megow}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Matching Augmentation via Simultaneous Contractions}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {65:1--65:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.65}, doi = {10.4230/LIPICS.ICALP.2023.65}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/0003HM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0004X023, author = {Shu Liu and Chaoping Xing and Chen Yuan}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {List Decoding of Rank-Metric Codes with Row-To-Column Ratio Bigger Than 1/2}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {89:1--89:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.89}, doi = {10.4230/LIPICS.ICALP.2023.89}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/0004X023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0039KT23, author = {Yu Chen and Sanjeev Khanna and Zihan Tan}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Sublinear Algorithms and Lower Bounds for Estimating {MST} and {TSP} Cost in General Metrics}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {37:1--37:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.37}, doi = {10.4230/LIPICS.ICALP.2023.37}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/0039KT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AamandKLPRT23, author = {Anders Aamand and Adam Karczmarz and Jakub Lacki and Nikos Parotsidis and Peter M. R. Rasmussen and Mikkel Thorup}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Optimal Decremental Connectivity in Non-Sparse Graphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {6:1--6:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.6}, doi = {10.4230/LIPICS.ICALP.2023.6}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AamandKLPRT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AfshaniCRW23, author = {Peyman Afshani and Pingan Cheng and Aniket Basu Roy and Zhewei Wei}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On Range Summary Queries}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {7:1--7:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.7}, doi = {10.4230/LIPICS.ICALP.2023.7}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/AfshaniCRW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Agarwal023, author = {Ishan Agarwal and Richard Cole}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Stable Matching: Choosing Which Proposals to Make}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {8:1--8:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.8}, doi = {10.4230/LIPICS.ICALP.2023.8}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Agarwal023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AgassyDK23, author = {Daniel Agassy and Dani Dorfman and Haim Kaplan}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Expander Decomposition with Fewer Inter-Cluster Edges Using a Spectral Cut Player}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {9:1--9:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.9}, doi = {10.4230/LIPICS.ICALP.2023.9}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AgassyDK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AkbariELMSS23, author = {Amirreza Akbari and Navid Eslami and Henrik Lievonen and Darya Melnyk and Joona S{\"{a}}rkij{\"{a}}rvi and Jukka Suomela}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Locality in Online, Dynamic, Sequential, and Distributed Graph Algorithms}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {10:1--10:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.10}, doi = {10.4230/LIPICS.ICALP.2023.10}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/AkbariELMSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AkmalJ23, author = {Shyan Akmal and Ce Jin}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {An Efficient Algorithm for All-Pairs Bounded Edge Connectivity}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {11:1--11:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.11}, doi = {10.4230/LIPICS.ICALP.2023.11}, timestamp = {Wed, 19 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AkmalJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AmireddyGK0T23, author = {Prashanth Amireddy and Ankit Garg and Neeraj Kayal and Chandan Saha and Bhargav Thankey}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Low-Depth Arithmetic Circuit Lower Bounds: Bypassing Set-Multilinearization}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {12:1--12:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.12}, doi = {10.4230/LIPICS.ICALP.2023.12}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AmireddyGK0T23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AradKS23, author = {Ilan Doron Arad and Ariel Kulik and Hadas Shachnai}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {An {EPTAS} for Budgeted Matching and Budgeted Matroid Intersection via Representative Sets}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {49:1--49:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.49}, doi = {10.4230/LIPICS.ICALP.2023.49}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AradKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AzarV23, author = {Yossi Azar and Danny Vainstein}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Multi Layer Peeling for Linear Arrangement and Hierarchical Clustering}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {13:1--13:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.13}, doi = {10.4230/LIPICS.ICALP.2023.13}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AzarV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AzarmehrB23, author = {Amir Azarmehr and Soheil Behnezhad}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Robust Communication Complexity of Matching: {EDCS} Achieves 5/6 Approximation}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {14:1--14:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.14}, doi = {10.4230/LIPICS.ICALP.2023.14}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AzarmehrB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BansalCGI23, author = {Ishan Bansal and Joseph Cheriyan and Logan Grout and Sharat Ibrahimpur}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {15:1--15:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.15}, doi = {10.4230/LIPICS.ICALP.2023.15}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BansalCGI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BarmanK23, author = {Siddharth Barman and Pooja Kulkarni}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Approximation Algorithms for Envy-Free Cake Division with Connected Pieces}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {16:1--16:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.16}, doi = {10.4230/LIPICS.ICALP.2023.16}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BarmanK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BeameK23, author = {Paul Beame and Niels Kornerup}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Cumulative Memory Lower Bounds for Randomized and Quantum Computation}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {17:1--17:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.17}, doi = {10.4230/LIPICS.ICALP.2023.17}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BeameK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BednarczykKP23, author = {Bartosz Bednarczyk and Daumantas Kojelis and Ian Pratt{-}Hartmann}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On the Limits of Decision: the Adjacent Fragment of First-Order Logic}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {111:1--111:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.111}, doi = {10.4230/LIPICS.ICALP.2023.111}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BednarczykKP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Benedikt0M23, author = {Michael Benedikt and Dmitry Chistikov and Alessio Mansutti}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Complexity of Presburger Arithmetic with Power or Powers}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {112:1--112:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.112}, doi = {10.4230/LIPICS.ICALP.2023.112}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Benedikt0M23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BerenbrinkHHKR23, author = {Petra Berenbrink and Lukas Hintze and Hamed Hosseinpour and Dominik Kaaser and Malin Rau}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Dynamic Averaging Load Balancing on Arbitrary Graphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {18:1--18:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.18}, doi = {10.4230/LIPICS.ICALP.2023.18}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BerenbrinkHHKR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BerendsohnGK023, author = {Benjamin Aram Berendsohn and Ishay Golinsky and Haim Kaplan and L{\'{a}}szl{\'{o}} Kozma}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Fast Approximation of Search Trees on Trees with Centroid Trees}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {19:1--19:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.19}, doi = {10.4230/LIPICS.ICALP.2023.19}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BerendsohnGK023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Bergamaschi23, author = {Thiago Bergamaschi}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Improved Product-State Approximation Algorithms for Quantum Local Hamiltonians}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {20:1--20:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.20}, doi = {10.4230/LIPICS.ICALP.2023.20}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Bergamaschi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BerkholzV23, author = {Christoph Berkholz and Harry Vinall{-}Smeeth}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {A Dichotomy for Succinct Representations of Homomorphisms}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {113:1--113:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.113}, doi = {10.4230/LIPICS.ICALP.2023.113}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BerkholzV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BhattacharjeeDD23, author = {Rajarshi Bhattacharjee and Gregory Dexter and Petros Drineas and Cameron Musco and Archan Ray}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Sublinear Time Eigenvalue Approximation via Random Sampling}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {21:1--21:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.21}, doi = {10.4230/LIPICS.ICALP.2023.21}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BhattacharjeeDD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Bhattacharya023, author = {Sudatta Bhattacharya and Michal Kouck{\'{y}}}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Streaming k-Edit Approximate Pattern Matching via String Decomposition}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {22:1--22:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.22}, doi = {10.4230/LIPICS.ICALP.2023.22}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Bhattacharya023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BiedlM23, author = {Therese Biedl and Karthik Murali}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On Computing the Vertex Connectivity of 1-Plane Graphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {23:1--23:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.23}, doi = {10.4230/LIPICS.ICALP.2023.23}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BiedlM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BiloCC0KS23, author = {Davide Bil{\`{o}} and Keerti Choudhary and Sarel Cohen and Tobias Friedrich and Simon Krogmann and Martin Schirneck}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Fault-Tolerant ST-Diameter Oracles}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {24:1--24:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.24}, doi = {10.4230/LIPICS.ICALP.2023.24}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BiloCC0KS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BirkmannMU23, author = {Fabian Birkmann and Stefan Milius and Henning Urbat}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Nominal Topology for Data Languages}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {114:1--114:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.114}, doi = {10.4230/LIPICS.ICALP.2023.114}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BirkmannMU23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BlackKR23, author = {Hadley Black and Iden Kalemaj and Sofya Raskhodnikova}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Isoperimetric Inequalities for Real-Valued Functions with Applications to Monotonicity Testing}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {25:1--25:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.25}, doi = {10.4230/LIPICS.ICALP.2023.25}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BlackKR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BlellochD23, author = {Guy E. Blelloch and Magdalen Dobson}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Geometry of Tree-Based Sorting}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {26:1--26:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.26}, doi = {10.4230/LIPICS.ICALP.2023.26}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BlellochD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BlondinL23, author = {Michael Blondin and Fran{\c{c}}ois Ladouceur}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Population Protocols with Unordered Data}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {115:1--115:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.115}, doi = {10.4230/LIPICS.ICALP.2023.115}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BlondinL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BodirskyK23, author = {Manuel Bodirsky and Simon Kn{\"{a}}uer}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Network Satisfaction Problems Solved by k-Consistency}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {116:1--116:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.116}, doi = {10.4230/LIPICS.ICALP.2023.116}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BodirskyK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BodlaenderGP23, author = {Hans L. Bodlaender and Carla Groenland and Michal Pilipczuk}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Parameterized Complexity of Binary {CSP:} Vertex Cover, Treedepth, and Related Parameters}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {27:1--27:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.27}, doi = {10.4230/LIPICS.ICALP.2023.27}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BodlaenderGP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BogdanovR23, author = {Andrej Bogdanov and Alon Rosen}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Nondeterministic Interactive Refutations for Nearest Boolean Vector}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {28:1--28:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.28}, doi = {10.4230/LIPICS.ICALP.2023.28}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BogdanovR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BojanczykN23, author = {Mikolaj Bojanczyk and L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Algebraic Recognition of Regular Functions}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {117:1--117:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.117}, doi = {10.4230/LIPICS.ICALP.2023.117}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BojanczykN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Bosch-Calvo0A23, author = {Miguel Bosch{-}Calvo and Fabrizio Grandoni and Afrouz Jabal Ameli}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {A 4/3 Approximation for 2-Vertex-Connectivity}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {29:1--29:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.29}, doi = {10.4230/LIPICS.ICALP.2023.29}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Bosch-Calvo0A23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BouyerFRV23, author = {Patricia Bouyer and Nathana{\"{e}}l Fijalkow and Mickael Randour and Pierre Vandenhove}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {How to Play Optimally for Regular Objectives?}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {118:1--118:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.118}, doi = {10.4230/LIPICS.ICALP.2023.118}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BouyerFRV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BraunfeldDEP23, author = {Samuel Braunfeld and Anuj Dawar and Ioannis Eleftheriadis and Aris Papadopoulos}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Monadic {NIP} in Monotone Classes of Relational Structures}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {119:1--119:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.119}, doi = {10.4230/LIPICS.ICALP.2023.119}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BraunfeldDEP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BravermanK0S23, author = {Vladimir Braverman and Robert Krauthgamer and Aditya Krishnan and Shay Sapir}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Lower Bounds for Pseudo-Deterministic Counting in a Stream}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {30:1--30:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.30}, doi = {10.4230/LIPICS.ICALP.2023.30}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BravermanK0S23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Caceres23, author = {Manuel C{\'{a}}ceres}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Minimum Chain Cover in Almost Linear Time}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {31:1--31:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.31}, doi = {10.4230/LIPICS.ICALP.2023.31}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Caceres23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CadeFGHGMW23, author = {Chris Cade and Marten Folkertsma and Sevag Gharibian and Ryu Hayakawa and Fran{\c{c}}ois Le Gall and Tomoyuki Morimae and Jordi Weggemans}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Improved Hardness Results for the Guided Local Hamiltonian Problem}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {32:1--32:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.32}, doi = {10.4230/LIPICS.ICALP.2023.32}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CadeFGHGMW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CaiY23, author = {Jin{-}Yi Cai and Ben Young}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Planar {\#}CSP Equality Corresponds to Quantum Isomorphism - {A} Holant Viewpoint}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {33:1--33:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.33}, doi = {10.4230/LIPICS.ICALP.2023.33}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CaiY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CaretteMPV23, author = {Titouan Carette and Etienne Moutot and Thomas Perez and Renaud Vilmart}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Compositionality of Planar Perfect Matchings: {A} Universal and Complete Fragment of ZW-Calculus}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {120:1--120:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.120}, doi = {10.4230/LIPICS.ICALP.2023.120}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CaretteMPV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CartonDFW23, author = {Olivier Carton and Ga{\"{e}}tan Dou{\'{e}}neau{-}Tabot and Emmanuel Filiot and Sarah Winter}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Deterministic Regular Functions of Infinite Words}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {121:1--121:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.121}, doi = {10.4230/LIPICS.ICALP.2023.121}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/CartonDFW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CasaresO23, author = {Antonio Casares and Pierre Ohlmann}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Characterising Memory in Infinite Games}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {122:1--122:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.122}, doi = {10.4230/LIPICS.ICALP.2023.122}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CasaresO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Chakraborty0KM23, author = {Diptarka Chakraborty and Sourav Chakraborty and Gunjan Kumar and Kuldeep S. Meel}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Approximate Model Counting: Is {SAT} Oracle More Powerful Than {NP} Oracle?}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {123:1--123:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.123}, doi = {10.4230/LIPICS.ICALP.2023.123}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Chakraborty0KM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChanHY23, author = {Timothy M. Chan and Qizheng He and Yuancheng Yu}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On the Fine-Grained Complexity of Small-Size Geometric Set Cover and Discrete k-Center for Small k}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {34:1--34:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.34}, doi = {10.4230/LIPICS.ICALP.2023.34}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ChanHY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Chang23, author = {Yi{-}Jun Chang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Ortho-Radial Drawing in Near-Linear Time}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {35:1--35:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.35}, doi = {10.4230/LIPICS.ICALP.2023.35}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Chang23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChekuriJ23, author = {Chandra Chekuri and Rhea Jain}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Approximation Algorithms for Network Design in Non-Uniform Fault Models}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {36:1--36:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.36}, doi = {10.4230/LIPICS.ICALP.2023.36}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ChekuriJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChenW23, author = {Yanlin Chen and Ronald de Wolf}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Quantum Algorithms and Lower Bounds for Linear Regression with Norm Constraints}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {38:1--38:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.38}, doi = {10.4230/LIPICS.ICALP.2023.38}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/ChenW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChengH23, author = {Siu{-}Wing Cheng and Haoqiang Huang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Approximate Nearest Neighbor for Polygonal Curves Under Fr{\'{e}}chet Distance}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {40:1--40:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.40}, doi = {10.4230/LIPICS.ICALP.2023.40}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ChengH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ChengJ0WZ23, author = {Kuan Cheng and Zhengzhong Jin and Xin Li and Zhide Wei and Yu Zheng}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Linear Insertion Deletion Codes in the High-Noise and High-Rate Regimes}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {41:1--41:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.41}, doi = {10.4230/LIPICS.ICALP.2023.41}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ChengJ0WZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CheungHHH23, author = {TsunMing Cheung and Hamed Hatami and Pooya Hatami and Kaave Hosseini}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Online Learning and Disambiguations of Partial Concept Classes}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {42:1--42:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.42}, doi = {10.4230/LIPICS.ICALP.2023.42}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CheungHHH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CohenP23, author = {Ilan Reuven Cohen and Debmalya Panigrahi}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {A General Framework for Learning-Augmented Online Allocation}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {43:1--43:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.43}, doi = {10.4230/LIPICS.ICALP.2023.43}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CohenP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ComptonMR23, author = {Spencer Compton and Slobodan Mitrovic and Ronitt Rubinfeld}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {New Partitioning Techniques and Faster Algorithms for Approximate Interval Scheduling}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {45:1--45:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.45}, doi = {10.4230/LIPICS.ICALP.2023.45}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ComptonMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CoyCDM23, author = {Sam Coy and Artur Czumaj and Peter Davies and Gopinath Mishra}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Optimal (Degree+1)-Coloring in Congested Clique}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {46:1--46:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.46}, doi = {10.4230/LIPICS.ICALP.2023.46}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CoyCDM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DisserKSW23, author = {Yann Disser and Max Klimm and Kevin Schewior and David Weckbecker}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Incremental Maximization via Continuization}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {47:1--47:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.47}, doi = {10.4230/LIPICS.ICALP.2023.47}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DisserKSW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DorobiszK23, author = {Andrzej Dorobisz and Jakub Kozik}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Local Computation Algorithms for Hypergraph Coloring - Following Beck's Approach}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {48:1--48:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.48}, doi = {10.4230/LIPICS.ICALP.2023.48}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DorobiszK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DreierMST23, author = {Jan Dreier and Nikolas M{\"{a}}hlmann and Sebastian Siebertz and Szymon Torunczyk}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Indiscernibles and Flatness in Monadically Stable and Monadically {NIP} Classes}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {125:1--125:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.125}, doi = {10.4230/LIPICS.ICALP.2023.125}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DreierMST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DrexlerELR0W23, author = {Lukas Drexler and Jan Eube and Kelin Luo and Heiko R{\"{o}}glin and Melanie Schmidt and Julian Wargalla}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Connected k-Center and k-Diameter Clustering}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {50:1--50:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.50}, doi = {10.4230/LIPICS.ICALP.2023.50}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DrexlerELR0W23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DughmiKP23, author = {Shaddin Dughmi and Yusuf Hakan Kalayci and Neel Patel}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On Sparsification of Stochastic Packing Problems}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {51:1--51:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.51}, doi = {10.4230/LIPICS.ICALP.2023.51}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DughmiKP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EdenLRS23, author = {Talya Eden and Quanquan C. Liu and Sofya Raskhodnikova and Adam D. Smith}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Triangle Counting with Local Edge Differential Privacy}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {52:1--52:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.52}, doi = {10.4230/LIPICS.ICALP.2023.52}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EdenLRS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EfremenkoKPS23, author = {Klim Efremenko and Gillat Kol and Dmitry Paramonov and Raghuvansh R. Saxena}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Protecting Single-Hop Radio Networks from Message Drops}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {53:1--53:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.53}, doi = {10.4230/LIPICS.ICALP.2023.53}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EfremenkoKPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Efthymiou023, author = {Charilaos Efthymiou and Weiming Feng}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On the Mixing Time of Glauber Dynamics for the Hard-Core and Related Models on G(n, d/n)}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {54:1--54:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.54}, doi = {10.4230/LIPICS.ICALP.2023.54}, timestamp = {Tue, 05 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/Efthymiou023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EfthymiouZ23, author = {Charilaos Efthymiou and Kostas Zampetakis}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Broadcasting with Random Matrices}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {55:1--55:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.55}, doi = {10.4230/LIPICS.ICALP.2023.55}, timestamp = {Tue, 05 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/EfthymiouZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EppsteinF23, author = {David Eppstein and Daniel Frishberg}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Improved Mixing for the Convex Polygon Triangulation Flip Walk}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {56:1--56:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.56}, doi = {10.4230/LIPICS.ICALP.2023.56}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EppsteinF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EsparzaG23, author = {Javier Esparza and Vincent P. Grande}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {126:1--126:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.126}, doi = {10.4230/LIPICS.ICALP.2023.126}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/EsparzaG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EsperetHZ23, author = {Louis Esperet and Nathaniel Harms and Viktor Zamaraev}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Optimal Adjacency Labels for Subgraphs of Cartesian Products}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {57:1--57:11}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.57}, doi = {10.4230/LIPICS.ICALP.2023.57}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EsperetHZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FanKZ23, author = {Austen Z. Fan and Paraschos Koutris and Hangdong Zhao}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Fine-Grained Complexity of Boolean Conjunctive Queries and Sum-Product Problems}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {127:1--127:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.127}, doi = {10.4230/LIPICS.ICALP.2023.127}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/FanKZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FeldmanFMR23, author = {Michal Feldman and Federico Fusco and Simon Mauras and Rebecca Reiffenh{\"{a}}user}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Truthful Matching with Online Items and Offline Agents}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {58:1--58:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.58}, doi = {10.4230/LIPICS.ICALP.2023.58}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/FeldmanFMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FerensS23, author = {Robert Ferens and Marek Szykula}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Completely Reachable Automata: {A} Polynomial Algorithm and Quadratic Upper Bounds}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {59:1--59:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.59}, doi = {10.4230/LIPICS.ICALP.2023.59}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/FerensS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FominGSS23, author = {Fedor V. Fomin and Petr A. Golovach and Danil Sagunov and Kirill Simonov}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Approximating Long Cycle Above Dirac's Guarantee}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {60:1--60:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.60}, doi = {10.4230/LIPICS.ICALP.2023.60}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/FominGSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FominGSST23, author = {Fedor V. Fomin and Petr A. Golovach and Ignasi Sau and Giannos Stamoulis and Dimitrios M. Thilikos}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Compound Logics for Modification Problems}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {61:1--61:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.61}, doi = {10.4230/LIPICS.ICALP.2023.61}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/FominGSST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FriggstadM23, author = {Zachary Friggstad and Ramin Mousavi}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {An O(log k)-Approximation for Directed Steiner Tree in Planar Graphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {63:1--63:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.63}, doi = {10.4230/LIPICS.ICALP.2023.63}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/FriggstadM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FuWZ23, author = {Honghao Fu and Daochen Wang and Qi Zhao}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Parallel Self-Testing of {EPR} Pairs Under Computational Assumptions}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {64:1--64:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.64}, doi = {10.4230/LIPICS.ICALP.2023.64}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/FuWZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GajarskyMMOPPSS23, author = {Jakub Gajarsk{\'{y}} and Nikolas M{\"{a}}hlmann and Rose McCarty and Pierre Ohlmann and Michal Pilipczuk and Wojciech Przybyszewski and Sebastian Siebertz and Marek Sokolowski and Szymon Torunczyk}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Flipper Games for Monadically Stable Graph Classes}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {128:1--128:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.128}, doi = {10.4230/LIPICS.ICALP.2023.128}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GajarskyMMOPPSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GhaziK0M023, author = {Badih Ghazi and Pritish Kamath and Ravi Kumar and Pasin Manurangsi and Kewen Wu}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On Differentially Private Counting on Trees}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {66:1--66:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.66}, doi = {10.4230/LIPICS.ICALP.2023.66}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GhaziK0M023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GheorghiuMP23, author = {Alexandru Gheorghiu and Tony Metger and Alexander Poremba}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Quantum Cryptography with Classical Communication: Parallel Remote State Preparation for Copy-Protection, Verification, and More}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {67:1--67:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.67}, doi = {10.4230/LIPICS.ICALP.2023.67}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GheorghiuMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GoldbergR23, author = {Leslie Ann Goldberg and Marc Roth}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Parameterised and Fine-Grained Subgraph Counting, Modulo 2}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {68:1--68:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.68}, doi = {10.4230/LIPICS.ICALP.2023.68}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/GoldbergR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GoranciH23, author = {Gramoz Goranci and Monika Henzinger}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Efficient Data Structures for Incremental Exact and Approximate Maximum Flow}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {69:1--69:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.69}, doi = {10.4230/LIPICS.ICALP.2023.69}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GoranciH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GoyalSSG23, author = {Mohak Goyal and Sukolsak Sakshuwong and Sahasrajit Sarmasarkar and Ashish Goel}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Low Sample Complexity Participatory Budgeting}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {70:1--70:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.70}, doi = {10.4230/LIPICS.ICALP.2023.70}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GoyalSSG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HaderP23, author = {Daniel Hader and Matthew J. Patitz}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Cross-Model Simulation in Tile-Based Self-Assembly}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {71:1--71:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.71}, doi = {10.4230/LIPICS.ICALP.2023.71}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/HaderP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Haviv23, author = {Ishay Haviv}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On Finding Constrained Independent Sets in Cycles}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {73:1--73:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.73}, doi = {10.4230/LIPICS.ICALP.2023.73}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Haviv23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HenzingerKMS23, author = {Thomas A. Henzinger and Pavol Kebis and Nicolas Mazzocchi and N. Ege Sara{\c{c}}}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Regular Methods for Operator Precedence Languages}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {129:1--129:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.129}, doi = {10.4230/LIPICS.ICALP.2023.129}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/HenzingerKMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HenzingerLVZ23, author = {Monika Henzinger and Paul Liu and Jan Vondr{\'{a}}k and Da Wei Zheng}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Faster Submodular Maximization for Several Classes of Matroids}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {74:1--74:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.74}, doi = {10.4230/LIPICS.ICALP.2023.74}, timestamp = {Tue, 19 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/HenzingerLVZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HlinenyJ23, author = {Petr Hlinen{\'{y}} and Jan Jedelsk{\'{y}}}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Twin-Width of Planar Graphs Is at Most 8, and at Most 6 When Bipartite Planar}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {75:1--75:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.75}, doi = {10.4230/LIPICS.ICALP.2023.75}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/HlinenyJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HouenT23, author = {Jakob B{\ae}k Tejs Houen and Mikkel Thorup}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {A Sparse Johnson-Lindenstrauss Transform Using Fast Hashing}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {76:1--76:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.76}, doi = {10.4230/LIPICS.ICALP.2023.76}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/HouenT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HsiehK23, author = {Jun{-}Ting Hsieh and Pravesh K. Kothari}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Approximating Max-Cut on Bounded Degree Graphs: Tighter Analysis of the {FKL} Algorithm}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {77:1--77:7}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.77}, doi = {10.4230/LIPICS.ICALP.2023.77}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/HsiehK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HsiehKPX23, author = {Jun{-}Ting Hsieh and Pravesh K. Kothari and Aaron Potechin and Jeff Xu}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Ellipsoid Fitting up to a Constant}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {78:1--78:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.78}, doi = {10.4230/LIPICS.ICALP.2023.78}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/HsiehKPX23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Hyatt-DenesikAS23, author = {Dylan Hyatt{-}Denesik and Afrouz Jabal Ameli and Laura Sanit{\`{a}}}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Finding Almost Tight Witness Trees}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {79:1--79:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.79}, doi = {10.4230/LIPICS.ICALP.2023.79}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/Hyatt-DenesikAS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/IbrahimpurPSVW23, author = {Sharat Ibrahimpur and Manish Purohit and Zoya Svitkina and Erik Vee and Joshua R. Wang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Efficient Caching with Reserves via Marking}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {80:1--80:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.80}, doi = {10.4230/LIPICS.ICALP.2023.80}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/IbrahimpurPSVW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ItoIK0MNOO23, author = {Takehiro Ito and Yuni Iwamasa and Naonori Kakimura and Yusuke Kobayashi and Shun{-}ichi Maezawa and Yuta Nozaki and Yoshio Okamoto and Kenta Ozeki}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Rerouting Planar Curves and Disjoint Paths}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {81:1--81:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.81}, doi = {10.4230/LIPICS.ICALP.2023.81}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ItoIK0MNOO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ItoKK0MNO23, author = {Takehiro Ito and Naonori Kakimura and Naoyuki Kamiyama and Yusuke Kobayashi and Shun{-}ichi Maezawa and Yuta Nozaki and Yoshio Okamoto}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {82:1--82:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.82}, doi = {10.4230/LIPICS.ICALP.2023.82}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ItoKK0MNO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/IyerW23, author = {Siddharth Iyer and Michael Whitmeyer}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Searching for Regularity in Bounded Functions}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {83:1--83:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.83}, doi = {10.4230/LIPICS.ICALP.2023.83}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/IyerW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KarczmarzS23, author = {Adam Karczmarz and Piotr Sankowski}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Fully Dynamic Shortest Paths and Reachability in Sparse Digraphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {84:1--84:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.84}, doi = {10.4230/LIPICS.ICALP.2023.84}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KarczmarzS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Karlin23, author = {Anna R. Karlin}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {A (Slightly) Improved Approximation Algorithm for the Metric Traveling Salesperson Problem (Invited Talk)}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {1:1--1:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.1}, doi = {10.4230/LIPICS.ICALP.2023.1}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Karlin23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KenisonNO023, author = {George Kenison and Joris Nieuwveld and Jo{\"{e}}l Ouaknine and James Worrell}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Positivity Problems for Reversible Linear Recurrence Sequences}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {130:1--130:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.130}, doi = {10.4230/LIPICS.ICALP.2023.130}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KenisonNO023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KoganP23, author = {Shimon Kogan and Merav Parter}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {New Additive Emulators}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {85:1--85:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.85}, doi = {10.4230/LIPICS.ICALP.2023.85}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KoganP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KunnemannMSSW23, author = {Marvin K{\"{u}}nnemann and Filip Mazowiecki and Lia Sch{\"{u}}tze and Henry Sinclair{-}Banks and Karol Wegrzycki}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Coverability in {VASS} Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {131:1--131:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.131}, doi = {10.4230/LIPICS.ICALP.2023.131}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/KunnemannMSSW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Kyng23, author = {Rasmus Kyng}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {An Almost-Linear Time Algorithm for Maximum Flow and More (Invited Talk)}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {2:1--2:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.2}, doi = {10.4230/LIPICS.ICALP.2023.2}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Kyng23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Lampis23, author = {Michael Lampis}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {First Order Logic on Pathwidth Revisited Again}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {132:1--132:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.132}, doi = {10.4230/LIPICS.ICALP.2023.132}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Lampis23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/LiW23, author = {Xiantao Li and Chunhao Wang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Simulating Markovian Open Quantum Systems Using Higher-Order Series Expansion}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {87:1--87:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.87}, doi = {10.4230/LIPICS.ICALP.2023.87}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/LiW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Lichter23, author = {Moritz Lichter}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {133:1--133:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.133}, doi = {10.4230/LIPICS.ICALP.2023.133}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Lichter23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Liu0Z0023, author = {S. Cliff Liu and Zhao Song and Hengjie Zhang and Lichen Zhang and Tianyi Zhou}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Space-Efficient Interior Point Method, with Applications to Linear Programming and Maximum Weight Bipartite Matching}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {88:1--88:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.88}, doi = {10.4230/LIPICS.ICALP.2023.88}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Liu0Z0023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/LohreyR23, author = {Markus Lohrey and Andreas Rosowski}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On the Complexity of Diameter and Related Problems in Permutation Groups}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {134:1--134:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.134}, doi = {10.4230/LIPICS.ICALP.2023.134}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/LohreyR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Lokshtanov0S23, author = {Daniel Lokshtanov and Saket Saurabh and Vaishali Surianarayanan}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Breaking the All Subsets Barrier for Min k-Cut}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {90:1--90:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.90}, doi = {10.4230/LIPICS.ICALP.2023.90}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Lokshtanov0S23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Mathieu023, author = {Claire Mathieu and Hang Zhou}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {A Tight (1.5+{\(\epsilon\)})-Approximation for Unsplittable Capacitated Vehicle Routing on Trees}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {91:1--91:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.91}, doi = {10.4230/LIPICS.ICALP.2023.91}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Mathieu023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Mellou0Z23, author = {Konstantina Mellou and Marco Molinaro and Rudy Zhou}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Online Demand Scheduling with Failovers}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {92:1--92:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.92}, doi = {10.4230/LIPICS.ICALP.2023.92}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Mellou0Z23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/MorelleSST23, author = {Laure Morelle and Ignasi Sau and Giannos Stamoulis and Dimitrios M. Thilikos}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Faster Parameterized Algorithms for Modification Problems to Minor-Closed Classes}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {93:1--93:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.93}, doi = {10.4230/LIPICS.ICALP.2023.93}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/MorelleSST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/OhlmannPPT23, author = {Pierre Ohlmann and Michal Pilipczuk and Wojciech Przybyszewski and Szymon Torunczyk}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Canonical Decompositions in Monadically Stable and Bounded Shrubdepth Graph Classes}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {135:1--135:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.135}, doi = {10.4230/LIPICS.ICALP.2023.135}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/OhlmannPPT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/OkoST23, author = {Kazusato Oko and Shinsaku Sakaue and Shin{-}ichi Tanigawa}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Nearly Tight Spectral Sparsification of Directed Hypergraphs}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {94:1--94:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.94}, doi = {10.4230/LIPICS.ICALP.2023.94}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/OkoST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/OshmanR23, author = {Rotem Oshman and Tal Roth}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Communication Complexity of Set Intersection Under Product Distributions}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {95:1--95:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.95}, doi = {10.4230/LIPICS.ICALP.2023.95}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/OshmanR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/QinY23, author = {Minglong Qin and Penghui Yao}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Decidability of Fully Quantum Nonlocal Games with Noisy Maximally Entangled States}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {97:1--97:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.97}, doi = {10.4230/LIPICS.ICALP.2023.97}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/QinY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/RadiK23, author = {Bader Abu Radi and Orna Kupferman}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {On Semantically-Deterministic Automata}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {109:1--109:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.109}, doi = {10.4230/LIPICS.ICALP.2023.109}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/RadiK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/RajaramanSY23, author = {Rajmohan Rajaraman and David Stalfa and Sheng Yang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Scheduling Under Non-Uniform Job and Machine Delays}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {98:1--98:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.98}, doi = {10.4230/LIPICS.ICALP.2023.98}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/RajaramanSY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Resch0023, author = {Nicolas Resch and Chen Yuan and Yihan Zhang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {99:1--99:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.99}, doi = {10.4230/LIPICS.ICALP.2023.99}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Resch0023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/RivalsSW23, author = {Eric Rivals and Michelle Sweering and Pengfei Wang}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Convergence of the Number of Period Sets in Strings}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {100:1--100:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.100}, doi = {10.4230/LIPICS.ICALP.2023.100}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/RivalsSW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/RobersonS23, author = {David E. Roberson and Tim Seppelt}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {101:1--101:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.101}, doi = {10.4230/LIPICS.ICALP.2023.101}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/RobersonS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/RozowskiKKS023, author = {Wojciech Rozowski and Tobias Kapp{\'{e}} and Dexter Kozen and Todd Schmid and Alexandra Silva}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Probabilistic Guarded {KAT} Modulo Bisimilarity: Completeness and Complexity}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {136:1--136:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.136}, doi = {10.4230/LIPICS.ICALP.2023.136}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/RozowskiKKS023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Rubinstein23, author = {Ittai Rubinstein}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Average-Case to (Shifted) Worst-Case Reduction for the Trace Reconstruction Problem}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {102:1--102:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.102}, doi = {10.4230/LIPICS.ICALP.2023.102}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Rubinstein23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Sauerwald0V23, author = {Thomas Sauerwald and He Sun and Danny Vagnozzi}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Support of Open Versus Closed Random Walks}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {103:1--103:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.103}, doi = {10.4230/LIPICS.ICALP.2023.103}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Sauerwald0V23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/SidonR23, author = {Omer Cohen Sidon and Dana Ron}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Sample-Based Distance-Approximation for Subsequence-Freeness}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {44:1--44:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.44}, doi = {10.4230/LIPICS.ICALP.2023.44}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/SidonR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Terao23, author = {Tatsuya Terao}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Faster Matroid Partition Algorithms}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {104:1--104:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.104}, doi = {10.4230/LIPICS.ICALP.2023.104}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Terao23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Touitou23, author = {Noam Touitou}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Frameworks for Nonclairvoyant Network Design with Deadlines or Delay}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {105:1--105:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.105}, doi = {10.4230/LIPICS.ICALP.2023.105}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Touitou23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/VaandragerW23, author = {Frits W. Vaandrager and Thorsten Wi{\ss}mann}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Action Codes}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {137:1--137:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.137}, doi = {10.4230/LIPICS.ICALP.2023.137}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/VaandragerW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Vidick23, author = {Thomas Vidick}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Quantum Codes, Local Testability and Interactive Proofs: State of the Art and Open Questions (Invited Talk)}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {4:1--4:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.4}, doi = {10.4230/LIPICS.ICALP.2023.4}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Vidick23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/X23, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {Front Matter, Table of Contents, Preface, Conference Organization}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {0:1--0:38}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.0}, doi = {10.4230/LIPICS.ICALP.2023.0}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/X23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Zamir23, author = {Or Zamir}, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {The Wrong Direction of Jensen's Inequality Is Algorithmically Right}, booktitle = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, pages = {107:1--107:10}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.107}, doi = {10.4230/LIPICS.ICALP.2023.107}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Zamir23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/2023, editor = {Kousha Etessami and Uriel Feige and Gabriele Puppis}, title = {50th International Colloquium on Automata, Languages, and Programming, {ICALP} 2023, July 10-14, 2023, Paderborn, Germany}, series = {LIPIcs}, volume = {261}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-278-5}, isbn = {978-3-95977-278-5}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/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.