 | 2011 |
|---|
| 18 |       | Manfred Droste,
Doreen Götze,
Steffen Märcker,
Ingmar Meinecke:
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.
Algebraic Foundations in Computer Science 2011: 30-55 |
| 17 | | Ingmar Meinecke:
Valuations of Weighted Automata: Doing It in a Rational Way.
Algebraic Foundations in Computer Science 2011: 309-346 |
| 16 | | Manfred Droste,
Ingmar Meinecke,
Branimir Seselja,
Andreja Tepavcevic:
A Cascade Decomposition of Weighted Finite Transition Systems.
Developments in Language Theory 2011: 472-473 |
| 15 |  | Manfred Droste,
Ingmar Meinecke,
Branimir Seselja,
Andreja Tepavcevic:
A Cascade Decomposition of Weighted Finite Transition Systems.
NCMA 2011: 137-152 |
| 14 | | Manfred Droste,
Ingmar Meinecke:
Weighted Automata and Regular Expressions over Valuation Monoids.
Int. J. Found. Comput. Sci. 22(8): 1829-1844 (2011) |
| 13 | | Dietrich Kuske,
Ingmar Meinecke:
Construction of tree automata from regular expressions.
RAIRO - Theor. Inf. and Applic. 45(3): 347-370 (2011) |
| 2010 |
|---|
| 12 | | Manfred Droste,
Ingmar Meinecke:
Regular Expressions on Average and in the Long Run.
CIAA 2010: 211-221 |
| 11 | | Manfred Droste,
Ingmar Meinecke:
Describing Average- and Longtime-Behavior by Weighted MSO Logics.
MFCS 2010: 537-548 |
| 10 | | Benedikt Bollig,
Dietrich Kuske,
Ingmar Meinecke:
Propositional Dynamic Logic for Message-Passing Systems
Logical Methods in Computer Science 6(3): (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page