| |
| 2008 | ||
|---|---|---|
| 8 | EE | Dietrich Kuske, Ingmar Meinecke: Construction of Tree Automata from Regular Expressions. Developments in Language Theory 2008: 491-503 |
| 2007 | ||
| 7 | EE | Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke: Propositional Dynamic Logic for Message-Passing Systems. FSTTCS 2007: 303-315 |
| 6 | EE | Benedikt Bollig, Ingmar Meinecke: Weighted Distributed Systems and Their Logics. LFCS 2007: 54-68 |
| 2006 | ||
| 5 | EE | Ingmar Meinecke: Weighted Logics for Traces. CSR 2006: 235-246 |
| 2005 | ||
| 4 | Ingmar Meinecke: Gewichtete verzweigende Automaten. GI Jahrestagung (1) 2005: 391-394 | |
| 3 | Ingmar Meinecke: The Hadamard Product of Sequential-Parallel Series. Journal of Automata, Languages and Combinatorics 10(2/3): 313-346 (2005) | |
| 2004 | ||
| 2 | EE | Dietrich Kuske, Ingmar Meinecke: Branching automata with costs - a way of reflecting parallelism in costs star. Theor. Comput. Sci. 328(1-2): 53-75 (2004) |
| 2003 | ||
| 1 | EE | Dietrich Kuske, Ingmar Meinecke: Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. CIAA 2003: 150-162 |
| 1 | Benedikt Bollig | [6] [7] |
| 2 | Dietrich Kuske | [1] [2] [7] [8] |