Concepedia

Eerke Boiten

EB

24

Publications

641

Citations

15

H-Index

1992

Active since

Affiliations

University of Kent(Current)

De Montfort University

University of Sheffield

Eerke Boiten is an author at University of Kent specializing in engineering, formal methods, and computer science.

ORCID

Top concepts

Publications per year

1992–2020

24

Publications

24

Fixed-point calculus

C.J. Aarts, Roland Backhouse, Eerke Boiten et al. · Information Processing Letters · 1995 · 73 citations

A Holistic Cybersecurity Maturity Assessment Framework for Higher Education Institutions in the United Kingdom

Aliyu Aliyu, Ying He, Iryna Yevseyeva et al. · Applied Sciences · 2020 · 65 citations · Full text

, , +20

Viewpoint consistency in ODP

Eerke Boiten, Howard Bowman, John Derrick et al. · Computer Networks · 2000 · 61 citations

, , +7

A Formal Framework for Viewpoint Consistency

Howard Bowman, Maarten Steen, Eerke Boiten et al. · Formal Methods in System Design · 2002 · 51 citations

Relational Concurrent Refinement

John Derrick, Eerke Boiten · Formal Aspects of Computing · 2003 · 43 citations

Rows per page

1–5 of 24