Dr. rer. nat. Achim Blumensath

2023

• The Power-Set Construction for Tree Algebras

  BLUMENSATH Achim

  Článek v odborném periodiku

  LOGICAL METHODS IN COMPUTER SCIENCE, rok: 2023, ročník: 19, vydání: 4, DOI

2021

• Algebraic Language Theory for Eilenberg–Moore Algebras

  BLUMENSATH Achim

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2021, ročník: 17, vydání: 2, DOI

• ω-Forest Algebras and Temporal Logics

  BLUMENSATH Achim LÉDL Jakub

  Článek ve sborníku

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

2020

• Bisimulation invariant monadic-second order logic in the finite

  BLUMENSATH Achim WOLF Felix

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2020, ročník: 823, vydání: 1, DOI

• Regular Tree Algebras

  BLUMENSATH Achim

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2020, ročník: 16, vydání: 1, DOI

2018

• Bisimulation Invariant Monadic-Second Order Logic in the Finite

  BLUMENSATH Achim WOLF Felix

  Článek ve sborníku

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

2016

• On a Fragment of AMSO and Tiling Systems

  BLUMENSATH Achim COLCOMBET Thomas PARYS Pawel

  Článek ve sborníku

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