Krzysztof Ziemianski

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Optimistic Concurrency Control

Arbitrary Dimension

Continuous Relaxation

Higher Dimensional

Top Venues

Appl. Algebra Eng. Commun. Comput.

Publications

Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
Bisimulations and Logics for Higher-Dimensional Automata. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
Presenting Interval Pomsets with Interfaces. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
Presenting Interval Pomsets with Interfaces. RAMiCS (2024)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
Closure and Decision Properties for Higher-Dimensional Automata. ICTAC (2023)
Uli Fahrenberg, Krzysztof Ziemianski
A Myhill-Nerode Theorem for Higher-Dimensional Automata. Petri Nets (2023)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
Developments in Higher-Dimensional Automata Theory. CoRR (2023)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CoRR (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with interfaces as a model for concurrency. Inf. Comput. 285 (Part) (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CONCUR (2022)
Uli Fahrenberg, Krzysztof Ziemianski
A Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR (2022)
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31 (5) (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with Interfaces for Concurrent Kleene Algebra. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
lr-Multisemigroups and Modal Convolution Algebras. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of Higher-Dimensional Automata. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
Sculptures in Concurrency. Log. Methods Comput. Sci. 17 (2) (2021)
Krzysztof Ziemianski
Spaces of directed paths on pre-cubical sets II. J. Appl. Comput. Topol. 4 (1) (2020)
Krzysztof Ziemianski
Directed path spaces via discrete vector fields. Appl. Algebra Eng. Commun. Comput. 30 (1) (2019)
Krzysztof Ziemianski
Stable Components of Directed Spaces. Appl. Categorical Struct. 27 (3) (2019)
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
Sculptures in Concurrency. CoRR (2018)
Krzysztof Ziemianski
Spaces of directed paths on pre-cubical sets. Appl. Algebra Eng. Commun. Comput. 28 (6) (2017)
Krzysztof Ziemianski
On execution spaces of PV-programs. Theor. Comput. Sci. 619 (2016)