BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Italy
1 × Japan
1 × USA
Collaborated with:
M.Droste D.Kuske B.Seselja A.Tepavcevic
Talks about:
automata (3) regular (3) express (3) weight (3) cost (2) decomposit (1) construct (1) parallel (1) calculus (1) transit (1)

Person: Ingmar Meinecke

DBLP DBLP: Meinecke:Ingmar

Contributed to:

DLT 20112011
CIAA 20102010
CIAA 20102011
DLT 20092009
DLT 20082008
CIAA 20032003

Wrote 6 papers:

DLT-2011-DrosteMST #composition #finite
A Cascade Decomposition of Weighted Finite Transition Systems (MD, IM, BS, AT), pp. 472–473.
CIAA-2010-DrosteM #regular expression
Regular Expressions on Average and in the Long Run (MD, IM), pp. 211–221.
CIAA-J-2010-DrosteM11 #automaton #monad #regular expression
Weighted Automata and Regular Expressions over Valuation Monoids (MD, IM), pp. 1829–1844.
DLT-2009-Meinecke #calculus #word #μ-calculus
A Weighted μ-Calculus on Words (IM), pp. 384–395.
DLT-2008-KuskeM #automaton #regular expression
Construction of Tree Automata from Regular Expressions (DK, IM), pp. 491–503.
CIAA-2003-KuskeM #automaton #branch #parallel
Branching Automata with Costs — A Way of Reflecting Parallelism in Costs (DK, IM), pp. 150–162.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.