Back to the list of the institutes
Publications
Journal: Information and Computation
Number of publications: 262023
- Maria Chudnovsky, Shenwei Huang, Paweł Rzążewski , Sophie Spirkl, Mingxian Zhong, Complexity of C-coloring in hereditary classes of graphs, Information and Computation, 292 2023, p. 1-19. See in PBN
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
2019
- Panagiotis Charalampopoulos, Costas S. Iliopoulos, Solon P. Pissis, Jakub Radoszewski , On-line weighted pattern matching, Information and Computation, 266 2019, p. 49-59. 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
- Wojciech Plandowski , Volker Diekert, Artur Jeż, Finding all solutions of equations in free groups and monoids with involution, Information and Computation, (251) 2016, p. 263-286. 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