Jonathan P. Bowen

Citirano

	Sve	Od 2020.
Citati	16128	3299
H-indeks	57	24
i10-indeks	251	76

880

440

220

660

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202541 48 69 159 196 304 317 454 360 293 313 420 367 347 385 369 426 429 481 498 538 496 609 629 638 553 592 540 593 870 576 645 615 694 707 59

Javni pristup

Prikaži sve

15 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Mike HincheyLero-the Irish Software Engineering Research CentrePotvrđena adresa e-pošte na lero.ie
Tula Giannini, PhD, MLS, MMProfessor and former Dean, School of Information, Pratt InstitutePotvrđena adresa e-pošte na pratt.edu
Peter T. BreuerIndependent ResearcherPotvrđena adresa e-pošte na hecusys.com
Ann BordaEthics Fellow, Alan Turing Institute ; Associate Professor, University of MelbournePotvrđena adresa e-pošte na turing.ac.uk
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAPotvrđena adresa e-pošte na ecu.edu
Kalpesh KapoorProfessor, Indian Institute of Technology GuwahatiPotvrđena adresa e-pošte na iitbombay.org
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgPotvrđena adresa e-pošte na informatik.uni-oldenburg.de
Robert HieronsProfessor, The University of SheffieldPotvrđena adresa e-pošte na sheffield.ac.uk
Phan Cong VinhNguyen Tat Thanh University, VietnamPotvrđena adresa e-pošte na ntt.edu.vn
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLPotvrđena adresa e-pošte na ucl.ac.uk
Anders P. RavnAalborg UniversityPotvrđena adresa e-pošte na cs.aau.dk
Jonathan WeinelUniversity of GreenwichPotvrđena adresa e-pošte na greenwich.ac.uk
Nick LambertDirector of Operations, VISTA Project, University of South WalesPotvrđena adresa e-pošte na southwales.ac.uk
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaPotvrđena adresa e-pošte na swu.edu.cn
Esther PalomarUniversity of AlcalaPotvrđena adresa e-pošte na uah.es
giuliano gaiaInvisibleStudio.it - IULM UniversityPotvrđena adresa e-pošte na invisiblestudio.it
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRPotvrđena adresa e-pošte na tifr.res.in
Paul KrauseProfessor in Complex Systems, University of SurreyPotvrđena adresa e-pošte na surrey.ac.uk
Kirill BogdanovDepartment of Computer Science, The University of SheffieldPotvrđena adresa e-pošte na kirill-research.com
Stefania BoianoInvisibleStudio.netPotvrđena adresa e-pošte na invisiblestudio.net

Prati

Jonathan P. Bowen

Emeritus Professor of Computing, London South Bank University

Potvrđena adresa e-pošte na lsbu.ac.uk - Početna stranica

Computer Science Software Engineering Formal Methods History of Computing Digital Culture


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
The Concise Oxford Dictionary of Current English [computing terms] RE Allen, et al. Oxford University Press, 1990	2414*	1990
Safety-critical systems, formal methods and standards JP Bowen, V Stavridou Software Engineering Journal 8 (4), 189-209, 1993	551	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	537	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	468	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	411	1995
Applications of Formal Methods MG Hinchey, JP Bowen Prentice Hall International Series in Computer Science, 1995	370	1995
Formal Specification and Documentation using Z: A case study approach JP Bowen International Thomson Computer Press, 1996	289	1996
The Oxford Companion to the History of Modern Science [Computer science] JL Heilbron, et al. Oxford University Press, 2003	282	2003
Computer Science Handbook [Formal methods] AB Tucker, et al. Chapman & Hall / CRC Press, 2004	248	2004
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	215*	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	194	2004
Ten commandments of formal methods ...Ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	183	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	168*	2022
Formal methods in safety-critical standards JP Bowen SESS'93: Software Engineering Standards Symposium, 168-177, 1993	149	1993
Computing Handbook [Formal methods] T Gonzalez, J Diaz-Herrera, H Topi, AB Tucker, et al. Chapman and Hall / CRC Press, 2014	146*	2014
Industrial-Strength Formal Methods in Practice MG Hinchey, JP Bowen Springer, FACIT, 1999	132*	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
High-Integrity System Specification and Design JP Bowen, MG Hinchey Springer, FACIT, 1999	120*	1999

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori