Christoph Minnameier

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Ulrich Hertrampf, Christoph Minnameier
Resource Bounded Frequency Computations with Three Errors. Algorithmica 56 (3) (2010)
Mila E. Majster-Cederbaum, Christoph Minnameier
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. RP (2009)
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier
Liveness in Interaction Systems. Electron. Notes Theor. Comput. Sci. 215 (2008)
Ulrich Hertrampf, Christoph Minnameier
Resource Bounded Frequency Computations with Three Errors. COCOON (2008)
Mila E. Majster-Cederbaum, Christoph Minnameier
Everything Is PSPACE-Complete in Interaction Systems. ICTAC (2008)
Mila E. Majster-Cederbaum, Christoph Minnameier
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. SOFSEM (2008)
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. SOFSEM (1) (2007)
Christoph Minnameier
Local and global deadlock-detection in component-based systems are NP-hard. Inf. Process. Lett. 103 (3) (2007)
Mila E. Majster-Cederbaum, Christoph Minnameier
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. ICTAC (2006)