Cliff B. Jones - Concepedia

Author

Cliff B. Jones

Also Known As

Alexander Romanovsky, B.A. Jones, Bekič, Hans 1936-1982, C B Jones, C Berin Jones, C JONES, C Jones, C. B. Jones, C. Jones, C.B. Jones

287

Publications

5.6K

Citations

H-Index

101

Concepts

All Affiliations

Newcastle University University of Manchester The University of Queensland Clemson University University of York

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	27	2.4K
2	Language Studies	5	5	149
3	Business	1	1	16
4	Humanities	1	1	13
5	Management	1	1	24

Cliff B. Jones

Publications

3.3K

Citations

H-Index

Page 1

	Year	Citations
Kinematics for multisection continuum robots Cliff B. Jones, Ian D. Walker IEEE Transactions on Robotics Robot KinematicsEngineeringMechanical EngineeringField RoboticsReal-time Implementations	2006	927
Tentative steps toward a development method for interfering programs Cliff B. Jones ACM Transactions on Programming Languages and Systems	1983	607
Specification and Design of (Parallel) Programs Cliff B. Jones IFIP Congress EngineeringParallel SoftwareProgram AnalysisParallelizing CompilerComputer Architecture	1983	394
Specifications are not (necessarily) executable Ian J. Hayes, Cliff B. Jones Software Engineering Journal	1989	197
A logic covering undefinedness in program proofs Howard Barringer, Jinsong Cheng, Cliff B. Jones Acta Informatica EngineeringAutomated ReasoningProof ComplexityVerificationFormal Methods	1984	172
The early search for tractable ways of reasoning about programs Cliff B. Jones IEEE Annals of the History of Computing EngineeringModel-based ReasoningVerificationMain FocusSoftware Analysis	2003	103
Verified Software: A Grand Challenge Cliff B. Jones, Peter W. O’Hearn, Jim Woodcock Computer Software MaintenanceEngineeringVerificationComputer-aided VerificationSoftware Engineering	2006	91
Accommodating interference in the formal design of concurrent object-based programs Cliff B. Jones Formal Methods in System Design EngineeringProgram AnalysisDesignConcurrent ProgrammingFormal Methods	1996	87
An Early Program Proof by Alan Turing F. Lockwood Morris, Cliff B. Jones IEEE Annals of the History of Computing EngineeringAutomated ReasoningProof ComplexityVerificationFormal Methods	1984	83
A Structural Proof of the Soundness of Rely/guarantee Rules J. W. Coleman, Cliff B. Jones Journal of Logic and Computation EngineeringVerificationFormal VerificationNe1 7RuComputational Logic	2007	78

Page 1