Thomas Walter Kahl

Assistant Professor

University of Minho

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

Publications

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

Rational approximations of sectional category and poincarÉ duality

Proceedings of the American Mathematical Society | 2016

J.G. Carrasquel-Vera

DOI

Topological abstraction of higher-dimensional automata

Theoretical Computer Science | 2016

DOI