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

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

Resource Bounded Frequency Computations with Three Errors.

Ulrich Hertrampf, Christoph Minnameier

Proceedings of the Computing and Combinatorics, 14th Annual International Conference, 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