Get started
Author

Martin Huschenbett

Observed name: Huschenbett, Martin
OpenAlex ID: A5010168911
The monoid of queue actions
2016 · Martin Huschenbett, Dietrich Kuske, et al. · Semigroup Forum · 9
PDF
Tree-Automatic Well-Founded Trees
2013 · Martin Huschenbett, Alexander Kartzow, et al. · Logical Methods in Computer Science · 8
PDF
Ehrenfeucht-Fraisse Games on Omega-Terms
2013 · Huschenbett, Martin, Kufleitner, Manfred · arXiv (Cornell University) · 6
PDF
The Rank of Tree-Automatic Linear Orderings
2013 · Huschenbett, Martin · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 6
PDF
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows
2023 · Bernauer, Alexander, Faro, Sofia, et al. · arXiv (Cornell University) · 5
PDF
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
2012 · Martin Huschenbett · Lecture notes in computer science · 4
PDF
Pumping for ordinal-automatic structures
2017 · Martin Huschenbett, Alexander Kartzow, et al. · Computability · 3
Models for quantitative distributed systems and multi-valued logics
2012 · Martin Huschenbett · International Journal of Computer Mathematics · 3
The Monoid of Queue Actions
2014 · Martin Huschenbett, Dietrich Kuske, et al. · Lecture notes in computer science · 2
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices
2011 · Martin Huschenbett · Fundamenta Informaticae · 2
Models for Quantitative Distributed Systems and Multi-Valued Logics
2011 · Martin Huschenbett · Lecture notes in computer science · 2
The model-theoretic complexity of automatic linear orders
2015 · Martin Huschenbett · Common Library Network (Der Gemeinsame Bibliotheksverbund) · 1
The Rank of Tree-Automatic Linear Orderings
2012 · Huschenbett, Martin · arXiv (Cornell University) · 1
PDF
A Polychromatic Ramsey Theory for Ordinals
2013 · Martin Huschenbett, Jiamou Liu · Lecture notes in computer science
PDF
Works count: 16
Citation count: 52
H-index: 5
I10-index:
Year
Topic
Type