Jonathan P. Bowen

Geciteerd door

	Alles	Sinds 2018
Citaties	13818	3247
h-index	53	25
i10-index	233	74

860

430

215

645

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202334 39 49 136 173 247 302 331 341 275 289 403 328 352 349 451 406 399 451 474 515 484 582 615 584 532 540 534 523 842 547 544 596 191

Openbare toegang

Alles bekijken

14 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Mike HincheyLero-the Irish Software Engineering Research CentreGeverifieerd e-mailadres voor lero.ie
Peter T. BreuerIndependent ResearcherGeverifieerd e-mailadres voor hecusys.com
Tula Giannini, PhD, MLS, MMProfessor and former Dean, School of Information, Pratt InstituteGeverifieerd e-mailadres voor pratt.edu
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAGeverifieerd e-mailadres voor ecu.edu
Ann BordaAssociate Professor, University of Melbourne; Honorary Senior Research Associate, University CollegeGeverifieerd e-mailadres voor unimelb.edu.au
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithGeverifieerd e-mailadres voor griffith.edu.au
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
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
Paul KrauseProfessor in Complex Systems, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgGeverifieerd e-mailadres voor informatik.uni-oldenburg.de
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
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRGeverifieerd e-mailadres voor tifr.res.in
Esther PalomarUniversity of AlcalaGeverifieerd e-mailadres voor uah.es
Kirill BogdanovDepartment of Computer Science, The University of SheffieldGeverifieerd e-mailadres voor kirill-research.com
Jeremy DickSystems Engineer, retiredGeverifieerd e-mailadres voor purposeful.systems
Anthony J H SimonsSenior Lecturer, University of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk

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	1514*	1990
Safety-critical systems, formal methods and standards JP Bowen, V Stavridou Software Engineering Journal 8 (4), 189-209, 1993	536	1993
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE Software 12 (4), 34-41, 1995	522	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	451	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	413	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	404	1995
Applications of Formal Methods MG Hinchey, JP Bowen Prentice Hall International Series in Computer Science, 1995	354	1995
Computer Science Handbook [Formal methods] AB Tucker, et al. Chapman & Hall / CRC Press, 2004	347*	2004
Formal Specification and Documentation using Z: A case study approach JP Bowen International Thomson Computer Press, 1996	280	1996
The Oxford Companion to the History of Modern Science [Computer science] JL Heilbron, et al. Oxford University Press, 2003	255	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	217	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	187	2004
Ten commandments of formal methods ...Ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	177	2006
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	126	1993
Computing Handbook [Formal methods] T Gonzalez, J Diaz-Herrera, H Topi, AB Tucker, et al. Chapman and Hall / CRC Press, 2014	124*	2014
Formal versus agile: Survival of the fittest SE Black, PP Boca, JP Bowen, J Gorman, MG Hinchey Computer 42 (9), 37-45, 2009	123	2009
Industrial-Strength Formal Methods in Practice MG Hinchey, JP Bowen Springer, FACIT, 1999	123*	1999
Museums and Digital Culture: New perspectives and research T Giannini, JP Bowen Springer Series on Cultural Computing, 2019	119*	2019
High-Integrity System Specification and Design JP Bowen, MG Hinchey Springer, FACIT, 1999	113*	1999
The REDO Compendium: Reverse Engineering for Software Maintenance HJ van Zuylen, et al. John Wiley & Sons, 1993	105	1993

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