Publications

Journal: Information and Computation

Number of publications: 24

2022

• Tomasz Kociumaka, Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń , A periodicity lemma for partial words, Information and Computation, 283 2022, p. 104677. See in PBN
• Tomasz Kociumaka, Jakub Radoszewski , Wojciech Rytter , Juliusz Straszyński , Tomasz Waleń , WANDA ZUBA, Efficient representation and counting of antipower factors in words, Information and Computation, 286 2022, p. 104779: 1-18. See in PBN
• Georg Struth, Krzysztof Ziemiański , Uli Fahrenberg, Christian Johansen, Posets with interfaces as a model for concurrency, Information and Computation, 285 2022, p. 104914. See in PBN
• Paweł Parys , The Caucal hierarchy: Interpretations in the (W)MSO+U logic, Information and Computation, 286 2022, p. 104782. See in PBN

2021

• Mikołaj Bojańczyk , Thomas Brihaye, Christoph Haase, Sławomir Lasota , Joel Ouaknine, Igor Potapov, Preface, Information and Computation, 277 2021, p. 104579. See in PBN
• Marcin Przybyłko, Michał Skrzypczak , The uniform measure of simple regular sets of infinite trees, Information and Computation, 278 2021, p. 104595,1-24. See in PBN

2020

• Carl Barton, Tomasz Kociumaka, Chang Liu, Solon P. Pissis, Jakub Radoszewski , Indexing weighted sequences: Neat and efficient, Information and Computation, 270 2020, p. 104462. See in PBN
• Jakub Radoszewski , Tatiana Starikovskaya, Streaming k-mismatch with error correcting and applications, Information and Computation, 271 2020, p. 104513. See in PBN
• Garance Gourdel, Tomasz Kociumaka, Jakub Radoszewski , Wojciech Rytter , Arseny Shur, Tomasz Waleń , String periods in the order-preserving model, Information and Computation, 270 2020, p. 104463. See in PBN
• Radosław Piórkowski, Sławomir Lasota , WQO dichotomy for 3-graphs, Information and Computation, 275 2020, p. 104541. See in PBN

2017

• Piotr Skowron , FPT approximation schemes for maximizing submodular functions, Information and Computation, 2017. See in PBN
• Marek Cygan , Daniel Marx, Marcin Pilipczuk , Michał Pilipczuk , Hitting forbidden subgraphs in graphs of bounded treewidth, Information and Computation, 256 2017, p. 62-82. See in PBN
• Tomasz Gogacz, Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Measure properties of regular sets of trees, Information and Computation, 256 2017, p. 108-130. See in PBN

2016

• Volker Diekert, Artur Jeż, Wojciech Plandowski , Finding all solutions of equations in free groups and monoids with involution, Information and Computation, 2016. See in PBN
• Jacek Chrząszcz, Aleksy Schubert , The role of polymorphism in the characterisation of complexity by soft types, Information and Computation, 2016. See in PBN

2015

• Hans L. Bodlaender, Marek Cygan , Stefan Kratsch, Jesper Nederlof, Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth, Information and Computation, 2015. See in PBN
• Marek Cygan , Marcin Pilipczuk , Faster exponential-time algorithms in graphs of bounded average degree, Information and Computation, 2015. See in PBN

2013

• Michał Skrzypczak , Topological extension of parity automata, Information and Computation, 228 2013, p. 16-27. See in PBN

2012

• Ken-etsu Fujita, Aleksy Schubert , The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types, Information and Computation, 2012. See in PBN

2011

• Wojciech Czerwiński, Sibylle Froeschle, Sławomir Lasota , Partially-commutative context-free processes: expressibility and tractability, Information and Computation, 2011. See in PBN

2010

• Sibylle B. Fröschle, Petr Jancar, Sławomir Lasota , Zdenek Sawa, Non-interleaving bisimulation equivalences on Basic Parallel Processes, Information and Computation, 2010. See in PBN

2007

• Wojciech Rytter , The number of runs in a string: improved analysis of the linear upper bound, Information and Computation, 2007. See in PBN

2002

• Jerzy Tiuryn , Paweł Urzyczyn , The subtyping problem for second-order types is undecidable, Information and Computation, 2002. See in PBN

2001

• F. Neven, M. Otto, Jerzy Tyszkiewicz , Jan Van den Bussche, Adding for-loops to first order logic, Information and Computation, 2001. See in PBN