- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 9 |      | Ingmar Meinecke: A Weighted µ-Calculus on Words. Developments in Language Theory 2009: 384-395 |
| 2008 | ||
| 8 | | Dietrich Kuske, Ingmar Meinecke: Construction of Tree Automata from Regular Expressions. Developments in Language Theory 2008: 491-503 |
| 2007 | ||
| 7 | | Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke: Propositional Dynamic Logic for Message-Passing Systems. FSTTCS 2007: 303-315 |
| 6 | | Benedikt Bollig, Ingmar Meinecke: Weighted Distributed Systems and Their Logics. LFCS 2007: 54-68 |
| 2006 | ||
| 5 | | 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 | | 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 | | 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] |