Jonathan P. Bowen

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 63

Top Venues

EVA

CoRR

SETSS

Formal Aspects Comput.

Publications

Jonathan P. Bowen, B. Jack Copeland
cover. EVA (2024)
Jonathan P. Bowen
Ruskin, Millais, and the Aclands: The colourful story of a painting, from oils to pixels. EVA (2024)
Shupeng Chen, Huan Fan, Jonathan P. Bowen
Indoor Tourist and Digital Scenery: Rethinking the Chengdu Immersive Art Gallery. EVA (2024)
Jonathan P. Bowen, Tula Giannini, Ann Borda, Catherine Mason
Computation, AI, and Creativity. EVA (2024)
Jonathan P. Bowen, Tula Giannini, Terrence Masson, Giuliano Gaia, Graham Diprose
The Digital Lens. EVA (2023)
Jonathan P. Bowen, Huibiao Zhu
Jifeng He at Oxford and Beyond: An Appreciation. Theories of Programming and Formal Methods (2023)
Tula Giannini, Jonathan P. Bowen
Generative Art and Computational Imagination: Integrating poetry and art world. EVA (2023)
Huan Fan, Jonathan P. Bowen
An Overview of New Media Art Exhibitions in China (2017-2022). EVA (2023)
Jonathan P. Bowen, Sean Clark
Recent Progress with the Computer Arts Archive. EVA (2023)
Bao Han, Jonathan P. Bowen
The Public Sphere and Weibo Microblogging Social Media Platforms in China. EVA (2023)
Jonathan P. Bowen, Tula Giannini
The Arts and Computational Culture: A landscape view. EVA (2023)
Tula Giannini, Jonathan P. Bowen
More than Human: Merging real and virtual states of being from arts and culture to wellness in a post-Covid world. EVA (2022)
Tula Giannini, Jonathan P. Bowen, Chris Michaels, Carl Hayden Smith
Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse. EVA (2022)
Jonathan P. Bowen, Huan Fan
The Chengdu Biennale and Wikipedia Art Information. EVA (2022)
Stefania Boiano, Ann Borda, Jonathan P. Bowen, Giuliano Gaia, Tula Giannini
Vignettes of Computer-based Museum Interactive and Games Software through the Years. EVA (2022)
Jing Li, Jonathan P. Bowen
Female Self-presentation through Online Dating Applications. EVA (2022)
Tula Giannini, Jonathan P. Bowen
Computational Culture: Transforming Archives Practice and Education for a Post-Covid World. ACM Journal on Computing and Cultural Heritage 15 (3) (2022)
Jonathan P. Bowen, Tula Giannini, Rachel Falconer, Michael Takeo Magruder, Emanuele Marconi
Beyond Human: Arts and identity between reality and virtuality in a post-Covid-19 world. EVA (2021)
Ann Borda, Jonathan P. Bowen
The Rise of Digital Citizenship and the Participatory Museum. EVA (2021)
Jonathan P. Bowen
Communities and Ancestors Associated with Egon Börger and ASM. Logic, Computation and Rigorous Methods (2021)
Bao Han, Jonathan P. Bowen
The Weiguan Culture Phenomenon in Chinese Online Activism. EVA (2021)
Jonathan P. Bowen, Tula Giannini
Digitality: A reality check. EVA (2021)
Jonathan P. Bowen, Camille Baker, Ghislaine Boddington, Ernest A. Edmonds, Merel van Helsdingen, Terrence Masson
EVA London 2021: Keynote summaries. EVA (2021)
Jonathan P. Bowen, Peter T. Breuer
Formal Methods Communities of Practice: A Survey of Personal Experience. SEFM Workshops (2021)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. 32 (2-3) (2020)
Ann Borda, Jonathan P. Bowen
Turing's Sunflowers: Public research and the role of museums. EVA (2020)
Tula Giannini, Jonathan P. Bowen
Computing the Future: Digital encounters in art and science when da Vinci meets Turing. EVA (2020)
Giuliano Gaia, Stefania Boiano, Jonathan P. Bowen, Ann Borda
Museum Websites of the First Wave: The rise of the virtual museum. EVA (2020)
Jonathan P. Bowen
Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Formal Aspects Comput. 32 (1) (2020)
Jonathan P. Bowen
A Personal View of EVA London: Past, Present, Future. EVA (2020)
Jonathan P. Bowen, Tula Giannini, Gareth Polmeer, Rachel Falconer, Arthur I. Miller, Stuart Dunn
Computational Culture and AI: Challenging human identity and curatorial practice. EVA (2020)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Peter T. Breuer, Jonathan P. Bowen
Chaotic Compilation: A (Statistical) Cloak for a Secret Computer. ISSRE Workshops (2019)
Peter T. Breuer, Jonathan P. Bowen
Fully encrypted high-speed microprocessor architecture: the secret computer in simulation. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS (2019)
Peter T. Breuer, Jonathan P. Bowen
Safe Compilation for Hidden Deterministic Hardware Aliasing. ISSRE Workshops (2019)
Tula Giannini, Jonathan P. Bowen
Art and Activism at Museums in a Post-digital World. EVA (2019)
Jonathan P. Bowen, Tula Giannini, Rachel Ara, Andy Lomas, Judith Siefring
Digital Art, Culture and Heritage: New constructs and consciousness. EVA (2019)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
On Security in Encrypted Computing. ICICS (2018)
Jonathan P. Bowen, Terry Trickett, Jeremy B. A. Green, Andy Lomas
Turing's Genius - Defining an apt microcosm. EVA (2018)
Jonathan P. Bowen
The Impact of Alan Turing: Formal Methods and Beyond. SETSS (2018)
Jonathan P. Bowen
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. Formal Aspects Comput. 30 (6) (2018)
Tula Giannini, Jonathan P. Bowen
Of Museums and Digital Culture: A landscape view. EVA (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. EuroS&P Workshops (2018)
Jonathan P. Bowen, Tula Giannini, Gareth Polmeer, Carla Gannis, Jeremy Gardiner, Jonathan Kearney, Bruce Wands, Jon Weinel
States of Being: Art and identity in digital space and time. EVA (2018)
Peter T. Breuer, Jonathan P. Bowen
(Un)Encrypted Computing and Indistinguishability Obfuscation. CoRR (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE (2018)
Irini Papadimitriou, Jonathan P. Bowen
Digital Futures: Exhibits at EVA London 2018. EVA (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST (2017)
Jonathan P. Bowen, Tula Giannini
Life in Code and Digits: When Shannon met Turing. EVA (2017)
Jonathan P. Bowen, Tula Giannini, Gareth Polmeer
Coded Communication: Digital Senses and Aesthetics, Merging Art and Life. EVA (2017)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
On Obfuscating Compilation for Encrypted Computing. SECRYPT (2017)
Ann Borda, Jonathan P. Bowen
Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities. EVA (2017)
Jonathan P. Bowen, Tula Giannini
From Analogue to Digital in Literature and Art. EVA (2016)
Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. Sensors 16 (11) (2016)
Jonathan P. Bowen
Alan Turing: Virtuosity and visualisation. EVA (2016)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
A Practical Encrypted Microprocessor. SECRYPT (2016)
Peter T. Breuer, Jonathan P. Bowen
On the Security of Practical and Complete Homomorphic Encrypted Computation. IACR Cryptol. ePrint Arch. 2016 (2016)
Peter T. Breuer, Jonathan P. Bowen
Superscalar Encrypted RISC: A Secret Computer in Simulation. IACR Cryptol. ePrint Arch. 2016 (2016)
Jonathan P. Bowen, Alice M. Bowen, Karl N. Harrison
Creative visualisation in chemistry. Int. J. Creative Comput. 1 (2/3/4) (2016)
Tula Giannini, Jonathan P. Bowen
Curating Digital Life and Culture: Art and information. EVA (2016)
Jonathan P. Bowen
Alan Turing: Founder of Computer Science. SETSS (2016)
Peter T. Breuer, Jonathan P. Bowen
A Fully Encrypted Microprocessor The Secret Computer is Nearly Here. ANT/SEIT (2016)
Jonathan P. Bowen, Tula Giannini
Galois Connections: Mathematics, Art and Archives. EVA (2015)
Peter T. Breuer, Jonathan P. Bowen
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here. CoRR (2015)
Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
Processor Rescue - Safe Coding for Hardware Aliasing. SoMeT (2015)
Jonathan P. Bowen
Provably Correct Systems: Community, connections, and citations. CoRR (2015)
Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan
Component-based modelling for sustainable and scalable smart meter networks. WoWMoM (2014)
Jonathan P. Bowen
The Z Notation: Whence the Cause and Whither the Course? SETSS (2014)
Peter T. Breuer, Jonathan P. Bowen
Empirical Patterns in Google Scholar Citation Counts. SOSE (2014)
Peter T. Breuer, Jonathan P. Bowen
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? CoRR (2014)
Peter T. Breuer, Jonathan P. Bowen
Empirical Patterns in Google Scholar Citation Counts. CoRR (2014)
Jonathan P. Bowen, Tula Giannini
Digitalism: The New Realism? EVA (2014)
Peter T. Breuer, Jonathan P. Bowen
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. ISSRE Workshops (2014)
Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan
Formality, Agility, Security, and Evolution in Software Development. Computer 47 (10) (2014)
Peter T. Breuer, Jonathan P. Bowen
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer. ESSoS (2014)
Karl N. Harrison, Jonathan P. Bowen, Alice M. Bowen
Electronic Visualisation in Chemistry: From Alchemy to Art. CoRR (2013)
Peter T. Breuer, Jonathan P. Bowen
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. SEFM Workshops (2013)
Peter T. Breuer, Jonathan P. Bowen
A Fully Homomorphic Crypto-Processor Design. ESSoS (2013)
Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey
Editorial. Formal Aspects Comput. 25 (3) (2013)
Karl N. Harrison, Jonathan P. Bowen, Alice M. Bowen
Electronic Visualisation in Chemistry: from Alchemy to Art. EVA (2013)
Peter T. Breuer, Jonathan P. Bowen
Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing CoRR (2013)
Jonathan P. Bowen
Online Communities: Visualization and Formalization. CoRR (2013)
Jonathan P. Bowen
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng. Theories of Programming and Formal Methods (2013)
Peter T. Breuer, Jonathan P. Bowen
Typed Assembler for a RISC Crypto-Processor. ESSoS (2012)
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. 81 (1) (2012)
Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia
Usability, design and content issues of mobile apps for cultural heritage promotion: the Malta Culture Guide experience. EVA (2012)
Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia
Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience CoRR (2012)
Jonathan P. Bowen, Robin J. Wilson
Visualising virtual communities: From Erdős to the arts. EVA (2012)
Jonathan P. Bowen, Robin J. Wilson
Visualising Virtual Communities: From Erdős to the Arts CoRR (2012)
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
Algebraic approach to linking the semantics of web services. Innov. Syst. Softw. Eng. 7 (3) (2011)
Jonathan P. Bowen, Steve Reeves
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. FM (2011)
Alison Hsiang-Yi Liu, Jonathan P. Bowen
Creating online collaborative environments for museums: a case study of a museum wiki. Int. J. Web Based Communities 7 (4) (2011)
Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
Linking denotational semantics with operational semantics for web services. Innov. Syst. Softw. Eng. 6 (4) (2010)
Ingrid Beazley, Jonathan P. Bowen, Alison H. Y. Liu, Sarah McDaid
Dulwich OnView: an art museum-based virtual community generated by the local community. EVA (2010)
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. 5 (4) (2009)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Jonathan P. Bowen, Ann Borda
Communicating the public understanding of science: the Royal Society website. Int. J. Technol. Manag. 46 (1/2) (2009)
Jonathan P. Bowen, Michael G. Hinchey
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. Rigorous Methods for Software Construction and Analysis (2009)
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW (2009)

Jonathan P. Bowen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jonathan P. Bowen