| Publication | Date of Publication | Type |
|---|
| Data Refinement of Invariant Based Programs | 2016-08-01 | Paper |
| Verification and code generation for invariant diagrams in Isabelle | 2014-12-03 | Paper |
| Invariant diagrams with data refinement | 2012-07-03 | Paper |
| Structured derivations: a unified proof style for teaching mathematics | 2010-11-22 | Paper |
| Computational heuristics for simplifying a biological model | 2010-07-28 | Paper |
| Invariant based programming: Basic approach and teaching experiences | 2009-05-27 | Paper |
| An algebraic treatment of procedure refinement to support mechanical verification | 2005-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472181 | 2004-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412468 | 2003-07-15 | Paper |
| Encoding, decoding and data refinement | 2003-06-26 | Paper |
| Contracts, games, and refinement. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766651 | 2002-06-17 | Paper |
| Continuous action systems as a model for hybrid systems | 2001-09-27 | Paper |
| Class refinement as semantics of correct object substitutability | 2000-11-14 | Paper |
| Structured calculational proof | 1999-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493906 | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222910 | 1998-12-21 | Paper |
| Financial statement planning in the presence of tax constraints | 1998-08-13 | Paper |
| Refinement Calculus | 1998-06-21 | Paper |
| Refinement of fair action systems | 1998-05-24 | Paper |
| Superposition refinement of reactive systems | 1996-07-23 | Paper |
| Construction of large‐size interconnection networks with high performance | 1993-08-23 | Paper |
| On equivalence-completions of fairness assumptions | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028640 | 1993-03-28 | Paper |
| Stepwise refinement of parallel algorithms | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3485859 | 1990-01-01 | Paper |
| Distributed cooperation with action systems | 1988-01-01 | Paper |
| A calculus of refinements for program derivations | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795196 | 1988-01-01 | Paper |
| On the suitability of trace semantics for modular proofs of communicating processes | 1985-01-01 | Paper |
| A semantic approach to program modularity | 1984-01-01 | Paper |
| A continuous semantics for unbounded nondeterminism | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316560 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942373 | 1982-01-01 | Paper |
| On correct refinement of programs | 1981-01-01 | Paper |
| Proving total correctness of nondeterministic programs in infinitary logic | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898009 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878739 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3860820 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888507 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3868726 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877023 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888508 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851581 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3871898 | 1979-01-01 | Paper |
