Search: Meinecke, Ingmar

9 results

Results

Authors Year Title Typesort icon Fulltext
Bollig, B.
Kuske, D.
...
2007 Propositional Dynamic Logic for Message-Passing Systems Paper
Meinecke, Ingmar
Bollig, B.
2007 Weighted Distributed Systems and Their Logics Paper
Meinecke, Ingmar 2006 Weighted Logics for Traces Paper
Meinecke, Ingmar 2004 The Hadamard Product of Sequential-Parallel Series Paper
Meinecke, Ingmar Weighted Branching Automata - Combining Concurrency and Weights Paper
Kuske, D.
Meinecke, Ingmar
2008 Construction of tree automata from regular expressions Paper
Kuske, D.
Meinecke, Ingmar
2004 Branching automata with costs - a way of reflecting parallelism in costs Paper
Kuske, D.
Fichtner, I.
...
2009 Traces, series-parallel posets, and pictures: a weighted study. Paper
Meinecke, Ingmar 2009 A weighted mu-calculus on words Paper