Christoph Minnameier

Available identifiers

zbMath Open minnameier.christophMaRDI QIDQ848950

List of research outcomes

Publication	Date of Publication	Type
Local and global deadlock-detection in component-based systems are NP-hard	2010-03-24	Paper
Resource bounded frequency computations with three errors	2010-02-23	Paper
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems	2009-11-19	Paper
Everything Is PSPACE-Complete in Interaction Systems	2009-01-27	Paper
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa	2008-09-11	Paper
Resource Bounded Frequency Computations with Three Errors	2008-07-10	Paper
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems	2008-03-07	Paper
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets	2008-03-07	Paper

Research outcomes over time

This page was built for person: Christoph Minnameier