Get started
Author

Ralph‐Johan Back

Observed names: Back, Ralph-Johan, R. J. R. Back, R.-J. Back, Ralph-Johan Back, Ralph-Johan J. Back
OpenAlex ID: A5113974050
Refinement Calculus: A Systematic Introduction
1998 · Ralph-Johan J. Back, F.B. Schneider, et al. · 638
Refinement Calculus
1998 · Ralph-Johan Back, Joakim Wright · Springer eBooks · 437
Correctness preserving program refinements: Proof theory and applications
1980 · Ralph‐Johan Back · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 188
PDF
Stepwise refinement of action systems
1989 · R. J. R. Back, K. Sere · Lecture notes in computer science · 177
Why complicate things?: introducing programming in high school using Python
2006 · Linda Grandell, Mia Peltomäki, et al. · 96
From action systems to modular systems
1994 · R. J. R. Back, K. Sere · Lecture notes in computer science · 71
A simple mass-action model for the eukaryotic heat shock response and its mathematical validation
2010 · Ion Petre, Andrzej Mizera, et al. · Natural Computing · 57
Introduction
1998 · Ralph-Johan Back, Joakim Wright · Springer eBooks · 45
Invariant based programming: basic approach and teaching experiences
2008 · Ralph-Johan Back · Formal Aspects of Computing · 44
PDF
Action Systems with Synchronous Communication
1994 · Ralph‐Johan Back, Kaisa Sere · 29
Analysing UML Use Cases as Contracts
1999 · Ralph-Johan Back, Luigia Petre, et al. · Lecture notes in computer science · 27
Class Refinement as Semantics of Correct Object Substitutability
2000 · Ralph-Johan Back, Anna Mikhajlova, et al. · Formal Aspects of Computing · 26
PDF
Transactions on Computational Systems Biology XI
2009 · Priami, Corrado, Petre, Ion, et al. · Lecture notes in computer science · 25
Testing and Verifying Invariant Based Programs in the SOCOS Environment
2007 · Ralph-Johan Back, Johannes Eriksson, et al. · Lecture notes in computer science · 25
Semantics of unbounded nondeterminism
1980 · Ralph-Johan Back · Lecture notes in computer science · 25
PDF
Software Construction by Stepwise Feature Introduction
2002 · Ralph-Johan Back · Lecture notes in computer science · 24
Continuous action systems as a model for hybrid systems
2001 · Ralph‐Johan Back, Luigia Petre, et al. · Nordic journal of computing · 24
Encoding, Decoding and Data Refinement
2000 · Ralph-Johan Back, Joakim von Wright · Formal Aspects of Computing · 23
PDF
Fusion and simultaneous execution in the refinement calculus
1998 · Ralph-Johan Back, Michael Butler · Acta Informatica · 22
Exploring summation and product operators in the refinement calculus
1995 · Ralph-Johan Back, Michael Butler · Lecture notes in computer science · 22
Invariant Based Programming
2006 · Ralph-Johan Back · Lecture notes in computer science · 18
Refinement Concepts Formalized in Higher Order Logic.
1990 · Ralph‐Johan Back · 18
Structured derivations: a unified proof style for teaching mathematics
2009 · Ralph-Johan Back · Formal Aspects of Computing · 17
PDF
A New Mathematical Model for the Heat Shock Response
2009 · Ion Petre, Andrzej Mizera, et al. · Natural computing series · 14
Semantics and proof rules of invariant based programs
2011 · Ralph-Johan Back, Viorel Preoteasa · ACM Symposium on Applied Computing · 13
Works count: 93
Citation count: 2,257
H-index: 20
I10-index: 28
Year
Topic
Type