Christoph Minnameier

According to our database, Christoph Minnameier authored at least 9 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Interaction in concurrent systems.

Christoph Friedrich Minnameier

PhD thesis, 2010

Resource Bounded Frequency Computations with Three Errors.

Ulrich Hertrampf, Christoph Minnameier

Algorithmica, 2010

2009

Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems.

Mila E. Majster-Cederbaum, Christoph Minnameier

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008

Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.

Mila E. Majster-Cederbaum, Christoph Minnameier

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

Everything Is PSPACE-Complete in Interaction Systems.

Mila E. Majster-Cederbaum, Christoph Minnameier

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Local and global deadlock-detection in component-based systems are NP-hard.

Christoph Minnameier

Inf. Process. Lett., 2007

Liveness in Interaction Systems.

Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.

Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2006

Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.

Mila E. Majster-Cederbaum, Christoph Minnameier

Proceedings of the Theoretical Aspects of Computing, 2006