Ingmar Meinecke

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Transition Systems

Automated Verification

Top Venues

Theor. Comput. Sci.

Publications

Ingmar Meinecke, Karin Quaas
Parameterized model checking of weighted networks. Theor. Comput. Sci. 534 (2014)
Manfred Droste, Ingmar Meinecke
Weighted automata and weighted MSO logics for average and long-time behaviors. Inf. Comput. 220 (2012)
Manfred Droste, Ingmar Meinecke
Weighted Automata and Regular Expressions over Valuation Monoids. Int. J. Found. Comput. Sci. 22 (8) (2011)
Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
A Cascade Decomposition of Weighted Finite Transition Systems. Developments in Language Theory (2011)
Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
A Cascade Decomposition of Weighted Finite Transition Systems. NCMA (2011)
Ingmar Meinecke
Valuations of Weighted Automata: Doing It in a Rational Way. Algebraic Foundations in Computer Science (2011)
Dietrich Kuske, Ingmar Meinecke
Construction of tree automata from regular expressions. RAIRO Theor. Informatics Appl. 45 (3) (2011)
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)
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
Propositional Dynamic Logic for Message-Passing Systems Log. Methods Comput. Sci. 6 (3) (2010)
Manfred Droste, Ingmar Meinecke
Describing Average- and Longtime-Behavior by Weighted MSO Logics. MFCS (2010)
Manfred Droste, Ingmar Meinecke
Regular Expressions on Average and in the Long Run. CIAA (2010)
Ingmar Meinecke
A Weighted µ-Calculus on Words. Developments in Language Theory (2009)
Dietrich Kuske, Ingmar Meinecke
Construction of Tree Automata from Regular Expressions. Developments in Language Theory (2008)
Benedikt Bollig, Ingmar Meinecke
Weighted Distributed Systems and Their Logics. LFCS (2007)
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
Propositional Dynamic Logic for Message-Passing Systems. FSTTCS (2007)
Ingmar Meinecke
Weighted Logics for Traces. CSR (2006)
Ingmar Meinecke
The Hadamard Product of Sequential-Parallel Series. J. Autom. Lang. Comb. 10 (2/3) (2005)
Ingmar Meinecke
Gewichtete verzweigende Automaten. GI Jahrestagung (1) (2005)
Dietrich Kuske, Ingmar Meinecke
Branching automata with costs - a way of reflecting parallelism in costs star. Theor. Comput. Sci. 328 (1-2) (2004)
Dietrich Kuske, Ingmar Meinecke
Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. CIAA (2003)