( en | de | ru )

 

Disambiguation of "Meinecke, Ingmar"

Author of the publication

copydeleteadd this publication to your clipboard
Branching Automata with Costs - A Way of Reflecting Parallelism in Costs.

, and . CIAA, volume 2759 of Lecture Notes in Computer Science, page 150-162. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ingmar Meinecke

Ingmar Meinecke

Peter Meinecke

Richard Meinecke

Viktoria Meinecke

 

Other publications of authors with the same name

Weighted automata and weighted MSO logics for average and long-time behaviors., and . Inf. Comput., (2012)A Cascade Decomposition of Weighted Finite Transition Systems., , , and . Developments in Language Theory, volume 6795 of Lecture Notes in Computer Science, page 472-473. Springer, (2011)Von konkreten Bereichen zu konkreten Datenstrukturen. Technische Universität Dresden, Institut für Algebra, Diplomarbeit, (2000)Weighted branching automata combining concurrence and weights. TU Dresden, (2004)Regular Expressions on Average and in the Long Run., and . CIAA, volume 6482 of Lecture Notes in Computer Science, page 211-221. Springer, (2010)A Weighted µ-Calculus on Words.. Developments in Language Theory, volume 5583 of Lecture Notes in Computer Science, page 384-395. Springer, (2009)Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics., , , and . Algebraic Foundations in Computer Science, volume 7020 of Lecture Notes in Computer Science, page 30-55. Springer, (2011)On minimal event and concrete data structures, , and . Domain Theory, Logic and Computations, (2003)Valuations of Weighted Automata: Doing It in a Rational Way.. Algebraic Foundations in Computer Science, volume 7020 of Lecture Notes in Computer Science, page 309-346. Springer, (2011)Describing Average- and Longtime-Behavior by Weighted MSO Logics., and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 537-548. Springer, (2010)