Thomas Walter Kahl

Assistant Professor

University of Minho

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

Publications

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

Higher-dimensional automata modeling shared-variable systems

Logical Methods in Computer Science ; Volume 15 | 2019

DOI

Weak equivalence of higher-dimensional automata

Labeled homology of higher-dimensional automata

Journal of Applied and Computational Topology | 2018

DOI