Jonathan P. Bowen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jonathan P. Bowen' as author, editor, or advisor:

Computing the Future: Digital encounters in art and science when da Vinci meets TuringTula Giannini, Jonathan P. Bowen. eva 2020: [doi]
Report on Z user meeting : 7th Annual User Meeting (ZUM'92) Department of Trade and Industry (DTI), London, UK 14-15 December 1992Jonathan P. Bowen. INFSOF, 35(10):613, 1993. [doi]
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. eurosp 2018: 145-152 [doi]
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESLFeng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen. TOSEM, 28(3), 2019. [doi]
Ten commandments revisited: a ten-year perspective on the industrial application of formal methodsJonathan P. Bowen, Michael G. Hinchey. fmics 2005: 8-16 [doi]
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-1Jonathan P. Bowen. fac, 30(6):761-762, 2018. [doi]
Microprocessor I/O emulation facilitiesJonathan P. Bowen. mam, 9(8):386-393, 1985. [doi]
On the Security of Practical and Complete Homomorphic Encrypted ComputationPeter T. Breuer, Jonathan P. Bowen. iacr, 2016:1191, 2016. [doi]
Museums and DigitalismTula Giannini, Jonathan P. Bowen. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 27-46, Springer, 2019. [doi]
Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the MetaverseTula Giannini, Jonathan P. Bowen, Chris Michaels, Carl Hayden Smith. eva 2022: [doi]
Electronic Visualisation and the Arts, EVA 2021, London, UK, July 5-9, 2021Jon Weinel, Jonathan P. Bowen, Ann Borda, Graham Diprose, editors, Workshops in Computing, BCS, 2021. [doi]
Visualising virtual communities: From Erdős to the artsJonathan P. Bowen, Robin J. Wilson. eva 2012: [doi]
Component-based modelling for sustainable and scalable smart meter networksEsther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan. wowmom 2014: 1-6 [doi]
The Turing GuideJack Copeland, Jonathan P. Bowen, Mark D. Sprevak, Robin Wilson, editors, Oxford University Press, 2017. [doi]
The Digital Future for MuseumsJonathan P. Bowen, Tula Giannini. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 551-577, Springer, 2019. [doi]
POS-formal specification of a Unix toolJonathan P. Bowen. iee, 4(1):67-72, 1989. [doi]
Museum Websites of the First Wave: The rise of the virtual museumGiuliano Gaia, Stefania Boiano, Jonathan P. Bowen, Ann Borda. eva 2020: [doi]
Beyond Human: Arts and identity between reality and virtuality in a post-Covid-19 worldJonathan P. Bowen, Tula Giannini, Rachel Falconer, Michael Takeo Magruder, Emanuele Marconi. eva 2021: [doi]
Fully encrypted high-speed microprocessor architecture: the secret computer in simulationPeter T. Breuer, Jonathan P. Bowen. ijccbs, 9(1/2):26-55, 2019. [doi]
A Fully Encrypted Microprocessor The Secret Computer is Nearly HerePeter T. Breuer, Jonathan P. Bowen. ant 2016: 1282-1287 [doi]
EditorialJonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey. fac, 25(3):343, 2013. [doi]
Electronic Visualisation and the Arts, EVA 2009, London, UK, 6-8 July 2009Alan Seal, Suzanne Keene, Jonathan P. Bowen, editors, Workshops in Computing, BCS, 2009. [doi]
The Impact of Alan Turing: Formal Methods and BeyondJonathan P. Bowen. setss 2019: 202-235 [doi]
Encrypted computing: Speed, security and provable obfuscation against insidersPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. iccst 2017: 1-6 [doi]
Art and Activism at Museums in a Post-digital WorldTula Giannini, Jonathan P. Bowen. eva 2019: 27-35 [doi]
A Practical Encrypted MicroprocessorPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. secrypt 2016: 239-250 [doi]
Electronic Visualisation and the Arts, EVA 2013, London, UK, 29-31 July 2013Kia Ng, Jonathan P. Bowen, Sarah McDaid, editors, Workshops in Computing, BCS, 2013. [doi]
Superscalar Encrypted RISC: The Measure of a Secret ComputerPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. trustcom 2018: 1336-1341 [doi]
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Present to FutureTula Giannini, Jonathan P. Bowen. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 195-214, Springer, 2019. [doi]
From Analogue to Digital in Literature and ArtJonathan P. Bowen, Tula Giannini. eva 2016: [doi]
Safe Compilation for Hidden Deterministic Hardware AliasingPeter T. Breuer, Jonathan P. Bowen. issre 2019: 422-427 [doi]
Typed Assembler for a RISC Crypto-ProcessorPeter T. Breuer, Jonathan P. Bowen. ESSoS 2012: 22-29 [doi]
Creating online collaborative environments for museums: a case study of a museum wikiAlison Hsiang-Yi Liu, Jonathan P. Bowen. ijwbc, 7(4):407-428, 2011. [doi]
++ and back againJonathan P. Bowen, Peter T. Breuer, Kevin Lano. INFSOF, 35(11-12):679-690, 1993. [doi]
Formality, Agility, Security, and Evolution in Software DevelopmentJonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan. Computer, 47(10):86-89, 2014. [doi]
Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry ApplicationsJonathan P. Bowen. fac, 32(1):147-148, 2020. [doi]
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial LecturesJonathan P. Bowen, Zhiming Liu, Zili Zhang, editors, Volume 10215 of Lecture Notes in Computer Science, 2017. [doi]
Electronic Visualisation and the Arts, EVA 2015, London, UK, 7-9 July 2015Kia Ng, Jonathan P. Bowen, Nick Lambert, editors, Workshops in Computing, BCS, 2015. [doi]
Alan Turing: Founder of Computer ScienceJonathan P. Bowen. setss 2017: 1-15 [doi]
Microprocessors: hardware and applications: A Veronis, Reston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928Jonathan P. Bowen. mam, 9(2):88, 1985. [doi]
Electronic Visualisation and the Arts, EVA 2022, London, UK, July 4-8, 2022Jonathan P. Bowen, Jon Weinel, Ann Borda, Graham Diprose, editors, Workshops in Computing, BCS, 2022. [doi]
Electronic Visualisation and the Arts, EVA 2010, London, UK, 5-7 July 2010Alan Seal, Jonathan P. Bowen, Kia Ng, editors, Workshops in Computing, BCS, 2010. [doi]
Dulwich OnView: an art museum-based virtual community generated by the local communityIngrid Beazley, Jonathan P. Bowen, Alison H. Y. Liu, Sarah McDaid. eva 2010: [doi]
Annotated Z bibliographyJonathan P. Bowen, Susan Stepney, Rosalind Barden. INFSOF, 37(5-6):317-332, 1995. [doi]
Alan Turing: Virtuosity and visualisationJonathan P. Bowen. eva 2016: [doi]
Turing's Sunflowers: Public research and the role of museumsAnn Borda, Jonathan P. Bowen. eva 2020: [doi]
Of Museums and Digital Culture: A landscape viewTula Giannini, Jonathan P. Bowen. eva 2018: [doi]
Provably Correct SystemsMichael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, editors, NASA Monographs in Systems and Software Engineering, Springer, 2017. [doi]
The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278Jonathan P. Bowen. mam, 12(3):175, 1988. [doi]
Formal Methods Communities of Practice: A Survey of Personal ExperienceJonathan P. Bowen, Peter T. Breuer. SEFM 2022: 287-301 [doi]
A shallow embedding of Z in HOLJonathan P. Bowen, Mike Gordon. INFSOF, 37(5-6):269-276, 1995. [doi]
The Z Notation: Whence the Cause and Whither the Course?Jonathan P. Bowen. setss 2016: 103-151 [doi]
Electronic Visualisation and the Arts, EVA 2020, London, UK, July 6-9, 2020Jon Weinel, Jonathan P. Bowen, Graham Diprose, Nick Lambert, editors, Workshops in Computing, BCS, 2020. [doi]
On Security in Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. icics 2018: 192-211 [doi]
Web-based discussion groups at stake: the profile of museum professionals onlineRoxane Bernier, Jonathan P. Bowen. program, 38(2):120-137, 2004. [doi]
Life and workJack Copeland, Jonathan P. Bowen. In Jack Copeland, Jonathan P. Bowen, Mark D. Sprevak, Robin Wilson, editors, The Turing Guide. pages 3-18, Oxford University Press, 2017.
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial LecturesJonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Volume 11430 of Lecture Notes in Computer Science, Springer, 2019. [doi]
A user-friendly interface adapterJonathan P. Bowen. mam, 9(9):432-439, 1985. [doi]
Formal MethodsJonathan P. Bowen, Michael G. Hinchey. In Teofilo F. Gonzalez, Jorge Diaz-Herrera, Allen Tucker, editors, Computing Handbook, Third Edition: Computer Science and Software Engineering. pages 71-25, CRC Press, 2014.
Experience teaching Z with tool and web supportJonathan P. Bowen. sigsoft, 26(2):69-75, 2001. [doi]
Electronic Visualisation and the Arts, EVA 2017, London, UK, July 11-13, 2016Jonathan P. Bowen, Graham Diprose, Nick Lambert, editors, Workshops in Computing, BCS, 2017. [doi]
Digital CultureTula Giannini, Jonathan P. Bowen. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 3-26, Springer, 2019. [doi]
Digital Futures: Exhibits at EVA London 2018Irini Papadimitriou, Jonathan P. Bowen. eva 2018: [doi]
Curating Digital Life and Culture: Art and informationTula Giannini, Jonathan P. Bowen. eva 2016: [doi]
Electronic Visualisation and the Arts, EVA 2014, London, UK, 8-10 July 2014Kia Ng, Jonathan P. Bowen, Sarah McDaid, editors, Workshops in Computing, BCS, 2014. [doi]
Report on Z user meeting (ZUM '94)Jonathan P. Bowen, Mike Hinchey. INFSOF, 37(5-6):335-336, 1995. [doi]
Usability, design and content issues of mobile apps for cultural heritage promotion: the Malta Culture Guide experienceStefania Boiano, Jonathan P. Bowen, Giuliano Gaia. eva 2012: [doi]
Electronic Visualisation and the Arts, EVA 2011, London, UK, 6-8 July 2011Stuart Dunn, Jonathan P. Bowen, Kia Ng, editors, Workshops in Computing, BCS, 2011. [doi]
Digitalism: The New Realism?Jonathan P. Bowen, Tula Giannini. eva 2014: [doi]
Female Self-presentation through Online Dating ApplicationsJing Li 0110, Jonathan P. Bowen. eva 2022: [doi]
EditorialJonathan P. Bowen, Mike Hinchey. INFSOF, 37(5-6):258-259, 1995. [doi]
Generative Art and Computational Imagination: Integrating poetry and art worldTula Giannini, Jonathan P. Bowen. eva 2023: [doi]
Turing's Genius - Defining an apt microcosmJonathan P. Bowen, Terry Trickett, Jeremy B. A. Green, Andy Lomas. eva 2018: [doi]
Digitality: A reality checkJonathan P. Bowen, Tula Giannini. eva 2021: [doi]
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable LanguageHuibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders. sew 2009: 104-114 [doi]
Developing Correct SystemsJonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn. ecrts 1993: 176-187 [doi]
Electronic Visualisation and the Arts, EVA 2018, London, UK, July 9-13, 2018Jonathan P. Bowen, Jonathan Weinel, Graham Diprose, Nick Lambert, editors, Workshops in Computing, BCS, 2018. [doi]
Creative visualisation in chemistryJonathan P. Bowen, Alice M. Bowen, Karl Harrison. ijcrc, 1(2/3/4):231-273, 2016. [doi]
Electronic Visualisation in Chemistry: from Alchemy to ArtKarl Harrison, Jonathan P. Bowen, Alice M. Bowen. eva 2013: [doi]
Electronic Visualisation and the Arts, EVA 2008, London, UK, 22-24 July 2008Stuart Dunn, Suzanne Keene, George Mallen, Jonathan P. Bowen, editors, Workshops in Computing, BCS, 2008. [doi]
Recent Progress with the Computer Arts ArchiveJonathan P. Bowen, Sean Clark. eva 2023: [doi]
Z User Workshop, Cambridge, UK, 29-30 June 1994, ProceedingsJonathan P. Bowen, J. A. Hall, editors, Workshops in Computing, Springer/BCS, 1994.
Communicating the public understanding of science: the Royal Society websiteJonathan P. Bowen, Ann Borda. ijtm, 46(1/2):146-164, 2009. [doi]
Museums, Art, Identity, and the Digital Ecosystem: A Paradigm ShiftTula Giannini, Jonathan P. Bowen. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 63-90, Springer, 2019. [doi]
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th BirthdayJonathan P. Bowen, Qin Li 0002, Qiwen Xu, editors, Volume 14080 of Lecture Notes in Computer Science, Springer, 2023. [doi]
Coded Communication: Digital Senses and Aesthetics, Merging Art and LifeJonathan P. Bowen, Tula Giannini, Gareth Polmeer. eva 2017: [doi]
Chaotic Compilation: A (Statistical) Cloak for a Secret ComputerPeter T. Breuer, Jonathan P. Bowen. issre 2019: 428-433 [doi]
Transforming Education for Museum Professionals in the Digital AgeTula Giannini, Jonathan P. Bowen. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 457-480, Springer, 2019. [doi]
A compendium of formal techniques for software maintenanceJonathan P. Bowen, Peter T. Breuer, Kevin Lano. iee, 8(5):253-262, 1993. [doi]
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Past to PresentTula Giannini, Jonathan P. Bowen. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 163-193, Springer, 2019. [doi]
On Obfuscating Compilation for Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. secrypt 2017: 247-254 [doi]
Jifeng He at Oxford and Beyond: An AppreciationJonathan P. Bowen, Huibiao Zhu. BIRTHDAY 2023: 3-18 [doi]
A Personal View of EVA London: Past, Present, FutureJonathan P. Bowen. eva 2020: [doi]
Glossary of Z notationJonathan P. Bowen. INFSOF, 37(5-6):333-334, 1995. [doi]
The Rise of Digital Citizenship and the Participatory MuseumAnn Borda, Jonathan P. Bowen. eva 2021: [doi]
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen. issre 2014: 365-370 [doi]
The Public Sphere and Weibo Microblogging Social Media Platforms in ChinaBao Han, Jonathan P. Bowen. eva 2023: [doi]
Life in Code and Digits: When Shannon met TuringJonathan P. Bowen, Tula Giannini. eva 2017: [doi]
A Relational Approach to an Algebraic Community: From Paul Erdős to He JifengJonathan P. Bowen. BIRTHDAY 2013: 54-66 [doi]
Software/hardware integration on microprocessorsJonathan P. Bowen. mam, 9(1):8-14, 1985. [doi]
An Overview of New Media Art Exhibitions in China (2017-2022)Huan Fan 0001, Jonathan P. Bowen. eva 2023: [doi]
Provably Correct Systems: Community, Connections, and CitationsJonathan P. Bowen. In Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, editors, Provably Correct Systems. NASA Monographs in Systems and Software Engineering, pages 313-328, Springer, 2017. [doi]
Galois Connections: Mathematics, Art and ArchivesJonathan P. Bowen, Tula Giannini. eva 2015: [doi]
Formal specification of the ProCoS/safemos instruction setJonathan P. Bowen. mam, 14(10):631-643, 1990. [doi]
States of Being: Art and identity in digital space and timeJonathan P. Bowen, Tula Giannini, Gareth Polmeer, Carla Gannis, Jeremy Gardiner, Jonathan Kearney, Bruce Wands, Jon Weinel. eva 2018: [doi]
The Weiguan Culture Phenomenon in Chinese Online ActivismBao Han, Jonathan P. Bowen. eva 2021: [doi]
Processor Rescue - Safe Coding for Hardware AliasingPeter T. Breuer, Jonathan P. Bowen, Simon Pickin. somet 2015: 137-148 [doi]
Superscalar Encrypted RISC: A Secret Computer in SimulationPeter T. Breuer, Jonathan P. Bowen. iacr, 2016:1193, 2016. [doi]
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected PapersJonathan P. Bowen, Huibiao Zhu, editors, Volume 10134 of Lecture Notes in Computer Science, Springer, 2017. [doi]
Algebraic approach to linking the semantics of web servicesHuibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen. isse, 7(3):209-224, 2011. [doi]
Smart Cities and Digital Culture: Models of InnovationAnn Borda, Jonathan P. Bowen. In Tula Giannini, Jonathan P. Bowen, editors, Museums and Digital Culture, New Perspectives and Research. Springer Series on Cultural Computing, pages 523-549, Springer, 2019. [doi]
Museums and Digital Culture, New Perspectives and ResearchTula Giannini, Jonathan P. Bowen, editors, Springer Series on Cultural Computing, Springer, 2019. [doi]
Vignettes of Computer-based Museum Interactive and Games Software through the YearsStefania Boiano, Ann Borda, Jonathan P. Bowen, Giuliano Gaia, Tula Giannini. eva 2022: [doi]
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial LecturesJonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Volume 12154 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Electronic Visualisation and the Arts, EVA 2023, London, UK, July 10-14, 2023Jonathan P. Bowen, Jon Weinel, Graham Diprose, editors, Workshops in Computing, BCS, 2023. [doi]
Time interval semantics and implementation of a real-time programming languageJifeng He, Jonathan P. Bowen. ecrts 1992: 110-115 [doi]
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret ComputerPeter T. Breuer, Jonathan P. Bowen. ESSoS 2014: 131-140 [doi]
Ten Commandments of Formal Methods... Ten Years OnJonathan P. Bowen, Mike Hinchey. In Mike Hinchey, Lorcan Coyle, editors, Conquering Complexity. pages 237-251, Springer, 2012. [doi]
Electronic Visualisation in Arts and CultureJonathan P. Bowen, Suzanne Keene, Kia Ng, editors, Springer, 2013. [doi]
The Arts and Computational Culture: A landscape viewJonathan P. Bowen, Tula Giannini. eva 2023: [doi]
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442Jonathan P. Bowen. mam, 9(8):413-414, 1985. [doi]
Turing's MonumentSimon Greenish, Jonathan P. Bowen, Jack Copeland. In Jack Copeland, Jonathan P. Bowen, Mark D. Sprevak, Robin Wilson, editors, The Turing Guide. pages 189-196, Oxford University Press, 2017.
The Digital LensJonathan P. Bowen, Tula Giannini, Terrence Masson, Giuliano Gaia, Graham Diprose. eva 2023: [doi]
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 259Jonathan P. Bowen. mam, 12(2):119, 1988. [doi]
Digital Art, Culture and Heritage: New constructs and consciousnessJonathan P. Bowen, Tula Giannini, Rachel Ara, Andy Lomas, Judith Siefring. eva 2019: 1-9 [doi]
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial LecturesJonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Volume 11174 of Lecture Notes in Computer Science, Springer, 2018. [doi]
Standard microprocessor programming cardsJonathan P. Bowen. mam, 9(6):274-289, 1985. [doi]
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily RiskyPeter T. Breuer, Jonathan P. Bowen. SEFM 2014: 371-388 [doi]
Electronic Visualisation and the Arts, EVA 2012, London, UK, 10-12 July 2012Stuart Dunn, Jonathan P. Bowen, Kia Ng, editors, Workshops in Computing, BCS, 2012. [doi]
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTPFeng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen. fac, 32(2):275-314, 2020. [doi]
Empirical Patterns in Google Scholar Citation CountsPeter T. Breuer, Jonathan P. Bowen. sose 2014: 398-403 [doi]
Software Abstractions and Human-Cyber-Physical Systems Architecture ModellingZhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang. setss 2020: 159-219 [doi]
The Chengdu Biennale and Wikipedia Art InformationJonathan P. Bowen, Huan Fang 0002. eva 2022: [doi]
Formal specification and documentation of microprocessor instruction setsJonathan P. Bowen. jsa, 21(1-5):223-230, 1987. [doi]
Computational Culture and AI: Challenging human identity and curatorial practiceJonathan P. Bowen, Tula Giannini, Gareth Polmeer, Rachel Falconer, Arthur I. Miller, Stuart Dunn. eva 2020: [doi]
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable languageHuibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin. jlp, 81(1):2-25, 2012. [doi]
Smart Cities and Cultural Heritage - A Review of Developments and Future OpportunitiesAnn Borda, Jonathan P. Bowen. eva 2017: [doi]
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 402Jonathan P. Bowen. mam, 12(2):119, 1988. [doi]
Electronic Visualisation and the Arts, EVA 2016, London, UK, 12-14 July 2016Jonathan P. Bowen, Graham Diprose, Nick Lambert, editors, Workshops in Computing, BCS, 2016. [doi]
More than Human: Merging real and virtual states of being from arts and culture to wellness in a post-Covid worldTula Giannini, Jonathan P. Bowen. eva 2022: [doi]
Electronic Visualisation and the Arts, EVA 2019, London, UK, July 8-11, 2019Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel, editors, Workshops in Computing, BCS, 2019. [doi]
Algorithms, software and hardware of parallel computers: J Mikloško and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395Jonathan P. Bowen. mam, 9(3):138-139, 1985. [doi]
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey, editors, IEEE Computer Society, 2012. [doi]
EVA London 2021: Keynote summariesJonathan P. Bowen, Camille Baker, Ghislaine Boddington, Ernest A. Edmonds, Merel van Helsdingen, Terrence Masson. eva 2021: [doi]
Computational Culture: Transforming Archives Practice and Education for a Post-Covid WorldTula Giannini, Jonathan P. Bowen. jocch, 15(3), 2022. [doi]
Communities and Ancestors Associated with Egon Börger and ASMJonathan P. Bowen. BIRTHDAY 2021: 96-120 [doi]
6800/6802 microprocessor emulation adapterJonathan P. Bowen. mam, 9(1):24-26, 1985. [doi]
A Fully Homomorphic Crypto-Processor DesignPeter T. Breuer, Jonathan P. Bowen. ESSoS 2013: 123-138 [doi]
Safety-critical systems, formal methods and standardsJonathan P. Bowen, Victoria Stavridou. iee, 8(4):189-209, 1993. [doi]
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response SystemsEsther Palomar, Xiaohong Chen, Zhiming Liu 0001, Sabita Maharjan, Jonathan P. Bowen. sensors, 16(11):1810, 2016. [doi]
Mechanical Characterization of Torsional Micropaddles Using Atomic Force MicroscopyN. Mahmoodi, A. Sabouri, J. Bowen, C. J. Anthony, P. M. Mendes. js, 2018, 2018. [doi]
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 Bowen. ker, 11(4):373-374, 1996. [doi]
Work-in-Progress - Virtual Reality: A Tool to Develop Social Work Practice Skills of Engagement and AssessmentNicholas Lanzieri, Jonathan Bowen, David Lasala, Henry Samelson, Elizabeth McAlpin. ilrn 2020: 267-270 [doi]
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 499Colin D. Walter, Jonathan Bowen. mam, 10(9):513, 1986. [doi]
Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9Jonathan Bowen. ker, 11(2):197-198, 1996. [doi]
From programs to object code and back again using logic programming: Compilation and decompilationJonathan Bowen. SMR, 5(4):205-234, 1993. [doi]
Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7Jonathan Bowen. mam, 15(10):567-568, 1991. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Jonathan P. Bowen's Profile

Unidentified Publications