Conceptual Outline for a Cartographic Information System for the Analysis and Evaluate of Radon 222 Pollution in Housing. - Thomas Kahl (Informatik für den Umweltschutz, 1991)

A Fibration Category of Local Pospaces. - Thomas Kahl (GETCO, 2006)

The homology graph of a higher dimensional automaton. - Thomas Kahl (CoRR, 2013)

Weak morphisms of higher dimensional automata. - Thomas Kahl (Theor. Comput. Sci., 2014)

Topological abstraction of higher-dimensional automata. - Thomas Kahl (Theor. Comput. Sci., 2016)

Labeled homology of higher-dimensional automata. - Thomas Kahl (J. Appl. Comput. Topol., 2018)

Higher-dimensional automata modeling shared-variable systems. - Thomas Kahl (Log. Methods Comput. Sci., 2019)

Weak equivalence of higher-dimensional automata. - Thomas Kahl (Discret. Math. Theor. Comput. Sci., 2021)

On symmetric higher-dimensional automata and bisimilarity. - Thomas Kahl (Theor. Comput. Sci., 2022)

On the homology language of HDA models of transition systems. - Thomas Kahl (J. Appl. Comput. Topol., 2024)

On the topology of concurrent systems. - Catarina Faustino; Thomas Kahl; Rodrigo Lopes (J. Appl. Comput. Topol., 2025)