Concepedia

Cliff B. Jones

CB

37

Publications

3.3K

Citations

23

H-Index

1971

Active since

Affiliations

Newcastle University(Current)

University of Manchester

The University of Queensland

Clemson University

University of York

Cliff B. Jones is an author at Newcastle University specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

1971–2020

37

Publications

37

Kinematics for multisection continuum robots

Cliff B. Jones, Ian D. Walker · IEEE Transactions on Robotics · 2006 · 927 citations

, , +20

Tentative steps toward a development method for interfering programs

Cliff B. Jones · ACM Transactions on Programming Languages and Systems · 1983 · 607 citations · Full text

Specification and Design of (Parallel) Programs

Cliff B. Jones · IFIP Congress · 1983 · 394 citations

, , +7

Specifications are not (necessarily) executable

Ian J. Hayes, Cliff B. Jones · Software Engineering Journal · 1989 · 197 citations

A logic covering undefinedness in program proofs

Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations

, , +8

Rows per page

1–5 of 37