Jonathan P. Bowen

Geciteerd door

	Alles	Sinds 2019
Citaties	16199	4020
h-index	56	26
i10-index	259	89

880

440

220

660

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202447 64 156 198 310 325 447 363 297 330 422 378 362 391 386 440 444 486 516 547 510 616 648 639 556 584 557 604 877 586 651 621 712 565

Openbare toegang

Alles bekijken

16 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Mike HincheyLero-the Irish Software Engineering Research CentreGeverifieerd e-mailadres voor lero.ie
Tula Giannini, PhD, MLS, MMProfessor and former Dean, School of Information, Pratt InstituteGeverifieerd e-mailadres voor pratt.edu
Peter T. BreuerIndependent ResearcherGeverifieerd e-mailadres voor hecusys.com
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAGeverifieerd e-mailadres voor ecu.edu
Ann BordaEthics Fellow, Alan Turing Institute ; Associate Professor, University of MelbourneGeverifieerd e-mailadres voor turing.ac.uk
Kalpesh KapoorProfessor, Indian Institute of Technology GuwahatiGeverifieerd e-mailadres voor iitbombay.org
Robert HieronsProfessor, The University of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLGeverifieerd e-mailadres voor ucl.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgGeverifieerd e-mailadres voor informatik.uni-oldenburg.de
Phan Cong VinhNguyen Tat Thanh University, VietnamGeverifieerd e-mailadres voor ntt.edu.vn
Anders P. RavnAalborg UniversityGeverifieerd e-mailadres voor cs.aau.dk
Jonathan WeinelUniversity of GreenwichGeverifieerd e-mailadres voor greenwich.ac.uk
Nick LambertDirector of Operations, VISTA Project, University of South WalesGeverifieerd e-mailadres voor southwales.ac.uk
Paul KrauseProfessor in Complex Systems, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
giuliano gaiaInvisibleStudio.it - IULM UniversityGeverifieerd e-mailadres voor invisiblestudio.it
Rance CleavelandDepartment of Computer Science, University of MarylandGeverifieerd e-mailadres voor cs.umd.edu
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaGeverifieerd e-mailadres voor swu.edu.cn
Esther PalomarUniversity of AlcalaGeverifieerd e-mailadres voor uah.es
Stefania BoianoInvisibleStudio.netGeverifieerd e-mailadres voor invisiblestudio.net
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRGeverifieerd e-mailadres voor tifr.res.in

Volgen

Jonathan P. Bowen

Emeritus Professor of Computing, London South Bank University

Geverifieerd e-mailadres voor lsbu.ac.uk - Homepage

Computer Science Software Engineering Formal Methods History of Computing Digital Culture


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
The Concise Oxford Dictionary of Current English [computing terms] RE Allen, et al. Oxford University Press, 1990	2425*	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	542	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	483	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	372	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	285	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	200*	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	148*	2022
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	148	1993
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs