Concepedia

Joakim Wright

JW

Statistics

Publications

14

Citations

493

H-Index

12

Active since

1990

Affiliations

Åbo Akademi University(Current)

Turku Centre for Computer Science

Joakim Wright is an author at Åbo Akademi University specializing in computer science, formal methods, and computing.

Publications per year

1990–2009

14

Publications

14

Towards a refinement algebra

Joakim Wright · Science of Computer Programming · 2004 · 84 citations

, , +2

Refinement concepts formalised in higher order logic

R. J. R. Back, Joakim Wright · Formal Aspects of Computing · 1990 · 61 citations · Full text

, , +13

Reasoning algebraically about loops

R. J. R. Back, Joakim Wright · Acta Informatica · 1999 · 51 citations

, , +9

Duality in specification languages: a lattice-theoretical approach

R. J. R. Back, Joakim Wright · Acta Informatica · 1990 · 48 citations

, , +9

Combining angels, demons and miracles in program specifications

R. J. R. Back, Joakim Wright · Theoretical Computer Science · 1992 · 42 citations

, , +5

1–5 of 14