Thomas Kahl

Associate Professor

University of Minho

kahl@math.uminho.pt
(+351) 253604357
.
ORCID Ciência ID

Main research interests: directed algebraic topology, applications of algebraic topology in computer science

Publications

The homology digraph of a preordered space

Catarina Faustino

DOI

On the homology language of HDA models of transition systems

Journal of Applied and Computational Topology | 2023

DOI

On symmetric higher-dimensional automata and bisimilarity

Theoretical Computer Science | 2022

DOI

Weak equivalence of higher-dimensional automata

Discrete Mathematics and Theoretical Computer Science | 2021

DOI

Higher-dimensional automata modeling shared-variable systems

Logical Methods in Computer Science ; Volume 15 | 2019

DOI