Publications

Conference: International Symposium on Theoretical Aspects of Computer Science

Number of publications: 31

2025

• Olaf Beyersdorff, Michał Pilipczuk , Elaine Pimentel, Kim Thang Nguyen, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025. See in PBN
• Damian Niwiński , Paweł Parys , Michał Skrzypczak , A Dichotomy Theorem for Ordinal Ranks in MSO, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025. See in PBN
• Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separation of Fixpoint Formulae, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025, 327 (55) 2025, p. 1:20. See in PBN

2024

• Panagiotis Charalampopoulos, Solon P. Pissis, Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń , Wiktor Zuba , Approximate Circular Pattern Matching Under Edit Distance, 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 12 March 2024 - 14 March 2024. See in PBN
• Paweł Rzążewski , Tara Abrishami, Maria Chudnovsky, Marcin Pilipczuk, Max Weight Independent Set in Sparse Graphs with No Long Claws, 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 11 March 2024 - 13 March 2024. See in PBN
• Katarzyna Kowalska, Michał Pilipczuk , Parameterized and Approximation Algorithms for Coverings Points with Segments in the Plane, 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 12 March 2024 - 14 March 2024. See in PBN
• Pierre Ohlmann, Michał Skrzypczak , Positionality in Σ⁰₂ and a Completeness Result, 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 12 March 2024 - 14 March 2024. See in PBN

2023

• Jędrzej Olkowski, Michał Pilipczuk , Mateusz Rychlicki, Karol Węgrzycki, Anna Zych-Pawlewicz , Dynamic Data Structures for Parameterized String Problems, 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 7 March 2023 - 9 March 2023. See in PBN
• Konrad Majewski , Marek Sokołowski , Michał Pilipczuk , Maintaining CMSO₂ Properties on Dynamic Structures with Bounded Feedback Vertex Number, 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 7 March 2023 - 9 March 2023. See in PBN
• Lorenzo Clemente , Maria Donten-Bury , Filip Mazowiecki , Michał Pilipczuk , On Rational Recursive Sequences, 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 7 March 2023 - 9 March 2023. See in PBN

2022

• Michał Pilipczuk , Marek Sokołowski , Anna Zych-Pawlewicz , Compact Representation for Matrices of Bounded Twin-Width, 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France, 15 April 2022 - 18 April 2022, 219 (52) 2022, p. 1-14. See in PBN
• Sławomir Lasota , Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem, 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France, 15 April 2022 - 18 April 2022. See in PBN
• Jesper Nederlof, Michał Pilipczuk , Celine Swennenhuis, Karol Węgrzycki, Isolation Schemes for Problems on Decomposable Graphs, 39th International Symposium on Theoretical Aspects of Computer Science, Marsylia, France, 15 March 2022 - 18 March 2022, 219 2022, p. 50:1--50:20. See in PBN

2021

• Barloy, Corentin, Lorenzo Clemente , Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata, 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany, 16 March 2021 - 19 March 2021. See in PBN
• Shaohua Li, Marcin Pilipczuk , Manuel Sorge, Cluster Editing Parameterized Above Modification-Disjoint P₃-Packings, 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany, 16 March 2021 - 19 March 2021. See in PBN
• Karolina Okrasa, Paweł Rzążewski , Complexity of the List Homomorphism Problem in Hereditary Graph Classes, 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany, 16 March 2021 - 19 March 2021. See in PBN
• Paweł Rzążewski , Complexity of the List Homomorphism Problem in Hereditary II, 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany, 15 March 2021 - 18 March 2021. See in PBN
• Paweł Rzążewski , Marta Piecyk, Fine-Grained Complexity of the List Homomorphism Problem: Feedback Vertex Set and Cutwidth, 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany, 15 March 2021 - 18 March 2021. See in PBN

2020

• Jakub Gajarský , Computing Srub-Depth Decompositions, Leibniz International Proceedings in Informatics, 37th Symposium on Theoretical Aspects of Computer Science, Montpellier, France, 10 March 2020 - 13 March 2020, 154 (56) 2020, p. 1-17. See in PBN

2019

• Jansen Bart M. P., Marcin Pilipczuk , Erik Jan van Leeuwen, A Deterministic Polynomial Kernel for Odd Cycle Transversal and Vertex Multiway Cut in Planar Graphs, 36th International Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, 13 March 2019 - 16 March 2019, 126 2019, p. 39:1--39:18. See in PBN
• Grzegorz Fabiański , Michał Pilipczuk , Sebastian Siebertz, Szymon Toruńczyk , Progressive Algorithms for Domination and Independence, 36th International Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, 13 March 2019 - 16 March 2019, 126 2019, p. 27:1--27:16. See in PBN
• Dušan Knop, Michał Pilipczuk , Marcin Wrochna , Tight complexity lower bounds for integer linear programming with few constraints, Leibniz International Proceedings in Informatics, 36th International Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, 13 March 2019 - 16 March 2019, 126 2019, p. 44:1--44:15. See in PBN

2018

• Paweł Rzążewski , Finding List Homomorphisms from Bounded-treewidth Graphs to Reflexive Graphs: a Complete Complexity Characterization, Leibniz International Proceedings in Informatics, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, Caen, France, 28 February 2018 - 3 March 2018. See in PBN
• Paweł Parys , Recursion Schemes and the WMSO+U Logic, The 35th International Symposium on Theoretical Aspects of Computer Science, Caen, France, 28 February 2018 - 3 March 2018. See in PBN
• Garance Gourdel, Tomasz Kociumaka, Jakub Radoszewski , Wojciech Rytter , Arseny M. Shur, Tomasz Waleń , String Periods in the Order-Preserving Model, The 35th International Symposium on Theoretical Aspects of Computer Science, Caen, France, 28 February 2018 - 3 March 2018. See in PBN

2017

• Édouard Bonnet, Tillmann Miltzow, Paweł Rzążewski , Complexity of Token Swapping and its Variants, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 March 2017 - 11 March 2017. See in PBN
• Piotr Sankowski , Karol Węgrzycki, Improved Distance Queries and Cycle Counting by Frobenius Normal Form, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 March 2017 - 11 March 2017. See in PBN
• Piotr Hofman , Stanislav Böhm, Stefan Göller, Simon Halfon, On Büchi One-Counter Automata, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 March 2017 - 11 March 2017. See in PBN
• Mikołaj Bojańczyk , Michał Pilipczuk , Optimizing Tree Decompositions in MSO, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 March 2017 - 11 March 2017. See in PBN
• Sławomir Lasota , Charles Paperman, Wojciech Czerwiński , Lorenzo Clemente , Separability of Reachability Sets of Vector Addition Systems, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 March 2017 - 11 March 2017. See in PBN

2015

• Marcin Wrochna , Homomorphism Reconfiguration via Homotopy, 32nd International Symposium on Theoretical Aspects of Computer Science, Garching, Germany, 4 March 2015 - 7 March 2015. See in PBN