Achim Blumensath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2000–2021
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MFCS | ω-Forest Algebras and Temporal Logics. | Achim Blumensath, Jakub Ldl |
| 2018 | ICALP | Bisimulation Invariant Monadic-Second Order Logic in the Finite. | Achim Blumensath, Felix Wolf |
| 2016 | STACS | On a Fragment of AMSO and Tiling Systems. | Achim Blumensath, Thomas Colcombet, Pawel Parys |
| 2014 | CSL | Two-way cost automata and cost logics over infinite trees. | Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Pawel Parys, Michael Vanden Boom |
| 2014 | MFCS | Asymptotic Monadic Second-Order Logic. | Achim Blumensath, Olivier Carton, Thomas Colcombet |
| 2009 | ICALP | Boundedness of Monadic Second-Order Formulae over Finite Words. | Achim Blumensath, Martin Otto, Mark Weyer |
| 2002 | STACS | Axiomatising Tree-Interpretable Structures. | Achim Blumensath |
| 2000 | CSL | Bounded Arithmetic and Descriptive Complexity. | Achim Blumensath |
| 2000 | LICS | Automatic Structures. | Achim Blumensath, Erich Grdel |