| No. |
Title |
Author |
Year |
| 1 |
Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481) |
Diekert, Volker et al. |
2021 |
| 2 |
Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131) |
Diekert, Volker et al. |
2019 |
| 3 |
Solutions of Twisted Word Equations, EDT0L Languages, and Context-Free Groups |
Diekert, Volker et al. |
2017 |
| 4 |
Characterizing Classes of Regular Languages Using Prefix Codes of Bounded Synchronization Delay |
Diekert, Volker et al. |
2016 |
| 5 |
Solutions of Word Equations Over Partially Commutative Structures |
Diekert, Volker et al. |
2016 |
| 6 |
Efficient algorithms for highly compressed data: The Word Problem in Higman's group is in P |
Diekert, Volker et al. |
2012 |
| 7 |
Fragments of First-Order Logic over Infinite Words |
Diekert, Volker et al. |
2009 |
