Concepedia

Ralph‐Johan Back

RB

15

Publications

527

Citations

13

H-Index

1989

Active since

Affiliations

Åbo Akademi University(Current)

Turku Centre for Computer Science

Ralph‐Johan Back is an author at Åbo Akademi University specializing in engineering, formal methods, and automated reasoning.

Top concepts

Publications per year

1989–2011

15

Publications

15

Stepwise refinement of action systems

Ralph‐Johan Back, Kaisa Sere · Lecture notes in computer science · 1989 · 99 citations

Why complicate things?: introducing programming in high school using Python

Linda Grandell, Mia Peltomäki, Ralph‐Johan Back et al. · 2006 · 98 citations

A simple mass-action model for the eukaryotic heat shock response and its mathematical validation

Ion Petre, Andrzej Mizera, Claire L. Hyder et al. · Natural Computing · 2010 · 59 citations

, , +13

Invariant based programming: basic approach and teaching experiences

Ralph‐Johan Back · Formal Aspects of Computing · 2008 · 45 citations · Full text

Action Systems with Synchronous Communication

Ralph‐Johan Back, Kaisa Sere · 1994 · 29 citations

, , +5

Rows per page

1–5 of 15