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
- 2024
[c121]Jonathan P. Bowen, Tula Giannini, Ann Borda, Catherine Mason:
Computation, AI, and Creativity. EVA 2024: 1-8- [c120]Jonathan P. Bowen, B. Jack Copeland:
Turing, Warhol, and Monroe: Development of The Turing Guide cover. EVA 2024: 11-17 - [c119]Shupeng Chen, Huan Fan, Jonathan P. Bowen:
Indoor Tourist and Digital Scenery: Rethinking the Chengdu Immersive Art Gallery. EVA 2024: 94-96 - [c118]Jonathan P. Bowen:
Ruskin, Millais, and the Aclands: The colourful story of a painting, from oils to pixels. EVA 2024: 122-129 - [p23]Tula Giannini
, Jonathan P. Bowen:
Leonardo da Vinci, Renaissance Icon of Art and Science: Being Human and Beyond. The Arts and Computational Culture 2024: 3-29 - [p22]Jonathan P. Bowen:
Alan Turing: Breaking the Code, Computing, and Machine Intelligence. The Arts and Computational Culture 2024: 75-94 - [p21]Tula Giannini, Jonathan P. Bowen:
The Digital Road to the Age of AI: 1950s to the Present. The Arts and Computational Culture 2024: 95-133 - [p20]Jonathan P. Bowen, Sean M. Clark:
Conservation of Digital Arts Heritage: The Computer Arts Archive. The Arts and Computational Culture 2024: 157-174 - [p19]Jonathan P. Bowen:
The Metaverse and Expo 2020: VR. AR, MR, and XR. The Arts and Computational Culture 2024: 299-317 - [p18]Tula Giannini, Jonathan P. Bowen:
Arts in the Public Square: Real and Virtual Space. The Arts and Computational Culture 2024: 473-497 - [p17]Tula Giannini, Jonathan P. Bowen:
Cultural Conflict and Heritage: Global Human Interaction. The Arts and Computational Culture 2024: 559-581 - [p16]Tula Giannini, Jonathan P. Bowen:
Arts Research in a Computational Framework. The Arts and Computational Culture 2024: 583-607 - [p15]Tula Giannini, Jonathan P. Bowen:
The Future of Arts in a Computational Culture. The Arts and Computational Culture 2024: 685-721 - [e39]Tula Giannini, Jonathan P. Bowen:
The Arts and Computational Culture: Real and Virtual Worlds. Springer 2024, ISBN 978-3-031-53864-3 [contents] - [e38]Jonathan P. Bowen, Jon Weinel, Ann Borda, Graham Diprose:
Electronic Visualisation and the Arts, EVA 2024, London, UK, July 8-12, 2024. Workshops in Computing, BCS 2024 [contents] - 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 M. 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]Jonathan P. Bowen, Mike Hinchey:
Ten Commandments of Formal Methods... Ten Years On. Conquering Complexity 2012: 237-251 - [e16]Stuart Dunn, Jonathan P. Bowen, Kia Ng:
Electronic Visualisation and the Arts, EVA 2012, London, UK, 10-12 July 2012. Workshops in Computing, BCS 2012, ISBN 978-1-780171-59-3 [contents] - [e15]Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey:
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5574-2 [contents] - [i7]Jonathan P. Bowen, Robin J. Wilson:
Visualising Virtual Communities: From Erdős to the Arts. CoRR abs/1207.3420 (2012) - [i6]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 abs/1207.3422 (2012) - 2011
- [j59]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): 407-428 (2011) - [j58]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen:
Algebraic approach to linking the semantics of web services. Innov. Syst. Softw. Eng. 7(3): 209-224 (2011) - [c54]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: 308-322 - [e14]Stuart Dunn, Jonathan P. Bowen, Kia Ng:
Electronic Visualisation and the Arts, EVA 2011, London, UK, 6-8 July 2011. Workshops in Computing, BCS 2011, ISBN 978-1-906124-88-5 [contents] - 2010
- [j57]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): 283-298 (2010) - [c53]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 - [e13]Alan Seal, Jonathan P. Bowen, Kia Ng:
Electronic Visualisation and the Arts, EVA 2010, London, UK, 5-7 July 2010. Workshops in Computing, BCS 2010, ISBN 978-1-906124-65-6 [contents] - [r3]Mike Hinchey, Jonathan P. Bowen, Emil Vassev:
Formal Methods. Encyclopedia of Software Engineering 2010: 308-320 - [r2]Jonathan P. Bowen, Mike Hinchey, Emil Vassev:
Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332
2000 – 2009
- 2009
- [j56]Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey:
Formal Versus Agile: Survival of the Fittest. Computer 42(9): 37-45 (2009) - [j55]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): 9:1-9:76 (2009) - [j54]Jonathan P. Bowen, Ann Borda:
Communicating the public understanding of science: the Royal Society website. Int. J. Technol. Manag. 46(1/2): 146-164 (2009) - [j53]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. 5(4): 271-284 (2009) - [c52]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: 219-233 - [c51]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: 104-114 - [e12]Alan Seal, Suzanne Keene, Jonathan P. Bowen:
Electronic Visualisation and the Arts, EVA 2009, London, UK, 6-8 July 2009. Workshops in Computing, BCS 2009 [contents] - 2008
- [j52]Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria:
Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) - [j51]Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From algebraic semantics to denotational semantics for Verilog. Innov. Syst. Softw. Eng. 4(4): 341-360 (2008) - [j50]Phan Cong Vinh, Jonathan P. Bowen:
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. Trans. Comput. Sci. 1: 1-36 (2008) - [c50]Sergiy A. Vilkomir, Jonathan P. Bowen:
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. Formal Methods and Testing 2008: 240-270 - [e11]Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca:
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5238, Springer 2008, ISBN 978-3-540-87602-1 [contents] - [e10]Stuart Dunn, Suzanne Keene, George Mallen, Jonathan P. Bowen:
Electronic Visualisation and the Arts, EVA 2008, London, UK, 22-24 July 2008. Workshops in Computing, BCS 2008 [contents] - [e9]Robert M. Hierons, Jonathan P. Bowen, Mark Harman:
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Lecture Notes in Computer Science 4949, Springer 2008, ISBN 978-3-540-78916-1 [contents] - 2007
- [j49]Kalpesh Kapoor, Jonathan P. Bowen:
Test conditions for fault classes in Boolean specifications. ACM Trans. Softw. Eng. Methodol. 16(3): 10 (2007) - [c49]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen:
Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328 - [c48]Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW 2007: 131-143 - [c47]Phan Cong Vinh, Jonathan P. Bowen:
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. TASE 2007: 369-378 - 2006
- [j48]Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling:
Reviews. IEEE Ann. Hist. Comput. 28(2): 77-80 (2006) - [j47]Jonathan P. Bowen, Michael G. Hinchey:
Ten Commandments of Formal Methods ...Ten Years Later. Computer 39(1): 40-48 (2006) - [j46]Sergiy A. Vilkomir, Jonathan P. Bowen:
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Formal Aspects Comput. 18(1): 42-62 (2006) - [j45]Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose:
Formalization and assessment of regulatory requirements for safety-critical software. Innov. Syst. Softw. Eng. 2(3-4): 165-178 (2006) - [c46]Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151 - [c45]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189 - 2005
- [j44]Phan Cong Vinh, Jonathan P. Bowen:
Continuity aspects of embedded reconfigurable computing. Innov. Syst. Softw. Eng. 1(1): 41-53 (2005) - [j43]Kalpesh Kapoor, Jonathan P. Bowen:
A formal analysis of MCDC and RCDC test criteria. Softw. Test. Verification Reliab. 15(1): 21-40 (2005) - [c44]Phan Cong Vinh, Jonathan P. Bowen:
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. ECBS 2005: 247-254 - [c43]Jonathan P. Bowen, Michael G. Hinchey:
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. FMICS 2005: 8-16 - [c42]Phan Cong Vinh, Jonathan P. Bowen:
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. SEW 2005: 245-252 - [i5]Silvia Filippini-Fantoni, Jonathan P. Bowen:
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara. CoRR abs/cs/0508066 (2005) - [i4]Teresa Numerico, Jonathan P. Bowen:
Copyright and Promotion: Oxymoron or Opportunity? CoRR abs/cs/0508067 (2005) - 2004
- [j42]Roxane Bernier, Jonathan P. Bowen:
Web-based discussion groups at stake: the profile of museum professionals online. Program 38(2): 120-137 (2004) - [j41]Kalpesh Kapoor, Jonathan P. Bowen:
Experimental evaluation of the tolerance for control-flow test criteria. Softw. Test. Verification Reliab. 14(3): 167-187 (2004) - [c41]Kalpesh Kapoor, Jonathan P. Bowen:
Ordering Mutants to Minimise Test Effort in Mutation Testing. FATES 2004: 195-209 - [c40]Phan Cong Vinh, Jonathan P. Bowen:
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. FPGA 2004: 254 - [i3]Alpay Beler, Ann Borda, Jonathan P. Bowen, Silvia Filippini-Fantoni:
The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector. CoRR cs.CY/0409055 (2004) - 2003
- [j40]Martin C. Henson, Steve Reeves, Jonathan P. Bowen:
Z Logic and its Consequences. Comput. Artif. Intell. 22(3-4): 381-415 (2003) - [c39]Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen:
Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187 - [c38]Kalpesh Kapoor, Jonathan P. Bowen:
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. ISESE 2003: 185-194 - [c37]Jonathan P. Bowen:
Disabled Access for Museum Websites. WWW (Posters) 2003 - [e8]Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén:
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. Lecture Notes in Computer Science 2651, Springer 2003, ISBN 3-540-40253-5 [contents] - [i2]Jonathan P. Bowen:
Web Access to Cultural Heritage for the Disabled. CoRR cs.CY/0307068 (2003) - [i1]Jonathan P. Bowen:
Disabled Access for Museum Websites. CoRR cs.CY/0308005 (2003) - 2002
- [c36]Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause:
FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104 - [c35]Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612 - [c34]Sergiy A. Vilkomir, Jonathan P. Bowen:
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308 - [e7]Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson:
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. Lecture Notes in Computer Science 2272, Springer 2002, ISBN 3-540-43166-7 [contents] - 2001
- [j39]Jonathan P. Bowen:
Experience teaching Z with tool and web support. ACM SIGSOFT Softw. Eng. Notes 26(2): 69-75 (2001) - [j38]Jonathan P. Bowen, Jifeng He:
An Approach to the Specification and Verification of a Hardware Compilation Scheme. J. Supercomput. 19(1): 23-39 (2001) - [c33]Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177- - [c32]Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466 - [c31]Sergiy A. Vilkomir, Jonathan P. Bowen:
Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356 - 2000
- [j37]Jonathan P. Bowen:
The Ethics of Safety-Critical Systems. Commun. ACM 43(4): 91-97 (2000) - [c30]Jonathan P. Bowen, Jifeng He, Qiwen Xu:
An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208 - [c29]Jonathan P. Bowen:
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. IFM 2000: 277-296 - [e6]Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King:
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. Lecture Notes in Computer Science 1878, Springer 2000, ISBN 3-540-67944-8 [contents]
1990 – 1999
- 1999
- [c28]Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos:
Reasoning about VHDL and VHDL-AMS using Denotational Semantics. DATE 1999: 346-352 - 1998
- [c27]Jonathan P. Bowen, David Chippington:
Z on the Web Using Java. ZUM 1998: 66-80 - [c26]Jonathan P. Bowen:
Select Z Bibliography. ZUM 1998: 367-406 - [c25]Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. ZUM 1998: 407-415 - [e5]Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey:
ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Lecture Notes in Computer Science 1493, Springer 1998, ISBN 3-540-65070-9 [contents] - 1997
- [c24]Jonathan P. Bowen, Michael G. Hinchey:
The use of industrial-strength formal methods. COMPSAC 1997: 332-337 - [c23]Jonathan P. Bowen:
Select Z Bibliography. ZUM 1997: 391-424 - [c22]Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. ZUM 1997: 425-433 - [e4]Jonathan P. Bowen, Michael G. Hinchey, David Till:
ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Lecture Notes in Computer Science 1212, Springer 1997, ISBN 3-540-62717-0 [contents] - [r1]Jonathan P. Bowen, Michael G. Hinchey:
Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322 - 1996
- [j36]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:
An Invitation to Formal Methods. Computer 29(4): 16-30 (1996) - [j35]Jonathan P. Bowen:
Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9. Knowl. Eng. Rev. 11(2): 197-198 (1996) - [j34]Jonathan P. Bowen:
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). Knowl. Eng. Rev. 11(4): 373-374 (1996) - 1995
- [j33]Jonathan P. Bowen, Michael G. Hinchey:
Ten Commandments of Formal Methods. Computer 28(4): 56-63 (1995) - [j32]Jonathan P. Bowen, Mike Hinchey:
Editorial. Inf. Softw. Technol. 37(5-6): 258-259 (1995) - [j31]Jonathan P. Bowen, Mike Gordon:
A shallow embedding of Z in HOL. Inf. Softw. Technol. 37(5-6): 269-276 (1995) - [j30]Jonathan P. Bowen, Susan Stepney, Rosalind Barden:
Annotated Z bibliography. Inf. Softw. Technol. 37(5-6): 317-332 (1995) - [j29]Jonathan P. Bowen:
Glossary of Z notation. Inf. Softw. Technol. 37(5-6): 333-334 (1995) - [j28]Jonathan P. Bowen, Mike Hinchey:
Report on Z user meeting (ZUM '94). Inf. Softw. Technol. 37(5-6): 335-336 (1995) - [j27]Jonathan P. Bowen, Michael G. Hinchey:
Seven More Myths of Formal Methods. IEEE Softw. 12(4): 34-41 (1995) - [j26]Peter T. Breuer, Jonathan P. Bowen:
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. Softw. Pract. Exp. 25(11): 1263-1297 (1995) - [c21]Jonathan P. Bowen:
Select Z Bibliography. ZUM 1995: 527-560 - [c20]Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. ZUM 1995: 561-569 - [e3]Jonathan P. Bowen, Michael G. Hinchey:
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings. Lecture Notes in Computer Science 967, Springer 1995, ISBN 3-540-60271-2 [contents] - 1994
- [j25]Jifeng He, Jonathan P. Bowen:
Specification, Verification and Prototyping of an Optimized Compiler. Formal Aspects Comput. 6(6): 643-658 (1994) - [j24]Peter T. Breuer, Jonathan P. Bowen:
Decompilation: The Enumeration of Types and Grammars. ACM Trans. Program. Lang. Syst. 16(5): 1613-1647 (1994) - [c19]Jonathan P. Bowen, Michael G. Hinchey:
Seven More Myths of Formal Methods. FME 1994: 105-117 - [c18]Jonathan P. Bowen, Michael J. C. Gordon:
Z and HOL. Z User Workshop 1994: 141-167 - [c17]Peter T. Breuer, Jonathan P. Bowen:
Towards Correct Executable Semantics for Z. Z User Workshop 1994: 185-209 - [c16]Jonathan P. Bowen:
Select Z Bibliography. Z User Workshop 1994: 359-396 - [c15]Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1994: 397-403 - [e2]Jonathan P. Bowen, J. Anthony Hall:
Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Workshops in Computing, Springer/BCS 1994, ISBN 3-540-19884-9 [contents] - 1993
- [j23]Jonathan P. Bowen, Victoria Stavridou:
Safety-critical systems, formal methods and standards. Softw. Eng. J. 8(4): 189-209 (1993) - [j22]Jonathan P. Bowen, Peter T. Breuer, Kevin Lano:
A compendium of formal techniques for software maintenance. Softw. Eng. J. 8(5): 253-262 (1993) - [j21]Jonathan P. Bowen:
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. 35(10): 613 (1993) - [j20]Jonathan P. Bowen, Peter T. Breuer, Kevin Lano:
Formal specifications in software maintenance: from code to Z++ and back again. Inf. Softw. Technol. 35(11-12): 679-690 (1993) - [j19]Jonathan P. Bowen:
From programs to object code and back again using logic programming: Compilation and decompilation. J. Softw. Maintenance Res. Pract. 5(4): 205-234 (1993) - [c14]Jifeng He, Ian Page, Jonathan P. Bowen:
Towards a Provably Correct Hardware Implementation of Occam. CHARME 1993: 214-225 - [c13]Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn:
Developing Correct Systems. RTS 1993: 176-187 - [c12]Jonathan P. Bowen, Victoria Stavridou:
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. FME 1993: 183-195 - [e1]Jonathan P. Bowen, John E. Nicholls:
Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, Springer 1993, ISBN 3-540-19818-0 [contents] - 1992
- [j18]Jonathan P. Bowen:
X: Why Z? Comput. Graph. Forum 11(4): 221-234 (1992) - [c11]Jifeng He, Jonathan P. Bowen:
Time interval semantics and implementation of a real-time programming language. RTS 1992: 110-115 - [c10]Peter T. Breuer, Jonathan P. Bowen:
Decompilation is the Efficient Enumeration of Types. WSA 1992: 255-273 - [c9]Jonathan P. Bowen:
Select Z Bibliography. Z User Workshop 1992: 309-341 - [c8]Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1992: 342-347 - 1991
- [j17]Jonathan P. Bowen:
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 15(10): 567-568 (1991) - [c7]Jonathan P. Bowen:
From Programs to Object Code using Logic and Logic Programming. Code Generation 1991: 173-192 - [c6]Jonathan P. Bowen:
Select Z Bibliography and Frequently Asked Questions. Z User Workshop 1991: 367-401 - 1990
- [j16]Jonathan P. Bowen:
Formal specification of the ProCoS/safemos instruction set. Microprocess. Microsystems 14(10): 631-643 (1990) - [c5]Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya:
An Approach to Verifiable Compiling Specification and Prototyping. PLILP 1990: 45-59 - [c4]Jonathan P. Bowen:
Selected Z Bibliography. Z User Workshop 1990: 353-373 - [c3]Jonathan P. Bowen:
Z FORUM Electronic Mailing List. Z User Workshop 1990: 378-378 - [c2]Jonathan P. Bowen:
PRG Archive Server. Z User Workshop 1990: 379-379
1980 – 1989
- 1989
- [j15]Jonathan P. Bowen:
POS-formal specification of a Unix tool. Softw. Eng. J. 4(1): 67-72 (1989) - 1988
- [j14]Jonathan P. Bowen:
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 12(2): 119 (1988) - [j13]Jonathan P. Bowen:
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 12(2): 119 (1988) - [j12]Jonathan P. Bowen:
The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278. Microprocess. Microsystems 12(3): 175 (1988) - 1987
- [j11]Jonathan P. Bowen:
Formal specification and documentation of microprocessor instruction sets. Microprocess. Microprogramming 21(1-5): 223-230 (1987) - 1986
- [j10]Jonathan P. Bowen:
Design of a Simple Cambridge Ring Interface Adapter. Comput. Syst. Sci. Eng. 1(2): 93-98 (1986) - [j9]Colin D. Walter, Jonathan P. Bowen:
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 10(9): 513 (1986) - [c1]Roger B. Gimson, Jonathan P. Bowen, Tim Gleeson:
Distributed computing software project. ACM SIGOPS European Workshop 1986 - 1985
- [j8]Jonathan P. Bowen:
Software/hardware integration on microprocessors. Microprocess. Microsystems 9(1): 8-14 (1985) - [j7]Jonathan P. Bowen:
6800/6802 microprocessor emulation adapter. Microprocess. Microsystems 9(1): 24-26 (1985) - [j6]Jonathan P. Bowen:
Microprocessors: hardware and applications: A Veronis, Reston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928. Microprocess. Microsystems 9(2): 88 (1985) - [j5]Jonathan P. Bowen:
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 9(3): 138-139 (1985) - [j4]Jonathan P. Bowen:
Standard microprocessor programming cards. Microprocess. Microsystems 9(6): 274-289 (1985) - [j3]Jonathan P. Bowen:
Microprocessor I/O emulation facilities. Microprocess. Microsystems 9(8): 386-393 (1985) - [j2]Jonathan P. Bowen:
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442. Microprocess. Microsystems 9(8): 413-414 (1985) - [j1]Jonathan P. Bowen:
A user-friendly interface adapter. Microprocess. Microsystems 9(9): 432-439 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
