Cliff B Jones

인용

	전체	2019년 이후
서지정보	18776	2547
h-index	47	21
i10-index	175	50

740

370

185

555

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202471 120 163 171 242 354 348 397 434 432 462 474 486 501 525 421 435 436 526 410 505 471 723 599 602 632 542 613 589 625 519 472 537 553 450 447 410 367 366 505

공개 액세스

모두 보기

자료 40개

자료 8개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Dines BjornerProfessor Emeritus, DTU Informatics, Denmarkdtu.dk의 이메일 확인됨
Ian James HayesProfessor of Software Engineering, The University of Queenslanduq.edu.au의 이메일 확인됨
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKncl.ac.uk의 이메일 확인됨
Peter LindsayUniversity of Queenslanduq.edu.au의 이메일 확인됨
Michael ButlerProfessor of Computer Science, University of Southamptonecs.soton.ac.uk의 이메일 확인됨
Kevin D JonesUniversity of Plymouthplymouth.ac.uk의 이메일 확인됨
John S. FitzgeraldNewcastle University, UKncl.ac.uk의 이메일 확인됨
Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute ofkth.se의 이메일 확인됨
Joey W. ColemanIndependent/Kira Fellow, Kira Systemsacm.org의 이메일 확인됨
Alan BundyProfessor of Automated Reasoning, University of Edinburghed.ac.uk의 이메일 확인됨
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia Universitycolumbia.edu의 이메일 확인됨
Brian RandellEmeritus Professor of Computing Science, Newcastle Universityncl.ac.uk의 이메일 확인됨
Jim WoodcockProfessor of Software Engineering, University of Yorkyork.ac.uk의 이메일 확인됨
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
Alan BurnsUniversity of York, UKyork.ac.uk의 이메일 확인됨
Nisansala YatapanageLecturer, The Australian National Universityacm.org의 이메일 확인됨
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, Orsaylri.fr의 이메일 확인됨
Gudmund GrovSenior Scientist, Norwegian Defence Research Establishmentffi.no의 이메일 확인됨
Ken PierceNewcastle Universityncl.ac.uk의 이메일 확인됨
Kees MiddelburgGuest Researcher, Informatics Institute, University of Amsterdamuva.nl의 이메일 확인됨

팔로우

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

ncl.ac.uk의 이메일 확인됨 - 홈페이지

Formal Methods Semantics Concurrency Support tools History


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Systematic Software Development Using VDM CB Jones Prentice-Hall, 0	4191*
Formal Methods: State of the Art and Future Directions EM Clarke, JM Wing, CB Jones Computing Surveys 28 (4), 626-643, 1996	2279	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	844	1983
Software development: A Rigorous Approach CB Jones Prentice-Hall, 1980	753	1980
Specification and design of (parallel) programs CB Jones 9th IFIP World Computer Congress (Information Processing 83), 1983	718	1983
The Vienna Development Method: The Meta-Language D Bjørner, CB Jones Lecture notes in computer science 61, 1978	643	1978
Formal specification and software development D Bjørner, CB Jones Prentice/Hall International, 1982	603	1982
Using computers in the language classroom C Jones, S Fortescue (No Title), 1987	428	1987
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	342	1989
A logic covering undefinedness in program proofs H Barringer, JH Cheng, CB Jones Acta Informatica 21 (3), 251-269, 1984	285	1984
mural: A Formal Development Support System CB Jones, KD Jones, PA Lidsay, RC Moore Springer-Verlag, 1984	272*	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	201*	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	153	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
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006	143	2006
A pi-calculus semantics for an object-based design notation CB Jones International Conference on Concurrency Theory, 158-172, 1993	143	1993
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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자