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 |