Cliff B Jones

Citované v

	Všetky	Od 2020
Citácie	20385	3330
h-index	47	16
i10-index	168	36

780

390

195

585

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025125 158 179 231 346 341 384 427 408 459 436 475 483 513 408 432 437 505 389 491 474 709 585 585 619 538 610 575 639 625 630 658 676 612 614 581 656 617 780 82

Verejný prístup

všetky položky

38 článkov

0 článkov

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkOverená e-mailová adresa na: dtu.dk
Ian James HayesProfessor of Software Engineering, The University of QueenslandOverená e-mailová adresa na: uq.edu.au
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKOverená e-mailová adresa na: ncl.ac.uk
Peter LindsayUniversity of QueenslandOverená e-mailová adresa na: uq.edu.au
John S. FitzgeraldNewcastle University, UKOverená e-mailová adresa na: ncl.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonOverená e-mailová adresa na: ecs.soton.ac.uk
Kevin D JonesUniversity of PlymouthOverená e-mailová adresa na: plymouth.ac.uk
Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute ofOverená e-mailová adresa na: kth.se
Joey W. ColemanIndependent/Kira Fellow, Kira SystemsOverená e-mailová adresa na: acm.org
Alan BundyProfessor of Automated Reasoning, University of EdinburghOverená e-mailová adresa na: ed.ac.uk
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityOverená e-mailová adresa na: columbia.edu
Brian RandellEmeritus Professor of Computing Science, Newcastle UniversityOverená e-mailová adresa na: ncl.ac.uk
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
Jim WoodcockProfessor of Software Engineering, University of YorkOverená e-mailová adresa na: york.ac.uk
Alan BurnsUniversity of York, UKOverená e-mailová adresa na: york.ac.uk
Nisansala YatapanageSenior Lecturer, The Australian National UniversityOverená e-mailová adresa na: acm.org
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayOverená e-mailová adresa na: lri.fr
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentOverená e-mailová adresa na: ffi.no
Ken PierceNewcastle UniversityOverená e-mailová adresa na: ncl.ac.uk
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamOverená e-mailová adresa na: uva.nl

Sledovať

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

Overená e-mailová adresa na: ncl.ac.uk - Domovská stránka

Formal Methods Semantics Concurrency Support tools History


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
Systematic Software Development Using VDM CB Jones Prentice-Hall, 0	4231*
Climate system scenario tables M Prather, G Flato, P Friedlingstein, C Jones, JF Lamarque, H Liao, ...	2326	2014
Formal Methods: State of the Art and Future Directions EM Clarke, JM Wing, CB Jones Computing Surveys 28 (4), 626-643, 1996	2275	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	849	1983
Software development: A Rigorous Approach CB Jones Prentice-Hall, 1980	756	1980
Specification and design of (parallel) programs CB Jones 9th IFIP World Computer Congress (Information Processing 83), 1983	726	1983
Formal specification and software development D Bjørner, CB Jones Prentice/Hall International, 1982	609	1982
The Vienna Development Method: The Meta-Language D Bjørner, CB Jones Lecture notes in computer science 61, 1978	492	1978
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	344	1989
A logic covering undefinedness in program proofs H Barringer, JH Cheng, CB Jones Acta Informatica 21 (3), 251-269, 1984	291	1984
mural: A Formal Development Support System CB Jones, KD Jones, PA Lidsay, RC Moore Springer-Verlag, 1984	277*	1984
Quantifying the contribution of recessive coding variation to developmental disorders HC Martin, WD Jones, R McIntyre, G Sanchez-Andrade, M Sanderson, ... Science 362 (6419), 1161-1164, 2018	197	2018
Essays in Computing Science CAR Hoare, CB Jones Prentice Hall, 1989	172*	1989
The Vienna Development Method: The Meta D Bjørner, CB Jones Language 61, 181-197, 1978	167	1978
An early program proof by Alan Turing FL Morris, CB Jones IEEE Annals of the History of Computing 6 (02), 139-143, 1984	155	1984
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006	149	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	144	2003
On the usability of logics which handle partial functions JH Cheng, CB Jones Newcastle University, 1990	144	1990
A pi-calculus semantics for an object-based design notation CB Jones International Conference on Concurrency Theory, 158-172, 1993	142	1993

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori