Jonathan P. Bowen

Cited by

	All	Since 2018
Citations	13570	3050
h-index	53	24
i10-index	233	73

840

420

210

630

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202334 38 49 137 172 251 300 334 339 271 289 404 326 345 349 442 403 397 453 468 514 480 580 614 580 526 543 536 522 836 544 541 574 31

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mike HincheyLero-the Irish Software Engineering Research CentreVerified email at lero.ie
Peter T. BreuerIndependent ResearcherVerified email at hecusys.com
Tula Giannini, PhD, MLS, MMProfessor and former Dean, School of Information, Pratt InstituteVerified email at pratt.edu
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAVerified email at ecu.edu
Ann BordaAssociate Professor, University of Melbourne; Honorary Senior Research Associate, University CollegeVerified email at unimelb.edu.au
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Mark HarmanResearch Scientist at Facebook & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
Phan Cong VinhNguyen Tat Thanh University, VietnamVerified email at ntt.edu.vn
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Jonathan WeinelUniversity of GreenwichVerified email at greenwich.ac.uk
Paul KrauseProfessor in Complex Systems, University of SurreyVerified email at surrey.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaVerified email at swu.edu.cn
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRVerified email at tifr.res.in
Esther PalomarUniversity of AlcalaVerified email at uah.es
Kirill BogdanovDepartment of Computer Science, The University of SheffieldVerified email at kirill-research.com
Anthony J H SimonsSenior Lecturer, University of SheffieldVerified email at sheffield.ac.uk
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk

Jonathan P. Bowen

Emeritus Professor of Computing, London South Bank University

Verified email at lsbu.ac.uk - Homepage

Computer Science Software Engineering Formal Methods History of Computing Digital Culture


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Concise Oxford Dictionary of Current English [computing terms] RE Allen, et al. Oxford University Press, 1990	1491*	1990
Safety-critical systems, formal methods and standards JP Bowen, V Stavridou Software Engineering Journal 8 (4), 189-209, 1993	525	1993
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE Software 12 (4), 34-41, 1995	518	1995
Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009	441	2009
Digital Technologies and the Museum Experience: Handheld guides and other media JP Bowen, J Bradburne, A Burch, L Dierking, J Falk, S Filippini-Fantoni, ... AltaMira Press, 2008	404	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	401	1995
Applications of Formal Methods MG Hinchey, JP Bowen Prentice Hall International Series in Computer Science, 1995	351	1995
Computer Science Handbook [Formal methods] AB Tucker, et al. Chapman & Hall / CRC Press, 2004	332	2004
Formal Specification and Documentation using Z: A case study approach JP Bowen International Thomson Computer Press, 1996	279	1996
The Oxford Companion to the History of Modern Science [Computer science] JL Heilbron, et al. Oxford University Press, 2003	248	2003
An invitation to formal methods H Saiedian, JP Bowen, RW Butler, DL Dill, RL Glass, D Gries, JA Hall, ... Computer 29 (4), 16-30, 1996	215	1996
Personalization and the web from a museum perspective JP Bowen, S Filippini-Fantoni MW2004: Museums and the Web – Selected Papers from an International …, 2004	186	2004
Ten commandments of formal methods ...Ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	176	2006
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	125	1993
Industrial-Strength Formal Methods in Practice MG Hinchey, JP Bowen Springer, FACIT, 1999	123*	1999
Formal versus agile: Survival of the fittest SE Black, PP Boca, JP Bowen, J Gorman, MG Hinchey Computer 42 (9), 37-45, 2009	122	2009
Computing Handbook [Formal methods] T Gonzalez, J Diaz-Herrera, H Topi, AB Tucker, et al. Chapman and Hall / CRC Press, 2014	119*	2014
High-Integrity System Specification and Design JP Bowen, MG Hinchey Springer, FACIT, 1999	113*	1999
Museums and Digital Culture: New perspectives and research T Giannini, JP Bowen Springer Series on Cultural Computing, 2019	106*	2019
The REDO Compendium: Reverse Engineering for Software Maintenance HJ van Zuylen, et al. John Wiley & Sons, 1993	105	1993

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