Clik here to view.
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices.
Martin Huschenbett: A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. NCMA 2010: 99-111
View ArticleClik here to view.
Models for Quantitative Distributed Systems and Multi-Valued Logics.
Martin Huschenbett: Models for Quantitative Distributed Systems and Multi-Valued Logics. LATA 2011: 310-322
View ArticleClik here to view.
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices.
Martin Huschenbett: A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. Fundam. Informaticae 112(2-3): 171-191 (2011)
View ArticleClik here to view.
The Rank of Tree-Automatic Linear Orderings.
Martin Huschenbett: The Rank of Tree-Automatic Linear Orderings. CoRR abs/1204.3048 (2012)
View ArticleClik here to view.
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable.
Martin Huschenbett: Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. CoRR abs/1201.5070 (2012)
View ArticleClik here to view.
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable.
Martin Huschenbett: Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. CiE 2012: 313-322
View ArticleClik here to view.
Ehrenfeucht-Fraisse Games on Omega-Terms.
Martin Huschenbett, Manfred Kufleitner: Ehrenfeucht-Fraisse Games on Omega-Terms. CoRR abs/1310.3195 (2013)
View ArticleClik here to view.
The Rank of Tree-Automatic Linear Orderings.
Martin Huschenbett: The Rank of Tree-Automatic Linear Orderings. STACS 2013: 586-597
View ArticleClik here to view.
A Polychromatic Ramsey Theory for Ordinals.
Martin Huschenbett, Jiamou Liu: A Polychromatic Ramsey Theory for Ordinals. MFCS 2013: 559-570
View ArticleClik here to view.
Models for quantitative distributed systems and multi-valued logics.
Martin Huschenbett: Models for quantitative distributed systems and multi-valued logics. Int. J. Comput. Math. 90(6): 1223-1246 (2013)
View ArticleClik here to view.
Tree-Automatic Well-Founded Trees.
Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey: Tree-Automatic Well-Founded Trees. Log. Methods Comput. Sci. 9(2) (2013)
View ArticleClik here to view.
The monoid of queue actions.
Martin Huschenbett, Dietrich Kuske, Georg Zetzsche: The monoid of queue actions. CoRR abs/1404.5479 (2014)
View ArticleClik here to view.
Ehrenfeucht-Fraïssé Games on Omega-Terms.
Martin Huschenbett, Manfred Kufleitner: Ehrenfeucht-Fraïssé Games on Omega-Terms. STACS 2014: 374-385
View ArticleClik here to view.
The Monoid of Queue Actions.
Martin Huschenbett, Dietrich Kuske, Georg Zetzsche: The Monoid of Queue Actions. MFCS (1) 2014: 340-351
View ArticleClik here to view.
The model-theoretic complexity of automatic linear orders.
Martin Huschenbett: The model-theoretic complexity of automatic linear orders. Technische Universität Ilmenau, Germany, 2016, ISBN 978-3-86360-127-0, pp. 1-228
View ArticleClik here to view.
Pumping for ordinal-automatic structures.
Martin Huschenbett, Alexander Kartzow, Philipp Schlicht: Pumping for ordinal-automatic structures. Comput. 6(2): 125-164 (2017)
View ArticleClik here to view.
Daml: A Smart Contract Language for Securely Automating Real-World...
Alexander Bernauer, Sofia Faro, Rémy Haemmerle, Martin Huschenbett, Moritz Kiefer, Andreas Lochbihler, Jussi Mäki, Francesco Mazzoli, Simon Meier, Neil Mitchell, Ratko G. Veprek: Daml: A Smart Contract...
View Article
