A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. - Martin Huschenbett (Fundam. Informaticae, 2011)

Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. - Martin Huschenbett (CiE, 2012)

A Polychromatic Ramsey Theory for Ordinals. - Martin Huschenbett; Jiamou Liu (MFCS, 2013)

The Rank of Tree-Automatic Linear Orderings. - Martin Huschenbett (STACS, 2013)

Tree-Automatic Well-Founded Trees - Martin Huschenbett; Alexander Kartzow; Jiamou Liu; Markus Lohrey (Log. Methods Comput. Sci., 2013)

Models for quantitative distributed systems and multi-valued logics. - Martin Huschenbett (Int. J. Comput. Math., 2013)

The Monoid of Queue Actions. - Martin Huschenbett; Dietrich Kuske; Georg Zetzsche (MFCS (1), 2014)

Ehrenfeucht-Fraïssé Games on Omega-Terms. - Martin Huschenbett; Manfred Kufleitner (STACS, 2014)

The model-theoretic complexity of automatic linear orders. - Martin Huschenbett (2016)

Pumping for ordinal-automatic structures. - Martin Huschenbett; Alexander Kartzow; Philipp Schlicht (Comput., 2017)

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. - 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 (CoRR, 2023)