Jonathan P. Bowen

Cited by

	All	Since 2016
Citations	12153	2896
h-index	51	24
i10-index	207	70

820

410

205

615

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202136 35 49 136 166 288 273 340 342 261 284 382 315 344 346 358 399 401 449 464 529 481 565 610 542 523 533 481 522 804 468 82

New!

Public access

View all

9 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, School of Information, Pratt InstituteVerified email at pratt.edu
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAVerified email at ecu.edu
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
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Ann BordaAssociate Professor, University of Melbourne; formerly CEO VPAC Ltd |VeRSI; Science MuseumVerified email at unimelb.edu.au
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Phan Cong VinhNguyen Tat Thanh University, VietnamVerified email at ntt.edu.vn
Paul KrauseProfessor in Complex Systems, University of SurreyVerified email at surrey.ac.uk
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRVerified email at tifr.res.in
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Kirill BogdanovDepartment of Computer Science, The University of SheffieldVerified email at kirill-research.com
Esther PalomarBirmingham City UniversityVerified email at bcu.ac.uk
Anthony J H SimonsSenior Lecturer, University of SheffieldVerified email at sheffield.ac.uk
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Sarah McDaidZoea Ltd (zoea.co.uk) @zoealangVerified email at zoea.co.uk
Marian GheorgheUniversity of BradfordVerified email at bradford.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	1323*	1990
Safety-critical systems, formal methods and standards JP Bowen, V Stavridou Software Engineering Journal 8 (4), 189-209, 1993	497	1993
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE Software 12 (4), 34-41, 1995	490	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	415	2009
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	386	1995
Applications of Formal Methods MG Hinchey, JP Bowen Prentice Hall International Series in Computer Science, 1995	344	1995
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	337	2008
Formal Specification and Documentation using Z: A case study approach JP Bowen International Thomson Computer Press, 1996	265	1996
The Computer Science and Engineering Handbook [Formal methods] AB Tucker Jr, et al. CRC Press, 1997	228*	1997
The Oxford Companion to the History of Modern Science [Computer science] JL Heilbron, et al. Oxford University Press, 2003	206	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	202	1996
Computer Science Handbook [Formal methods] AB Tucker, et al. Chapman & Hall / CRC Press, 2004	191*	2004
Ten commandments of formal methods ...Ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	168	2006
Personalization and the web from a museum perspective JP Bowen, S Filippini-Fantoni MW2004: Museums and the Web – Selected Papers from an International …, 2004	164	2004
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	131	1993
Formal versus agile: Survival of the fittest SE Black, PP Boca, JP Bowen, J Gorman, MG Hinchey Computer 42 (9), 37-45, 2009	114	2009
Industrial-Strength Formal Methods in Practice MG Hinchey, JP Bowen Springer, FACIT, 1999	111*	1999
High-Integrity System Specification and Design JP Bowen, MG Hinchey Springer, FACIT, 1999	109*	1999
The REDO Compendium: Reverse Engineering for Software Maintenance HJ van Zuylen, et al. John Wiley & Sons, 1993	96	1993
Towards a provably correct hardware implementation of Occam J He, I Page, JP Bowen Correct Hardware Design and Verification Methods 683, 214-225, 1993	87*	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

Upload PDF

Follow this author

Cited by

Co-authors