Cliff B Jones

Cited by

	All	Since 2019
Citations	18232	2411
h-index	46	20
i10-index	174	49

720

360

180

540

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202472 117 160 169 234 342 340 382 429 418 456 458 480 490 516 413 430 426 514 396 491 461 708 590 584 615 532 600 574 598 497 457 516 539 436 439 399 359 353 424

Public access

View all

40 articles

8 articles

available

not available

Based on funding mandates

Co-authors

Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkVerified email at dtu.dk
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
Peter LindsayUniversity of QueenslandVerified email at uq.edu.au
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Kevin D JonesUniversity of PlymouthVerified email at plymouth.ac.uk
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute ofVerified email at kth.se
Joey W. ColemanIndependent/Kira Fellow, Kira SystemsVerified email at acm.org
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Brian RandellEmeritus Professor of Computing Science, Newcastle UniversityVerified email at ncl.ac.uk
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Alan BurnsUniversity of York, UKVerified email at york.ac.uk
Nisansala YatapanageLecturer, The Australian National UniversityVerified email at acm.org
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayVerified email at lri.fr
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Ken PierceNewcastle UniversityVerified email at ncl.ac.uk
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

Verified email at ncl.ac.uk - Homepage

Formal Methods Semantics Concurrency Support tools History


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Systematic Software Development Using VDM CB Jones Prentice-Hall, 0	4179*
Formal Methods: State of the Art and Future Directions EM Clarke, JM Wing, CB Jones Computing Surveys 28 (4), 626-643, 1996	2270	1996
Tentative steps toward a development method for interfering programs CB Jones ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (4), 596-619, 1983	838	1983
Software development: A Rigorous Approach CB Jones Prentice-Hall, 1980	754	1980
Specification and design of (parallel) programs CB Jones 9th IFIP World Computer Congress (Information Processing 83), 1983	715	1983
The Vienna Development Method: The Meta-Language D Bjørner, CB Jones Lecture notes in computer science 61, 1978	639	1978
Formal specification and software development D Bjørner, CB Jones Prentice/Hall International, 1982	601	1982
Development methods for computer programs including a notion of interference CB Jones Oxford University Computing Laboratory, 1981	426	1981
Specifications are not (necessarily) executable IJ Hayes, CB Jones Software Engineering Journal 4 (6), 330-339, 1989	340	1989
A logic covering undefinedness in program proofs H Barringer, JH Cheng, CB Jones Acta Informatica 21 (3), 251-269, 1984	284	1984
mural: A Formal Development Support System CB Jones, KD Jones, PA Lidsay, RC Moore Springer-Verlag, 1984	271*	1984
870 et al. Guidelines for the use and interpretation of assays for monitoring autophagy (3rd 871 edition) DJ Klionsky, K Abdelmohsen, A Abe, MJ Abedin, H Abeliovich, ... Autophagy 12 (1), 1-222, 2016	203*	2016
Essays in Computing Science CAR Hoare, CB Jones Prentice Hall, 1989	174*	1989
An early program proof by Alan Turing FL Morris, CB Jones IEEE Annals of the History of Computing 6 (02), 139-143, 1984	152	1984
The early search for tractable ways of reasoning about programs CB Jones IEEE Annals of the History of Computing 25 (2), 26-49, 2003	144	2003
A pi-calculus semantics for an object-based design notation CB Jones International Conference on Concurrency Theory, 158-172, 1993	143	1993
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006	141	2006
On the usability of logics which handle partial functions JH Cheng, CB Jones Newcastle University, 1990	141	1990
Accommodating interference in the formal design of concurrent object-based programs CB Jones Formal Methods in System Design 8, 105-122, 1996	126	1996
A typed logic of partial functions reconstructed classically CB Jones, CA Middelburg Acta informatica 31, 399-430, 1994	115	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors