Jonathan P. Bowen

Cited by

	All	Since 2020
Citations	16448	3350
h-index	56	24
i10-index	260	77

900

450

225

675

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 64 156 198 310 326 448 363 298 328 421 378 360 393 384 442 443 490 515 548 512 618 646 649 559 587 557 604 881 589 655 623 725 705 50

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
Tula Giannini, PhD, MLS, MMProfessor and former Dean, School of Information, Pratt InstituteVerified email at pratt.edu
Peter T. BreuerIndependent ResearcherVerified email at hecusys.com
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAVerified email at ecu.edu
Ann BordaEthics Fellow, Alan Turing Institute ; Associate Professor, University of MelbourneVerified email at turing.ac.uk
Kalpesh KapoorProfessor, Indian Institute of Technology GuwahatiVerified email at iitbombay.org
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
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
Nick LambertDirector of Operations, VISTA Project, University of South WalesVerified email at southwales.ac.uk
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
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaVerified email at swu.edu.cn
Esther PalomarUniversity of AlcalaVerified email at uah.es
giuliano gaiaInvisibleStudio.it - IULM UniversityVerified email at invisiblestudio.it
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRVerified email at tifr.res.in
Sarah McDaidZoea Ltd (zoea.co.uk) @zoealangVerified email at zoea.co.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	2444*	1990
Safety-critical systems, formal methods and standards JP Bowen, V Stavridou Software Engineering Journal 8 (4), 189-209, 1993	554	1993
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE Software 12 (4), 34-41, 1995	544	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	491	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	464	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	417	1995
Computer Science Handbook [Formal methods] AB Tucker, et al. Chapman & Hall / CRC Press, 2004	381	2004
Applications of Formal Methods MG Hinchey, JP Bowen Prentice Hall International Series in Computer Science, 1995	373	1995
The Oxford Companion to the History of Modern Science [Computer science] JL Heilbron, et al. Oxford University Press, 2003	291	2003
Formal Specification and Documentation using Z: A case study approach JP Bowen International Thomson Computer Press, 1996	289	1996
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	218	1996
Museums and Digital Culture: New perspectives and research T Giannini, JP Bowen Springer Series on Cultural Computing, 2019	216*	2019
Personalization and the web from a museum perspective JP Bowen, S Filippini-Fantoni MW2004: Museums and the Web – Selected Papers from an International …, 2004	195	2004
Ten commandments of formal methods ...Ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	184	2006
Museums and Digital Culture: From reality to digitality in the age of COVID-19 T Giannini, JP Bowen Heritage 5 (1), 192-214, 2022	170*	2022
Computing Handbook [Formal methods] T Gonzalez, J Diaz-Herrera, H Topi, AB Tucker, et al. Chapman and Hall / CRC Press, 2014	148*	2014
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	148	1993
Industrial-Strength Formal Methods in Practice MG Hinchey, JP Bowen Springer, FACIT, 1999	130*	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
High-Integrity System Specification and Design JP Bowen, MG Hinchey Springer, FACIT, 1999	120*	1999

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