Cliff B Jones

Cited by

	All	Since 2018
Citations	17346	2299
h-index	45	19
i10-index	155	45

720

360

180

540

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202372 77 126 158 164 227 329 327 372 412 406 458 433 463 464 494 408 425 420 501 383 493 455 710 575 605 602 539 616 586 575 494 453 473 485 393 397 353 336 333

Public access

View all

41 articles

4 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
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
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
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

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	4153*
Formal Methods: State of the Art and Future Directions EM Clarke, JM Wing, CB Jones Computing Surveys 28 (4), 626-643, 1996	2221	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	808	1983
Software development: A Rigorous Approach CB Jones Prentice-Hall, 1980	749	1980
Specification and design of (parallel) programs CB Jones 9th IFIP World Computer Congress (Information Processing 83), 1983	700	1983
The Vienna Development Method: The Meta-Language D Bjørner, CB Jones Lecture notes in computer science 61, 1978	616	1978
Formal specification and software development D Bjørner, CB Jones Prentice/Hall International, 1982	591	1982
Development methods for computer programs including a notion of interference CB Jones Oxford University Computing Laboratory, 1981	408	1981
Specifications are not (necessarily) executable IJ Hayes, CB Jones Software Engineering Journal 4 (6), 330-339, 1989	345	1989
A logic covering undefinedness in program proofs H Barringer, JH Cheng, CB Jones Acta Informatica 21 (3), 251-269, 1984	276	1984
mural: A Formal Development Support System CB Jones, KD Jones, PA Lidsay, RC Moore Springer-Verlag, 1984	262*	1984
Essays in Computing Science CAR Hoare, CB Jones Prentice Hall, 1989	165*	1989
A pi-calculus semantics for an object-based design notation CB Jones International Conference on Concurrency Theory, 158-172, 1993	144	1993
An early program proof by Alan Turing FL Morris, CB Jones IEEE Annals of the History of Computing 6 (02), 139-143, 1984	144	1984
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006	142	2006
The early search for tractable ways of reasoning about programs CB Jones IEEE Annals of the History of Computing 25 (2), 26-49, 2003	140	2003
On the usability of logics which handle partial functions JH Cheng, CB Jones Newcastle University, 1990	137	1990
Accommodating interference in the formal design of concurrent object-based programs CB Jones Formal Methods in System Design 8, 105-122, 1996	122	1996
A typed logic of partial functions reconstructed classically CB Jones, CA Middelburg Acta informatica 31, 399-430, 1994	122	1994
Roadmap for enhanced languages and methods to aid verification GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ... Proceedings of the 5th international conference on Generative programming …, 2006	107	2006

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