Ingmar Meinecke

According to our database, Ingmar Meinecke authored at least 17 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Parameterized model checking of weighted networks.

Ingmar Meinecke, Karin Quaas

Theor. Comput. Sci., 2014

2012

Weighted automata and weighted MSO logics for average and long-time behaviors.

Manfred Droste, Ingmar Meinecke

Inf. Comput., 2012

2011

Weighted Automata and Regular Expressions over Valuation Monoids.

Manfred Droste, Ingmar Meinecke

Int. J. Found. Comput. Sci., 2011

A Cascade Decomposition of Weighted Finite Transition Systems.

Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

Valuations of Weighted Automata: Doing It in a Rational Way.

Ingmar Meinecke

Proceedings of the Algebraic Foundations in Computer Science, 2011

Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.

Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke

Proceedings of the Algebraic Foundations in Computer Science, 2011

2010

Regular Expressions on Average and in the Long Run.

Manfred Droste, Ingmar Meinecke

Proceedings of the Implementation and Application of Automata, 2010

Describing Average- and Longtime-Behavior by Weighted MSO Logics.

Manfred Droste, Ingmar Meinecke

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009

A Weighted µ-Calculus on Words.

Ingmar Meinecke

Proceedings of the Developments in Language Theory, 13th International Conference, 2009

2008

Construction of Tree Automata from Regular Expressions.

Dietrich Kuske, Ingmar Meinecke

Proceedings of the Developments in Language Theory, 12th International Conference, 2008

2007

Weighted Distributed Systems and Their Logics.

Benedikt Bollig, Ingmar Meinecke

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Propositional Dynamic Logic for Message-Passing Systems.

Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Weighted Logics for Traces.

Ingmar Meinecke

Proceedings of the Computer Science, 2006

2005

The Hadamard Product of Sequential-Parallel Series.

Ingmar Meinecke

J. Autom. Lang. Comb., 2005

Gewichtete verzweigende Automaten.

Ingmar Meinecke

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Branching automata with costs - a way of reflecting parallelism in costs star.

Dietrich Kuske, Ingmar Meinecke

Theor. Comput. Sci., 2004

2003

Branching Automata with Costs - A Way of Reflecting Parallelism in Costs.

Dietrich Kuske, Ingmar Meinecke

Proceedings of the Implementation and Application of Automata, 2003