Jonathan Bowen | Academic Influence

Jonathan Bowen's AcademicInfluence.com Rankings

Jonathan Bowen

Computer Science

#856

World Rank

#887

Historical Rank

Database

#2531

World Rank

#2652

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Jonathan Bowen Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jonathan P. Bowen FBCS FRSA is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limited and has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute , University of Westminster and King's College London, and a visiting academic at University College London.

(See a Problem?)

Jonathan Bowen's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Seven More Myths of Formal Methods (1994) (384)
Using formal specifications to support testing (2009) (375)
Ten Commandments of Formal Methods (1995) (310)
Safety-critical systems, formal methods and standards (1993) (305)
Applications of Formal Methods (1995) (195)
Formal Specification and Documentation Using Z: A Case Study Approach (1996) (165)
An Invitation to Formal Methods (1996) (161)
ZB 2002:Formal Specification and Development in Z and B (2002) (143)
ZUM '97: The Z Formal Specification Notation (1997) (134)
ZB 2003: Formal Specification and Development in Z and B (2003) (131)
Formal Methods (2019) (97)
Formal Versus Agile: Survival of the Fittest (2009) (92)
Ten Commandments of Formal Methods ...Ten Years Later (2006) (91)
Formal methods in safety-critical standards (1993) (87)
Industrial-Strength Formal Methods in Practice (1999) (86)
Software engineering and formal methods (2008) (81)
ZUM '95: The Z Formal Specification Notation (1995) (80)
Personalization And The Web From A Museum Perspective (2013) (80)
ZUM '98: The Z Formal Specification Notation (1998) (79)
Towards a Provably Correct Hardware Implementation of Occam (1993) (67)
The ethics of safety-critical systems (2000) (65)
Formal Methods: State of the Art and New Directions (2009) (62)
Towards Correct Executable Semantics for Z (1994) (61)
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (1993) (61)
High-Integrity System Specification and Design (1999) (59)
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing (2002) (53)
Formalization of software testing criteria using the Z notation (2001) (53)
High-Integrity System Specification and Design (1999) (50)
A shallow embedding of Z in HOL (1995) (49)
Safety-critical methods and systems , formal standards (2004) (49)
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods (2005) (46)
Z and HOL (1994) (46)
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria (2006) (45)
Developing Correct Systems (1993) (45)
A ProCos Project Description: Esprit BRA 3104 (1989) (42)
Decompilation: the enumeration of types and grammars (1994) (41)
The use of industrial-strength formal methods (1997) (41)
An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language (1990) (41)
Usability, design and content issues of mobile apps for cultural heritage promotion: the Malta Culture Guide experience (2012) (41)
A Fully Homomorphic Crypto-Processor Design (2013) (41)
Using formal methods to support testing (2008) (40)
From Operational Semantics to Denotational Semantics for Verilog (2001) (37)
The virtual museum (2000) (37)
Paper: Bookmarking In Museums: Extending The Museum Experience Beyond The Visit? (2007) (36)
From programs to object code and back again using logic programming: Compilation and decompilation (1993) (36)
A prettier compiler‐compiler: Generating higher‐order parsers in C (1995) (36)
FORTEST: formal methods and testing (2002) (35)
Virtual Visits to Virtual Museums (1998) (34)
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers (2008) (33)
Time interval semantics and implementation of a real-time programming language (1992) (32)
Test conditions for fault classes in Boolean specifications (2007) (32)
To formalize or not to formalize (1996) (31)
Tolerance of control-flow testing criteria (2003) (30)
Formal methods and testing: an outcome of the FORTEST network (2008) (30)
Safety critical systems (1991) (30)
Digitalism: The New Realism? (2014) (29)
Museums and Technology: Being Inclusive Helps Accessibility for All (2013) (28)
Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria (2003) (28)
A compendium of formal techniques for software maintenance (1993) (28)
Z Logic and its Consequences (2003) (27)
Z: a formal specification notation (2001) (27)
A ProCoS II Project Final Report: ESPRIT Basic Research project 7071 (1996) (27)
Formal Methods and Software Safety (1992) (27)
System and Software Safety in Critical Systems (1996) (26)
An animatable operational semantics of the Verilog hardware description language (2000) (26)
Towards Verified Systems (1994) (26)
Formal specification and documentation of microprocessor instruction sets (1987) (24)
Empirical Patterns in Google Scholar Citation Counts (2014) (23)
Formal specifications in software maintenance: from code to Z++ and back again (1993) (23)
The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector (2004) (23)
From algebraic semantics to denotational semantics for Verilog (2006) (23)
Gender Issues in HCI Design for Web Access (2008) (23)
Programming Research Group USER INTERFACE LANGUAGES : A SURVEY OF EXISTING METHODS (1989) (22)
From Programs to Object Code using Logic and Logic Programming (1991) (22)
A Practical Encrypted Microprocessor (2016) (21)
Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities (2017) (21)
An Approach to Verifiable Compiling Specification and Prototyping (1990) (20)
Time for renovations: A survey of museum web sites (1999) (19)
Deriving operational semantics from denotational semantics for Verilog (2001) (19)
Web-based discussion groups at stake: the profile of museum professionals online (2004) (18)
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems (2016) (18)
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (2008) (18)
Web Access to Cultural Heritage for the Disabled (2003) (17)
Experience teaching Z with tool and web support (2001) (17)
Life in Code and Digits: When Shannon met Turing (2017) (17)
Curating Digital Life and Culture: Art and information (2016) (17)
Introduction to Formal Methods (2006) (17)
Smart Cities and Digital Culture: Models of Innovation (2019) (17)
A formal analysis of MCDC and RCDC test criteria (2005) (17)
Formal specification of the ProCoS/safemos instruction set (1990) (17)
ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings (1998) (17)
Museums and Digital Culture (2019) (16)
Animating the Semantics of VERILOG using Prolog (2001) (16)
Algebraic approach to linking the semantics of web services (2007) (16)
Ten Commandments of Formal Methods... Ten Years On (2012) (16)
On Obfuscating Compilation for Encrypted Computing (2017) (16)
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (2012) (15)
Formal Models and the Specification Process (1997) (15)
Wiki Software and Facilities for Museums (2008) (15)
An Approach to the Specification and Verification of a Hardware Compilation Scheme (2001) (15)
Typed Assembler for a RISC Crypto-Processor (2012) (15)
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community (2011) (14)
Select Z Bibliography (1997) (14)
Online Museum Discussion Forums; What do we have? What do we need? (2003) (14)
Weaving the museum web: the Virtual Library museums pages (2002) (14)
The REDO Project: Final Report (1991) (14)
The Formal Specification of a Microprocessor Instruction Set (1987) (14)
Formal Specification and Documentation using Z (2003) (14)
X: Why Z? (1992) (14)
Creating online collaborative environments for museums: a case study of a museum wiki (2011) (13)
The PRECC Compiler Compiler (1993) (13)
Formal specification in Z as a design and documentation tool (1988) (13)
Electronic Visualisation in Arts and Culture (2013) (13)
Superscalar Encrypted RISC: The Measure of a Secret Computer (2018) (13)
Museums and Digital Culture: From Reality to Digitality in the Age of Covid-19 (2021) (13)
Report on Z user meeting : 7th Annual User Meeting (ZUM'92) Department of Trade and Industry (DTI), London, UK 14-15 December 1992 (1993) (12)
Of Museums and Digital Culture: A landscape view (2018) (12)
ZB 2000: Formal Specification and Development in Z and B (2000) (12)
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing (2014) (12)
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing (2007) (12)
Virtual Collaboration and Community (2009) (12)
Experimental evaluation of the tolerance for control‐flow test criteria (2004) (12)
Ordering Mutants to Minimise Test Effort in Mutation Testing (2004) (12)
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer (2014) (11)
Continuity aspects of embedded reconfigurable computing (2005) (11)
Understanding programs through formal methods (1993) (11)
A Fully Encrypted Microprocessor The Secret Computer is Nearly Here (2016) (11)
Z on the Web Using Java (1998) (11)
Coded Communication: Digital Senses and Aesthetics, Merging Art and Life (2017) (11)
Formalization of control-flow criteria of software testing (2001) (10)
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (2000) (10)
On Security in Encrypted Computing (2018) (10)
Formal Specification of Window Systems (1989) (10)
Specifying System Implementations in Z (1988) (10)
Dulwich OnView: an art museum-based virtual community generated by the local community (2010) (10)
The Development of Science Museum Web Sites: Case Studies… (2005) (10)
Personalization Issues for Science Museum Web Sites and E-Learning (2005) (10)
Provably Correct Systems (1994) (10)
The World Wide Web Virtual Library of Museums. (1995) (10)
The Turing Guide (2017) (10)
Formal Methods: Point-Counterpoint (1996) (10)
Visualising virtual communities: From Erdős to the arts (2012) (10)
Alan Turing: Virtuosity and visualisation (2016) (10)
Reasoning about VHD3L and VHDL-AMS using denotational semantics (1999) (9)
A Brief History of Early Museums Online (2009) (9)
An Approach to Veri able Compiling Speci cation and Prototyping (1990) (9)
PTSC: probability, time and shared-variable concurrency (2009) (9)
Occam's Razor: The Cutting Edge of Parser Technology (1992) (9)
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics (2002) (8)
Digitality: A reality check (2021) (8)
Museum Websites of the First Wave: The rise of the virtual museum (2020) (8)
Formalization and assessment of regulatory requirements for safety-critical software (2006) (8)
Towards Verified Systems: The SAFEMOS Project (1995) (8)
Teaching Formal Methods: Practice and Experience - Index (2006) (8)
Formalising Configuration Relocation Behaviours for Reconfigurable Computing (2002) (8)
A formal analysis of MCDC and RCDC test criteria: Research Articles (2005) (8)
On the Visual Representation of Configuration in Reconfigurable Computing (2004) (8)
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky (2013) (8)
Component-based modelling for sustainable and scalable smart meter networks (2014) (8)
Distributed computing software project (1986) (8)
A Provably Correct Hardware Implementation of Occam (1992) (8)
Semantics of RTL and validation of synthesized RTL designs using formal verification in reconfigurable computing systems (2005) (8)
The World Wide Web and the Virtual Library museums pages (1997) (8)
From Analogue to Digital in Literature and Art (2016) (8)
Theories of Programming: The Life and Works of Tony Hoare (2021) (8)
The website of the UK Museum of the Year (2000) (8)
A Brief History of Algebra and Computing: An Eclectic Oxonian View (2002) (7)
EVA London 2018 (2018) (7)
Museums and Digitalism (2019) (7)
The Z Notation: Whence the Cause and Whither the Course? (2014) (7)
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs (2004) (7)
Dulwich OnView: A Museum Blog run by the Community for the Community (2010) (7)
Specification, Verification and Prototyping of an Optimized Compiler (1994) (7)
Museums at the Crossroads: Between Digitality, Reality, and COVID-19 (2021) (7)
Museums and Wikipedia (2006) (7)
The Event Queue: An Extensible Input System for UNIX Workstations (1987) (7)
Formality, Agility, Security, and Evolution in Software Development (2014) (7)
A Museums Wiki (2007) (7)
Galois Connections: Mathematics, Art and Archives (2015) (7)
CHAPTER 10 - Hardware Compilation (1994) (6)
Comp.specification.z and Z FORUM Frequently Asked Questions (1992) (6)
Online Communities: Visualization and Formalization (2013) (6)
Annotated Z bibliography (1995) (6)
25 Years of CSP (2004) (6)
Search Engines and Online Museum Access on the Web (2005) (6)
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing (2005) (6)
The Digital Future for Museums (2019) (6)
Decompilation is the Efficient Enumeration of Types (1992) (6)
On-Line Collections Access At The Museum Of (2001) (6)
A provably correct functional programming approach to the prototyping of formal Z specifications (2003) (6)
Accessibility and Usability Survey on UK and International Art Gallery and Museum Websites (2002) (6)
POS-formal specification of a Unix tool (1989) (6)
Integrating Probability with Time and Shared-Variable Concurrency (2006) (6)
Beyond Human: Arts and identity between reality and virtuality in a post-Covid-19 world (2021) (6)
Glossary of Z notation (1995) (6)
Engineering Trustworthy Software Systems (2016) (6)
States of Being: Art and identity in digital space and time (2018) (6)
Electronic Visualisation in Chemistry: from Alchemy to Art (2013) (6)
Working together : Formal Methods and Testing (2003) (6)
Turing's Genius - Defining an apt microcosm (2018) (5)
Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation (1995) (5)
Selected Z Bibliography (1990) (5)
The Virtual Library of Museums (1995) (5)
(Un)Encrypted Computing and Indistinguishability Obfuscation (2018) (5)
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Past to Present (2019) (5)
Art and Activism at Museums in a Post-digital World (2019) (5)
Ten Commandments Ten Years On: An Assessment of Formal Methods Usage (2006) (5)
Establishing Formal Regulatory Requirements for Safety-Critical Software Certification (2001) (5)
Distributed operating systems (1990) (5)
Tackling web design & Advice on accessible website design (2001) (5)
The Specification of Network Services (1987) (5)
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net (2009) (5)
Visiteurs virtuels et musées virtuels (1998) (5)
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL (2019) (5)
A Personal View of EVA London: Past, Present, Future (2020) (5)
Weaving the Museum Web: Past, Present and Future (2000) (5)
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng (2013) (5)
Processor Rescue - Safe Coding for Hardware Aliasing (2015) (5)
The Virtual Library museums pages (VLmp) : Whence and whither? (1997) (5)
A ProCoS II Project Description ESPRIT Basic Research project (2010) (4)
Deriving Correct Prototypes from Formal Z Specifications (2000) (4)
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP (2020) (4)
Programming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards (1993) (4)
Disabled Access for Museum Websites (2003) (4)
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings (1995) (4)
Computational Culture and AI: Challenging human identity and curatorial practice (2020) (4)
Formality, Agility, Security, and Evolution in Software Engineering (2018) (4)
Z User Workshop, Cambridge 1994 (1994) (4)
Copyright and Promotion: Oxymoron or Opportunity? (2005) (4)
Formal Speci cations in Software Maintenance : From code to Z + + and back again (1993) (4)
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing (2018) (4)
Provably Correct Systems: Community, Connections, and Citations (2015) (4)
Z User Workshop, London 1992 (1993) (4)
Hardware Compilation : Verification and Rapid-prototyping (1999) (4)
Formal Speciications in Software Maintenance: from Code to Z ++ and Back Again (1993) (4)
Museophile: A community for museum e-commerce (2002) (4)
Communicating the public understanding of science: the Royal Society website (2009) (4)
Museums, Art, Identity, and the Digital Ecosystem: A Paradigm Shift (2019) (3)
Seven deadly sins (Formal methods) (1995) (3)
Alan Turing: Founder of Computer Science (2016) (3)
Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (2020) (3)
Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008) (3)
CONFESSIONS OF COMPUTER SCIENTISTS WORKING IN THE ARTS: A TALE OF TWO TECHIES (2006) (3)
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara (2005) (3)
Internet: A question of access (2001) (3)
On-line Museums (2001) (3)
Report on Z user meeting (ZUM '94) (1995) (3)
Transforming Education for Museum Professionals in the Digital Age (2019) (3)
Safety-Critical Systems and Formal Methods (1994) (3)
Turing's legacy (2017) (3)
Encrypted computing: Speed, security and provable obfuscation against insiders (2017) (3)
Personal view: Formal methods: epideictic or apodeictic? (1994) (3)
Electronic Visualisation and the Arts (EVA 2015) (2015) (3)
Technology Futures for the Creative Industries: Presenting the Cr-eAM Roadmaps (2014) (3)
Networked Multi-user and Multimedia Environments for Learning and Collaboration (1999) (3)
Creative visualisation in chemistry (2016) (3)
EVA London 2010 Conference Proceedings (2010) (3)
Chaotic Compilation: A (Statistical) Cloak for a Secret Computer (2019) (3)
ENCOURAGING GENDER BALANCE : A SURVEY OF EUROPEAN ART MUSEUM WEBSITES (2006) (3)
Computational Culture: Transforming Archives Practice and Education for a Post-Covid World (2022) (2)
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling (2019) (2)
Proceedings of the 2009 international conference on Electronic Visualisation and the Arts (2009) (2)
Generating Decompilers (1998) (2)
Turing's Sunflowers: Public research and the role of museums (2020) (2)
Application of Formal Methods for Establishing Regulatory Requirements for Safety-Critical Software of Real-Time Control Systems (2001) (2)
Safe Compilation for Hidden Deterministic Hardware Aliasing (2019) (2)
Formal methods and testing: outcome of the fortest network on formal methods and testing : revised selected papers (2008) (2)
Life and work (2017) (2)
Eva 2013 (2013) (2)
Digital Art, Culture and Heritage: New constructs and consciousness (2019) (2)
Egon Börger and Alexander Raschke: Modeling companion for software practitioners (2018) (2)
EVALUATION OF SOME OF THE CURRENT UML TOOLS (2002) (2)
Developing Virtual Reality Modules Aimed to Enhance Social Work Students’ Skills and Reinforce Knowledge (2020) (2)
Linking denotational semantics with operational semantics for web services (2010) (2)
Experimental evaluation of the tolerance for control-flow test criteria: Research Articles (2004) (2)
Algebraic Semantics of Configuration Relocation in Reconfigurable Computing (2002) (2)
It’s Greek to Me: Method in the Madness? (1999) (2)
Software/hardware integration on microprocessors (1985) (2)
An Invoicing Case Study in Z (1998) (2)
Lessons to learn from Net gains in the US (1997) (2)
Digital Culture (2019) (2)
Programming Research Group Decompilation: the Enumeration of Types and Grammars Decompilation: the Enumeration of Types and Grammars (1992) (2)
Hardware Compilation of the ProCoS Gas Burner Case Study using Logic Programming (1996) (2)
Lean stratified turbocharged gasoline engines to meet emissions and fuel economy targets in 2018 (2014) (2)
Seven More Myths of Formal (1995) (2)
Proceedings of the Z User Workshop (1991) (2)
Select Z Bibliography and Frequently Asked Questions (1991) (1)
Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9 (1996) (1)
Oral History of Sir Antony Hoare (2006) (1)
A Concrete Z Grammar (2001) (1)
Can Twitter save Bletchley Park (2014) (1)
Programming Research Group SEVEN MORE MYTHS OF FORMAL METHODS (1994) (1)
Program verification and semantics: the early work (2002) (1)
Algorithms, software and hardware of parallel computers: J Mikloško and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395 (1985) (1)
A Tour of Online Forums: Is there a Museum Community out there? (2005) (1)
EVA London 2012 Conference Proceedings (2012) (1)
Online Museum Forums: Whence and Whither? (2002) (1)
EVA London 2010 - Electronic Visualisation and the Arts (2011) (1)
Formal Requirements Specification (2010) (1)
ZUM '97: The Z Formal Specification Notation : 10th International Conference of Z Users Reading, UK, April 3-4, 1997 Proceedings (1997) (1)
Standard microprocessor programming cards (1985) (1)
Formal Methods Communities of Practice: A Survey of Personal Experience (2021) (1)
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (2017) (1)
Basta con conectarse (1999) (1)
ESPRIT BRA 3104 ProCoS project : Provably Correct SystemsAn Algebraic Approach to Veri ableCompiling Speci cation and Prototypingof the ProCoS Level 0 Programming (2007) (1)
El mundo virtual (2000) (1)
Transfer into Industrial Design (1994) (1)
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability (2007) (1)
Computing the Future: Digital encounters in art and science when da Vinci meets Turing (2020) (1)
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Present to Future (2019) (1)
The Impact of Alan Turing: Formal Methods and Beyond (2018) (1)
COPYRIGHT PROTECTION AND CULTURAL HERITAGE: STEERING DIGITIZATION BETWEEN PUBLIC ARCHIVES AND SEARCH ENGINES (2006) (1)
The Digital Renaissance from da Vinci to Turing (2020) (1)
Electronic Visualisation and the Arts (EVA 2016) - Index (2016) (1)
Algebraic Semantics Based Behavioural Views of Configuration Relocation in Reconfigurable Computing (2003) (1)
Visualising Virtual Communities: From Erd\H{o}s to the Arts (2012) (1)
The Weiguan Culture Phenomenon in Chinese Online Activism (2021) (1)
The Rise of Digital Citizenship and the Participatory Museum (2021) (1)
Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B (2000) (1)
Digital Futures: Exhibits at EVA London 2018 (2018) (1)
Electronic Visualisation and the Arts (EVA 2018) - Index (2018) (1)
Global Cultural Conflict and Digital Identity: Transforming Museums (2023) (0)
Editorial (1995) (0)
Electronic Visualisation and the Arts, EVA 2019, London, UK, July 8-11, 2019 (2019) (0)
Just in Time : a new formal method for specification and refinement of real time processes (2013) (0)
Electronic Visualisation and the Arts (EVA 2013) - Index (2013) (0)
FORTEST: Formal Methods and Testing (joint panel paper) (2002) (0)
Z FORUM Electronic Mailing List (1990) (0)
Electronic Visualisation and the Arts, EVA 2011, London, UK, 6-8 July 2011 (2009) (0)
Proceedings of the 2007th internatioanal conference on Formal Methods in Industry (2007) (0)
Acknowledgement of referees 2012 and 2013 (2014) (0)
Design of a Simple Cambridge Ring Interface Adapter (1986) (0)
Proceedings of the Third Annual Z User Meeting (1988) (0)
Programming Research Group THE REDO PROJECT : FINAL REPORT (1991) (0)
Microprocessors: hardware and applications: A Veronis, Reston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928 (1985) (0)
Pioneer who Prepared the Ground for Road to Java (2005) (0)
Electronic Visualisation and the Arts (EVA 2017) - Index (2017) (0)
Engineering Trustworthy Software Systems (2018) (0)
FACS 2007 Christmas Workshop: Formal Methods in Industry - Index (2007) (0)
Communities and Ancestors Associated with Egon Börger and ASM (2021) (0)
Question on the Uniqueness of ( Encrypted ) Arithmetic (2013) (0)
Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (2020) (0)
26 th IEEE Annual Computer Software and Applications Conference (COMPSAC 2002) (2002) (0)
The Ehics of Safety-Critical Systems (2000) (0)
Engineering Trustworthy Software Systems (2017) (0)
EVA London 2021 - Index (2021) (0)
6800/6802 Microprocessor Emulation Adapter (1985) (0)
Electronic Visualisation and the Arts (EVA 2015) - Index (2015) (0)
Z special issueEditorial (1995) (0)
Provably Correct Systems : Community and connections (2015) (0)
It began with Babbage: the genesis of computer science, by Subrata Dasgupta (2015) (0)
Museums and Digital Culture. New Perspectives and Research. Cham (Springer series on Cultural Computing), 2019, 589 Seiten. (2021) (0)
Electronic Visualisation and the Arts (EVA 2010) - Index (2010) (0)
Egon Börger and Alexander Raschke: Modeling companion for software practitioners (2018) (0)
Program Verification and Semantics: Further Work, Science Museum, London. , 27(2), 2005 (2005) (0)
Towa R D S a P R O Vably Correct Hardware Implementation of Occam (1993) (0)
An Open Question on the Uniqueness of (Encrypted) Arithmetic (2013) (0)
ABZ2008 Conference - Short Papers (2008) (0)
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language (2009) (0)
Electronic Visualisation and the Arts (EVA 2019) - Index (2019) (0)
Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 (1993) (0)
Work-in-Progress—Virtual Reality: A Tool to Develop Social Work Practice Skills of Engagement and Assessment (2020) (0)
Engineering trustworthy software systems Preface (2017) (0)
Analysis of the Feasible Dynamic Reconfiguration Criteria for FPGA Structure in Sharing Fashion (2002) (0)
PRG Archive Server (1990) (0)
Electronic Visualisation and the Arts (EVA 2014) - Index (2014) (0)
Call for Tutorials and Workshops Sixth International Conference on Formal Engineering Methods (ICFEM 2004) (2004) (0)
An Algebraic Approach to Hardware Compilation (2006) (0)
EVA London (Electronic Visualisation and the Arts): Proceedings of EVA London 2019 (2019) (0)
Microprocessor interfacing and communication using the Intel SDK-85: Borivoje Furht and Himanshu Parikh Prentice-Hall Reston, Englewood Cliffs, NJ, USA (April 1986) £31.00 pp 499 (1986) (0)
Managing the “Three Cs” of Academic Literature Authorship: Contributions, Credit, and Conflict (2023) (0)
Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing (2013) (0)
Microprocessor I/O emulation facilities (1985) (0)
ENCOURAGING GENDER BALANCE: A SURVEY OF EUROPEAN SCIENCE MUSEUM WEBSITES (2006) (0)
Electronic Visualisation and the Arts (EVA 2008) - Index (2008) (0)
Z User Workshop, Cambridge, 1994 : proceedings of the Eighth Z User Meeting, Cambridge, 29-30 June 1994 (1994) (0)
Review of two collections of essays about Alan Turing (2020) (0)
Preface (Engineering Trustworthy Software Systems) (2019) (0)
Proceedings of the conference on Electronic Visualisation and the Arts (2016) (0)
Vignettes of Computer-based Museum Interactive and Games Software through the Years (2022) (0)
Reviews (1966) (0)
Review on Theories of Programming: The Life and Works of Tony Hoare (2022) (0)
More books about assembler and 16-bit micros: Krantz, D and Stanley, J68000 assembly language: techniques for building programs Addison-Wesley, Reading, MA, USA (1986) £15.95 pp 402 (1988) (0)
Electronic Visualisation and the Arts, EVA 2008, London, UK, 22-24 July 2008 (2008) (0)
Towards Veri ed Systems : The SAFEMOS (1995) (0)
The Knowledge Acquisition and Representation Language, KARL by Dieter Fensel, Kluwer Academic, Dordrecht, 1995, pp 238, ISBN 0-7923-9601-4, Dfl 195.00 (US$ 110.00, £77.00) (1996) (0)
Electronic visualisationin arts and culture (2013) (0)
More than Human: Merging real and virtual states of being from arts and culture to wellness in a post-Covid world (2022) (0)
Z User Workshop, London, UK, 14-15 December 1992, Proceedings (1993) (0)
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442 (1985) (0)
Extending B with Control Flow Breaks (2003) (0)
The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278 (1988) (0)
Modula‐2: Constructive program development, P. Messer and I. Marshall, Blackwell Scientific Publications, 1986. ISBN 0‐632‐01609‐4. No. of pages: 544. Price: £35.00 (paperback £14.95) (1988) (0)
Chapitre 26. Le lien homme-animal (2020) (0)
Erratum: A Fully Homomorphic Crypto-Processor Design (2013) (0)
Unifying theories of programming Lecture Notes in Computer Science 10134 (2017) (0)
Proceedings of the EVA London 2014 on Electronic Visualisation and the Arts (2014) (0)
Female Self-presentation through Online Dating Applications (2022) (0)
Alan Turing and Oxford (2021) (0)
Proceedings of the Conference on Electronic Visualisation and the Arts (2015) (0)
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? (2014) (0)
Editorial (2013) (0)
A Front-end Tool to Parse Z Speciications (1997) (0)
EVA London 2020 - Index (2020) (0)
EVA London 2022 - Index (2022) (0)
Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7 (1991) (0)
Turing's Monument (2017) (0)
Electronic Visualisation and the Arts, EVA 2019, London, UK, July 8-11, 2019 (2019) (0)
Overview of the Project (1994) (0)
Chapitre 11. Une perspective clinique de la cognition du chien (2020) (0)
More books about assembler and 16-bit micros: Turpin, R WThe 8086 and assembly language programming BSP Professional Books, Oxford, UK (1987) £12.95 pp 259 (1988) (0)
On the Security of Practical and Complete Homomorphic Encrypted Computation (2016) (0)
BOOK REVIEWSBowenJonathanThe University of Reading, Department of Computer Science, Whiteknights, PO Box 225, Reading, Berks RG6 6AY, England121996114373374The Knowledge Acquisition and Representation Language, KARL by FenselDieter, Kluwer Academic, Dordrecht, 1995, pp 238, ISBN 0-7923-9601-4, Dfl 1 (1996) (0)
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here (2015) (0)
The Chengdu Biennale and Wikipedia Art Information (2022) (0)
Electronic Visualisation and the Arts, EVA 2008, London, UK, 22-24 July 2008 (2008) (0)
A user-friendly interface adapter (1985) (0)
The panel discussion : History and future challenges of CSP (2004) (0)
1 Z : A Formal Specification Notation (2001) (0)
Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience (2006) (0)
Electronic Visualisation and the Arts, EVA 2011, London, UK, 6-8 July 2011 (2009) (0)
Real-Time and Safety-Critical Systems (1999) (0)
Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse (2022) (0)
Proceedings of Z Users Meeting, 1 Wellington Square, Oxford (1987) (0)
wmin . ac . uk / westminsterresearch Formal versus agile : survival of the fittest (2009) (0)
Superscalar Encrypted RISC: A Secret Computer in Simulation (2016) (0)

This paper list is powered by the following services:

Other Resources About Jonathan Bowen

What Schools Are Affiliated With Jonathan Bowen?

Jonathan Bowen is affiliated with the following schools:

What Are Jonathan Bowen's Academic Contributions?

Jonathan Bowen is most known for their academic work in the field of computer science. They are also known for their academic work in the fields of

Jonathan Bowen has made the following academic contributions:

The Turing Guide

Image Attributions

Image Source for Jonathan Bowen