VLDB 2026 Research / reviewers in the wild / expert
Thomas Kahl
dblp:14/2634
· DBLP profile ↗
4ranked-venue papers
4as first author
1since 2021 · last 2022
0000-0003-4951-8866ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 4 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | On symmetric higher-dimensional automata and bisimilarityabstractIt is shown that there exists a hereditary history-preserving bisimulation between a higher-dimensional automaton (HDA) and the symmetric HDA freely generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power. Thomas Kahl |
Theor. Comput. Sci. | 1 |
| 2019 | Higher-dimensional automata modeling shared-variable systems
Thomas Kahl |
Log. Methods Comput. Sci. | 1 |
| 2016 | Topological abstraction of higher-dimensional automata
Thomas Kahl |
Theor. Comput. Sci. | 1 |
| 2014 | Weak morphisms of higher dimensional automata
Thomas Kahl |
Theor. Comput. Sci. | 1 |