Christoph Minnameier

	2009
8		Mila E. Majster-Cederbaum, Christoph Minnameier: Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. RP 2009: 189-202
	2008
7		Ulrich Hertrampf, Christoph Minnameier: Resource Bounded Frequency Computations with Three Errors. COCOON 2008: 72-81
6		Mila E. Majster-Cederbaum, Christoph Minnameier: Everything Is PSPACE-Complete in Interaction Systems. ICTAC 2008: 216-227
5		Mila E. Majster-Cederbaum, Christoph Minnameier: Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. SOFSEM 2008: 352-363
4		Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier: Liveness in Interaction Systems. Electr. Notes Theor. Comput. Sci. 215: 57-74 (2008)
	2007
3		Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier: A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. SOFSEM (1) 2007: 888-899
2		Christoph Minnameier: Local and global deadlock-detection in component-based systems are NP-hard. Inf. Process. Lett. 103(3): 105-111 (2007)
	2006
1		Mila E. Majster-Cederbaum, Christoph Minnameier: Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. ICTAC 2006: 65-79

Coauthor Index

1	Ulrich Hertrampf	[7]
2	Mila E. Majster-Cederbaum	[1] [3] [4] [5] [6] [8]
3	Moritz Martens	[3] [4]

Colors in the list of coauthors