The following pages link to Ingmar Meinecke (Q703494):
Displaying 19 items.
- Branching automata with costs -- a way of reflecting parallelism in costs (Q703495) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Parameterized model checking of weighted networks (Q2447757) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q2786133) (← links)
- Regular Expressions on Average and in the Long Run (Q3073640) (← links)
- Construction of tree automata from regular expressions (Q3095043) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS (Q3224951) (← links)
- (Q3431482) (← links)
- Weighted Logics for Traces (Q3434698) (← links)
- Construction of Tree Automata from Regular Expressions (Q3533035) (← links)
- Branching Automata with Costs — A Way of Reflecting Parallelism in Costs (Q3559789) (← links)
- Describing Average- and Longtime-Behavior by Weighted MSO Logics (Q3586111) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- Traces, Series-Parallel Posets, and Pictures: A Weighted Study (Q5072552) (← links)
- A Cascade Decomposition of Weighted Finite Transition Systems (Q5199994) (← links)
- Weighted Distributed Systems and Their Logics (Q5434498) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)
