Ingmar Meinecke

Available identifiers

Publication	Date of Publication	Type
Traces, Series-Parallel Posets, and Pictures: A Weighted Study	2022-04-28	Paper
Parameterized model checking of weighted networks	2014-04-29	Paper
Weighted automata and weighted MSO logics for average and long-time behaviors	2013-01-17	Paper
WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS	2012-03-13	Paper
Valuations of Weighted Automata: Doing It in a Rational Way	2011-11-11	Paper
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics	2011-11-11	Paper
Construction of tree automata from regular expressions	2011-10-28	Paper
A Cascade Decomposition of Weighted Finite Transition Systems	2011-07-29	Paper
Regular Expressions on Average and in the Long Run	2011-02-11	Paper
Propositional dynamic logic for message-passing systems	2010-09-21	Paper
Describing Average- and Longtime-Behavior by Weighted MSO Logics	2010-09-03	Paper
Branching Automata with Costs — A Way of Reflecting Parallelism in Costs	2010-05-07	Paper
A Weighted μ-Calculus on Words	2009-07-07	Paper
Construction of Tree Automata from Regular Expressions	2008-10-30	Paper
Propositional Dynamic Logic for Message-Passing Systems	2008-04-24	Paper
Weighted Distributed Systems and Their Logics	2008-01-04	Paper
Weighted Logics for Traces	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q3431482	2007-04-10	Paper
Branching automata with costs -- a way of reflecting parallelism in costs	2005-01-11	Paper

This page was built for person: Ingmar Meinecke