# Christoph Minnameier

Affiliations:- University of Mannheim, Germany

According to our database

Collaborative distances:

^{1}, Christoph Minnameier authored at least 9 papers between 2006 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2010

PhD thesis, 2010

Algorithmica, 2010

2009

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

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

2008

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

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Inf. Process. Lett., 2007

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.

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.

Proceedings of the Theoretical Aspects of Computing, 2006