Jonathan P. Bowen
Orcid: 0000-0002-8748-6140Affiliations:
- London South Bank University, School of Engineering, UK
According to our database1,
Jonathan P. Bowen
authored at least 217 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on idref.fr
-
on viaf.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on jpbowen.com
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Electronic Visualisation and the Arts, 2024
Proceedings of the Electronic Visualisation and the Arts, 2024
Proceedings of the Electronic Visualisation and the Arts, 2024
Ruskin, Millais, and the Aclands: The colourful story of a painting, from oils to pixels.
Proceedings of the Electronic Visualisation and the Arts, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024
2023
Proceedings of the Electronic Visualisation and the Arts, 2023
Proceedings of the Electronic Visualisation and the Arts, 2023
Proceedings of the Electronic Visualisation and the Arts, 2023
Proceedings of the Electronic Visualisation and the Arts, 2023
Proceedings of the Electronic Visualisation and the Arts, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2022
Computational Culture: Transforming Archives Practice and Education for a Post-Covid World.
ACM Journal on Computing and Cultural Heritage, 2022
Proceedings of the Electronic Visualisation and the Arts, 2022
Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse.
Proceedings of the Electronic Visualisation and the Arts, 2022
More than Human: Merging real and virtual states of being from arts and culture to wellness in a post-Covid world.
Proceedings of the Electronic Visualisation and the Arts, 2022
Proceedings of the Electronic Visualisation and the Arts, 2022
Proceedings of the Electronic Visualisation and the Arts, 2022
2021
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021
Proceedings of the Electronic Visualisation and the Arts, 2021
Beyond Human: Arts and identity between reality and virtuality in a post-Covid-19 world.
Proceedings of the Electronic Visualisation and the Arts, 2021
Proceedings of the Electronic Visualisation and the Arts, 2021
Proceedings of the Electronic Visualisation and the Arts, 2021
Proceedings of the Electronic Visualisation and the Arts, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
2020
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.
Formal Aspects Comput., 2020
Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications.
Formal Aspects Comput., 2020
Computing the Future: Digital encounters in art and science when da Vinci meets Turing.
Proceedings of the Electronic Visualisation and the Arts, 2020
Proceedings of the Electronic Visualisation and the Arts, 2020
Proceedings of the Electronic Visualisation and the Arts, 2020
Proceedings of the Electronic Visualisation and the Arts, 2020
Proceedings of the Electronic Visualisation and the Arts, 2020
2019
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.
ACM Trans. Softw. Eng. Methodol., 2019
Fully encrypted high-speed microprocessor architecture: the secret computer in simulation.
Int. J. Crit. Comput. Based Syst., 2019
Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Proceedings of the Electronic Visualisation and the Arts, 2019
Proceedings of the Electronic Visualisation and the Arts, 2019
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Present to Future.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Past to Present.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019
2018
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., 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018
Proceedings of the Information and Communications Security - 20th International Conference, 2018
Proceedings of the Electronic Visualisation and the Arts, 2018
Proceedings of the Electronic Visualisation and the Arts, 2018
Proceedings of the Electronic Visualisation and the Arts, 2018
Proceedings of the Electronic Visualisation and the Arts, 2018
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018
2017
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017
Proceedings of the International Carnahan Conference on Security Technology, 2017
Proceedings of the Electronic Visualisation and the Arts, 2017
Proceedings of the Electronic Visualisation and the Arts, 2017
Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities.
Proceedings of the Electronic Visualisation and the Arts, 2017
Proceedings of the Provably Correct Systems, 2017
Turing's Monument.
Proceedings of the Turing Guide., 2017
Life and work.
Proceedings of the Turing Guide., 2017
Turing's legacy.
Proceedings of the Turing Guide., 2017
2016
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems.
Sensors, 2016
IACR Cryptol. ePrint Arch., 2016
IACR Cryptol. ePrint Arch., 2016
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016
Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016
Proceedings of the Electronic Visualisation and the Arts, 2016
Proceedings of the Electronic Visualisation and the Arts, 2016
Proceedings of the Electronic Visualisation and the Arts, 2016
Proceedings of the 7th International Conference on Ambient Systems, 2016
2015
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here.
CoRR, 2015
Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015
Proceedings of the Electronic Visualisation and the Arts, 2015
2014
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?
CoRR, 2014
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014
Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the Electronic Visualisation and the Arts, 2014
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer.
Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014
Formal Methods.
Proceedings of the Computing Handbook, 2014
2013
CoRR, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Electronic Visualisation and the Arts, 2013
Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013
Proceedings of the Theories of Programming and Formal Methods, 2013
2012
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
J. Log. Algebraic Methods Program., 2012
Proceedings of the Electronic Visualisation and the Arts, 2012
Usability, design and content issues of mobile apps for cultural heritage promotion: the Malta Culture Guide experience.
Proceedings of the Electronic Visualisation and the Arts, 2012
Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012
Proceedings of the Conquering Complexity, 2012
2011
Innov. Syst. Softw. Eng., 2011
Creating online collaborative environments for museums: a case study of a museum wiki.
Int. J. Web Based Communities, 2011
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.
Proceedings of the FM 2011: Formal Methods, 2011
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
Innov. Syst. Softw. Eng., 2010
Dulwich OnView: an art museum-based virtual community generated by the local community.
Proceedings of the Electronic Visualisation and the Arts, 2010
2009
Innov. Syst. Softw. Eng., 2009
Int. J. Technol. Manag., 2009
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009
2008
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.
Trans. Comput. Sci., 2008
Innov. Syst. Softw. Eng., 2008
2007
ACM Trans. Softw. Eng. Methodol., 2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
2006
Formalization and assessment of regulatory requirements for safety-critical software.
Innov. Syst. Softw. Eng., 2006
Formal Aspects Comput., 2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
2005
Softw. Test. Verification Reliab., 2005
Innov. Syst. Softw. Eng., 2005
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara
CoRR, 2005
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods.
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
2004
Softw. Test. Verification Reliab., 2004
Program, 2004
The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector
CoRR, 2004
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.
Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, 2004
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004
2003
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria.
Proceedings of the 2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September, 2003
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003
2002
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
J. Supercomput., 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
2000
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
1999
Proceedings of the 1999 Design, 1999
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
Formal Models and the Specification Process.
Proceedings of the Computer Science and Engineering Handbook, 1997
1996
<i>The Knowledge Acquisition and Representation Language, KARL</i> 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., 1996
<i>Formal methods in knowledge engineering</i> by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9.
Knowl. Eng. Rev., 1996
1995
Softw. Pract. Exp., 1995
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995
1994
ACM Trans. Program. Lang. Syst., 1994
Formal Aspects Comput., 1994
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994
1993
From programs to object code and back again using logic programming: Compilation and decompilation.
J. Softw. Maintenance Res. Pract., 1993
Formal specifications in software maintenance: from code to Z<sup>++</sup> and back again.
Inf. Softw. Technol., 1993
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., 1993
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993
Proceedings of the Correct Hardware Design and Verification Methods, 1993
1992
Comp.specification.z and Z FORUM Frequently Asked Questions.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992
Decompilation <i>is</i> the Efficient Enumeration of Types.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992
1991
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, 1991
Select Z Bibliography and Frequently Asked Questions.
Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991
Proceedings of the Code Generation, 1991
1990
Microprocess. Microsystems, 1990
PRG Archive Server.
Proceedings of the Z User Workshop, 1990
Z FORUM Electronic Mailing List.
Proceedings of the Z User Workshop, 1990
Selected Z Bibliography.
Proceedings of the Z User Workshop, 1990
Proceedings of the Programming Language Implementation and Logic Programming, 1990
1989
1988
The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278.
Microprocess. Microsystems, 1988
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, 1988
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, 1988
1987
Microprocess. Microprogramming, 1987
1986
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, 1986
Design of a Simple Cambridge Ring Interface Adapter.
Comput. Syst. Sci. Eng., 1986
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986
1985
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442.
Microprocess. Microsystems, 1985
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, 1985
Microprocessors: hardware and applications: A Veronis, Reston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928.
Microprocess. Microsystems, 1985