| Publication | Date of Publication | Type |
|---|
Data refinement of invariant based programs
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
Verification and code generation for invariant diagrams in Isabelle
Journal of Logical and Algebraic Methods in Programming | 2014-12-03 | Paper |
Invariant diagrams with data refinement
Formal Aspects of Computing | 2012-07-03 | Paper |
Structured derivations: a unified proof style for teaching mathematics
Formal Aspects of Computing | 2010-11-22 | Paper |
Computational heuristics for simplifying a biological model
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Invariant based programming: Basic approach and teaching experiences
Formal Aspects of Computing | 2009-05-27 | Paper |
An algebraic treatment of procedure refinement to support mechanical verification
Formal Aspects of Computing | 2005-12-13 | Paper |
scientific article; zbMATH DE number 2080000 (Why is no real title available?)
| 2004-08-03 | Paper |
scientific article; zbMATH DE number 1949579 (Why is no real title available?)
| 2003-07-15 | Paper |
Encoding, decoding and data refinement
Formal Aspects of Computing | 2003-06-26 | Paper |
Contracts, games, and refinement.
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1696508 (Why is no real title available?)
| 2002-06-17 | Paper |
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing | 2001-09-27 | Paper |
Class refinement as semantics of correct object substitutability
Formal Aspects of Computing | 2000-11-14 | Paper |
Structured calculational proof
Formal Aspects of Computing | 1999-01-11 | Paper |
scientific article; zbMATH DE number 1487497 (Why is no real title available?)
| 1999-01-01 | Paper |
scientific article; zbMATH DE number 1231590 (Why is no real title available?)
| 1998-12-21 | Paper |
Financial statement planning in the presence of tax constraints
European Journal of Operational Research | 1998-08-13 | Paper |
Refinement Calculus
| 1998-06-21 | Paper |
Refinement of fair action systems
Acta Informatica | 1998-05-24 | Paper |
Superposition refinement of reactive systems
Formal Aspects of Computing | 1996-07-23 | Paper |
Construction of large‐size interconnection networks with high performance
Networks | 1993-08-23 | Paper |
On equivalence-completions of fairness assumptions
Formal Aspects of Computing | 1993-04-01 | Paper |
scientific article; zbMATH DE number 140256 (Why is no real title available?)
| 1993-03-28 | Paper |
Stepwise refinement of parallel algorithms
Science of Computer Programming | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4157870 (Why is no real title available?)
| 1990-01-01 | Paper |
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems | 1988-01-01 | Paper |
A calculus of refinements for program derivations
Acta Informatica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4060693 (Why is no real title available?)
| 1988-01-01 | Paper |
On the suitability of trace semantics for modular proofs of communicating processes
Theoretical Computer Science | 1985-01-01 | Paper |
A semantic approach to program modularity
Information and Control | 1984-01-01 | Paper |
A continuous semantics for unbounded nondeterminism
Theoretical Computer Science | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3846840 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3759519 (Why is no real title available?)
| 1982-01-01 | Paper |
On correct refinement of programs
Journal of Computer and System Sciences | 1981-01-01 | Paper |
Proving total correctness of nondeterministic programs in infinitary logic
Acta Informatica | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3705887 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3683035 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3662551 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3694563 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3671649 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3681116 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3694564 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3651713 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3675288 (Why is no real title available?)
| 1979-01-01 | Paper |
