Krzysztof Ziemianski

According to our database, Krzysztof Ziemianski authored at least 18 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Myhill-Nerode Theorem for Higher-Dimensional Automata.

Uli Fahrenberg, Krzysztof Ziemianski

Fundam. Informaticae, 2024

Presheaf automata.

Georg Struth, Krzysztof Ziemianski

CoRR, 2024

Bisimulations and Logics for Higher-Dimensional Automata.

Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg

CoRR, 2024

Presenting Interval Pomsets with Interfaces.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Developments in Higher-Dimensional Automata Theory.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski

CoRR, 2023

Closure and Decision Properties for Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Posets with interfaces as a model for concurrency.

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

Inf. Comput., 2022

A Kleene Theorem for Higher-Dimensional Automata.

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Languages of higher-dimensional automata.

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

Math. Struct. Comput. Sci., 2021

Sculptures in Concurrency.

Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski

Log. Methods Comput. Sci., 2021

Posets with Interfaces for Concurrent Kleene Algebra.

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

CoRR, 2021

lr-Multisemigroups and Modal Convolution Algebras.

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

CoRR, 2021

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.

Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Spaces of directed paths on pre-cubical sets II.

Krzysztof Ziemianski

J. Appl. Comput. Topol., 2020

2019

Stable Components of Directed Spaces.

Krzysztof Ziemianski

Appl. Categorical Struct., 2019

Directed path spaces via discrete vector fields.

Krzysztof Ziemianski

Appl. Algebra Eng. Commun. Comput., 2019

2017

Spaces of directed paths on pre-cubical sets.

Krzysztof Ziemianski

Appl. Algebra Eng. Commun. Comput., 2017

2016

On execution spaces of PV-programs.

Krzysztof Ziemianski

Theor. Comput. Sci., 2016