| Publication | Date of Publication | Type |
|---|
Myhill-Nerode theorem for higher-dimensional automata
Fundamenta Informaticae | 2024-10-22 | Paper |
| Closure and decision properties for higher-dimensional automata | 2024-09-13 | Paper |
| A Kleene theorem for higher-dimensional automata | 2024-08-13 | Paper |
| A Myhill-Nerode theorem for higher-dimensional automata | 2023-11-16 | Paper |
| \( \ell r\)-multisemigroups, modal quantales and the origin of locality | 2023-03-30 | Paper |
Catoids and modal convolution algebras
Algebra Universalis | 2023-02-28 | Paper |
Domain semirings united
Acta Cybernetica | 2022-06-14 | Paper |
Posets with interfaces as a model for concurrency
Information and Computation | 2022-06-08 | Paper |
Languages of higher-dimensional automata
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
Configuration spaces and directed paths on the final precubical set
Fundamenta Mathematicae | 2022-05-06 | Paper |
| Generating Posets with Interfaces | 2022-03-05 | Paper |
Sculptures in concurrency
(available as arXiv preprint) | 2021-05-25 | Paper |
| Sculptures in concurrency | 2021-05-25 | Paper |
| lr-Multisemigroups and Modal Convolution Algebras | 2021-05-01 | Paper |
Spaces of directed paths on pre-cubical sets II
Journal of Applied and Computational Topology | 2020-03-06 | Paper |
Stable components of directed spaces
Applied Categorical Structures | 2019-06-20 | Paper |
Directed path spaces via discrete vector fields
Applicable Algebra in Engineering, Communication and Computing | 2019-03-15 | Paper |
Spaces of directed paths on pre-cubical sets
Applicable Algebra in Engineering, Communication and Computing | 2018-01-30 | Paper |
Directed suspensions and their loop spaces
Fundamenta Mathematicae | 2017-11-30 | Paper |
Homotopy representations of the unitary groups
Algebraic & Geometric Topology | 2016-09-15 | Paper |
| Paths of the directed suspension | 2016-07-02 | Paper |
On execution spaces of PV-programs
Theoretical Computer Science | 2016-02-26 | Paper |
Homology of spaces of directed paths on Euclidean cubical complexes
Journal of Homotopy and Related Structures | 2015-02-17 | Paper |
A cubical model for path spaces in d-simplicial complexes
Topology and its Applications | 2012-04-30 | Paper |
Categories of directed spaces
Fundamenta Mathematicae | 2012-04-18 | Paper |
A faithful unitary representation of the 2-compact group \(DI(4)\)
Journal of Pure and Applied Algebra | 2009-04-16 | Paper |
Homotopy representations of \(\mathrm{SO}(7)\) and \(\mathrm{Spin}(7)\) at the prime 2
Journal of Pure and Applied Algebra | 2008-03-14 | Paper |
