Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJonathan P. Bowen
Person information
- affiliation: London South Bank University, School of Engineering, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c117]Jonathan P. Bowen
, Huibiao Zhu:
Jifeng He at Oxford and Beyond: An Appreciation. Theories of Programming and Formal Methods 2023: 3-18- [c116]Huan Fan, Jonathan P. Bowen:
An Overview of New Media Art Exhibitions in China (2017-2022). EVA 2023 - [c115]Jonathan P. Bowen, Sean Clark:
Recent Progress with the Computer Arts Archive. EVA 2023 - [c114]Jonathan P. Bowen, Tula Giannini:
The Arts and Computational Culture: A landscape view. EVA 2023 - [c113]Jonathan P. Bowen, Tula Giannini, Terrence Masson, Giuliano Gaia, Graham Diprose:
The Digital Lens. EVA 2023 - [c112]Tula Giannini, Jonathan P. Bowen:
Generative Art and Computational Imagination: Integrating poetry and art world. EVA 2023 - [c111]Bao Han, Jonathan P. Bowen:
The Public Sphere and Weibo Microblogging Social Media Platforms in China. EVA 2023 - [e37]Jonathan P. Bowen, Qin Li, Qiwen Xu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 14080, Springer 2023, ISBN 978-3-031-40435-1 [contents] - [e36]Jonathan P. Bowen, Jon Weinel, Graham Diprose:
Electronic Visualisation and the Arts, EVA 2023, London, UK, July 10-14, 2023. Workshops in Computing, BCS 2023 [contents] - 2022
- [j70]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): 47:1-47:18 (2022) - [c110]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 - [c109]Jonathan P. Bowen, Huan Fan:
The Chengdu Biennale and Wikipedia Art Information. EVA 2022 - [c108]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 - [c107]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 - [c106]Jing Li, Jonathan P. Bowen:
Female Self-presentation through Online Dating Applications. EVA 2022 - [e35]Jonathan P. Bowen, Jon Weinel, Ann Borda, Graham Diprose:
Electronic Visualisation and the Arts, EVA 2022, London, UK, July 4-8, 2022. Workshops in Computing, BCS 2022 [contents] - 2021
- [c105]Jonathan P. Bowen:
Communities and Ancestors Associated with Egon Börger and ASM. Logic, Computation and Rigorous Methods 2021: 96-120 - [c104]Ann Borda, Jonathan P. Bowen:
The Rise of Digital Citizenship and the Participatory Museum. EVA 2021 - [c103]Jonathan P. Bowen, Camille Baker, Ghislaine Boddington, Ernest A. Edmonds, Merel van Helsdingen, Terrence Masson:
EVA London 2021: Keynote summaries. EVA 2021 - [c102]Jonathan P. Bowen, Tula Giannini:
Digitality: A reality check. EVA 2021 - [c101]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 - [c100]Bao Han, Jonathan P. Bowen:
The Weiguan Culture Phenomenon in Chinese Online Activism. EVA 2021 - [c99]Jonathan P. Bowen, Peter T. Breuer:
Formal Methods Communities of Practice: A Survey of Personal Experience. SEFM Workshops 2021: 287-301 - [e34]Jon Weinel, Jonathan P. Bowen, Ann Borda, Graham Diprose:
Electronic Visualisation and the Arts, EVA 2021, London, UK, July 5-9, 2021. Workshops in Computing, BCS 2021 [contents] - 2020
- [j69]Jonathan P. Bowen:
Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Formal Aspects Comput. 32(1): 147-148 (2020) - [j68]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): 275-314 (2020) - [c98]Ann Borda, Jonathan P. Bowen:
Turing's Sunflowers: Public research and the role of museums. EVA 2020 - [c97]Jonathan P. Bowen:
A Personal View of EVA London: Past, Present, Future. EVA 2020 - [c96]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 - [c95]Giuliano Gaia, Stefania Boiano, Jonathan P. Bowen, Ann Borda:
Museum Websites of the First Wave: The rise of the virtual museum. EVA 2020 - [c94]Tula Giannini, Jonathan P. Bowen:
Computing the Future: Digital encounters in art and science when da Vinci meets Turing. EVA 2020 - [e33]Jon Weinel, Jonathan P. Bowen, Graham Diprose, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2020, London, UK, July 6-9, 2020. Workshops in Computing, BCS 2020 [contents] - [e32]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures. Lecture Notes in Computer Science 12154, Springer 2020, ISBN 978-3-030-55088-2 [contents]
2010 – 2019
- 2019
- [j67]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): 26-55 (2019) - [j66]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): 14:1-14:46 (2019) - [c93]Jonathan P. Bowen, Tula Giannini, Rachel Ara, Andy Lomas, Judith Siefring:
Digital Art, Culture and Heritage: New constructs and consciousness. EVA 2019: 1-9 - [c92]Tula Giannini, Jonathan P. Bowen:
Art and Activism at Museums in a Post-digital World. EVA 2019: 27-35 - [c91]Peter T. Breuer, Jonathan P. Bowen:
Safe Compilation for Hidden Deterministic Hardware Aliasing. ISSRE Workshops 2019: 422-427 - [c90]Peter T. Breuer, Jonathan P. Bowen:
Chaotic Compilation: A (Statistical) Cloak for a Secret Computer. ISSRE Workshops 2019: 428-433 - [c89]Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang:
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS 2019: 159-219 - [p14]Tula Giannini, Jonathan P. Bowen:
Digital Culture. Museums and Digital Culture 2019: 3-26 - [p13]Tula Giannini, Jonathan P. Bowen:
Museums and Digitalism. Museums and Digital Culture 2019: 27-46 - [p12]Tula Giannini, Jonathan P. Bowen:
Museums, Art, Identity, and the Digital Ecosystem: A Paradigm Shift. Museums and Digital Culture 2019: 63-90 - [p11]Tula Giannini, Jonathan P. Bowen:
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Past to Present. Museums and Digital Culture 2019: 163-193 - [p10]Tula Giannini, Jonathan P. Bowen:
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Present to Future. Museums and Digital Culture 2019: 195-214 - [p9]Tula Giannini, Jonathan P. Bowen:
Transforming Education for Museum Professionals in the Digital Age. Museums and Digital Culture 2019: 457-480 - [p8]Ann Borda, Jonathan P. Bowen:
Smart Cities and Digital Culture: Models of Innovation. Museums and Digital Culture 2019: 523-549 - [p7]Jonathan P. Bowen, Tula Giannini:
The Digital Future for Museums. Museums and Digital Culture 2019: 551-577 - [e31]Tula Giannini, Jonathan P. Bowen:
Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, Springer 2019, ISBN 978-3-319-97456-9 [contents] - [e30]Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel:
Electronic Visualisation and the Arts, EVA 2019, London, UK, July 8-11, 2019. Workshops in Computing, BCS 2019 [contents] - [e29]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Lecture Notes in Computer Science 11430, Springer 2019, ISBN 978-3-030-17600-6 [contents] - 2018
- [j65]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): 761-762 (2018) - [c88]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: 145-152 - [c87]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 - [c86]Jonathan P. Bowen, Terry Trickett, Jeremy B. A. Green, Andy Lomas:
Turing's Genius - Defining an apt microcosm. EVA 2018 - [c85]Tula Giannini, Jonathan P. Bowen:
Of Museums and Digital Culture: A landscape view. EVA 2018 - [c84]Irini Papadimitriou, Jonathan P. Bowen:
Digital Futures: Exhibits at EVA London 2018. EVA 2018 - [c83]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
On Security in Encrypted Computing. ICICS 2018: 192-211 - [c82]Jonathan P. Bowen:
The Impact of Alan Turing: Formal Methods and Beyond. SETSS 2018: 202-235 - [c81]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE 2018: 1336-1341 - [e28]Jonathan P. Bowen, Jonathan Weinel, Graham Diprose, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2018, London, UK, July 9-13, 2018. Workshops in Computing, BCS 2018 [contents] - [e27]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Lecture Notes in Computer Science 11174, Springer 2018, ISBN 978-3-030-02927-2 [contents] - [i17]Peter T. Breuer, Jonathan P. Bowen:
(Un)Encrypted Computing and Indistinguishability Obfuscation. CoRR abs/1811.12365 (2018) - 2017
- [c80]Ann Borda, Jonathan P. Bowen:
Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities. EVA 2017 - [c79]Jonathan P. Bowen, Tula Giannini:
Life in Code and Digits: When Shannon met Turing. EVA 2017 - [c78]Jonathan P. Bowen, Tula Giannini, Gareth Polmeer:
Coded Communication: Digital Senses and Aesthetics, Merging Art and Life. EVA 2017 - [c77]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST 2017: 1-6 - [c76]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
On Obfuscating Compilation for Encrypted Computing. SECRYPT 2017: 247-254 - [p6]Jack Copeland, Jonathan P. Bowen:
Life and work. The Turing Guide 2017: 3-18 - [p5]Simon Greenish, Jonathan P. Bowen, Jack Copeland:
Turing's Monument. The Turing Guide 2017: 189-196 - [p4]Jonathan P. Bowen, Jack Copeland:
Turing's legacy. The Turing Guide 2017: 463-474 - [p3]Jonathan P. Bowen:
Provably Correct Systems: Community, Connections, and Citations. Provably Correct Systems 2017: 313-328 - [e26]Jack Copeland, Jonathan P. Bowen, Mark D. Sprevak, Robin Wilson:
The Turing Guide. Oxford University Press 2017, ISBN 978-0-19-874783-3 [contents] - [e25]Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog:
Provably Correct Systems. NASA Monographs in Systems and Software Engineering, Springer 2017, ISBN 978-3-319-48627-7 [contents] - [e24]Jonathan P. Bowen, Graham Diprose, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2017, London, UK, July 11-13, 2017. Workshops in Computing, BCS 2017 [contents] - [e23]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215, 2017, ISBN 978-3-319-56840-9 [contents] - [e22]Jonathan P. Bowen, Huibiao Zhu:
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10134, Springer 2017, ISBN 978-3-319-52227-2 [contents] - 2016
- [j64]Jonathan P. Bowen, Alice M. Bowen, Karl N. Harrison:
Creative visualisation in chemistry. Int. J. Creative Comput. 1(2/3/4): 231-273 (2016) - [j63]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): 1810 (2016) - [c75]Peter T. Breuer, Jonathan P. Bowen:
A Fully Encrypted Microprocessor The Secret Computer is Nearly Here. ANT/SEIT 2016: 1282-1287 - [c74]Jonathan P. Bowen:
Alan Turing: Virtuosity and visualisation. EVA 2016 - [c73]Jonathan P. Bowen, Tula Giannini:
From Analogue to Digital in Literature and Art. EVA 2016 - [c72]Tula Giannini, Jonathan P. Bowen:
Curating Digital Life and Culture: Art and information. EVA 2016 - [c71]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
A Practical Encrypted Microprocessor. SECRYPT 2016: 239-250 - [c70]Jonathan P. Bowen:
Alan Turing: Founder of Computer Science. SETSS 2016: 1-15 - [e21]Jonathan P. Bowen, Graham Diprose, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2016, London, UK, 12-14 July 2016. Workshops in Computing, BCS 2016 [contents] - [i16]Peter T. Breuer, Jonathan P. Bowen:
On the Security of Practical and Complete Homomorphic Encrypted Computation. IACR Cryptol. ePrint Arch. 2016: 1191 (2016) - [i15]Peter T. Breuer, Jonathan P. Bowen:
Superscalar Encrypted RISC: A Secret Computer in Simulation. IACR Cryptol. ePrint Arch. 2016: 1193 (2016) - 2015
- [c69]Jonathan P. Bowen, Tula Giannini:
Galois Connections: Mathematics, Art and Archives. EVA 2015 - [c68]Peter T. Breuer, Jonathan P. Bowen, Simon Pickin:
Processor Rescue - Safe Coding for Hardware Aliasing. SoMeT 2015: 137-148 - [e20]Kia Ng, Jonathan P. Bowen, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2015, London, UK, 7-9 July 2015. Workshops in Computing, BCS 2015 [contents] - [i14]Jonathan P. Bowen:
Provably Correct Systems: Community, connections, and citations. CoRR abs/1509.02908 (2015) - [i13]Peter T. Breuer, Jonathan P. Bowen:
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here. CoRR abs/1510.05278 (2015) - 2014
- [j62]Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan:
Formality, Agility, Security, and Evolution in Software Development. Computer 47(10): 86-89 (2014) - [c67]Peter T. Breuer, Jonathan P. Bowen:
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer. ESSoS 2014: 131-140 - [c66]Jonathan P. Bowen, Tula Giannini:
Digitalism: The New Realism? EVA 2014 - [c65]Peter T. Breuer, Jonathan P. Bowen:
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. ISSRE Workshops 2014: 365-370 - [c64]Jonathan P. Bowen:
The Z Notation: Whence the Cause and Whither the Course? SETSS 2014: 103-151 - [c63]Peter T. Breuer, Jonathan P. Bowen:
Empirical Patterns in Google Scholar Citation Counts. SOSE 2014: 398-403 - [c62]Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan:
Component-based modelling for sustainable and scalable smart meter networks. WoWMoM 2014: 1-6 - [p2]Jonathan P. Bowen, Michael G. Hinchey:
Formal Methods. Computing Handbook, 3rd ed. (1) 2014: 71-25 - [e19]Kia Ng, Jonathan P. Bowen, Sarah McDaid:
Electronic Visualisation and the Arts, EVA 2014, London, UK, 8-10 July 2014. Workshops in Computing, BCS 2014, ISBN 978-1-78017-285-9 [contents] - [i12]Peter T. Breuer, Jonathan P. Bowen:
Empirical Patterns in Google Scholar Citation Counts. CoRR abs/1401.1861 (2014) - [i11]Peter T. Breuer, Jonathan P. Bowen:
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? CoRR abs/1411.4813 (2014) - 2013
- [j61]Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey:
Editorial. Formal Aspects Comput. 25(3): 343 (2013) - [c61]Jonathan P. Bowen:
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng. Theories of Programming and Formal Methods 2013: 54-66 - [c60]Peter T. Breuer, Jonathan P. Bowen:
A Fully Homomorphic Crypto-Processor Design. ESSoS 2013: 123-138 - [c59]Karl N. Harrison, Jonathan P. Bowen, Alice M. Bowen:
Electronic Visualisation in Chemistry: from Alchemy to Art. EVA 2013 - [c58]Peter T. Breuer, Jonathan P. Bowen:
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. SEFM Workshops 2013: 371-388 - [e18]Jonathan P. Bowen, Suzanne Keene, Kia Ng:
Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer 2013, ISBN 978-1-4471-5405-1 [contents] - [e17]Kia Ng, Jonathan P. Bowen, Sarah McDaid:
Electronic Visualisation and the Arts, EVA 2013, London, UK, 29-31 July 2013. Workshops in Computing, BCS 2013, ISBN 978-1-780172-15-6 [contents] - [i10]Peter T. Breuer, Jonathan P. Bowen:
Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing. CoRR abs/1305.6431 (2013) - [i9]Jonathan P. Bowen:
Online Communities: Visualization and Formalization. CoRR abs/1307.6145 (2013) - [i8]Karl N. Harrison, Jonathan P. Bowen, Alice M. Bowen:
Electronic Visualisation in Chemistry: From Alchemy to Art. CoRR abs/1307.6360 (2013) - 2012
- [j60]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): 2-25 (2012) - [c57]Peter T. Breuer, Jonathan P. Bowen:
Typed Assembler for a RISC Crypto-Processor. ESSoS 2012: 22-29 - [c56]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 - [c55]Jonathan P. Bowen, Robin J. Wilson:
Visualising virtual communities: From Erdős to the arts. EVA 2012 - [p1]