Ingmar Meinecke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2005–2011
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DLT | A Cascade Decomposition of Weighted Finite Transition Systems. | Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic |
| 2010 | MFCS | Describing Average- and Longtime-Behavior by Weighted MSO Logics. | Manfred Droste, Ingmar Meinecke |
| 2009 | DLT | A Weighted -Calculus on Words. | Ingmar Meinecke |
| 2008 | DLT | Construction of Tree Automata from Regular Expressions. | Dietrich Kuske, Ingmar Meinecke |
| 2007 | LFCS | Weighted Distributed Systems and Their Logics. | Benedikt Bollig, Ingmar Meinecke |
| 2006 | CSR | Weighted Logics for Traces. | Ingmar Meinecke |
| 2005 | GI | Gewichtete verzweigende Automaten. | Ingmar Meinecke |