Martin Huschenbett

According to our database, Martin Huschenbett authored at least 11 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2017

Pumping for ordinal-automatic structures.

Martin Huschenbett, Alexander Kartzow, Philipp Schlicht

Comput., 2017

2016

The model-theoretic complexity of automatic linear orders.

Martin Huschenbett

PhD thesis, 2016

2014

Ehrenfeucht-Fraïssé Games on Omega-Terms.

Martin Huschenbett, Manfred Kufleitner

Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014

The Monoid of Queue Actions.

Martin Huschenbett, Dietrich Kuske, Georg Zetzsche

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2013

Models for quantitative distributed systems and multi-valued logics.

Martin Huschenbett

Int. J. Comput. Math., 2013

Tree-Automatic Well-Founded Trees

Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey

Log. Methods Comput. Sci., 2013

The Rank of Tree-Automatic Linear Orderings.

Martin Huschenbett

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013

A Polychromatic Ramsey Theory for Ordinals.

Martin Huschenbett, Jiamou Liu

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable.

Martin Huschenbett

Proceedings of the How the World Computes, 2012

2011

A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices.

Martin Huschenbett

Fundam. Informaticae, 2011