Krzysztof Ziemianski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2022–2026
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Algebraic Characterization of FO-Definable Languages of Higher-Dimensional Automata. | Enzo Erlich, Jrmy Ledent, Krzysztof Ziemianski |
| 2026 | CONCUR | Bisimulations and Modal Logics for Higher Dimensional Automata. | Safa Zouari, Rob van Glabbeek, Krzysztof Ziemianski |
| 2024 | ICTAC | Bisimulations and Logics for Higher-Dimensional Automata. | Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg |
| 2023 | ICTAC | Closure and Decision Properties for Higher-Dimensional Automata. | Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski |
| 2022 | CONCUR | A Kleene Theorem for Higher-Dimensional Automata. | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |