Martin Huschenbett

17 papers A 2B 1C 2Journal 9Unranked 2

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