Jonathan P. Bowen 个人学术档案

引用次数

	总计	2019 年至今
引用	15683	3601
h 指数	55	26
i10 指数	249	78

880

440

220

660

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 47 64 157 198 312 323 417 358 301 321 423 384 364 391 385 438 442 473 517 539 506 614 646 627 561 583 560 600 862 576 642 613 721 183

开放获取的出版物数量

查看全部

15 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Mike HincheyLero-the Irish Software Engineering Research Centre在 lero.ie 的电子邮件经过验证
Peter T. BreuerIndependent Researcher在 hecusys.com 的电子邮件经过验证
Tula Giannini, PhD, MLS, MMProfessor and former Dean, School of Information, Pratt Institute在 pratt.edu 的电子邮件经过验证
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USA在 ecu.edu 的电子邮件经过验证
Ann BordaEthics Fellow, Alan Turing Institute ; Associate Professor, University of Melbourne在 turing.ac.uk 的电子邮件经过验证
Kalpesh KapoorProfessor, Indian Institute of Technology Guwahati在 iitbombay.org 的电子邮件经过验证
Robert HieronsProfessor, The University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCL在 ucl.ac.uk 的电子邮件经过验证
Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburg在 informatik.uni-oldenburg.de 的电子邮件经过验证
Phan Cong VinhNguyen Tat Thanh University, Vietnam在 ntt.edu.vn 的电子邮件经过验证
Anders P. RavnAalborg University在 cs.aau.dk 的电子邮件经过验证
Jonathan WeinelUniversity of Greenwich在 greenwich.ac.uk 的电子邮件经过验证
Nick LambertDirector of Operations, VISTA Project, University of South Wales在 southwales.ac.uk 的电子邮件经过验证
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, China在 swu.edu.cn 的电子邮件经过验证
Esther PalomarUniversity of Alcala在 uah.es 的电子邮件经过验证
giuliano gaiaInvisibleStudio.it - IULM University在 invisiblestudio.it 的电子邮件经过验证
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFR在 tifr.res.in 的电子邮件经过验证
Stefania BoianoInvisibleStudio.net在 invisiblestudio.net 的电子邮件经过验证
Paul KrauseProfessor in Complex Systems, University of Surrey在 surrey.ac.uk 的电子邮件经过验证
Kirill BogdanovDepartment of Computer Science, The University of Sheffield在 kirill-research.com 的电子邮件经过验证

关注

Jonathan P. Bowen

Emeritus Professor of Computing, London South Bank University

在 lsbu.ac.uk 的电子邮件经过验证 - 首页

Computer Science Software Engineering Formal Methods History of Computing Digital Culture


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The Concise Oxford Dictionary of Current English [computing terms] RE Allen, et al. Oxford University Press, 1990	2413*	1990
Safety-critical systems, formal methods and standards JP Bowen, V Stavridou Software Engineering Journal 8 (4), 189-209, 1993	550	1993
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE Software 12 (4), 34-41, 1995	535	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	521	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	441	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	409	1995
Computer Science Handbook [Formal methods] AB Tucker, et al. Chapman & Hall / CRC Press, 2004	374	2004
Applications of Formal Methods MG Hinchey, JP Bowen Prentice Hall International Series in Computer Science, 1995	369	1995
Formal Specification and Documentation using Z: A case study approach JP Bowen International Thomson Computer Press, 1996	285	1996
The Oxford Companion to the History of Modern Science [Computer science] JL Heilbron, et al. Oxford University Press, 2003	274	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
Personalization and the web from a museum perspective JP Bowen, S Filippini-Fantoni MW2004: Museums and the Web – Selected Papers from an International …, 2004	196	2004
Museums and Digital Culture: New perspectives and research T Giannini, JP Bowen Springer Series on Cultural Computing, 2019	186*	2019
Ten commandments of formal methods ...Ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	179	2006
Computing Handbook [Formal methods] T Gonzalez, J Diaz-Herrera, H Topi, AB Tucker, et al. Chapman and Hall / CRC Press, 2014	139*	2014
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	135	1993
Industrial-Strength Formal Methods in Practice MG Hinchey, JP Bowen Springer, FACIT, 1999	126*	1999
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
The REDO Compendium: Reverse Engineering for Software Maintenance HJ van Zuylen, et al. John Wiley & Sons, 1993	119	1993
High-Integrity System Specification and Design JP Bowen, MG Hinchey Springer, FACIT, 1999	117*	1999

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用