Christoph Minnameier

From MaRDI portal
Revision as of 17:48, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:848950

Available identifiers

zbMath Open minnameier.christophMaRDI QIDQ848950

List of research outcomes





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

Research outcomes over time

This page was built for person: Christoph Minnameier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:848950&oldid=7297208"
Powered by MediaWiki