Ralph-Johan Back
#68,122
Most Influential Person Now
Computer scientist
Ralph-Johan Back's AcademicInfluence.com Rankings
Ralph-Johan Backcomputer-science Degrees
Computer Science
#2620
World Rank
#2740
Historical Rank
Software Engineering
#201
World Rank
#203
Historical Rank
Database
#7298
World Rank
#7556
Historical Rank
Download Badge
Computer Science
Why Is Ralph-Johan Back Influential?
(Suggest an Edit or Addition)According to Wikipedia, Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, On the Correctness of Refinement Steps in Program Development. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere.
Ralph-Johan Back's Published Works
Published Works
- Refinement Calculus: A Systematic Introduction (1998) (916)
- Decentralization of process nets with centralized control (1983) (475)
- Distributed cooperation with action systems (1988) (309)
- Refinement Calculus, Part II: Parallel and Reactive Programs (1989) (299)
- Correctness preserving program refinements: Proof theory and applications (1980) (260)
- Stepwise Refinement of Action Systems (1989) (204)
- Refinement Calculus (1998) (199)
- Refinement Calculus, Part I: Sequential Nondeterministic Programs (1989) (182)
- Trace Refinement of Action Systems (1994) (177)
- On Correct Refinement of Programs (1981) (151)
- A calculus of refinements for program derivations (1988) (145)
- Why complicate things?: introducing programming in high school using Python (2006) (111)
- Stepwise Refinement of Parallel Algorithms (1990) (101)
- From Action Systems to Modular Systems (1994) (91)
- Superposition refinement of reactive systems (1996) (86)
- A Method for Refining Atomicity in Parallel Algorithms (1989) (81)
- A simple mass-action model for the eukaryotic heat shock response and its mathematical validation (2011) (62)
- Reasoning algebraically about loops (1997) (59)
- Invariant based programming: basic approach and teaching experiences (2009) (46)
- Changing data representation in the refinement calculus (1989) (44)
- Serializability in Distributed Systems with Handshaking (1988) (41)
- Exploring Summation and Product Operators in the Refinement Calculus (1995) (41)
- Analysing UML Use Cases as Contracts (1999) (40)
- Refinement of Parallel and Reactive Programs (1992) (39)
- Class Refinement as Semantics of Correct Object Substitutability (2000) (38)
- Generalizing Action Systems to Hybrid Systems (1999) (37)
- Software Construction by Stepwise Feature Introduction (2002) (36)
- Action Systems with Synchronous Communication (1994) (36)
- Compositional Action System Refinement (2003) (33)
- A Lattice-theoretical Basis for a Specification Language (1989) (32)
- Duality in specification languages: a lattice-theoretical approach (1990) (31)
- Formalising UML Use Cases in the Refinement Calculus (1999) (31)
- Fusion and simultaneous execution in the refinement calculus (1998) (31)
- Encoding, Decoding and Data Refinement (1999) (30)
- Reasoning About Interactive Systems (1999) (29)
- Continuous Action Systems as a Model for Hybrid Systems (2001) (28)
- Testing and Verifying Invariant Based Programs in the SOCOS Environment (2007) (27)
- Combining Angles, Demons and Miracles in Program Specifications (1992) (27)
- A Continuous Semantics for Unbounded Nondeterminism (1983) (27)
- Refinement of fair action systems (1998) (25)
- Superposition Refinement of Parallel Algorithms (1991) (25)
- Semantics of Unbounded Nondeterminism (1980) (22)
- Refinement concepts formalised in higher order logic (1990) (22)
- Structured calculational proof (1996) (22)
- Refinement Concepts Formalized in Higher Order Logic (1989) (21)
- Contracts, games and refinement (1999) (21)
- Structured derivations: a unified proof style for teaching mathematics (2010) (20)
- Games and Winning Strategies (1995) (19)
- Compositional Symmetric Sharing in B (1999) (18)
- Contracts, Games, and Refinement (2000) (18)
- A New Mathematical Model for the Heat Shock Response (2009) (17)
- Incremental Software Construction with Refinement Diagrams (2006) (17)
- Specifying the Caltech Asynchronous Microprocessor (1996) (17)
- Invariant Based Programming (2006) (17)
- Evaluating the XP customer model and design by contract (2004) (16)
- Refinement Calculus, Lattices and Higher Order Logic (1992) (16)
- XP as a Framework for Practical Software Engineering Experiments (2002) (15)
- Exception Handling with Multi-Exit Statements (1980) (14)
- Verifying invariant based programs in the SOCOS environment (2006) (13)
- Teaching the Construction of Correct Programs Using Invariant Based Programming (2007) (13)
- Semantics and proof rules of invariant based programs (2011) (13)
- Statement Inversion and Strongest Postcondition (1993) (13)
- Reasoning about pointers in refinement calculus (2003) (12)
- Action-Based Concurrency and Synchronization for Objects (1997) (12)
- Tool support for invariant based programming (2005) (11)
- Structured Derivations: A Method for Doing High-School Mathematics Carefully (1999) (11)
- STUDENT JUSTIFICATIONS IN HIGH SCHOOL MATHEMATICS (2010) (11)
- Invariant Based Programming Revisited (2005) (11)
- A refinement of Kahn's semantics to handle non-determinism and communication (Extended Abstract) (1982) (11)
- Symbolic simulation of hybrid systems (2002) (11)
- Proving total correctness of nondeterministic programs in infinitary logic (1981) (11)
- Predicate Transformers and Higher Order Logic (1992) (11)
- Software Development and Experimentation in an Academic Environment: The Gaudi Experience (2005) (11)
- Hathi-2 multiprocessor system (1990) (10)
- Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin (2012) (10)
- An algebraic treatment of procedure refinement to support mechanical verification (2005) (10)
- Class Refinement as Semantics of Correct Subclassing (1997) (10)
- Structured Derivations: a Logic Based Approach to Teaching Mathematics (2008) (9)
- Modeling Component Environments and Interactive Programs Using Iterative Choice (1998) (9)
- A programming environment for a transputer-based multiprocessor system (1990) (8)
- Reenement Concepts Formalized in Higher Order Logic (1989) (8)
- Financial statement planning in the presence of tax constraints (1995) (7)
- Reasoning about recursive procedures with parameters (2003) (7)
- Construction of large-size interconnection networks with high performance (1992) (7)
- A Workbench to Experiment on New Model Engineering Applications (2003) (7)
- An Experiment on Extreme Programming and Stepwise Feature Introduction (2002) (7)
- Superposition and fairness in reactive system refinement (1990) (6)
- Contracts and games in controller synthesis for discrete systems (2004) (6)
- Contracts as Mathematical Entities in Programming Logic (2000) (6)
- ‘It takes me longer, but I understand better’ – student feedback on structured derivations (2010) (6)
- On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes (1985) (6)
- Data Refinement of Invariant Based Programs (2009) (6)
- On equivalence-completions of fairness assumptions (1992) (6)
- Modeling and Verifying a Temperature Control System using Continuous Action Systems (2000) (6)
- Verification and Refinement of Action Contracts (2000) (6)
- Products in the Refinement Calculus (1999) (5)
- Enforcing behavior with contracts (2003) (5)
- An Action System Specification of the Caltech Asynchronous Microprocessor (1995) (5)
- Using Stepwise Feature Introduction in Practice: An Experience Report (2005) (5)
- Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement (2010) (5)
- Efficient Implementation of Multi-process Handshaking on Broadcasting Networks (1989) (5)
- Semantics and Data Refinement of Invariant Based Programs (2010) (5)
- A Semantic Approach to Program Modularity (1984) (4)
- Computational Heuristics for Simplifying a Biological Model (2009) (4)
- Invariant diagrams with data refinement (2011) (4)
- Formal Semantics of Inheritance and Object Substitutability (2000) (4)
- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming (2010) (4)
- A new paradigm for the design of concurrent systems (1987) (3)
- On the notion of correct refinement of programs : (prepint) (1980) (3)
- Millipede - A Programming Environment providing Graphical Support for Parallel Programming (2004) (3)
- Locality in Modular Systems (1982) (3)
- Control Strategies for the Regulation of the Eukaryotic Heat Shock Response (2009) (3)
- Derivation of efficient DAG marking algorithms (1983) (3)
- Software Development and Experimentation in an Academic Environment: The Gaudí Factory (2007) (2)
- A Petri-net Formalization of the Heat Shock Response Model (2008) (2)
- Superposition Re nement of Reactive Systems (1993) (2)
- Doing High School Mathematics Carefully (1997) (2)
- Interpreting nondeterminism in the refinement calculus (1996) (2)
- Checking whether programs are correct or incorrect (1980) (2)
- Verification and code generation for invariant diagrams in Isabelle (2015) (2)
- Programs on Product Spaces (2004) (2)
- Adding Type-Bound Actions to Action-Oberon (1996) (1)
- Correctness of explicitly specified procedures : (preprint) (1980) (1)
- A Precise Pictorial Language for Array Invariants (2018) (1)
- Reenement of Fair Action Systems (2007) (1)
- SFI: A Refinement Based Layered Software Architecture (2002) (1)
- BCS-FACS 7 th Refinement Workshop Proceedings of the BCS-FACS 7 th Refinement Workshop , Bath , 3-5 July 1996 Interpreting Nondeterminism in the Refinement Calculus ( Invited Lecture ) (1996) (1)
- Proceedings First Workshop on CTP Components for Educational Software (2012) (1)
- Semantics of unbounded nondeterminism : (preprint) (1980) (1)
- Speci cation of a Microprocessor (1994) (1)
- Analysis of simulated triples γ-ray data on a 100-processor transputer system (1993) (1)
- Multiprocessor Applications in the Hathi Project (1989) (1)
- An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support (2012) (1)
- Games-based Controller Synthesis for Discrete Systems (2004) (1)
- Veriication and Reenement of Action Contracts (2001) (1)
- Teaching High-School Mathematics with Structured Derivations in Hypertext Format (2002) (1)
- Incremental Software Construction (1)
- Experience on Using Stepwise Feature Introduction in Software Construction (2005) (1)
- Agile Development with Stepwise Feature Introduction (2012) (1)
- Beyond particle systems: Operator networks (2008) (1)
- The Refinement Calculus Hierarchy (1998) (1)
- Subclasses of Statements (1998) (0)
- Refinement in Context (1998) (0)
- Iteration of Conjunctive Statements (1998) (0)
- Continuity and Executable Statements (1998) (0)
- Proceedings Second International Workshop on Computational Models for Cell Processes (2009) (0)
- Statements as Games (1998) (0)
- The N-Queens Problem (1998) (0)
- States and State Transformers (1998) (0)
- Under consideration for publication in Formal Aspects of Computing Invariant Diagrams with Data Refinement (2011) (0)
- Building Software Agents by Stepwise Feature Introduction — A Case Study (2002) (0)
- Types and Data Structures (1998) (0)
- Proofs and Refutations in Invariant-Based Programming (2014) (0)
- Loops and Two-Person Games (1998) (0)
- Proposal for a Tutorial on " Teaching Formal Methods to Novices " Satellite Event to Fm'08 (0)
- Higher-Order Logic (1998) (0)
- Formal Aspects of Computing Compositional Action System Refinement (0)
- Science of Computer Programming Specifying the Caltech asynchronous microprocessor (2003) (0)
- Tucs General Publication (2004) (0)
- Refinement Calculus as a Theory of Contracts (Invited Paper) (2008) (0)
- TR-CS-96-09 Structured Calculational Proof (1996) (0)
- Statement Classes and Normal Forms (1998) (0)
- Refinement calculus as a theory of contracts (2008) (0)
- Exeption handling with multi-exit statements : (preprint) (1979) (0)
- Proceedings First Workshop on CTP Components for Educational Software: Preface of the Program Committee (2012) (0)
- Applications of Summation and Product Operators in the Refinement Calculus (1994) (0)
- Working with Arrays (1998) (0)
- Of Finland for Cooperation within the Development of the Rekku System. We Also Thank Michael Butler and Marina Wald En for Helpful Comments on Z Speci (0)
- A Python Specification of the Tkinter Text-widget (2005) (0)
- Boolean Expressions and Conditionals (1998) (0)
- Predicates and Sets (1998) (0)
- Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009 (2009) (0)
- Ralph-Johan Back Structured Derivations as a Unified Proof Style for Teaching Mathematics (2009) (0)
- Improving mathematics and programming education: the IMPEd initiative (2007) (0)
- Posets, Lattices, and Categories (1998) (0)
- On formal and informal reasoning in program construction (1989) (0)
- A computational interpretation of truth logic (2004) (0)
- On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems (2009) (0)
- Invariant diagrams with data refinement (2011) (0)
- Under consideration for publication in Formal Aspects of Computing An Algebraic Treatment of Procedure Refinement to Support Mechanical Verification 1 (2005) (0)
- Correctness and Refinement of Statements (1998) (0)
- Invited keynote talk invariant based programming (2006) (0)
- Iteration and Loops (1998) (0)
- Well-founded Sets and Ordinals (1998) (0)
This paper list is powered by the following services:
Other Resources About Ralph-Johan Back
What Schools Are Affiliated With Ralph-Johan Back?
Ralph-Johan Back is affiliated with the following schools: