Publikacje

Krzysztof Ziemiański

Liczba publikacji: 25

2025

• Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański , Closure and decision properties for higher-dimensional automata, Theoretical Computer Science, 1036 2025, s. 115156: 1-18. Zobacz w PBN

2024

• Safa Zouari, Krzysztof Ziemiański , Uli Fahrenberg, Bisimulations and Logics for Higher-Dimensional Automata, 21st International Colloquium on Theoretical Aspects of Computing, Bangkok, Thailand, 25 listopada 2024 - 29 listopada 2024. Zobacz w PBN
• Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański , Kleene Theorem for Higher-Dimensional Automata, Logical Methods in Computer Science, Volume 20 (Issue 4) 2024, s. 22:1-22:50. Zobacz w PBN
• Uli Fahrenberg, Krzysztof Ziemiański , Myhill-Nerode Theorem for Higher-Dimensional Automata, FUNDAMENTA INFORMATICAE, 192 (3-4) 2024, s. 219-259. Zobacz w PBN

2023

• Uli Fahrenberg, Krzysztof Ziemiański , A Myhill-Nerode Theorem for Higher-Dimensional Automata, 44th International Conference on Application and Theory of Petri Nets and Concurrency, Caparica, Portugal, 25 czerwca 2023 - 30 czerwca 2023. Zobacz w PBN
• Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański , Catoids and modal convolution algebras, Algebra Universalis, 84 (2) 2023, s. 10: 1-40. Zobacz w PBN
• Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański , Closure and Decision Properties for Higher-Dimensional Automata, 20th International Colloquium on Theoretical Aspects of Computing, Lima, Peru, 4 grudnia 2023 - 8 grudnia 2023. Zobacz w PBN

2022

• Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański , A Kleene Theorem for Higher-Dimensional Automata, 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 września 2022 - 16 września 2022. Zobacz w PBN
• Jakub Paliga, Krzysztof Ziemiański , Configuration spaces and directed paths on the final precubical set, Fundamenta Mathematicae, 257 (3) 2022, s. 229-263. Zobacz w PBN
• Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański , Domain Semirings United, Acta Cybernetica, 25 (3) 2022, s. 575-583. Zobacz w PBN
• Georg Struth, Krzysztof Ziemiański , Uli Fahrenberg, Christian Johansen, Posets with interfaces as a model for concurrency, Information and Computation, 285 2022, s. 104914. Zobacz w PBN

2021

• Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański , Languages of higher-dimensional automata, Mathematical Structures in Computer Science, 2021, s. 1-39. Zobacz w PBN
• Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemiański , Sculptures in concurrency, Logical Methods in Computer Science, 17 (2) 2021, s. 5:1-5:32. Zobacz w PBN

2020

• Krzysztof Ziemiański , Spaces of directed paths on pre-cubical sets II, Journal of Applied and Computational Topology, 4 (1) 2020, s. 45-78. Zobacz w PBN

2019

• Krzysztof Ziemiański , Directed path spaces via discrete vector fields, Applicable Algebra in Engineering, Communications and Computing, 30 (1) 2019, s. 51-74. Zobacz w PBN
• Krzysztof Ziemiański , Stable Components of Directed Spaces, Applied Categorical Structures, 27 (3) 2019, s. 217-244. Zobacz w PBN

2018

• Andrzej Weber , Krzysztof Ziemiański , Directed suspensions and their loop spaces, Fundamenta Mathematicae, 240 (2) 2018, s. 137 - 159. Zobacz w PBN

2017

• Krzysztof Ziemiański , Spaces of directed paths on pre-cubical sets, Applicable Algebra in Engineering, Communications and Computing, 28 (6) 2017, s. 497–525. Zobacz w PBN

2016

• Wojciech Lubawski, Krzysztof Ziemiański , Homotopy representations of the unitary groups, Algebraic and Geometric Topology, 2016. Zobacz w PBN
• Krzysztof Ziemiański , On execution spaces of PV-programs, Theoretical Computer Science, 2016. Zobacz w PBN

2014

• Martin Raussen, Krzysztof Ziemiański , Homology of spaces of directed paths on Euclidean cubical complexes, Journal of Homotopy and Related Structures, 2014. Zobacz w PBN

2012

• Krzysztof Ziemiański , A cubical model for path spaces in d-simplicial complexes, Topology and its Applications, 2012. Zobacz w PBN
• Krzysztof Ziemiański , Categories of directed spaces, Fundamenta Mathematicae, 2012. Zobacz w PBN

2009

• Krzysztof Ziemiański , A faithful unitary representation of the 2-compact group DI(4), Journal of Pure and Applied Algebra, 2009. Zobacz w PBN

2008

• Krzysztof Ziemiański , Homotopy representations of SO(7) and Spin(7) at the prime 2, Journal of Pure and Applied Algebra, 2008. Zobacz w PBN