Search the dblp DataBase

Publications of Author

1. Ingmar Meinecke
   Weighted Logics for Traces. [Citation Graph (0, 0)][DBLP]
   CSR, 2006, pp:235-246 [Conf]
   
2. Ingmar Meinecke
   Gewichtete verzweigende Automaten. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (1), 2005, pp:391-394 [Conf]
   
3. Dietrich Kuske, Ingmar Meinecke
   Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. [Citation Graph (0, 0)][DBLP]
   CIAA, 2003, pp:150-162 [Conf]
   
4. Dietrich Kuske, Ingmar Meinecke
   Branching automata with costs - a way of reflecting parallelism in costs star. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:328, n:1-2, pp:53-75 [Journal]
   
5. Benedikt Bollig, Ingmar Meinecke
   Weighted Distributed Systems and Their Logics. [Citation Graph (0, 0)][DBLP]
   LFCS, 2007, pp:54-68 [Conf]
   
6. 
   Construction of Tree Automata from Regular Expressions. [Citation Graph (, )][DBLP]
   
   
7. 
   A Weighted µ-Calculus on Words. [Citation Graph (, )][DBLP]
   
   
8. 
   Propositional Dynamic Logic for Message-Passing Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Describing Average- and Longtime-Behavior by Weighted MSO Logics. [Citation Graph (, )][DBLP]
   
   
10. 
    Propositional Dynamic Logic for Message-Passing Systems [Citation Graph (, )][DBLP]