Krzysztof Ziemianski

Orcid: 0000-0001-7695-4028

According to our database¹, Krzysztof Ziemianski authored at least 19 papers between 2016 and 2025.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata.

[BibT_eX]

[DOI]

CoRR, May, 2025

Closure and decision properties for higher-dimensional automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2025

2024

Kleene Theorem for Higher-Dimensional Automata.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2024

Myhill-Nerode Theorem for Higher-Dimensional Automata.

[BibT_eX]

[DOI]

Uli Fahrenberg

Krzysztof Ziemianski

Fundam. Informaticae, 2024

Presheaf automata.

[BibT_eX]

[DOI]

Georg Struth

Krzysztof Ziemianski

CoRR, 2024

Bisimulations and Logics for Higher-Dimensional Automata.

[BibT_eX]

[DOI]

Safa Zouari

Krzysztof Ziemianski

Uli Fahrenberg

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

Presenting Interval Pomsets with Interfaces.

[BibT_eX]

[DOI]

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

2023

Developments in Higher-Dimensional Automata Theory.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Posets with interfaces as a model for concurrency.

[BibT_eX]

[DOI]

Inf. Comput., 2022

2021

Languages of higher-dimensional automata.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2021

Sculptures in Concurrency.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Posets with Interfaces for Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

CoRR, 2021

lr-Multisemigroups and Modal Convolution Algebras.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

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

2020

Spaces of directed paths on pre-cubical sets II.

[BibT_eX]

[DOI]

Krzysztof Ziemianski

J. Appl. Comput. Topol., 2020

2019

Stable Components of Directed Spaces.

[BibT_eX]

[DOI]

Krzysztof Ziemianski

Appl. Categorical Struct., 2019

Directed path spaces via discrete vector fields.

[BibT_eX]

[DOI]

Krzysztof Ziemianski

Appl. Algebra Eng. Commun. Comput., 2019

2017

Spaces of directed paths on pre-cubical sets.

[BibT_eX]

[DOI]

Krzysztof Ziemianski

Appl. Algebra Eng. Commun. Comput., 2017

2016

On execution spaces of PV-programs.

[BibT_eX]

[DOI]

Krzysztof Ziemianski

Theor. Comput. Sci., 2016

Krzysztof Ziemianski

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...