Achim Blumensath

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 16

Top Venues

CoRR

Log. Methods Comput. Sci.

CSL-LICS

ICALP

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Achim Blumensath
Some Remarks on First-Order Definable Tree Languages. CoRR (2024)
Achim Blumensath
The Power-Set Construction for Tree Algebras. Log. Methods Comput. Sci. 19 (4) (2023)
Achim Blumensath
The Expansion Problem for Infinite Trees. CoRR (2023)
Achim Blumensath, Jakub Lédl
ω-Forest Algebras and Temporal Logics. CoRR (2022)
Achim Blumensath
The Power-Set Construction for Tree Algebras. CoRR (2022)
Achim Blumensath, Jakub Lédl
ω-Forest Algebras and Temporal Logics. MFCS (2021)
Achim Blumensath
Algebraic Language Theory for Eilenberg-Moore Algebras. Log. Methods Comput. Sci. 17 (2) (2021)
Achim Blumensath, Felix Wolf
Bisimulation invariant monadic-second order logic in the finite. Theor. Comput. Sci. 823 (2020)
Achim Blumensath
Regular Tree Algebras. Log. Methods Comput. Sci. 16 (1) (2020)
Achim Blumensath
Algebraic Language Theory for Eilenberg-Moore Algebras. CoRR (2020)
Achim Blumensath, Felix Wolf
Bisimulation Invariant Monadic-Second Order Logic in the Finite. CoRR (2019)
Achim Blumensath, Felix Wolf
Bisimulation Invariant Monadic-Second Order Logic in the Finite. ICALP (2018)
Achim Blumensath
Branch-Continuous Tree Algebras. CoRR (2018)
Achim Blumensath
Regular Tree Algebras. CoRR (2018)
Achim Blumensath, Viktor Winschel
A Compositional Coalgebraic Semantics of Strategic Games. CoRR (2017)
Achim Blumensath, Thomas Colcombet, Pawel Parys
On a Fragment of AMSO and Tiling Systems. STACS (2016)
Achim Blumensath, Bruno Courcelle
Monadic second-order definable graph orderings. Log. Methods Comput. Sci. 10 (1) (2014)
Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Pawel Parys, Michael Vanden Boom
Two-way cost automata and cost logics over infinite trees. CSL-LICS (2014)
Achim Blumensath, Olivier Carton, Thomas Colcombet
Asymptotic Monadic Second-Order Logic. MFCS (1) (2014)
Achim Blumensath, Martin Otto, Mark Weyer
Decidability Results for the Boundedness Problem. Log. Methods Comput. Sci. 10 (3) (2014)
Achim Blumensath
Erratum to "On the structure of graphs in the Caucal hierarchy" [Theoret. Comput. Sci 400 (2008) 19-45]. Theor. Comput. Sci. 475 (2013)
Achim Blumensath
An algebraic proof of Rabin's Tree Theorem. Theor. Comput. Sci. 478 (2013)
Achim Blumensath
Locality and modular Ehrenfeucht-Fraïssé games. J. Appl. Log. 10 (1) (2012)
Achim Blumensath
Simple monadic theories and indiscernibles. Math. Log. Q. 57 (1) (2011)
Achim Blumensath
Simple monadic theories and partition width. Math. Log. Q. 57 (4) (2011)
Achim Blumensath
Recognisability for algebras of infinite trees. Theor. Comput. Sci. 412 (29) (2011)
Achim Blumensath, Bruno Courcelle
On the Monadic Second-Order Transduction Hierarchy Log. Methods Comput. Sci. 6 (2) (2010)
Achim Blumensath
Guarded Second-Order Logic, Spanning Trees, and Network Flows Log. Methods Comput. Sci. 6 (1) (2010)
Achim Blumensath, Martin Otto, Mark Weyer
Boundedness of Monadic Second-Order Formulae over Finite Words. ICALP (2) (2009)
Achim Blumensath
On the structure of graphs in the Caucal hierarchy. Theor. Comput. Sci. 400 (1-3) (2008)
Achim Blumensath, Thomas Colcombet, Christof Löding
Logical theories and compatible operations. Logic and Automata (2008)
Achim Blumensath, Bruno Courcelle
Recognizability, hypergraph operations, and logical types. Inf. Comput. 204 (6) (2006)
Achim Blumensath
A model-theoretic characterisation of clique width. Ann. Pure Appl. Log. 142 (1-3) (2006)
Achim Blumensath, Stephan Kreutzer
An Extension of Muchnik's Theorem. J. Log. Comput. 15 (1) (2005)
Achim Blumensath, Erich Grädel
Finite Presentations of Infinite Structures: Automata and Interpretations. Theory Comput. Syst. 37 (6) (2004)
Achim Blumensath
Axiomatising Tree-Interpretable Structures. Theory Comput. Syst. 37 (1) (2004)
Achim Blumensath
Axiomatising Tree-Interpretable Structures. STACS (2002)
Dietmar Berwanger, Achim Blumensath
The Monadic Theory of Tree-like Structures. Automata, Logics, and Infinite Games (2001)
Dietmar Berwanger, Achim Blumensath
Automata for Guarded Fixed Point Logics. Automata, Logics, and Infinite Games (2001)
Achim Blumensath
Bounded Arithmetic and Descriptive Complexity. CSL (2000)
Achim Blumensath, Erich Grädel
Automatic Structures. LICS (2000)

Achim Blumensath.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Achim Blumensath