Jonathan P. Bowen

280 papers A 2B 8C 15Misc 1Journal 86Unranked 102
YearRankTypeTitle / Venue / Authors
2025 — ed.
Electronic Visualisation and the Arts, EVA 2025, London, UK, July 7-11, 2025
EVA
Jon Weinel, Jonathan P. Bowen, Anna Shvets, Graham Diprose
2025 — ed.
Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
SETSS
Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
2025 — conf
From Imagination to Hallucination: Yoko Ono and the age of AI.
EVA
Jonathan P. Bowen, Tula Giannini, Sarah T. Selby
2025 — conf
New Circumstances for Artificial Intelligence Art in Southwest China.
EVA
Huan Fan, Jonathan P. Bowen
2025 — conf
Then and Now: From digital art to generative AI.
EVA
Jonathan P. Bowen, Tula Giannini, Melanie Lenz, Valentina Ravaglia, Jeremy Gardiner
2025 J jnl
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL.
Formal Aspects Comput.
Hongyan Zhao, Huibiao Zhu, Feng Sheng, Jifeng He, Jonathan P. Bowen
2025 — conf
Views on Enhancing Engagement in Digital Culture via Global Digital Citizenship.
EVA
Ann Borda, Jonathan P. Bowen
2024 — ch.
Alan Turing: Breaking the Code, Computing, and Machine Intelligence.
The Arts and Computational Culture
Jonathan P. Bowen
2024 — ch.
Arts Research in a Computational Framework.
The Arts and Computational Culture
Tula Giannini, Jonathan P. Bowen
2024 — ch.
Arts in the Public Square: Real and Virtual Space.
The Arts and Computational Culture
Tula Giannini, Jonathan P. Bowen
2024 — conf
Computation, AI, and Creativity.
EVA
Jonathan P. Bowen, Tula Giannini, Ann Borda, Catherine Mason
2024 — ch.
Conservation of Digital Arts Heritage: The Computer Arts Archive.
The Arts and Computational Culture
Jonathan P. Bowen, Sean M. Clark
2024 — ch.
Cultural Conflict and Heritage: Global Human Interaction.
The Arts and Computational Culture
Tula Giannini, Jonathan P. Bowen
2024 — ed.
Electronic Visualisation and the Arts, EVA 2024, London, UK, July 8-12, 2024
EVA
Jonathan P. Bowen, Jon Weinel, Ann Borda, Graham Diprose
2024 — conf
From Logic to Programming.
SETSS
Zhiming Liu, Jim Woodcock, Jonathan P. Bowen
2024 — conf
Indoor Tourist and Digital Scenery: Rethinking the Chengdu Immersive Art Gallery.
EVA
Shupeng Chen, Huan Fan, Jonathan P. Bowen
2024 — ch.
Leonardo da Vinci, Renaissance Icon of Art and Science: Being Human and Beyond.
The Arts and Computational Culture
Tula Giannini, Jonathan P. Bowen
2024 — ch.
Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style.
The Practice of Formal Methods (II)
Lili Xiao, Huibiao Zhu, Jonathan P. Bowen, Sini Chen
2024 — conf
Ruskin, Millais, and the Aclands: The colourful story of a painting, from oils to pixels.
EVA
Jonathan P. Bowen
2024 — book
The Arts and Computational Culture: Real and Virtual Worlds
The Arts and Computational Culture
Tula Giannini, Jonathan P. Bowen
2024 — ch.
The Digital Road to the Age of AI: 1950s to the Present.
The Arts and Computational Culture
Tula Giannini, Jonathan P. Bowen
2024 — ch.
The Future of Arts in a Computational Culture.
The Arts and Computational Culture
Tula Giannini, Jonathan P. Bowen
2024 — ch.
The Metaverse and Expo 2020: VR. AR, MR, and XR.
The Arts and Computational Culture
Jonathan P. Bowen
2024 — conf
Turing, Warhol, and Monroe: Development of
EVA
Jonathan P. Bowen, B. Jack Copeland
2023 — conf
An Overview of New Media Art Exhibitions in China (2017-2022).
EVA
Huan Fan, Jonathan P. Bowen
2023 — ed.
Electronic Visualisation and the Arts, EVA 2023, London, UK, July 10-14, 2023
EVA
Jonathan P. Bowen, Jon Weinel, Graham Diprose
2023 — conf
Generative Art and Computational Imagination: Integrating poetry and art world.
EVA
Tula Giannini, Jonathan P. Bowen
2023 — conf
Jifeng He at Oxford and Beyond: An Appreciation.
Theories of Programming and Formal Methods
Jonathan P. Bowen, Huibiao Zhu
2023 — conf
Recent Progress with the Computer Arts Archive.
EVA
Jonathan P. Bowen, Sean M. Clark
2023 — conf
The Arts and Computational Culture: A landscape view.
EVA
Jonathan P. Bowen, Tula Giannini
2023 — conf
The Digital Lens.
EVA
Jonathan P. Bowen, Tula Giannini, Terrence Masson, Giuliano Gaia, Graham Diprose
2023 — conf
The Public Sphere and Weibo Microblogging Social Media Platforms in China.
EVA
Bao Han, Jonathan P. Bowen
2023 — ed.
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Theories of Programming and Formal Methods
Jonathan P. Bowen, Qin Li, Qiwen Xu
2022 J jnl
Computational Culture: Transforming Archives Practice and Education for a Post-Covid World.
ACM Journal on Computing and Cultural Heritage
Tula Giannini, Jonathan P. Bowen
2022 — ed.
Electronic Visualisation and the Arts, EVA 2022, London, UK, July 4-8, 2022
EVA
Jonathan P. Bowen, Jon Weinel, Ann Borda, Graham Diprose
2022 — conf
Female Self-presentation through Online Dating Applications.
EVA
Jing Li, Jonathan P. Bowen
2022 — conf
More than Human: Merging real and virtual states of being from arts and culture to wellness in a post-Covid world.
EVA
Tula Giannini, Jonathan P. Bowen
2022 — conf
Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse.
EVA
Tula Giannini, Jonathan P. Bowen, Chris Michaels, Carl Hayden Smith
2022 — conf
The Chengdu Biennale and Wikipedia Art Information.
EVA
Jonathan P. Bowen, Huan Fan
2022 — conf
Vignettes of Computer-based Museum Interactive and Games Software through the Years.
EVA
Stefania Boiano, Ann Borda, Jonathan P. Bowen, Giuliano Gaia, Tula Giannini
2021 — conf
Beyond Human: Arts and identity between reality and virtuality in a post-Covid-19 world.
EVA
Jonathan P. Bowen, Tula Giannini, Rachel Falconer, Michael Takeo Magruder, Emanuele Marconi
2021 — conf
Communities and Ancestors Associated with Egon Börger and ASM.
Logic, Computation and Rigorous Methods
Jonathan P. Bowen
2021 — conf
Digitality: A reality check.
EVA
Jonathan P. Bowen, Tula Giannini
2021 — conf
EVA London 2021: Keynote summaries.
EVA
Jonathan P. Bowen, Camille Baker, Ghislaine Boddington, Ernest A. Edmonds, Merel van Helsdingen, Terrence Masson
2021 — ed.
Electronic Visualisation and the Arts, EVA 2021, London, UK, July 5-9, 2021
EVA
Jon Weinel, Jonathan P. Bowen, Ann Borda, Graham Diprose
2021 — conf
Formal Methods Communities of Practice: A Survey of Personal Experience.
SEFM Workshops
Jonathan P. Bowen, Peter T. Breuer
2021 — conf
The Rise of Digital Citizenship and the Participatory Museum.
EVA
Ann Borda, Jonathan P. Bowen
2021 — conf
The Weiguan Culture Phenomenon in Chinese Online Activism.
EVA
Bao Han, Jonathan P. Bowen
2020 — conf
A Personal View of EVA London: Past, Present, Future.
EVA
Jonathan P. Bowen
2020 — conf
Computational Culture and AI: Challenging human identity and curatorial practice.
EVA
Jonathan P. Bowen, Tula Giannini, Gareth Polmeer, Rachel Falconer, Arthur I. Miller, Stuart Dunn
2020 — conf
Computing the Future: Digital encounters in art and science when da Vinci meets Turing.
EVA
Tula Giannini, Jonathan P. Bowen
2020 — ed.
Electronic Visualisation and the Arts, EVA 2020, London, UK, July 6-9, 2020
EVA
Jon Weinel, Jonathan P. Bowen, Graham Diprose, Nick Lambert
2020 — ed.
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
SETSS
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2020 J jnl
Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications.
Formal Aspects Comput.
Jonathan P. Bowen
2020 — conf
Museum Websites of the First Wave: The rise of the virtual museum.
EVA
Giuliano Gaia, Stefania Boiano, Jonathan P. Bowen, Ann Borda
2020 J jnl
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.
Formal Aspects Comput.
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2020 — conf
Turing's Sunflowers: Public research and the role of museums.
EVA
Ann Borda, Jonathan P. Bowen
2019 — conf
Art and Activism at Museums in a Post-digital World.
EVA
Tula Giannini, Jonathan P. Bowen
2019 — conf
Chaotic Compilation: A (Statistical) Cloak for a Secret Computer.
ISSRE Workshops
Peter T. Breuer, Jonathan P. Bowen
2019 — conf
Digital Art, Culture and Heritage: New constructs and consciousness.
EVA
Jonathan P. Bowen, Tula Giannini, Rachel Ara, Andy Lomas, Judith Siefring
2019 — ch.
Digital Culture.
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
2019 — ed.
Electronic Visualisation and the Arts, EVA 2019, London, UK, July 8-11, 2019
EVA
Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel
2019 — ed.
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
SETSS
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2019 J jnl
Fully encrypted high-speed microprocessor architecture: the secret computer in simulation.
Int. J. Crit. Comput. Based Syst.
Peter T. Breuer, Jonathan P. Bowen
2019 — book
Museums and Digital Culture, New Perspectives and Research.
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
2019 — ch.
Museums and Digitalism.
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
2019 — ch.
Museums, Art, Identity, and the Digital Ecosystem: A Paradigm Shift.
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
2019 — ch.
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Past to Present.
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
2019 — ch.
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Present to Future.
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
2019 — conf
Safe Compilation for Hidden Deterministic Hardware Aliasing.
ISSRE Workshops
Peter T. Breuer, Jonathan P. Bowen
2019 — ch.
Smart Cities and Digital Culture: Models of Innovation.
Museums and Digital Culture
Ann Borda, Jonathan P. Bowen
2019 — conf
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
SETSS
Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang
2019 — ch.
The Digital Future for Museums.
Museums and Digital Culture
Jonathan P. Bowen, Tula Giannini
2019 J jnl
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.
ACM Trans. Softw. Eng. Methodol.
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2019 — ch.
Transforming Education for Museum Professionals in the Digital Age.
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
2018 J jnl
(Un)Encrypted Computing and Indistinguishability Obfuscation.
CoRR
Peter T. Breuer, Jonathan P. Bowen
2018 — conf
Digital Futures: Exhibits at EVA London 2018.
EVA
Irini Papadimitriou, Jonathan P. Bowen
2018 J jnl
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.
Jonathan P. Bowen
2018 — ed.
Electronic Visualisation and the Arts, EVA 2018, London, UK, July 9-13, 2018
EVA
Jonathan P. Bowen, Jonathan Weinel, Graham Diprose, Nick Lambert
2018 — ed.
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
SETSS
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2018 — conf
Of Museums and Digital Culture: A landscape view.
EVA
Tula Giannini, Jonathan P. Bowen
2018 C conf
On Security in Encrypted Computing.
ICICS
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2018 — conf
States of Being: Art and identity in digital space and time.
EVA
Jonathan P. Bowen, Tula Giannini, Gareth Polmeer, Carla Gannis, Jeremy Gardiner, Jonathan Kearney, Bruce Wands, Jon Weinel
2018 — conf
Superscalar Encrypted RISC: The Measure of a Secret Computer.
TrustCom/BigDataSE
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2018 — conf
The Impact of Alan Turing: Formal Methods and Beyond.
SETSS
Jonathan P. Bowen
2018 — conf
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing.
EuroS&P Workshops
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2018 — conf
Turing's Genius - Defining an apt microcosm.
EVA
Jonathan P. Bowen, Terry Trickett, Jeremy B. A. Green, Andy Lomas
2017 — conf
Coded Communication: Digital Senses and Aesthetics, Merging Art and Life.
EVA
Jonathan P. Bowen, Tula Giannini, Gareth Polmeer
2017 — ed.
Electronic Visualisation and the Arts, EVA 2017, London, UK, July 11-13, 2017
EVA
Jonathan P. Bowen, Graham Diprose, Nick Lambert
2017 — conf
Encrypted computing: Speed, security and provable obfuscation against insiders.
ICCST
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2017 — ed.
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
SETSS
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2017 — ch.
Life and work.
The Turing Guide
Jack Copeland, Jonathan P. Bowen
2017 — conf
Life in Code and Digits: When Shannon met Turing.
EVA
Jonathan P. Bowen, Tula Giannini
2017 C conf
On Obfuscating Compilation for Encrypted Computing.
SECRYPT
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2017 — book
Provably Correct Systems
Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
2017 — ch.
Provably Correct Systems: Community, Connections, and Citations.
Provably Correct Systems
Jonathan P. Bowen
2017 — conf
Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities.
EVA
Ann Borda, Jonathan P. Bowen
2017 — book
The Turing Guide.
Jack Copeland, Jonathan P. Bowen, Mark D. Sprevak, Robin Wilson
2017 — ch.
Turing's Monument.
The Turing Guide
Simon Greenish, Jonathan P. Bowen, Jack Copeland
2017 — ch.
Turing's legacy.
The Turing Guide
Jonathan P. Bowen, Jack Copeland
2017 — ed.
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
UTP
Jonathan P. Bowen, Huibiao Zhu
2016 — conf
A Fully Encrypted Microprocessor The Secret Computer is Nearly Here.
ANT/SEIT
Peter T. Breuer, Jonathan P. Bowen
2016 C conf
A Practical Encrypted Microprocessor.
SECRYPT
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2016 — conf
Alan Turing: Founder of Computer Science.
SETSS
Jonathan P. Bowen
2016 — conf
Alan Turing: Virtuosity and visualisation.
EVA
Jonathan P. Bowen
2016 J jnl
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems.
Sensors
Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen
2016 J jnl
Creative visualisation in chemistry.
Int. J. Creative Comput.
Jonathan P. Bowen, Alice M. Bowen, Karl N. Harrison
2016 — conf
Curating Digital Life and Culture: Art and information.
EVA
Tula Giannini, Jonathan P. Bowen
2016 — ed.
Electronic Visualisation and the Arts, EVA 2016, London, UK, 12-14 July 2016
EVA
Jonathan P. Bowen, Graham Diprose, Nick Lambert
2016 — conf
From Analogue to Digital in Literature and Art.
EVA
Jonathan P. Bowen, Tula Giannini
2016 J jnl
On the Security of Practical and Complete Homomorphic Encrypted Computation.
IACR Cryptol. ePrint Arch.
Peter T. Breuer, Jonathan P. Bowen
2016 J jnl
Superscalar Encrypted RISC: A Secret Computer in Simulation.
IACR Cryptol. ePrint Arch.
Peter T. Breuer, Jonathan P. Bowen
2015 J jnl
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here.
CoRR
Peter T. Breuer, Jonathan P. Bowen
2015 — ed.
Electronic Visualisation and the Arts, EVA 2015, London, UK, 7-9 July 2015
EVA
Kia Ng, Jonathan P. Bowen, Nick Lambert
2015 — conf
Galois Connections: Mathematics, Art and Archives.
EVA
Jonathan P. Bowen, Tula Giannini
2015 C conf
Processor Rescue - Safe Coding for Hardware Aliasing.
SoMeT
Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
2015 J jnl
Provably Correct Systems: Community, connections, and citations.
CoRR
Jonathan P. Bowen
2014 — conf
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing.
ISSRE Workshops
Peter T. Breuer, Jonathan P. Bowen
2014 C conf
Component-based modelling for sustainable and scalable smart meter networks.
WoWMoM
Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan
2014 — conf
Digitalism: The New Realism?
EVA
Jonathan P. Bowen, Tula Giannini
2014 — ed.
Electronic Visualisation and the Arts, EVA 2014, London, UK, 8-10 July 2014
EVA
Kia Ng, Jonathan P. Bowen, Sarah McDaid
2014 — conf
Empirical Patterns in Google Scholar Citation Counts.
SOSE
Peter T. Breuer, Jonathan P. Bowen
2014 J jnl
Empirical Patterns in Google Scholar Citation Counts.
CoRR
Peter T. Breuer, Jonathan P. Bowen
2014 — ch.
Formal Methods.
Computing Handbook, 3rd ed. (1)
Jonathan P. Bowen, Michael G. Hinchey
2014 J jnl
Formality, Agility, Security, and Evolution in Software Development.
Computer
Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan
2014 — conf
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer.
ESSoS
Peter T. Breuer, Jonathan P. Bowen
2014 J jnl
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?
CoRR
Peter T. Breuer, Jonathan P. Bowen
2014 — conf
The Z Notation: Whence the Cause and Whither the Course?
SETSS
Jonathan P. Bowen
2013 — conf
A Fully Homomorphic Crypto-Processor Design.
ESSoS
Peter T. Breuer, Jonathan P. Bowen
2013 — conf
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng.
Theories of Programming and Formal Methods
Jonathan P. Bowen
2013 — conf
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.
SEFM Workshops
Peter T. Breuer, Jonathan P. Bowen
2013 J jnl
Editorial.
Formal Aspects Comput.
Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey
2013 — ed.
Electronic Visualisation and the Arts, EVA 2013, London, UK, 29-31 July 2013
EVA
Kia Ng, Jonathan P. Bowen, Sarah McDaid
2013 — book
Electronic Visualisation in Arts and Culture
Jonathan P. Bowen, Suzanne Keene, Kia Ng
2013 J jnl
Electronic Visualisation in Chemistry: From Alchemy to Art.
CoRR
Karl N. Harrison, Jonathan P. Bowen, Alice M. Bowen
2013 — conf
Electronic Visualisation in Chemistry: from Alchemy to Art.
EVA
Karl N. Harrison, Jonathan P. Bowen, Alice M. Bowen
2013 J jnl
Online Communities: Visualization and Formalization.
CoRR
Jonathan P. Bowen
2013 J jnl
Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing
CoRR
Peter T. Breuer, Jonathan P. Bowen
2012 C ed.
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012
SEW
Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey
2012 — ed.
Electronic Visualisation and the Arts, EVA 2012, London, UK, 10-12 July 2012
EVA
Stuart Dunn, Jonathan P. Bowen, Kia Ng
2012 J jnl
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
J. Log. Algebraic Methods Program.
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
2012 — ch.
Ten Commandments of Formal Methods... Ten Years On.
Conquering Complexity
Jonathan P. Bowen, Mike Hinchey
2012 — conf
Typed Assembler for a RISC Crypto-Processor.
ESSoS
Peter T. Breuer, Jonathan P. Bowen
2012 J jnl
Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience
CoRR
Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia
2012 — conf
Usability, design and content issues of mobile apps for cultural heritage promotion: the Malta Culture Guide experience.
EVA
Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia
2012 J jnl
Visualising Virtual Communities: From Erdős to the Arts
CoRR
Jonathan P. Bowen, Robin J. Wilson
2012 — conf
Visualising virtual communities: From Erdős to the arts.
EVA
Jonathan P. Bowen, Robin J. Wilson
2011 J jnl
Algebraic approach to linking the semantics of web services.
Innov. Syst. Softw. Eng.
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2011 J jnl
Creating online collaborative environments for museums: a case study of a museum wiki.
Int. J. Web Based Communities
Alison Hsiang-Yi Liu, Jonathan P. Bowen
2011 — ed.
Electronic Visualisation and the Arts, EVA 2011, London, UK, 6-8 July 2011
EVA
Stuart Dunn, Jonathan P. Bowen, Kia Ng
2011 B conf
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.
FM
Jonathan P. Bowen, Steve Reeves
2010 — conf
Dulwich OnView: an art museum-based virtual community generated by the local community.
EVA
Ingrid Beazley, Jonathan P. Bowen, Alison H. Y. Liu, Sarah McDaid
2010 — ed.
Electronic Visualisation and the Arts, EVA 2010, London, UK, 5-7 July 2010
EVA
Alan Seal, Jonathan P. Bowen, Kia Ng
2010 — ch.
Formal Methods.
Encyclopedia of Software Engineering
Mike Hinchey, Jonathan P. Bowen, Emil Vassev
2010 — ch.
Formal Requirements Specification.
Encyclopedia of Software Engineering
Jonathan P. Bowen, Mike Hinchey, Emil Vassev
2010 J jnl
Linking denotational semantics with operational semantics for web services.
Innov. Syst. Softw. Eng.
Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
2009 C conf
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.
SEW
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders
2009 J jnl
Communicating the public understanding of science: the Royal Society website.
Int. J. Technol. Manag.
Jonathan P. Bowen, Ann Borda
2009 — ed.
Electronic Visualisation and the Arts, EVA 2009, London, UK, 6-8 July 2009
EVA
Alan Seal, Suzanne Keene, Jonathan P. Bowen
2009 J jnl
Formal Versus Agile: Survival of the Fittest.
Computer
Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey
2009 J jnl
PTSC: probability, time and shared-variable concurrency.
Innov. Syst. Softw. Eng.
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2009 — conf
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.
Rigorous Methods for Software Construction and Analysis
Jonathan P. Bowen, Michael G. Hinchey
2009 J jnl
Using formal specifications to support testing.
ACM Comput. Surv.
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
2008 C ed.
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
ABZ
Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca
2008 — ed.
Electronic Visualisation and the Arts, EVA 2008, London, UK, 22-24 July 2008
EVA
Stuart Dunn, Suzanne Keene, George Mallen, Jonathan P. Bowen
2008 — ed.
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers
Formal Methods and Testing
Robert M. Hierons, Jonathan P. Bowen, Mark Harman
2008 J jnl
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.
Trans. Comput. Sci.
Phan Cong Vinh, Jonathan P. Bowen
2008 — conf
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.
Formal Methods and Testing
Sergiy A. Vilkomir, Jonathan P. Bowen
2008 J jnl
From algebraic semantics to denotational semantics for Verilog.
Innov. Syst. Softw. Eng.
Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2008 J jnl
Software engineering and formal methods.
Commun. ACM
Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
2007 Misc conf
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.
TASE
Phan Cong Vinh, Jonathan P. Bowen
2007 B conf
Algebraic Approach to Linking the Semantics of Web Services.
SEFM
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2007 C conf
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
SEW
Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2007 J jnl
Test conditions for fault classes in Boolean specifications.
ACM Trans. Softw. Eng. Methodol.
Kalpesh Kapoor, Jonathan P. Bowen
2006 J jnl
Formalization and assessment of regulatory requirements for safety-critical software.
Innov. Syst. Softw. Eng.
Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose
2006 B conf
From Algebraic Semantics to Denotational Semantics for Verilog.
ICECCS
Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2006 J jnl
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
Formal Aspects Comput.
Sergiy A. Vilkomir, Jonathan P. Bowen
2006 C conf
Integrating Probability with Time and Shared-Variable Concurrency.
SEW
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2006 J jnl
Reviews.
IEEE Ann. Hist. Comput.
Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling
2006 J jnl
Ten Commandments of Formal Methods ...Ten Years Later.
Computer
Jonathan P. Bowen, Michael G. Hinchey
2005 C conf
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.
SEW
Phan Cong Vinh, Jonathan P. Bowen
2005 J jnl
A formal analysis of MCDC and RCDC test criteria.
Softw. Test. Verification Reliab.
Kalpesh Kapoor, Jonathan P. Bowen
2005 J jnl
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara
CoRR
Silvia Filippini-Fantoni, Jonathan P. Bowen
2005 J jnl
Continuity aspects of embedded reconfigurable computing.
Innov. Syst. Softw. Eng.
Phan Cong Vinh, Jonathan P. Bowen
2005 J jnl
Copyright and Promotion: Oxymoron or Opportunity?
CoRR
Teresa Numerico, Jonathan P. Bowen
2005 — conf
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.
ECBS
Phan Cong Vinh, Jonathan P. Bowen
2005 C conf
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods.
FMICS
Jonathan P. Bowen, Michael G. Hinchey
2004 A conf
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.
FPGA
Phan Cong Vinh, Jonathan P. Bowen
2004 J jnl
Experimental evaluation of the tolerance for control-flow test criteria.
Softw. Test. Verification Reliab.
Kalpesh Kapoor, Jonathan P. Bowen
2004 — conf
Ordering Mutants to Minimise Test Effort in Mutation Testing.
FATES
Kalpesh Kapoor, Jonathan P. Bowen
2004 J jnl
The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector
CoRR
Alpay Beler, Ann Borda, Jonathan P. Bowen, Silvia Filippini-Fantoni
2004 J jnl
Web-based discussion groups at stake: the profile of museum professionals online.
Program
Roxane Bernier, Jonathan P. Bowen
2003 J jnl
Disabled Access for Museum Websites
CoRR
Jonathan P. Bowen
2003 — conf
Disabled Access for Museum Websites.
WWW (Posters)
Jonathan P. Bowen
2003 — conf
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria.
ISESE
Kalpesh Kapoor, Jonathan P. Bowen
2003 B conf
Tolerance of Control-Flow Testing Criteria.
COMPSAC
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen
2003 J jnl
Web Access to Cultural Heritage for the Disabled
CoRR
Jonathan P. Bowen
2003 J jnl
Z Logic and its Consequences.
Comput. Artif. Intell.
Martin C. Henson, Steve Reeves, Jonathan P. Bowen
2003 — ed.
ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
ZB
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
2002 B conf
FORTEST: Formal Methods and Testing.
COMPSAC
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause
2002 — conf
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.
ZB
Sergiy A. Vilkomir, Jonathan P. Bowen
2002 C conf
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.
ICFEM
Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2002 — ed.
ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings
ZB
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
2001 J jnl
An Approach to the Specification and Verification of a Hardware Compilation Scheme.
J. Supercomput.
Jonathan P. Bowen, Jifeng He
2001 C conf
Deriving Operational Semantics from Denotational Semantics for Verilog.
APSEC
Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2001 J jnl
Experience teaching Z with tool and web support.
ACM SIGSOFT Softw. Eng. Notes
Jonathan P. Bowen
2001 B conf
Formalization of Software Testing Criteria using the Z Notation.
COMPSAC
Sergiy A. Vilkomir, Jonathan P. Bowen
2001 — conf
From Operational Semantics to Denotational Semantics for Verilog.
CHARME
Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2000 C conf
An Animatable Operational Semantics of the Verilog Hardware Description Language.
ICFEM
Jonathan P. Bowen, Jifeng He, Qiwen Xu
2000 B conf
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
IFM
Jonathan P. Bowen
2000 J jnl
The Ethics of Safety-Critical Systems.
Commun. ACM
Jonathan P. Bowen
2000 — ed.
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings
ZB
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
1999 A conf
Reasoning about VHDL and VHDL-AMS using Denotational Semantics.
DATE
Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos
1998 — conf
Comp.specification.z and Z FORUM Frequently Asked Questions.
ZUM
Jonathan P. Bowen
1998 — conf
Select Z Bibliography.
ZUM
Jonathan P. Bowen
1998 — conf
Z on the Web Using Java.
ZUM
Jonathan P. Bowen, David Chippington
1998 — ed.
ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
ZUM
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
1997 — conf
Comp.specification.z and Z FORUM Frequently Asked Questions.
ZUM
Jonathan P. Bowen
1997 — ch.
Formal Models and the Specification Process.
The Computer Science and Engineering Handbook
Jonathan P. Bowen, Michael G. Hinchey
1997 — conf
Select Z Bibliography.
ZUM
Jonathan P. Bowen
1997 B conf
The use of industrial-strength formal methods.
COMPSAC
Jonathan P. Bowen, Michael G. Hinchey
1997 — ed.
ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings
ZUM
Jonathan P. Bowen, Michael G. Hinchey, David Till
1996 J jnl
An Invitation to Formal Methods.
Computer
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
1995 J jnl
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C.
Softw. Pract. Exp.
Peter T. Breuer, Jonathan P. Bowen
1995 J jnl
A shallow embedding of Z in HOL.
Inf. Softw. Technol.
Jonathan P. Bowen, Mike Gordon
1995 J jnl
Annotated Z bibliography.
Inf. Softw. Technol.
Jonathan P. Bowen, Susan Stepney, Rosalind Barden
1995 — conf
Comp.specification.z and Z FORUM Frequently Asked Questions.
ZUM
Jonathan P. Bowen
1995 J jnl
Editorial.
Inf. Softw. Technol.
Jonathan P. Bowen, Mike Hinchey
1995 J jnl
Glossary of Z notation.
Inf. Softw. Technol.
Jonathan P. Bowen
1995 J jnl
Report on Z user meeting (ZUM '94).
Inf. Softw. Technol.
Jonathan P. Bowen, Mike Hinchey
1995 — conf
Select Z Bibliography.
ZUM
Jonathan P. Bowen
1995 J jnl
Seven More Myths of Formal Methods.
IEEE Softw.
Jonathan P. Bowen, Michael G. Hinchey
1995 J jnl
Ten Commandments of Formal Methods.
Computer
Jonathan P. Bowen, Michael G. Hinchey
1995 — ed.
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings
ZUM
Jonathan P. Bowen, Michael G. Hinchey
1994 — conf
Comp.specification.z and Z FORUM Frequently Asked Questions.
Z User Workshop
Jonathan P. Bowen
1994 J jnl
Decompilation: The Enumeration of Types and Grammars.
ACM Trans. Program. Lang. Syst.
Peter T. Breuer, Jonathan P. Bowen
1994 — conf
Select Z Bibliography.
Z User Workshop
Jonathan P. Bowen
1994 — conf
Seven More Myths of Formal Methods.
FME
Jonathan P. Bowen, Michael G. Hinchey
1994 J jnl
Specification, Verification and Prototyping of an Optimized Compiler.
Formal Aspects Comput.
Jifeng He, Jonathan P. Bowen
1994 — conf
Towards Correct Executable Semantics for Z.
Z User Workshop
Peter T. Breuer, Jonathan P. Bowen
1994 — ed.
Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings
Z User Workshop
Jonathan P. Bowen, J. Anthony Hall
1994 — conf
Z and HOL.
Z User Workshop
Jonathan P. Bowen, Michael J. C. Gordon
1993 J jnl
A compendium of formal techniques for software maintenance.
Softw. Eng. J.
Jonathan P. Bowen, Peter T. Breuer, Kevin Lano
1993 — conf
Developing Correct Systems.
RTS
Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn
1993 J jnl
Formal specifications in software maintenance: from code to Z
Inf. Softw. Technol.
Jonathan P. Bowen, Peter T. Breuer, Kevin Lano
1993 J jnl
From programs to object code and back again using logic programming: Compilation and decompilation.
J. Softw. Maintenance Res. Pract.
Jonathan P. Bowen
1993 J jnl
Report on Z user meeting : 7th Annual User Meeting (ZUM'92) Department of Trade and Industry (DTI), London, UK 14-15 December 1992.
Inf. Softw. Technol.
Jonathan P. Bowen
1993 J jnl
Safety-critical systems, formal methods and standards.
Softw. Eng. J.
Jonathan P. Bowen, Victoria Stavridou
1993 — conf
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.
FME
Jonathan P. Bowen, Victoria Stavridou
1993 — conf
Towards a Provably Correct Hardware Implementation of Occam.
CHARME
Jifeng He, Ian Page, Jonathan P. Bowen
1993 — ed.
Z User Workshop, London, UK, 14-15 December 1992, Proceedings
Z User Workshop
Jonathan P. Bowen, John E. Nicholls
1992 — conf
Comp.specification.z and Z FORUM Frequently Asked Questions.
Z User Workshop
Jonathan P. Bowen
1992 — conf
Decompilation
WSA
Peter T. Breuer, Jonathan P. Bowen
1992 — conf
Select Z Bibliography.
Z User Workshop
Jonathan P. Bowen
1992 — conf
Time interval semantics and implementation of a real-time programming language.
RTS
Jifeng He, Jonathan P. Bowen
1992 J jnl
X: Why Z?
Comput. Graph. Forum
Jonathan P. Bowen
1991 J jnl
Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7.
Microprocess. Microsystems
Jonathan P. Bowen
1991 — conf
From Programs to Object Code using Logic and Logic Programming.
Code Generation
Jonathan P. Bowen
1991 — conf
Select Z Bibliography and Frequently Asked Questions.
Z User Workshop
Jonathan P. Bowen
1990 — conf
An Approach to Verifiable Compiling Specification and Prototyping.
PLILP
Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya
1990 J jnl
Formal specification of the ProCoS/safemos instruction set.
Microprocess. Microsystems
Jonathan P. Bowen
1990 — conf
PRG Archive Server.
Z User Workshop
Jonathan P. Bowen
1990 — conf
Selected Z Bibliography.
Z User Workshop
Jonathan P. Bowen
1990 — conf
Z FORUM Electronic Mailing List.
Z User Workshop
Jonathan P. Bowen
1989 J jnl
POS-formal specification of a Unix tool.
Softw. Eng. J.
Jonathan P. Bowen
1988 J jnl
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.
Microprocess. Microsystems
Jonathan P. Bowen
1988 J jnl
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.
Microprocess. Microsystems
Jonathan P. Bowen
1988 J jnl
The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278.
Microprocess. Microsystems
Jonathan P. Bowen
1987 J jnl
Formal specification and documentation of microprocessor instruction sets.
Microprocess. Microprogramming
Jonathan P. Bowen
1986 J jnl
Design of a Simple Cambridge Ring Interface Adapter.
Comput. Syst. Sci. Eng.
Jonathan P. Bowen
1986 — conf
Distributed computing software project.
ACM SIGOPS European Workshop
Roger B. Gimson, Jonathan P. Bowen, Tim Gleeson
1986 J jnl
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.
Microprocess. Microsystems
Colin D. Walter, Jonathan P. Bowen
1985 J jnl
6800/6802 microprocessor emulation adapter.
Microprocess. Microsystems
Jonathan P. Bowen
1985 J jnl
A user-friendly interface adapter.
Microprocess. Microsystems
Jonathan P. Bowen
1985 J jnl
Algorithms, software and hardware of parallel computers: J Mikloško and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395.
Microprocess. Microsystems
Jonathan P. Bowen
1985 J jnl
Microprocessor I/O emulation facilities.
Microprocess. Microsystems
Jonathan P. Bowen
1985 J jnl
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442.
Microprocess. Microsystems
Jonathan P. Bowen
1985 J jnl
Microprocessors: hardware and applications: A Veronis, Reston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928.
Microprocess. Microsystems
Jonathan P. Bowen
1985 J jnl
Software/hardware integration on microprocessors.
Microprocess. Microsystems
Jonathan P. Bowen
1985 J jnl
Standard microprocessor programming cards.
Microprocess. Microsystems
Jonathan P. Bowen