Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. - Dietrich Kuske; Ingmar Meinecke (CIAA, 2003)

Branching automata with costs - a way of reflecting parallelism in costs star. - Dietrich Kuske; Ingmar Meinecke (Theor. Comput. Sci., 2004)

Gewichtete verzweigende Automaten. - Ingmar Meinecke (GI Jahrestagung (1), 2005)

The Hadamard Product of Sequential-Parallel Series. - Ingmar Meinecke (J. Autom. Lang. Comb., 2005)

Weighted Logics for Traces. - Ingmar Meinecke (CSR, 2006)

Weighted Distributed Systems and Their Logics. - Benedikt Bollig; Ingmar Meinecke (LFCS, 2007)

A Weighted µ-Calculus on Words. - Ingmar Meinecke (Developments in Language Theory, 2009)

Describing Average- and Longtime-Behavior by Weighted MSO Logics. - Manfred Droste; Ingmar Meinecke (MFCS, 2010)

Regular Expressions on Average and in the Long Run. - Manfred Droste; Ingmar Meinecke (CIAA, 2010)

Propositional Dynamic Logic for Message-Passing Systems - Benedikt Bollig; Dietrich Kuske; Ingmar Meinecke (Log. Methods Comput. Sci., 2010)

Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics. - Manfred Droste; Doreen Götze; Steffen Märcker; Ingmar Meinecke (Algebraic Foundations in Computer Science, 2011)

Valuations of Weighted Automata: Doing It in a Rational Way. - Ingmar Meinecke (Algebraic Foundations in Computer Science, 2011)

A Cascade Decomposition of Weighted Finite Transition Systems. - Manfred Droste; Ingmar Meinecke; Branimir Seselja; Andreja Tepavcevic (Developments in Language Theory, 2011)

Weighted Automata and Regular Expressions over Valuation Monoids. - Manfred Droste; Ingmar Meinecke (Int. J. Found. Comput. Sci., 2011)

Construction of tree automata from regular expressions. - Dietrich Kuske; Ingmar Meinecke (RAIRO Theor. Informatics Appl., 2011)

Weighted automata and weighted MSO logics for average and long-time behaviors. - Manfred Droste; Ingmar Meinecke (Inf. Comput., 2012)

Parameterized model checking of weighted networks. - Ingmar Meinecke; Karin Quaas (Theor. Comput. Sci., 2014)