Concepedia

Ingmar Meinecke

IM

4

Publications

120

Citations

4

H-Index

2010

Active since

Affiliations

Leipzig University(Current)

Ingmar Meinecke is an author at Leipzig University specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational LinguisticsSyntaxGrammarLanguageLinguistics

Publications per year

2010–2012

4

Publications

4

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

Manfred Droste, Ingmar Meinecke · Information and Computation · 2012 · 55 citations

Long-time Behaviors, Engineering, Logical Automaton +11

WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS

Manfred Droste, Ingmar Meinecke · International Journal of Foundations of Computer Science · 2011 · 35 citations

Logical Automaton, Engineering, Automated Reasoning +10

Construction of tree automata from regular expressions

Dietrich Kuske, Ingmar Meinecke · RAIRO - Theoretical Informatics and Applications · 2011 · 18 citations · Full text

Tree Automata, Tree Language, Combinatorics On Word +15

Propositional Dynamic Logic for Message-Passing Systems

Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke · Logical Methods in Computer Science · 2010 · 12 citations · Full text

Applied Logic, Computational Logic, Model Checking Problem +13

Rows per page

1–4 of 4