On execution spaces of PV-programs. - Krzysztof Ziemianski (Theor. Comput. Sci., 2016)

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

Directed path spaces via discrete vector fields. - Krzysztof Ziemianski (Appl. Algebra Eng. Commun. Comput., 2019)

Stable Components of Directed Spaces. - Krzysztof Ziemianski (Appl. Categorical Struct., 2019)

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

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. - Cameron Calk; Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (RAMiCS, 2021)

lr-Multisemigroups and Modal Convolution Algebras. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (CoRR, 2021)

Posets with Interfaces for Concurrent Kleene Algebra. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (CoRR, 2021)

Sculptures in Concurrency. - Uli Fahrenberg; Christian Johansen; Christopher Trotter; Krzysztof Ziemianski (Log. Methods Comput. Sci., 2021)

Languages of higher-dimensional automata. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (Math. Struct. Comput. Sci., 2021)

Posets with interfaces as a model for concurrency. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (Inf. Comput., 2022)

Developments in Higher-Dimensional Automata Theory. - Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Krzysztof Ziemianski (CoRR, 2023)

Presenting Interval Pomsets with Interfaces. - Amazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg; Krzysztof Ziemianski (RAMiCS, 2024)

Bisimulations and Logics for Higher-Dimensional Automata. - Safa Zouari; Krzysztof Ziemianski; Uli Fahrenberg (ICTAC, 2024)

Presheaf automata. - Georg Struth; Krzysztof Ziemianski (CoRR, 2024)

Myhill-Nerode Theorem for Higher-Dimensional Automata. - Uli Fahrenberg; Krzysztof Ziemianski (Fundam. Informaticae, 2024)

Kleene Theorem for Higher-Dimensional Automata. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (Log. Methods Comput. Sci., 2024)

Closure and decision properties for higher-dimensional automata. - Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Krzysztof Ziemianski (Theor. Comput. Sci., 2025)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata. - Amazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg; Marie Fortin; Krzysztof Ziemianski (CoRR, 2025)