Thomas Kahl

According to our database, Thomas Kahl authored at least 11 papers between 1991 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

On the topology of concurrent systems.

Catarina Faustino, Thomas Kahl, Rodrigo Lopes

J. Appl. Comput. Topol., March, 2025

2024

On the homology language of HDA models of transition systems.

Thomas Kahl

J. Appl. Comput. Topol., September, 2024

2022

On symmetric higher-dimensional automata and bisimilarity.

Thomas Kahl

Theor. Comput. Sci., 2022

2021

Weak equivalence of higher-dimensional automata.

Thomas Kahl

Discret. Math. Theor. Comput. Sci., 2021

2019

Higher-dimensional automata modeling shared-variable systems.

Thomas Kahl

Log. Methods Comput. Sci., 2019

2018

Labeled homology of higher-dimensional automata.

Thomas Kahl

J. Appl. Comput. Topol., 2018

2016

Topological abstraction of higher-dimensional automata.

Thomas Kahl

Theor. Comput. Sci., 2016

2014

Weak morphisms of higher dimensional automata.

Thomas Kahl

Theor. Comput. Sci., 2014

2013

The homology graph of a higher dimensional automaton.

Thomas Kahl

CoRR, 2013

2006

A Fibration Category of Local Pospaces.

Thomas Kahl

Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, 2006

1991

Conceptual Outline for a Cartographic Information System for the Analysis and Evaluate of Radon 222 Pollution in Housing.

Thomas Kahl

Proceedings of the Informatik für den Umweltschutz / Computer Science for Environmental Protection, 1991