![]() | ![]() |
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] |