Publikacje

Konferencja: International Symposium on Theoretical Aspects of Computer Science

Liczba publikacji: 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 marca 2025 - 7 marca 2025. Zobacz w 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 marca 2025 - 7 marca 2025. Zobacz w 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 marca 2025 - 7 marca 2025, 327 (55) 2025, s. 1:20. Zobacz w 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 marca 2024 - 14 marca 2024. Zobacz w 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 marca 2024 - 13 marca 2024. Zobacz w 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 marca 2024 - 14 marca 2024. Zobacz w PBN
• Pierre Ohlmann, Michał Skrzypczak , Positionality in Σ⁰₂ and a Completeness Result, 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 12 marca 2024 - 14 marca 2024. Zobacz w 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 marca 2023 - 9 marca 2023. Zobacz w 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 marca 2023 - 9 marca 2023. Zobacz w 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 marca 2023 - 9 marca 2023. Zobacz w 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 kwietnia 2022 - 18 kwietnia 2022, 219 (52) 2022, s. 1-14. Zobacz w 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 kwietnia 2022 - 18 kwietnia 2022. Zobacz w 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 marca 2022 - 18 marca 2022, 219 2022, s. 50:1--50:20. Zobacz w 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 marca 2021 - 19 marca 2021. Zobacz w 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 marca 2021 - 19 marca 2021. Zobacz w 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 marca 2021 - 19 marca 2021. Zobacz w 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 marca 2021 - 18 marca 2021. Zobacz w 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 marca 2021 - 18 marca 2021. Zobacz w PBN

2020

• Jakub Gajarský , Computing Srub-Depth Decompositions, Leibniz International Proceedings in Informatics, 37th Symposium on Theoretical Aspects of Computer Science, Montpellier, France, 10 marca 2020 - 13 marca 2020, 154 (56) 2020, s. 1-17. Zobacz w 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 marca 2019 - 16 marca 2019, 126 2019, s. 39:1--39:18. Zobacz w 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 marca 2019 - 16 marca 2019, 126 2019, s. 27:1--27:16. Zobacz w 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 marca 2019 - 16 marca 2019, 126 2019, s. 44:1--44:15. Zobacz w 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 lutego 2018 - 3 marca 2018. Zobacz w PBN
• Paweł Parys , Recursion Schemes and the WMSO+U Logic, The 35th International Symposium on Theoretical Aspects of Computer Science, Caen, France, 28 lutego 2018 - 3 marca 2018. Zobacz w 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 lutego 2018 - 3 marca 2018. Zobacz w 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 marca 2017 - 11 marca 2017. Zobacz w 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 marca 2017 - 11 marca 2017. Zobacz w 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 marca 2017 - 11 marca 2017. Zobacz w PBN
• Mikołaj Bojańczyk , Michał Pilipczuk , Optimizing Tree Decompositions in MSO, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 marca 2017 - 11 marca 2017. Zobacz w 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 marca 2017 - 11 marca 2017. Zobacz w PBN

2015

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