Martin Huschenbett

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Venues

CoRR

STACS

Int. J. Comput. Math.

MFCS

Technische Universität Ilmenau, Germany (PHD)

Education History

Technische Universität Ilmenau, Germany

PHD

Publications

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 Language for Securely Automating Real-World Multi-Party Business Workflows. CoRR (2023)
Martin Huschenbett, Alexander Kartzow, Philipp Schlicht
Pumping for ordinal-automatic structures. Comput. 6 (2) (2017)
Martin Huschenbett, Dietrich Kuske, Georg Zetzsche
The Monoid of Queue Actions. MFCS (1) (2014)
Martin Huschenbett, Dietrich Kuske, Georg Zetzsche
The monoid of queue actions. CoRR (2014)
Martin Huschenbett, Manfred Kufleitner
Ehrenfeucht-Fraïssé Games on Omega-Terms. STACS (2014)
Martin Huschenbett
The Rank of Tree-Automatic Linear Orderings. STACS (2013)
Martin Huschenbett, Jiamou Liu
A Polychromatic Ramsey Theory for Ordinals. MFCS (2013)
Martin Huschenbett
Models for quantitative distributed systems and multi-valued logics. Int. J. Comput. Math. 90 (6) (2013)
Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey
Tree-Automatic Well-Founded Trees Log. Methods Comput. Sci. 9 (2) (2013)
Martin Huschenbett, Manfred Kufleitner
Ehrenfeucht-Fraisse Games on Omega-Terms. CoRR (2013)
Martin Huschenbett
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. CiE (2012)
Martin Huschenbett
The Rank of Tree-Automatic Linear Orderings CoRR (2012)
Martin Huschenbett
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable CoRR (2012)
Martin Huschenbett
Models for Quantitative Distributed Systems and Multi-Valued Logics. LATA (2011)
Martin Huschenbett
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. Fundam. Informaticae 112 (2-3) (2011)
Martin Huschenbett
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. NCMA (2010)

Martin Huschenbett.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Huschenbett