Ingmar Meinecke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Traces, series-parallel posets, and pictures: a weighted study Monographs in Theoretical Computer Science	2022-04-28	Paper
Parameterized model checking of weighted networks Theoretical Computer Science	2014-04-29	Paper
Weighted automata and weighted MSO logics for average and long-time behaviors Information and Computation	2013-01-17	Paper
Weighted automata and regular expressions over valuation monoids International Journal of Foundations of Computer Science	2012-03-13	Paper
Valuations of weighted automata: doing it in a rational way Algebraic Foundations in Computer Science	2011-11-11	Paper
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics Algebraic Foundations in Computer Science	2011-11-11	Paper
Construction of tree automata from regular expressions RAIRO - Theoretical Informatics and Applications	2011-10-28	Paper
Construction of tree automata from regular expressions RAIRO - Theoretical Informatics and Applications	2011-10-28	Paper
A cascade decomposition of weighted finite transition systems Developments in Language Theory	2011-07-29	Paper
Regular Expressions on Average and in the Long Run Implementation and Application of Automata	2011-02-11	Paper
Propositional dynamic logic for message-passing systems Logical Methods in Computer Science	2010-09-21	Paper
Describing average- and longtime-behavior by weighted MSO logics Mathematical Foundations of Computer Science 2010	2010-09-03	Paper
Branching automata with costs -- a way of reflecting parallelism in costs Implementation and Application of Automata	2010-05-07	Paper
A Weighted μ-Calculus on Words Developments in Language Theory	2009-07-07	Paper
Construction of Tree Automata from Regular Expressions Developments in Language Theory	2008-10-30	Paper
Propositional Dynamic Logic for Message-Passing Systems FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper
Weighted Distributed Systems and Their Logics Logical Foundations of Computer Science	2008-01-04	Paper
Weighted Logics for Traces Computer Science – Theory and Applications	2007-05-02	Paper
scientific article; zbMATH DE number 5141501 (Why is no real title available?)	2007-04-10	Paper
Branching automata with costs -- a way of reflecting parallelism in costs Theoretical Computer Science	2005-01-11	Paper

Research outcomes over time

This page was built for person: Ingmar Meinecke