Thomas Kahl

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 11

Top Topics

Higher Dimensional

Concurrent Systems

Top Venues

Theor. Comput. Sci.

Discret. Math. Theor. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Catarina Faustino, Thomas Kahl, Rodrigo Lopes
On the topology of concurrent systems. CoRR (2024)
Thomas Kahl
On symmetric higher-dimensional automata and bisimilarity. Theor. Comput. Sci. 935 (2022)
Thomas Kahl
On the homology language of HDA models of transition systems. CoRR (2022)
Thomas Kahl
Weak equivalence of higher-dimensional automata. Discret. Math. Theor. Comput. Sci. 23 (1) (2021)
Thomas Kahl
On symmetric higher-dimensional automata and bisimilarity. CoRR (2021)
Thomas Kahl
Weak equivalence of higher-dimensional automata. CoRR (2019)
Thomas Kahl
Higher-dimensional automata modeling shared-variable systems. Log. Methods Comput. Sci. 15 (3) (2019)
Thomas Kahl
Labeled homology of higher-dimensional automata. J. Appl. Comput. Topol. 2 (3-4) (2018)
Thomas Kahl
Higher-dimensional automata modeling shared-variable systems. CoRR (2018)
Thomas Kahl
Labeled homology of higher-dimensional automata. CoRR (2017)
Thomas Kahl
Topological abstraction of higher-dimensional automata. Theor. Comput. Sci. 631 (2016)
Thomas Kahl
Topological abstraction of higher-dimensional automata. CoRR (2015)
Thomas Kahl
Weak morphisms of higher dimensional automata. Theor. Comput. Sci. 536 (2014)
Thomas Kahl
Weak morphisms of higher dimensional automata CoRR (2013)
Thomas Kahl
The homology graph of a higher dimensional automaton. CoRR (2013)
Thomas Kahl
A Fibration Category of Local Pospaces. Electron. Notes Theor. Comput. Sci. 230 (2009)
Thomas Kahl
Conceptual Outline for a Cartographic Information System for the Analysis and Evaluate of Radon 222 Pollution in Housing. Informatik für den Umweltschutz (1991)