Thomas Kahl

19 papers Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the topology of concurrent systems.
J. Appl. Comput. Topol.
Catarina Faustino, Thomas Kahl, Rodrigo Lopes
2024 J jnl
On the homology language of HDA models of transition systems.
J. Appl. Comput. Topol.
Thomas Kahl
2024 J jnl
On the topology of concurrent systems.
CoRR
Catarina Faustino, Thomas Kahl, Rodrigo Lopes
2022 J jnl
On symmetric higher-dimensional automata and bisimilarity.
Theor. Comput. Sci.
Thomas Kahl
2022 J jnl
On the homology language of HDA models of transition systems.
CoRR
Thomas Kahl
2021 J jnl
On symmetric higher-dimensional automata and bisimilarity.
CoRR
Thomas Kahl
2021 J jnl
Weak equivalence of higher-dimensional automata.
Discret. Math. Theor. Comput. Sci.
Thomas Kahl
2019 J jnl
Higher-dimensional automata modeling shared-variable systems.
Log. Methods Comput. Sci.
Thomas Kahl
2019 J jnl
Weak equivalence of higher-dimensional automata.
CoRR
Thomas Kahl
2018 J jnl
Higher-dimensional automata modeling shared-variable systems.
CoRR
Thomas Kahl
2018 J jnl
Labeled homology of higher-dimensional automata.
J. Appl. Comput. Topol.
Thomas Kahl
2017 J jnl
Labeled homology of higher-dimensional automata.
CoRR
Thomas Kahl
2016 J jnl
Topological abstraction of higher-dimensional automata.
Theor. Comput. Sci.
Thomas Kahl
2015 J jnl
Topological abstraction of higher-dimensional automata.
CoRR
Thomas Kahl
2014 J jnl
Weak morphisms of higher dimensional automata.
Theor. Comput. Sci.
Thomas Kahl
2013 J jnl
The homology graph of a higher dimensional automaton.
CoRR
Thomas Kahl
2013 J jnl
Weak morphisms of higher dimensional automata
CoRR
Thomas Kahl
2006 — conf
A Fibration Category of Local Pospaces.
GETCO
Thomas Kahl
1991 — conf
Conceptual Outline for a Cartographic Information System for the Analysis and Evaluate of Radon 222 Pollution in Housing.
Informatik für den Umweltschutz
Thomas Kahl