Jonathan P. Bowen

Cited by

	All	Since 2019
Citations	16158	3983
h-index	56	26
i10-index	257	87

880

440

220

660

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202447 64 156 198 310 325 447 363 297 330 422 377 362 392 385 440 444 486 517 545 510 616 648 639 555 584 557 605 876 586 651 620 709 533

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
giuliano gaiaInvisibleStudio.it - IULM UniversityVerified email at invisiblestudio.it
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaVerified email at swu.edu.cn
Esther PalomarUniversity of AlcalaVerified email at uah.es
Stefania BoianoInvisibleStudio.netVerified email at invisiblestudio.net
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRVerified email at tifr.res.in

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	2422*	1990
Safety-critical systems, formal methods and standards JP Bowen, V Stavridou Software Engineering Journal 8 (4), 189-209, 1993	552	1993
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE Software 12 (4), 34-41, 1995	541	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	482	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	456	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	415	1995
Computer Science Handbook [Formal methods] AB Tucker, et al. Chapman & Hall / CRC Press, 2004	379	2004
Applications of Formal Methods MG Hinchey, JP Bowen Prentice Hall International Series in Computer Science, 1995	371	1995
Formal Specification and Documentation using Z: A case study approach JP Bowen International Thomson Computer Press, 1996	290	1996
The Oxford Companion to the History of Modern Science [Computer science] JL Heilbron, et al. Oxford University Press, 2003	283	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	218	1996
Museums and Digital Culture: New perspectives and research T Giannini, JP Bowen Springer Series on Cultural Computing, 2019	197*	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
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	148	1993
Museums and Digital Culture: From reality to digitality in the age of COVID-19 T Giannini, JP Bowen Heritage 5 (1), 192-214, 2022	144*	2022
Computing Handbook [Formal methods] T Gonzalez, J Diaz-Herrera, H Topi, AB Tucker, et al. Chapman and Hall / CRC Press, 2014	143*	2014
Industrial-Strength Formal Methods in Practice MG Hinchey, JP Bowen Springer, FACIT, 1999	128*	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