Krzysztof Ziemianski

30 papers B 2C 4Journal 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
Presheaf automata.
Ann. Pure Appl. Log.
Georg Struth, Krzysztof Ziemianski
2026 J jnl
Variants of Higher-Dimensional Automata.
CoRR
Hugo Bazille, Jérémy Dubut, Uli Fahrenberg, Krzysztof Ziemianski
2025 J jnl
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski
2025 J jnl
Closure and decision properties for higher-dimensional automata.
Theor. Comput. Sci.
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2024 C conf
Bisimulations and Logics for Higher-Dimensional Automata.
ICTAC
Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
2024 J jnl
Bisimulations and Logics for Higher-Dimensional Automata.
CoRR
Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
2024 J jnl
Kleene Theorem for Higher-Dimensional Automata.
Log. Methods Comput. Sci.
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2024 J jnl
Myhill-Nerode Theorem for Higher-Dimensional Automata.
Fundam. Informaticae
Uli Fahrenberg, Krzysztof Ziemianski
2024 C conf
Presenting Interval Pomsets with Interfaces.
RAMiCS
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024 J jnl
Presenting Interval Pomsets with Interfaces.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024 J jnl
Presheaf automata.
CoRR
Georg Struth, Krzysztof Ziemianski
2023 B conf
A Myhill-Nerode Theorem for Higher-Dimensional Automata.
Petri Nets
Uli Fahrenberg, Krzysztof Ziemianski
2023 C conf
Closure and Decision Properties for Higher-Dimensional Automata.
ICTAC
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2023 J jnl
Developments in Higher-Dimensional Automata Theory.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2022 B conf
A Kleene Theorem for Higher-Dimensional Automata.
CONCUR
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022 J jnl
A Kleene Theorem for Higher-Dimensional Automata.
CoRR
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022 J jnl
A Myhill-Nerode Theorem for Higher-Dimensional Automata.
CoRR
Uli Fahrenberg, Krzysztof Ziemianski
2022 J jnl
Posets with interfaces as a model for concurrency.
Inf. Comput.
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021 J jnl
Languages of Higher-Dimensional Automata.
CoRR
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021 J jnl
Languages of higher-dimensional automata.
Math. Struct. Comput. Sci.
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021 J jnl
Posets with Interfaces for Concurrent Kleene Algebra.
CoRR
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021 J jnl
Sculptures in Concurrency.
Log. Methods Comput. Sci.
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2021 J jnl
lr-Multisemigroups and Modal Convolution Algebras.
CoRR
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021 C conf
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.
RAMiCS
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2020 J jnl
Spaces of directed paths on pre-cubical sets II.
J. Appl. Comput. Topol.
Krzysztof Ziemianski
2019 J jnl
Directed path spaces via discrete vector fields.
Appl. Algebra Eng. Commun. Comput.
Krzysztof Ziemianski
2019 J jnl
Stable Components of Directed Spaces.
Appl. Categorical Struct.
Krzysztof Ziemianski
2018 J jnl
Sculptures in Concurrency.
CoRR
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2017 J jnl
Spaces of directed paths on pre-cubical sets.
Appl. Algebra Eng. Commun. Comput.
Krzysztof Ziemianski
2016 J jnl
On execution spaces of PV-programs.
Theor. Comput. Sci.
Krzysztof Ziemianski