Publikacje

Konferencja: IEEE Symposium on Logic in Computer Science

Liczba publikacji: 38

2024

• Jakub Gajarský , Michał Pilipczuk , Marek Sokołowski , Giannos Stamoulis, Szymon Toruńczyk , Elementary first-order model checking for sparse graphs, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024, 18 2024, s. 1-14. Zobacz w PBN
• Arka Ghosh , Sławomir Lasota , Equivariant ideals of polynomials, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024, 11 2024, s. 1-14. Zobacz w PBN
• Mikołaj Bojańczyk , Pierre Ohlmann, Rank-decreasing transductions, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024, 17 2024, s. 1-13. Zobacz w PBN
• Michael Blondin, Alain Finkel, Piotr Hofman , Filip Mazowiecki, Philip Offtermatt, Soundness of reset workflow nets, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024. Zobacz w PBN
• Nathan Lhote, Vincent Michielini , Michał Skrzypczak , Uniformisation of Regular Relations in First-Order Logic with Two Variables, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024, 8 2024, s. 1-13. Zobacz w PBN

2023

• Wojciech Przybyszewski , Distal Combinatorial Tools for Graphs of Bounded Twin-Width, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN
• Mikołaj Bojańczyk , Folding interpretations, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023, 170 2023, s. 1-13. Zobacz w PBN
• Nikhil Balaji, Lorenzo Clemente , Klara Nosan, Mahsa Shirmohammadi, James Worrell, Multiplicity Problems on Algebraic Series and Context-Free Grammars, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN
• Mikołaj Bojańczyk , On the Growth Rates of Polyregular Functions, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN
• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Orbit-finite linear programming, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN
• Damian Niwiński , Paweł Parys , Michał Skrzypczak , The Probabilistic Rabin Tree Theorem*, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN

2022

• Wojciech Czerwiński , Łukasz Orlikowski, Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Édouard Bonnet, Jan Dreier, Jakub Gajarský , Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Toruńczyk , Model Checking on Interpretations of Classes of Bounded Local Cliquewidth, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Solvability of orbit-finite systems of linear equations, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Jakub Gajarský , Michał Pilipczuk , Szymon Toruńczyk , Stable graphs of bounded twin-width, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Wojciech Czerwiński , Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus Whiteland, The boundedness and zero isolation problems for weighted automata over nonnegative rationals, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Mikołaj Bojańczyk , Transducers of polynomial growth, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Jan Dreier, Jakub Gajarský , Sandra Kiefer, Michał Pilipczuk , Szymon Toruńczyk , Treelike Decompositions for Transductions of Sparse Graphs, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN

2021

• Mikołaj Bojańczyk , Bartosz Klin , Joshua Moerman, Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata, 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 29 czerwca 2021 - 2 lipca 2021. Zobacz w PBN
• Marta Juzepczuk, Mohnish Pattathurajan, Piotr Hofman , Sławomir Lasota , Parikh’s theorem for infinite alphabets, 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 29 czerwca 2021 - 2 lipca 2021. Zobacz w PBN
• Balazs F. Mezei, Marcin Wrochna , Stanislav Zivny, PTAS for Sparse General-Valued CSPs, 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 29 czerwca 2021 - 2 lipca 2021. Zobacz w PBN

2020

• Georg Zetzsche, Wojciech Czerwiński , An Approach to Regular Separability in Vector Addition Systems, 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
• Stefan Göller, Paweł Parys , Bisimulation Finiteness of Pushdown Systems Is Elementary, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
• Georg Zetzsche, Mikołaj Bojańczyk , Rafał Stefański , Edon Kelmendi, Extensions of ω-Regular Languages, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
• Amina Doumane, Mikołaj Bojańczyk , First-order tree-to-tree functions, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
• Thomas Zeume, Szymon Toruńczyk , Register Automata with Extrema Constraints, and an Application to Two-Variable Logic, 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN
• Grzegorz Fabiański , Michał Skrzypczak , Szymon Toruńczyk , Uniformisations of Regular Relations Over Bi-Infinite Words, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN

2019

• Mikołaj Bojańczyk , Edon Kelmendi, Michał Skrzypczak , MSO+∇ is undecidable, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, 24 lipca 2019 - 27 lipca 2019. Zobacz w PBN

2018

• Mikołaj Bojańczyk , Martin Grohe, Michał Pilipczuk , Definable decompositions for graphs of bounded linear cliquewidth, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Oxford, the United Kingdom of Great Britain and Northern Ireland, 9 lipca 2018 - 12 lipca 2018. Zobacz w PBN
• Mikołaj Bojańczyk , Szymon Toruńczyk , On computability and tractability for infinite sets, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Oxford, the United Kingdom of Great Britain and Northern Ireland, 9 lipca 2018 - 12 lipca 2018. Zobacz w PBN
• Michał Pilipczuk , Sebastian Siebertz, Szymon Toruńczyk , On the number of types in sparse graphs, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Oxford, the United Kingdom of Great Britain and Northern Ireland, 9 lipca 2018 - 12 lipca 2018. Zobacz w PBN
• Michał Pilipczuk , Sebastian Siebertz, Szymon Toruńczyk , Parameterized circuit complexity of model-checking on sparse structures, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Oxford, the United Kingdom of Great Britain and Northern Ireland, 9 lipca 2018 - 12 lipca 2018. Zobacz w PBN

2017

• Piotr Hofman , Jerome Leroux, Patrick Totzke, Linear combinations of unordered data vectors, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20 czerwca 2017 - 23 czerwca 2017. Zobacz w PBN
• Stephan Kreutzer, Michał Pilipczuk , Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz, Jan van den Heuvel, Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20 czerwca 2017 - 23 czerwca 2017. Zobacz w PBN
• Wojciech Czerwiński , Sławomir Lasota , Regular separability of one counter automata, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20 czerwca 2017 - 23 czerwca 2017. Zobacz w PBN
• Lorenzo Clemente , Sławomir Lasota , Ranko Lazić, Filip Mazowiecki, Timed pushdown automata and branching vector addition systems, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20 czerwca 2017 - 23 czerwca 2017. Zobacz w PBN

2016

• Leszek Kołodziejczyk , Henryk Michalewski , How unprovable is Rabin's decidability theorem?, LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Nowy Jork, the United States of America, 5 lipca 2016 - 8 lipca 2016. Zobacz w PBN

2013

• Alessandro Facchini, Filip Murlak , Michał Skrzypczak , Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata, Twenty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE, New Orleans, LA, the United States of America, 25 czerwca 2013 - 28 czerwca 2013. Zobacz w PBN