Ingmar Meinecke

Available identifiers

zbMath Open meinecke.ingmarMaRDI QIDQ703494

List of research outcomes

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
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics	2011-11-11	Paper
Valuations of Weighted Automata: Doing It in a Rational Way	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ingmar Meinecke