Christoph Minnameier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2006–2008
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | COCOON | Resource Bounded Frequency Computations with Three Errors. | Ulrich Hertrampf, Christoph Minnameier |
| 2008 | ICTAC | Everything Is PSPACE-Complete in Interaction Systems. | Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2008 | SOFSEM | Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. | Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2007 | SOFSEM | A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier |
| 2006 | ICTAC | Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. | Mila E. Majster-Cederbaum, Christoph Minnameier |