Publications

Journal: Logical Methods in Computer Science

Number of publications: 38

2022

• Karoliina Lehtinen, Paweł Parys , Sven Schewe, Dominik Wojtczak, A Recursive Approach to Solving Parity Games in Quasipolynomial Time, Logical Methods in Computer Science, 18 (1) 2022, p. 8:1-8:18. See in PBN
• Lorenzo Clemente , Sławomir Lasota , Radosław Piórkowski, Determinisability of register and timed automata, Logical Methods in Computer Science, 18 (2) 2022, p. 9:1–9:37. See in PBN
• Piotr Hofman , Jakub Różycki, Linear equations for unordered data vectors in $[D]^k\to{}Z^d$, Logical Methods in Computer Science, Volume 18, Issue 4 2022. See in PBN
• Mikołaj Bojańczyk , Michał Pilipczuk , Optimizing tree decompositions in MSO, Logical Methods in Computer Science, Volume 18, Issue 1 2022. See in PBN
• Szymon Toruńczyk , Thomas Zeume, Register Automata with Extrema Constraints, and an Application to Two-Variable Logic, Logical Methods in Computer Science, Volume 18, Issue 1 2022. See in PBN

2021

• Mikołaj Bojańczyk , Martin Grohe, Michał Pilipczuk , Definable decompositions for graphs of bounded linear cliquewidth, Logical Methods in Computer Science, 17 (1) 2021, p. 1-40. See in PBN
• Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemiański , Sculptures in concurrency, Logical Methods in Computer Science, 17 (2) 2021, p. 5:1-5:32. See in PBN

2020

• Paweł Parys , On the Expressive Power of Higher-Order Pushdown Systems, Logical Methods in Computer Science, 16 (3) 2020. See in PBN
• Paweł Parys , Recursion Schemes, the MSO Logic, and the U quantifier, Logical Methods in Computer Science, 16 (1) 2020. See in PBN
• Mikołaj Bojańczyk , Laure Daviaud, Sreejith Ajithkumar Vijayalekshmi, Vincent Penelle, Bruno Guillon, Undecidability of a weak version of MSO+U, Logical Methods in Computer Science, 16 (1) 2020. See in PBN

2019

• Mikołaj Bojańczyk , Bartosz Klin , A non-regular language of infinite trees that is recognized by a sort-wise finite Algebra, Logical Methods in Computer Science, 14 (4) 2019, p. 11:1–11:13. See in PBN
• Khadijeh Keshvardoost, Bartosz Klin , Sławomir Lasota , Joanna Ochremiak, Szymon Toruńczyk , Definable isomorphism problem, Logical Methods in Computer Science, 15 (4) 2019, p. 14:1–14:19. See in PBN
• Lorenzo Clemente , Richard Mayr, Efficient reduction of nondeterministic automata with application to language inclusion testing, Logical Methods in Computer Science, 15 (1) 2019, p. 12:1–12:73. See in PBN
• Anuj Dawar, Eryk Kopczyński , Logical properties of random graphs from small addable classes, Logical Methods in Computer Science, 15 (3) 2019, p. 4:1–4:12. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Regular Separability of One Counter Automata, Logical Methods in Computer Science, 15 (2) 2019, p. 20:1–20:27. See in PBN
• Mikołaj Bojańczyk , Filippo Cavallari, Thomas Place, Michał Skrzypczak , Regular tree languages in low levels of the Wadge Hierarchy, Logical Methods in Computer Science, 15 (3) 2019, p. 27:1–27:61. See in PBN
• Dmitry Chistikov, Wojciech Czerwiński , Piotr Hofman , Michał Pilipczuk , Michael Wehar, Shortest paths in one-counter systems, Logical Methods in Computer Science, 15 (1) 2019, p. 19:1–19:28. See in PBN
• Dusan Knop, Martin Koutecky, Tomáš Masařík , Tomas Toufar, Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity, Logical Methods in Computer Science, 15 (4) 2019, p. 12:1-12:32. See in PBN
• Leszek Kołodziejczyk , Henryk Michalewski , Pierre Pradic, Michał Skrzypczak , The logical strength of Büchi's decidability theorem, Logical Methods in Computer Science, 15 (2) 2019, p. 16:1-16:31. See in PBN

2018

• Eryk Kopczyński , Tony Tan, A note on first-order spectra with binary relations, Logical Methods in Computer Science, 14 (2) 2018, p. 1-15. See in PBN
• Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Monadic Second Order Logic with Measure and Category Quantifiers, Logical Methods in Computer Science, 14 (2) 2018, p. 2:1-2:29. See in PBN

2017

• Anuj Dawar, Eryk Kopczyński , Bounded degree and planar spectra, Logical Methods in Computer Science, 13 (4) 2017, p. 1-21. See in PBN
• Aleksy Schubert , Paweł Urzyczyn , Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, Logical Methods in Computer Science, 12 (4) 2017, p. 1-25. See in PBN

2016

• Sławomir Lasota , Richard Mayr, Patrick Totzke, Piotr Hofman , Simulation Problems Over One-Counter Nets, Logical Methods in Computer Science, 2016. See in PBN

2015

• Eryk Kopczyński , Complexity of Problems of Commutative Grammars, Logical Methods in Computer Science, 2015. See in PBN

2014

• Mikołaj Bojańczyk , Bartosz Klin , Sławomir Lasota , Automata theory in nominal sets, Logical Methods in Computer Science, 2014. See in PBN
• Michał Skrzypczak , Separation Property for wB- and wS-regular Languages, Logical Methods in Computer Science, 10 (1:8) 2014, p. 1-20. See in PBN
• Samuel R. Buss, Leszek Kołodziejczyk , Small stone in pool, Logical Methods in Computer Science, 2014. See in PBN
• Sven Sandberg, Richard Mayr, Parosh Aziz Abdulla, Lorenzo Clemente , Stochastic Parity Games on Lossy Channel Systems, Logical Methods in Computer Science, 2014. See in PBN

2013

• Anuj Dawar, Erich Graedel, Bjarki Holm, Eryk Kopczyński , Wied Pakusa, Definability of linear equation systems over groups and rings, Logical Methods in Computer Science, 2013. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Reachability problem for weak multi-pushdown automata, Logical Methods in Computer Science, 2013. See in PBN

2012

• Mikołaj Bojańczyk , Sławomir Lasota , An extension of data automata that captures XPath, Logical Methods in Computer Science, 2012. See in PBN
• Mikołaj Bojańczyk , Luc Segoufin, Howard Straubing, Piecewise testable tree languages, Logical Methods in Computer Science, 2012. See in PBN
• Paweł Parys , Igor Walukiewicz, Weak Alternating Timed Automata, Logical Methods in Computer Science, 2012. See in PBN
• Mikołaj Bojańczyk , Howard Straubing, Igor Walukiewicz, Wreath Products of Forest Algebras, with Applications to Tree Logics, Logical Methods in Computer Science, 2012. See in PBN

2010

• Mikołaj Bojańczyk , Luc Segoufin, Tree Languages Defined in First-Order Logic with One Quantifier Alternation, Logical Methods in Computer Science, 2010. See in PBN

2009

• Mikołaj Bojańczyk , Two-Way Unary Temporal Logic over Trees, Logical Methods in Computer Science, 2009. See in PBN

2008

• Filip Murlak , The Wadge Hierarchy of Deterministic Tree Languages, Logical Methods in Computer Science, 2008. See in PBN