Concepedia

Author

Ralph‐Johan Back

Åbo Akademi University

Also Known As

Back, Ralph-Johan, Petre, Ion, R. J. R. Back, Ralph-Johan Back, Ralph‐Johan Back, Vink, Erik

95

Publications

1.5K

Citations

18

H-Index

33

Concepts

All Affiliations

Åbo Akademi UniversityTurku Centre for Computer Science
RB

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

167

2

Education

1

1

11

3

Law

1

1

23

4

Natural Sciences

1

1

59

5

Biology

1

1

59

Ralph‐Johan Back

×

15

Publications

527

Citations

13

H-Index

YearCitations

Stepwise refinement of action systems

Ralph‐Johan Back, Kaisa Sere

Lecture notes in computer science

1989

99

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

Linda Grandell, Mia Peltomäki, Ralph‐Johan Back,

2006

98

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

Ion Petre, Andrzej Mizera, Claire L. Hyder,

Natural Computing

2010

59

Invariant based programming: basic approach and teaching experiences

Ralph‐Johan Back

Formal Aspects of Computing

2008

45

Action Systems with Synchronous Communication

Ralph‐Johan Back, Kaisa Sere

1994

29

Class Refinement as Semantics of Correct Object Substitutability

Ralph‐Johan Back, Anna Mikhajlova, Joakim Wright

Formal Aspects of Computing

2000

26

From action systems to modular systems

Ralph‐Johan Back, Kaisa Sere

Lecture notes in computer science

1994

26

Continuous action systems as a model for hybrid systems

Ralph‐Johan Back, Luigia Petre, Iván Porres

Nordic journal of computing

2001

24

Analysing UML use cases as contracts

Ralph‐Johan Back, Luigia Petre, Iván Porres

Lecture notes in computer science

1999

23

Encoding, Decoding and Data Refinement

Ralph‐Johan Back, Joakim Wright

Formal Aspects of Computing

2000

22

Page 1