Ingmar Meinecke

20 papers B 1C 5Misc 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2014 J jnl
Parameterized model checking of weighted networks.
Theor. Comput. Sci.
Ingmar Meinecke, Karin Quaas
2012 J jnl
Weighted automata and weighted MSO logics for average and long-time behaviors.
Inf. Comput.
Manfred Droste, Ingmar Meinecke
2011 C conf
A Cascade Decomposition of Weighted Finite Transition Systems.
Developments in Language Theory
Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
2011 — conf
A Cascade Decomposition of Weighted Finite Transition Systems.
NCMA
Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
2011 J jnl
Construction of tree automata from regular expressions.
RAIRO Theor. Informatics Appl.
Dietrich Kuske, Ingmar Meinecke
2011 — conf
Valuations of Weighted Automata: Doing It in a Rational Way.
Algebraic Foundations in Computer Science
Ingmar Meinecke
2011 J jnl
Weighted Automata and Regular Expressions over Valuation Monoids.
Int. J. Found. Comput. Sci.
Manfred Droste, Ingmar Meinecke
2011 — conf
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.
Algebraic Foundations in Computer Science
Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke
2010 B conf
Describing Average- and Longtime-Behavior by Weighted MSO Logics.
MFCS
Manfred Droste, Ingmar Meinecke
2010 J jnl
Propositional Dynamic Logic for Message-Passing Systems
Log. Methods Comput. Sci.
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
2010 C conf
Regular Expressions on Average and in the Long Run.
CIAA
Manfred Droste, Ingmar Meinecke
2009 C conf
A Weighted µ-Calculus on Words.
Developments in Language Theory
Ingmar Meinecke
2008 C conf
Construction of Tree Automata from Regular Expressions.
Developments in Language Theory
Dietrich Kuske, Ingmar Meinecke
2007 — conf
Propositional Dynamic Logic for Message-Passing Systems.
FSTTCS
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
2007 Misc conf
Weighted Distributed Systems and Their Logics.
LFCS
Benedikt Bollig, Ingmar Meinecke
2006 Misc conf
Weighted Logics for Traces.
CSR
Ingmar Meinecke
2005 — conf
Gewichtete verzweigende Automaten.
GI Jahrestagung (1)
Ingmar Meinecke
2005 J jnl
The Hadamard Product of Sequential-Parallel Series.
J. Autom. Lang. Comb.
Ingmar Meinecke
2004 J jnl
Branching automata with costs - a way of reflecting parallelism in costs star.
Theor. Comput. Sci.
Dietrich Kuske, Ingmar Meinecke
2003 C conf
Branching Automata with Costs - A Way of Reflecting Parallelism in Costs.
CIAA
Dietrich Kuske, Ingmar Meinecke