Ralph-Johan Back

Available identifiers

zbMath Open back.ralph-johanWikidataQ7287124 ScholiaQ7287124MaRDI QIDQ204599

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2743704	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
A calculus of refinements for program derivations	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795196	1988-01-01	Paper
Distributed cooperation with action systems	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
Proving total correctness of nondeterministic programs in infinitary logic	1981-01-01	Paper
On correct refinement of programs	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3860820	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/Q3878739	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888507	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888508	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3898009	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851581	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3871898	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ralph-Johan Back