Software/hardware integration on microprocessors. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

6800/6802 microprocessor emulation adapter. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

Microprocessors: hardware and applications: A Veronis, Reston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

Algorithms, software and hardware of parallel computers: J Mikloško and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

Standard microprocessor programming cards. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

Microprocessor I/O emulation facilities. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

A user-friendly interface adapter. - Jonathan P. Bowen (Microprocess. Microsystems, 1985)

Distributed computing software project. - Roger B. Gimson; Jonathan P. Bowen; Tim Gleeson (ACM SIGOPS European Workshop, 1986)

Design of a Simple Cambridge Ring Interface Adapter. - Jonathan P. Bowen (Comput. Syst. Sci. Eng., 1986)

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. - Colin D. Walter; Jonathan P. Bowen (Microprocess. Microsystems, 1986)

Formal specification and documentation of microprocessor instruction sets. - Jonathan P. Bowen (Microprocess. Microprogramming, 1987)

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. - Jonathan P. Bowen (Microprocess. Microsystems, 1988)

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. - Jonathan P. Bowen (Microprocess. Microsystems, 1988)

The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278. - Jonathan P. Bowen (Microprocess. Microsystems, 1988)

POS-formal specification of a Unix tool. - Jonathan P. Bowen (Softw. Eng. J., 1989)

An Approach to Verifiable Compiling Specification and Prototyping. - Jonathan P. Bowen; Jifeng He 001; Paritosh K. Pandya (PLILP, 1990)

Selected Z Bibliography. - Jonathan P. Bowen (Z User Workshop, 1990)

Z FORUM Electronic Mailing List. - Jonathan P. Bowen (Z User Workshop, 1990)

PRG Archive Server. - Jonathan P. Bowen (Z User Workshop, 1990)

Formal specification of the ProCoS/safemos instruction set. - Jonathan P. Bowen (Microprocess. Microsystems, 1990)

From Programs to Object Code using Logic and Logic Programming. - Jonathan P. Bowen (Code Generation, 1991)

Select Z Bibliography and Frequently Asked Questions. - Jonathan P. Bowen (Z User Workshop, 1991)

Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7. - Jonathan P. Bowen (Microprocess. Microsystems, 1991)

Time interval semantics and implementation of a real-time programming language. - Jifeng He 001; Jonathan P. Bowen (RTS, 1992)

Decompilation is the Efficient Enumeration of Types. - Peter T. Breuer; Jonathan P. Bowen (WSA, 1992)

Comp.specification.z and Z FORUM Frequently Asked Questions. - Jonathan P. Bowen (Z User Workshop, 1992)

X: Why Z? - Jonathan P. Bowen (Comput. Graph. Forum, 1992)

Towards a Provably Correct Hardware Implementation of Occam. - Jifeng He 001; Ian Page; Jonathan P. Bowen (CHARME, 1993)

Developing Correct Systems. - Jonathan P. Bowen; Ernst-Rüdiger Olderog; Martin Fränzle; Anders P. Ravn (RTS, 1993)

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. - Jonathan P. Bowen; Victoria Stavridou (FME, 1993)

A compendium of formal techniques for software maintenance. - Jonathan P. Bowen; Peter T. Breuer; Kevin Lano (Softw. Eng. J., 1993)

Safety-critical systems, formal methods and standards. - Jonathan P. Bowen; Victoria Stavridou (Softw. Eng. J., 1993)

Report on Z user meeting : 7th Annual User Meeting (ZUM'92) Department of Trade and Industry (DTI), London, UK 14-15 December 1992. - Jonathan P. Bowen (Inf. Softw. Technol., 1993)

Formal specifications in software maintenance: from code to Z++ and back again. - Jonathan P. Bowen; Peter T. Breuer; Kevin Lano (Inf. Softw. Technol., 1993)

From programs to object code and back again using logic programming: Compilation and decompilation. - Jonathan P. Bowen (J. Softw. Maintenance Res. Pract., 1993)

Z and HOL. - Jonathan P. Bowen; Michael J. C. Gordon (Z User Workshop, 1994)

Towards Correct Executable Semantics for Z. - Peter T. Breuer; Jonathan P. Bowen (Z User Workshop, 1994)

Specification, Verification and Prototyping of an Optimized Compiler. - Jifeng He 001; Jonathan P. Bowen (Formal Aspects Comput., 1994)

Decompilation: The Enumeration of Types and Grammars. - Peter T. Breuer; Jonathan P. Bowen (ACM Trans. Program. Lang. Syst., 1994)

Select Z Bibliography. - Jonathan P. Bowen (ZUM, 1995)

Ten Commandments of Formal Methods. - Jonathan P. Bowen; Michael G. Hinchey (Computer, 1995)

Glossary of Z notation. - Jonathan P. Bowen (Inf. Softw. Technol., 1995)

A shallow embedding of Z in HOL. - Jonathan P. Bowen; Mike Gordon (Inf. Softw. Technol., 1995)

Editorial. - Jonathan P. Bowen; Mike Hinchey (Inf. Softw. Technol., 1995)

Report on Z user meeting (ZUM '94). - Jonathan P. Bowen; Mike Hinchey (Inf. Softw. Technol., 1995)

Annotated Z bibliography. - Jonathan P. Bowen; Susan Stepney; Rosalind Barden (Inf. Softw. Technol., 1995)

Seven More Myths of Formal Methods. - Jonathan P. Bowen; Michael G. Hinchey (IEEE Softw., 1995)

A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. - Peter T. Breuer; Jonathan P. Bowen (Softw. Pract. Exp., 1995)

An Invitation to Formal Methods. - Jonathan P. Bowen; Ricky W. Butler; David L. Dill; Robert L. Glass; David Gries; Anthony Hall; Michael G. Hinchey; C. Michael Holloway; Daniel Jackson 001; Cliff B. Jones; Michael J. Lutz; David Lorge Parnas; et al. (Computer, 1996)

Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9. - Jonathan P. Bowen (Knowl. Eng. Rev., 1996)

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). - Jonathan P. Bowen (Knowl. Eng. Rev., 1996)

Formal Models and the Specification Process. - Jonathan P. Bowen; Michael G. Hinchey (The Computer Science and Engineering Handbook, 1997)

The use of industrial-strength formal methods. - Jonathan P. Bowen; Michael G. Hinchey (COMPSAC, 1997)

Z on the Web Using Java. - Jonathan P. Bowen; David Chippington (ZUM, 1998)

Reasoning about VHDL and VHDL-AMS using Denotational Semantics. - Peter T. Breuer; Natividad Martínez Madrid; Jonathan P. Bowen; Robert B. France; Maria M. Larrondo-Petrie; Carlos Delgado Kloos (DATE, 1999)

An Animatable Operational Semantics of the Verilog Hardware Description Language. - Jonathan P. Bowen; Jifeng He 001; Qiwen Xu (ICFEM, 2000)

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. - Jonathan P. Bowen (IFM, 2000)

The Ethics of Safety-Critical Systems. - Jonathan P. Bowen (Commun. ACM, 2000)

Deriving Operational Semantics from Denotational Semantics for Verilog. - Huibiao Zhu; Jonathan P. Bowen; Jifeng He 001 (APSEC, 2001)

From Operational Semantics to Denotational Semantics for Verilog. - Huibiao Zhu; Jonathan P. Bowen; Jifeng He 001 (CHARME, 2001)

Formalization of Software Testing Criteria using the Z Notation. - Sergiy A. Vilkomir; Jonathan P. Bowen (COMPSAC, 2001)

Experience teaching Z with tool and web support. - Jonathan P. Bowen (ACM SIGSOFT Softw. Eng. Notes, 2001)

An Approach to the Specification and Verification of a Hardware Compilation Scheme. - Jonathan P. Bowen; Jifeng He 001 (J. Supercomput., 2001)

FORTEST: Formal Methods and Testing. - Jonathan P. Bowen; Kirill Bogdanov 002; John A. Clark; Mark Harman; Robert M. Hierons; Paul J. Krause (COMPSAC, 2002)

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. - Huibiao Zhu; Jonathan P. Bowen; Jifeng He 001 (ICFEM, 2002)

Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. - Sergiy A. Vilkomir; Jonathan P. Bowen (ZB, 2002)

Tolerance of Control-Flow Testing Criteria. - Sergiy A. Vilkomir; Kalpesh Kapoor; Jonathan P. Bowen (COMPSAC, 2003)

Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. - Kalpesh Kapoor; Jonathan P. Bowen (ISESE, 2003)

Disabled Access for Museum Websites. - Jonathan P. Bowen (WWW (Posters), 2003)

Z Logic and its Consequences. - Martin C. Henson; Steve Reeves; Jonathan P. Bowen (Comput. Artif. Intell., 2003)

Web Access to Cultural Heritage for the Disabled - Jonathan P. Bowen (CoRR, 2003)

Ordering Mutants to Minimise Test Effort in Mutation Testing. - Kalpesh Kapoor; Jonathan P. Bowen (FATES, 2004)

An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. - Phan Cong Vinh; Jonathan P. Bowen (FPGA, 2004)

The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector - Alpay Beler; Ann Borda; Jonathan P. Bowen; Silvia Filippini-Fantoni (CoRR, 2004)

Web-based discussion groups at stake: the profile of museum professionals online. - Roxane Bernier; Jonathan P. Bowen (Program, 2004)

Experimental evaluation of the tolerance for control-flow test criteria. - Kalpesh Kapoor; Jonathan P. Bowen (Softw. Test. Verification Reliab., 2004)

Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. - Phan Cong Vinh; Jonathan P. Bowen (ECBS, 2005)

Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. - Jonathan P. Bowen; Michael G. Hinchey (FMICS, 2005)

A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. - Phan Cong Vinh; Jonathan P. Bowen (SEW, 2005)

Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara - Silvia Filippini-Fantoni; Jonathan P. Bowen (CoRR, 2005)

Copyright and Promotion: Oxymoron or Opportunity? - Teresa Numerico; Jonathan P. Bowen (CoRR, 2005)

Continuity aspects of embedded reconfigurable computing. - Phan Cong Vinh; Jonathan P. Bowen (Innov. Syst. Softw. Eng., 2005)

A formal analysis of MCDC and RCDC test criteria. - Kalpesh Kapoor; Jonathan P. Bowen (Softw. Test. Verification Reliab., 2005)

Integrating Probability with Time and Shared-Variable Concurrency. - Huibiao Zhu; Shengchao Qin; Jifeng He 001; Jonathan P. Bowen (SEW, 2006)

Reviews. - Jonathan P. Bowen; Tim Bergin; Christopher H. Sterling (IEEE Ann. Hist. Comput., 2006)

Ten Commandments of Formal Methods ...Ten Years Later. - Jonathan P. Bowen; Michael G. Hinchey (Computer, 2006)

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. - Sergiy A. Vilkomir; Jonathan P. Bowen (Formal Aspects Comput., 2006)

Formalization and assessment of regulatory requirements for safety-critical software. - Sergiy A. Vilkomir; Jonathan P. Bowen; Aditya K. Ghose (Innov. Syst. Softw. Eng., 2006)

Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. - Huibiao Zhu; Jifeng He 001; Jonathan P. Bowen (SEW, 2007)

A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. - Phan Cong Vinh; Jonathan P. Bowen (TASE, 2007)

Test conditions for fault classes in Boolean specifications. - Kalpesh Kapoor; Jonathan P. Bowen (ACM Trans. Softw. Eng. Methodol., 2007)

Software engineering and formal methods. - Mike Hinchey; Michael Jackson 001; Patrick Cousot; Byron Cook; Jonathan P. Bowen; Tiziana Margaria (Commun. ACM, 2008)

From algebraic semantics to denotational semantics for Verilog. - Huibiao Zhu; Jifeng He 001; Jonathan P. Bowen (Innov. Syst. Softw. Eng., 2008)

Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. - Phan Cong Vinh; Jonathan P. Bowen (Trans. Comput. Sci., 2008)

Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. - Jonathan P. Bowen; Michael G. Hinchey (Rigorous Methods for Software Construction and Analysis, 2009)

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. - Huibiao Zhu; Fan Yang; Jifeng He 001; Jonathan P. Bowen; Jeff W. Sanders (SEW, 2009)

Formal Versus Agile: Survival of the Fittest. - Sue Black 001; Paul Boca; Jonathan P. Bowen; Jason Gorman; Mike Hinchey (Computer, 2009)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Communicating the public understanding of science: the Royal Society website. - Jonathan P. Bowen; Ann Borda (Int. J. Technol. Manag., 2009)

PTSC: probability, time and shared-variable concurrency. - Huibiao Zhu; Shengchao Qin; Jifeng He 001; Jonathan P. Bowen (Innov. Syst. Softw. Eng., 2009)

Dulwich OnView: an art museum-based virtual community generated by the local community. - Ingrid Beazley; Jonathan P. Bowen; Alison H. Y. Liu; Sarah McDaid (EVA, 2010)

Linking denotational semantics with operational semantics for web services. - Huibiao Zhu; Jifeng He 001; Jing Li 062; Geguang Pu; Jonathan P. Bowen (Innov. Syst. Softw. Eng., 2010)

Formal Requirements Specification. - Jonathan P. Bowen; Mike Hinchey; Emil Vassev (Encyclopedia of Software Engineering, 2010)

Formal Methods. - Mike Hinchey; Jonathan P. Bowen; Emil Vassev (Encyclopedia of Software Engineering, 2010)

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. - Jonathan P. Bowen; Steve Reeves (FM, 2011)

Creating online collaborative environments for museums: a case study of a museum wiki. - Alison Hsiang-Yi Liu; Jonathan P. Bowen (Int. J. Web Based Communities, 2011)

Algebraic approach to linking the semantics of web services. - Huibiao Zhu; Jifeng He 001; Jing Li 062; Jonathan P. Bowen (Innov. Syst. Softw. Eng., 2011)

Ten Commandments of Formal Methods... Ten Years On. - Jonathan P. Bowen; Mike Hinchey (Conquering Complexity, 2012)

Typed Assembler for a RISC Crypto-Processor. - Peter T. Breuer; Jonathan P. Bowen (ESSoS, 2012)

Usability, design and content issues of mobile apps for cultural heritage promotion: the Malta Culture Guide experience. - Stefania Boiano; Jonathan P. Bowen; Giuliano Gaia (EVA, 2012)

Visualising virtual communities: From Erdős to the arts. - Jonathan P. Bowen; Robin J. Wilson (EVA, 2012)

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. - Huibiao Zhu; Fan Yang; Jifeng He 001; Jonathan P. Bowen; Jeff W. Sanders; Shengchao Qin (J. Log. Algebraic Methods Program., 2012)

A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng. - Jonathan P. Bowen (Theories of Programming and Formal Methods, 2013)

A Fully Homomorphic Crypto-Processor Design. - Peter T. Breuer; Jonathan P. Bowen (ESSoS, 2013)

Electronic Visualisation in Chemistry: from Alchemy to Art. - Karl N. Harrison; Jonathan P. Bowen; Alice M. Bowen (EVA, 2013)

Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. - Peter T. Breuer; Jonathan P. Bowen (SEFM Workshops, 2013)

Online Communities: Visualization and Formalization. - Jonathan P. Bowen (CoRR, 2013)

Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2013)

Editorial. - Jonathan P. Bowen; Michael J. Butler; Steve Reeves; Mike Hinchey (Formal Aspects Comput., 2013)

Formal Methods. - Jonathan P. Bowen; Michael G. Hinchey (Computing Handbook, 3rd ed. (1), 2014)

Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer. - Peter T. Breuer; Jonathan P. Bowen (ESSoS, 2014)

Digitalism: The New Realism? - Jonathan P. Bowen; Tula Giannini (EVA, 2014)

Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen (ISSRE Workshops, 2014)

The Z Notation: Whence the Cause and Whither the Course? - Jonathan P. Bowen (SETSS, 2014)

Empirical Patterns in Google Scholar Citation Counts. - Peter T. Breuer; Jonathan P. Bowen (SOSE, 2014)

Component-based modelling for sustainable and scalable smart meter networks. - Esther Palomar; Zhiming Liu 001; Jonathan P. Bowen; Yan Zhang 002; Sabita Maharjan (WoWMoM, 2014)

Formality, Agility, Security, and Evolution in Software Development. - Jonathan P. Bowen; Mike Hinchey; Helge Janicke; Martin P. Ward; Hussein Zedan (Computer, 2014)

On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2014)

Galois Connections: Mathematics, Art and Archives. - Jonathan P. Bowen; Tula Giannini (EVA, 2015)

Processor Rescue - Safe Coding for Hardware Aliasing. - Peter T. Breuer; Jonathan P. Bowen; Simon Pickin 001 (SoMeT, 2015)

Provably Correct Systems: Community, connections, and citations. - Jonathan P. Bowen (CoRR, 2015)

A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here. - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2015)

A Fully Encrypted Microprocessor The Secret Computer is Nearly Here. - Peter T. Breuer; Jonathan P. Bowen (ANT/SEIT, 2016)

Alan Turing: Virtuosity and visualisation. - Jonathan P. Bowen (EVA, 2016)

From Analogue to Digital in Literature and Art. - Jonathan P. Bowen; Tula Giannini (EVA, 2016)

Curating Digital Life and Culture: Art and information. - Tula Giannini; Jonathan P. Bowen (EVA, 2016)

A Practical Encrypted Microprocessor. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (SECRYPT, 2016)

Alan Turing: Founder of Computer Science. - Jonathan P. Bowen (SETSS, 2016)

On the Security of Practical and Complete Homomorphic Encrypted Computation. - Peter T. Breuer; Jonathan P. Bowen (IACR Cryptol. ePrint Arch., 2016)

Superscalar Encrypted RISC: A Secret Computer in Simulation. - Peter T. Breuer; Jonathan P. Bowen (IACR Cryptol. ePrint Arch., 2016)

Creative visualisation in chemistry. - Jonathan P. Bowen; Alice M. Bowen; Karl N. Harrison (Int. J. Creative Comput., 2016)

Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. - Esther Palomar; Xiaohong Chen 002; Zhiming Liu 001; Sabita Maharjan; Jonathan P. Bowen (Sensors, 2016)

Turing's legacy. - Jonathan P. Bowen; Jack Copeland (The Turing Guide, 2017)

Life and work. - Jack Copeland; Jonathan P. Bowen (The Turing Guide, 2017)

Turing's Monument. - Simon Greenish; Jonathan P. Bowen; Jack Copeland (The Turing Guide, 2017)

Provably Correct Systems: Community, Connections, and Citations. - Jonathan P. Bowen (Provably Correct Systems, 2017)

Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities. - Ann Borda; Jonathan P. Bowen (EVA, 2017)

Life in Code and Digits: When Shannon met Turing. - Jonathan P. Bowen; Tula Giannini (EVA, 2017)

Coded Communication: Digital Senses and Aesthetics, Merging Art and Life. - Jonathan P. Bowen; Tula Giannini; Gareth Polmeer (EVA, 2017)

Encrypted computing: Speed, security and provable obfuscation against insiders. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (ICCST, 2017)

On Obfuscating Compilation for Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (SECRYPT, 2017)

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (EuroS&P Workshops, 2018)

States of Being: Art and identity in digital space and time. - Jonathan P. Bowen; Tula Giannini; Gareth Polmeer; Carla Gannis; Jeremy Gardiner; Jonathan Kearney; Bruce Wands; Jon Weinel (EVA, 2018)

Turing's Genius - Defining an apt microcosm. - Jonathan P. Bowen; Terry Trickett; Jeremy B. A. Green; Andy Lomas (EVA, 2018)

Of Museums and Digital Culture: A landscape view. - Tula Giannini; Jonathan P. Bowen (EVA, 2018)

Digital Futures: Exhibits at EVA London 2018. - Irini Papadimitriou; Jonathan P. Bowen (EVA, 2018)

On Security in Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (ICICS, 2018)

The Impact of Alan Turing: Formal Methods and Beyond. - Jonathan P. Bowen (SETSS, 2018)

Superscalar Encrypted RISC: The Measure of a Secret Computer. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (TrustCom/BigDataSE, 2018)

(Un)Encrypted Computing and Indistinguishability Obfuscation. - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2018)

Egon Börger and Alexander Raschke: Modeling companion for software practitioners - Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1. - Jonathan P. Bowen (Formal Aspects Comput., 2018)

Smart Cities and Digital Culture: Models of Innovation. - Ann Borda; Jonathan P. Bowen (Museums and Digital Culture, 2019)

The Digital Future for Museums. - Jonathan P. Bowen; Tula Giannini (Museums and Digital Culture, 2019)

Digital Culture. - Tula Giannini; Jonathan P. Bowen (Museums and Digital Culture, 2019)

Museums and Digitalism. - Tula Giannini; Jonathan P. Bowen (Museums and Digital Culture, 2019)

Museums, Art, Identity, and the Digital Ecosystem: A Paradigm Shift. - Tula Giannini; Jonathan P. Bowen (Museums and Digital Culture, 2019)

Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Past to Present. - Tula Giannini; Jonathan P. Bowen (Museums and Digital Culture, 2019)

Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Present to Future. - Tula Giannini; Jonathan P. Bowen (Museums and Digital Culture, 2019)

Transforming Education for Museum Professionals in the Digital Age. - Tula Giannini; Jonathan P. Bowen (Museums and Digital Culture, 2019)

Digital Art, Culture and Heritage: New constructs and consciousness. - Jonathan P. Bowen; Tula Giannini; Rachel Ara; Andy Lomas; Judith Siefring (EVA, 2019)

Art and Activism at Museums in a Post-digital World. - Tula Giannini; Jonathan P. Bowen (EVA, 2019)

Safe Compilation for Hidden Deterministic Hardware Aliasing. - Peter T. Breuer; Jonathan P. Bowen (ISSRE Workshops, 2019)

Chaotic Compilation: A (Statistical) Cloak for a Secret Computer. - Peter T. Breuer; Jonathan P. Bowen (ISSRE Workshops, 2019)

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. - Zhiming Liu 001; Jonathan P. Bowen; Bo Liu 033; Shmuel S. Tyszberowicz; Tingting Zhang (SETSS, 2019)

Fully encrypted high-speed microprocessor architecture: the secret computer in simulation. - Peter T. Breuer; Jonathan P. Bowen (Int. J. Crit. Comput. Based Syst., 2019)

Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. - Feng Sheng; Huibiao Zhu; Jifeng He 001; Zongyuan Yang; Jonathan P. Bowen (ACM Trans. Softw. Eng. Methodol., 2019)

Turing's Sunflowers: Public research and the role of museums. - Ann Borda; Jonathan P. Bowen (EVA, 2020)

A Personal View of EVA London: Past, Present, Future. - Jonathan P. Bowen (EVA, 2020)

Computational Culture and AI: Challenging human identity and curatorial practice. - Jonathan P. Bowen; Tula Giannini; Gareth Polmeer; Rachel Falconer; Arthur I. Miller; Stuart Dunn (EVA, 2020)

Museum Websites of the First Wave: The rise of the virtual museum. - Giuliano Gaia; Stefania Boiano; Jonathan P. Bowen; Ann Borda (EVA, 2020)

Computing the Future: Digital encounters in art and science when da Vinci meets Turing. - Tula Giannini; Jonathan P. Bowen (EVA, 2020)

Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. - Jonathan P. Bowen (Formal Aspects Comput., 2020)

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. - Feng Sheng; Huibiao Zhu; Jifeng He 001; Zongyuan Yang; Jonathan P. Bowen (Formal Aspects Comput., 2020)

Communities and Ancestors Associated with Egon Börger and ASM. - Jonathan P. Bowen (Logic, Computation and Rigorous Methods, 2021)

The Rise of Digital Citizenship and the Participatory Museum. - Ann Borda; Jonathan P. Bowen (EVA, 2021)

EVA London 2021: Keynote summaries. - Jonathan P. Bowen; Camille Baker; Ghislaine Boddington; Ernest A. Edmonds; Merel van Helsdingen; Terrence Masson (EVA, 2021)

Digitality: A reality check. - Jonathan P. Bowen; Tula Giannini (EVA, 2021)

Beyond Human: Arts and identity between reality and virtuality in a post-Covid-19 world. - Jonathan P. Bowen; Tula Giannini; Rachel Falconer; Michael Takeo Magruder; Emanuele Marconi (EVA, 2021)

The Weiguan Culture Phenomenon in Chinese Online Activism. - Bao Han; Jonathan P. Bowen (EVA, 2021)

Formal Methods Communities of Practice: A Survey of Personal Experience. - Jonathan P. Bowen; Peter T. Breuer (SEFM Workshops, 2021)

Vignettes of Computer-based Museum Interactive and Games Software through the Years. - Stefania Boiano; Ann Borda; Jonathan P. Bowen; Giuliano Gaia; Tula Giannini (EVA, 2022)

The Chengdu Biennale and Wikipedia Art Information. - Jonathan P. Bowen; Huan Fan 001 (EVA, 2022)

More than Human: Merging real and virtual states of being from arts and culture to wellness in a post-Covid world. - Tula Giannini; Jonathan P. Bowen (EVA, 2022)

Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse. - Tula Giannini; Jonathan P. Bowen; Chris Michaels; Carl Hayden Smith (EVA, 2022)

Female Self-presentation through Online Dating Applications. - Jing Li 110; Jonathan P. Bowen (EVA, 2022)

Computational Culture: Transforming Archives Practice and Education for a Post-Covid World. - Tula Giannini; Jonathan P. Bowen (ACM Journal on Computing and Cultural Heritage, 2022)

Jifeng He at Oxford and Beyond: An Appreciation. - Jonathan P. Bowen; Huibiao Zhu (Theories of Programming and Formal Methods, 2023)

An Overview of New Media Art Exhibitions in China (2017-2022). - Huan Fan 001; Jonathan P. Bowen (EVA, 2023)

Recent Progress with the Computer Arts Archive. - Jonathan P. Bowen; Sean M. Clark (EVA, 2023)

The Arts and Computational Culture: A landscape view. - Jonathan P. Bowen; Tula Giannini (EVA, 2023)

The Digital Lens. - Jonathan P. Bowen; Tula Giannini; Terrence Masson; Giuliano Gaia; Graham Diprose (EVA, 2023)

Generative Art and Computational Imagination: Integrating poetry and art world. - Tula Giannini; Jonathan P. Bowen (EVA, 2023)

The Public Sphere and Weibo Microblogging Social Media Platforms in China. - Bao Han; Jonathan P. Bowen (EVA, 2023)

Alan Turing: Breaking the Code, Computing, and Machine Intelligence. - Jonathan P. Bowen (The Arts and Computational Culture, 2024)

The Metaverse and Expo 2020: VR. AR, MR, and XR. - Jonathan P. Bowen (The Arts and Computational Culture, 2024)

Conservation of Digital Arts Heritage: The Computer Arts Archive. - Jonathan P. Bowen; Sean M. Clark (The Arts and Computational Culture, 2024)

Leonardo da Vinci, Renaissance Icon of Art and Science: Being Human and Beyond. - Tula Giannini; Jonathan P. Bowen (The Arts and Computational Culture, 2024)

The Digital Road to the Age of AI: 1950s to the Present. - Tula Giannini; Jonathan P. Bowen (The Arts and Computational Culture, 2024)

Arts in the Public Square: Real and Virtual Space. - Tula Giannini; Jonathan P. Bowen (The Arts and Computational Culture, 2024)

Cultural Conflict and Heritage: Global Human Interaction. - Tula Giannini; Jonathan P. Bowen (The Arts and Computational Culture, 2024)

Arts Research in a Computational Framework. - Tula Giannini; Jonathan P. Bowen (The Arts and Computational Culture, 2024)

The Future of Arts in a Computational Culture. - Tula Giannini; Jonathan P. Bowen (The Arts and Computational Culture, 2024)

Ruskin, Millais, and the Aclands: The colourful story of a painting, from oils to pixels. - Jonathan P. Bowen (EVA, 2024)

Turing, Warhol, and Monroe: Development of The Turing Guide cover. - Jonathan P. Bowen; B. Jack Copeland (EVA, 2024)

Computation, AI, and Creativity. - Jonathan P. Bowen; Tula Giannini; Ann Borda; Catherine Mason (EVA, 2024)

Indoor Tourist and Digital Scenery: Rethinking the Chengdu Immersive Art Gallery. - Shupeng Chen; Huan Fan 001; Jonathan P. Bowen (EVA, 2024)

From Logic to Programming. - Zhiming Liu 001; Jim Woodcock 001; Jonathan P. Bowen (SETSS, 2024)

Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style. - Lili Xiao; Huibiao Zhu; Jonathan P. Bowen; Sini Chen (The Practice of Formal Methods (II), 2024)

New Circumstances for Artificial Intelligence Art in Southwest China. - Huan Fan 001; Jonathan P. Bowen (EVA, 2025)

Views on Enhancing Engagement in Digital Culture via Global Digital Citizenship. - Ann Borda; Jonathan P. Bowen (EVA, 2025)

Then and Now: From digital art to generative AI. - Jonathan P. Bowen; Tula Giannini; Melanie Lenz; Valentina Ravaglia; Jeremy Gardiner (EVA, 2025)

From Imagination to Hallucination: Yoko Ono and the age of AI. - Jonathan P. Bowen; Tula Giannini; Sarah T. Selby (EVA, 2025)

Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL. - Hongyan Zhao; Huibiao Zhu; Feng Sheng; Jifeng He 001; Jonathan P. Bowen (Formal Aspects Comput., 2025)