Cliff B Jones

Citée par

	Toutes	Depuis 2016
Citations	18520	3703
indice h	46	23
indice i10	248	94

860

430

215

645

1984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202162 74 114 164 162 210 303 282 356 394 423 435 440 459 462 498 427 440 445 501 414 473 513 740 612 650 675 604 673 697 689 612 596 709 753 737 859 38

Coauteurs

Ian James HayesProfessor of Software Engineering, The University of QueenslandAdresse e-mail validée de itee.uq.edu.au
Alexander RomanovskyEmeritus Professor, Newcastle University, UKAdresse e-mail validée de ncl.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonAdresse e-mail validée de ecs.soton.ac.uk
Kevin D JonesUniversity of PlymouthAdresse e-mail validée de plymouth.ac.uk
Elena TroubitsynaAssoc. Prof. at KTH -- Royal Institute of Technology, Stockholm, SwedenAdresse e-mail validée de kth.se
John S. FitzgeraldNewcastle University, UKAdresse e-mail validée de ncl.ac.uk
Joey W. ColemanIndependent/Kira Fellow, Kira SystemsAdresse e-mail validée de acm.org
Alan BundyProfessor of Automated Reasoning, University of EdinburghAdresse e-mail validée de ed.ac.uk
Jim WoodcockProfessor of Software Engineering, University of YorkAdresse e-mail validée de york.ac.uk
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Brian RandellEmeritus Professor of Computing Science, Newcastle UniversityAdresse e-mail validée de ncl.ac.uk
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithAdresse e-mail validée de griffith.edu.au
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayAdresse e-mail validée de lri.fr
Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentAdresse e-mail validée de ffi.no
Robin E BloomfieldCity University and Adelard LLPAdresse e-mail validée de csr.city.ac.uk
Nisansala YatapanageResearch Fellow, Australian National UniversityAdresse e-mail validée de acm.org
Ken PierceNewcastle UniversityAdresse e-mail validée de ncl.ac.uk
Alan BurnsUniversity of York, UKAdresse e-mail validée de york.ac.uk
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamAdresse e-mail validée de uva.nl

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

Adresse e-mail validée de ncl.ac.uk - Page d'accueil

Formal Methods Semantics Concurrency Support tools History


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Systematic Software Development Using VDM CB Jones Prentice-Hall, 0	3775*
Formal Methods: State of the Art and Future Directions EM Clarke, JM Wing, CB Jones Computing Surveys 28 (4), 626-643, 1996	1980	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	708	1983
Software development: A Rigorous Approach CB Jones Prentice-Hall, 1980	671	1980
Specification and Design of (Parallel) Programs. CB Jones IFIP congress 83, 321-332, 1983	631	1983
The Vienna Development Method: The Meta-Language D Bjørner, CB Jones Lecture notes in computer science 61, 1978	544*	1978
The Vienna Development Method: The Meta-Language D Bjørner, CB Jones Language 61, 3-5, 1978	544*	1978
Formal specification and software development D Bjørner, CB Jones Prentice/Hall International, 1982	535	1982
Development methods for computer programs including a notion of interference CB Jones Oxford University Computing Laboratory, 1981	382	1981
Specifications are not (necessarily) executable IJ Hayes, CB Jones Software Engineering Journal 4 (6), 330-339, 1989	316	1989
A logic covering undefinedness in program proofs H Barringer, JH Cheng, CB Jones Acta Informatica 21 (3), 251-269, 1984	262	1984
mural: A Formal Development Support System CB Jones, KD Jones, PA Lidsay, RC Moore Springer-Verlag, 1984	245*	1984
An invitation to formal methods H Saiedian Computer 29 (4), 16-17, 1996	201	1996
Essays in Computing Science CAR Hoare, CB Jones Prentice Hall, 1989	139	1989
On the usability of logics which handle partial functions JH Cheng, CB Jones University of Manchester, Department of Computer Science, 1990	133	1990
A pi-calculus semantics for an object-based design notation CB Jones International Conference on Concurrency Theory, 158-172, 1993	132	1993
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006	131	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	125	2003
An early program proof by Alan Turing FL Morris, CB Jones Annals of the History of Computing 6 (2), 139-143, 1984	123	1984
A typed logic of partial functions reconstructed classically CB Jones, CA Middelburg Acta informatica 31 (5), 399-430, 1994	117	1994

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs