| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4963909 | 2021-02-24 | Paper |
| Transition systems from event structures revisited | 2016-06-09 | Paper |
| Deadlock-freedom in component systems with architectural constraints | 2014-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844828 | 2013-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844829 | 2013-08-19 | Paper |
| Analyzing Component-Based Systems on the Basis of Architectural Constraints | 2012-06-29 | Paper |
| On hierarchically developing reactive systems | 2010-10-07 | Paper |
| Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems | 2009-11-19 | Paper |
| Robustness in Interaction Systems | 2009-03-10 | Paper |
| Everything Is PSPACE-Complete in Interaction Systems | 2009-01-27 | Paper |
| Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa | 2008-09-11 | Paper |
| Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets | 2008-03-07 | Paper |
| An Approach to Modelling and Verification of Component Based Systems | 2008-03-07 | Paper |
| A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems | 2008-03-07 | Paper |
| Ensuring Properties of Interaction Systems | 2007-09-24 | Paper |
| Action refinement applied to late decisions | 2006-10-25 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472886 | 2006-06-19 | Paper |
| Refinement of actions for real-time concurrent systems with causal ambiguity | 2006-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813199 | 2004-08-13 | Paper |
| Towards the hierarchical verification of reactive systems | 2004-08-10 | Paper |
| Towards action refinement for true concurrent real time | 2004-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414393 | 2003-07-25 | Paper |
| Bundle event structures: a revised cpo approach. | 2003-01-21 | Paper |
| Underspecification for a simple process algebra of recursive processes. | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753759 | 2002-01-14 | Paper |
| Towards a unified view of bisimulation: A comparative study | 2000-08-21 | Paper |
| Deciding bisimilarity and similarity for probabilistic processes. | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375632 | 1998-03-02 | Paper |
| The connection between initial and unique solutions of domain equations in the partial order and metric approach | 1998-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4341025 | 1997-09-15 | Paper |
| Metric semantics from partial order semantics | 1997-09-09 | Paper |
| Denotational linear time semantics and sequential composition | 1997-02-27 | Paper |
| Metric completion versus ideal completion | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896928 | 1997-02-03 | Paper |
| Denotational semantics in the cpo and metric approach | 1995-04-06 | Paper |
| The connection between an event structure semantics and an operational semantics for TCSP | 1994-05-10 | Paper |
| The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) | 1994-04-05 | Paper |
| Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in \(O(N^ 2)\) time | 1993-01-17 | Paper |
| Towards a foundation for semantics in complete metric spaces | 1992-06-25 | Paper |
| The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces | 1989-01-01 | Paper |
| On the uniqueness of fixed points of endofunctors in a category of complete metric spaces | 1988-01-01 | Paper |
| Elimination of redundant operations in relational queries with general selection operators | 1985-01-01 | Paper |
| A simple relation between relational and predicate transformer semantics for nondeterministic programs | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3938526 | 1980-01-01 | Paper |
