Dr. rer. nat. Achim Blumensath

2023

• The Power-Set Construction for Tree Algebras

  BLUMENSATH Achim

  Article in Periodical

  LOGICAL METHODS IN COMPUTER SCIENCE, year: 2023, volume: 19, edition: 4, DOI

2021

• Algebraic Language Theory for Eilenberg–Moore Algebras

  BLUMENSATH Achim

  Article in Periodical

  Logical Methods in Computer Science, year: 2021, volume: 17, edition: 2, DOI

• ω-Forest Algebras and Temporal Logics

  BLUMENSATH Achim LÉDL Jakub

  Article in Proceedings

  46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia, year: 2021

2020

• Bisimulation invariant monadic-second order logic in the finite

  BLUMENSATH Achim WOLF Felix

  Article in Periodical

  Theoretical Computer Science, year: 2020, volume: 823, edition: 1, DOI

• Regular Tree Algebras

  BLUMENSATH Achim

  Article in Periodical

  Logical Methods in Computer Science, year: 2020, volume: 16, edition: 1, DOI

2018

• Bisimulation Invariant Monadic-Second Order Logic in the Finite

  BLUMENSATH Achim WOLF Felix

  Article in Proceedings

  45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, year: 2018

2016

• On a Fragment of AMSO and Tiling Systems

  BLUMENSATH Achim COLCOMBET Thomas PARYS Pawel

  Article in Proceedings

  33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orleans, France, year: 2016