`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:

### 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.