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: Meinecke:Ingmar
Contributed to:
2011
20102011200920082003Wrote 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.