Krzysztof Ziemianski

Orcid: 0000-0001-7695-4028

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Myhill-Nerode Theorem for Higher-Dimensional Automata.
Fundam. Informaticae, 2024

Presheaf automata.
CoRR, 2024

Bisimulations and Logics for Higher-Dimensional Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

Presenting Interval Pomsets with Interfaces.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023
Developments in Higher-Dimensional Automata Theory.
CoRR, 2023

Closure and Decision Properties for Higher-Dimensional Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022
Posets with interfaces as a model for concurrency.
Inf. Comput., 2022

A Kleene Theorem for Higher-Dimensional Automata.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Languages of higher-dimensional automata.
Math. Struct. Comput. Sci., 2021

Sculptures in Concurrency.
Log. Methods Comput. Sci., 2021

Posets with Interfaces for Concurrent Kleene Algebra.
CoRR, 2021

lr-Multisemigroups and Modal Convolution Algebras.
CoRR, 2021

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Spaces of directed paths on pre-cubical sets II.
J. Appl. Comput. Topol., 2020

2019
Stable Components of Directed Spaces.
Appl. Categorical Struct., 2019

Directed path spaces via discrete vector fields.
Appl. Algebra Eng. Commun. Comput., 2019

2017
Spaces of directed paths on pre-cubical sets.
Appl. Algebra Eng. Commun. Comput., 2017

2016
On execution spaces of PV-programs.
Theor. Comput. Sci., 2016


  Loading...