| |
| 2008 | ||
|---|---|---|
| 7 | EE | Ulrich Hertrampf, Christoph Minnameier: Resource Bounded Frequency Computations with Three Errors. COCOON 2008: 72-81 |
| 6 | EE | Mila E. Majster-Cederbaum, Christoph Minnameier: Everything Is PSPACE-Complete in Interaction Systems. ICTAC 2008: 216-227 |
| 5 | EE | Mila E. Majster-Cederbaum, Christoph Minnameier: Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. SOFSEM 2008: 352-363 |
| 4 | EE | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier: Liveness in Interaction Systems. Electr. Notes Theor. Comput. Sci. 215: 57-74 (2008) |
| 2007 | ||
| 3 | EE | 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 | EE | Christoph Minnameier: Local and global deadlock-detection in component-based systems are NP-hard. Inf. Process. Lett. 103(3): 105-111 (2007) |
| 2006 | ||
| 1 | EE | Mila E. Majster-Cederbaum, Christoph Minnameier: Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. ICTAC 2006: 65-79 |
| 1 | Ulrich Hertrampf | [7] |
| 2 | Mila E. Majster-Cederbaum | [1] [3] [4] [5] [6] |
| 3 | Moritz Martens | [3] [4] |