Christoph Minnameier

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Local and global deadlock-detection in component-based systems are NP-hard Information Processing Letters	2010-03-24	Paper
Resource bounded frequency computations with three errors Algorithmica	2010-02-23	Paper
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems Lecture Notes in Computer Science	2009-11-19	Paper
Everything Is PSPACE-Complete in Interaction Systems Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa Lecture Notes in Computer Science	2008-09-11	Paper
Resource Bounded Frequency Computations with Three Errors Lecture Notes in Computer Science	2008-07-10	Paper
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems Lecture Notes in Computer Science	2008-03-07	Paper
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets SOFSEM 2008: Theory and Practice of Computer Science	2008-03-07	Paper

Research outcomes over time

This page was built for person: Christoph Minnameier