Items where Author is "Bowen, JP"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 28.

Article

Bowen, JP and Zhu, H (2017) Unifying theories of programming Lecture Notes in Computer Science 10134. V-VI.

Bowen, JP (2017) Alan turing: Founder of computer science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10215. pp. 1-15. DOI https://doi.org/10.1007/978-3-319-56841-6_1

Bowen, JP and Liu, Z and Zhang, Z (2017) Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10215. DOI https://doi.org/10.1007/978-3-319-56841-6

Breuer, PT and Bowen, JP (2016) A Fully Encrypted Microprocessor: The Secret Computer is Nearly Here. Procedia Computer Science, 83. pp. 1282-1287. DOI https://doi.org/10.1016/j.procs.2016.04.267

Book Section

Bowen, JP and Liu, Z and Zhang, Z (2017) Engineering trustworthy software systems Preface. In: Engineering Trustworthy Software Systems. Lecture Notes in Computer Science 10215, 10215 (10215). Springer, V-X. ISBN 9783319568409

Bowen, JP (2017) Provably Correct Systems: Community, Connections, and Citations. In: Hinchey, MG and Bowen, JP and Olderog, E-R, (eds.) Provably Correct Systems. NASA Monographs in Systems and Software Engineering . Springer, pp. 313-328. ISBN 978-3-319-48627-7

Bowen, JP (2016) The z notation: Whence the cause and whither the course? In: Engineering Trustworthy Software Systems. Lecture Notes in Computer Science, 9506 . Springer, 103 - 151. ISBN 9783319296272 DOI https://doi.org/10.1007/978-3-319-29628-9_3

Monograph

Bowen, JP (1987) The Formal Specification of a Microprocessor Instruction Set. Technical Report. Oxford University Computing Laboratory, Oxford, UK.

Conference or Workshop Item

Breuer, PT and Bowen, JP and Palomar, E and Liu, Z (2017) Encrypted computing: Speed, security and provable obfuscation against insiders. In: International Carnahan Conference on Security Technology, 23 October - 26 October 2017, Madrid, Spain. DOI https://doi.org/10.1109/CCST.2017.8167847

Breuer, PT and Bowen, JP and Palomar, E and Liu, Z (2017) On obfuscating compilation for encrypted computing. In: 14th International Conference on Security and Cryptography, 24th July - 26th July 2017, Madrid, Spain.

Bowen, JP and Giannini, T (2017) Life in Code and Digits: When Shannon met Turing. In: Electronic Visualisation and the Arts (EVA 2017), 11 July - 13 July 2017, London, UK.

Borda, A and Bowen, JP (2017) Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities. In: Electronic Visualisation and the Arts (EVA 2017), 11 July - 13 July 2017, London, UK,.

Breuer, PT and Bowen, JP and Palomar, E and Liu, Z (2016) A practical encrypted microprocessor. In: IEEE Proceedings of the 13th International Joint Conference on e-Business and Telecommunications, 26-28 July 2016, Lisbon, Portugal. DOI https://doi.org/10.5220/0005955902390250

Giannini, T and Bowen, JP (2016) Curating Digital Life and Culture: Art and information. In: Electronic Visualisation and the Arts (EVA 2016), 12 July - 14 July 2016, London, UK.

Bowen, JP (2014) Provably Correct Systems: Community, connections, and citations. In: Ernst-Ruediger Olderog Festschrift, September 2014, Oldenburg, Germany.

Breuer, PT and Bowen, JP (2014) Empirical Patterns in Google Scholar Citation Counts. In: 2014 IEEE 8th International Symposium on Service Oriented System Engineering, 7-11 April 2014. DOI https://doi.org/10.1109/SOSE.2014.55

Breuer, PT and Bowen, JP (2013) Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky. In: International Conference on Software Engineering and Formal Methods, September 23rd- 24th 2013, Madrid, Spain. DOI https://doi.org/10.1007/978-3-319-05032-4_27

Harrison, K and Bowen, JP and Bowen, AM (2013) Electronic Visualisation in Chemistry: From Alchemy to Art. In: EVA London 2013 Conference Proceedings, Electronic Workshops in Computing, 29-31 July 2013, London.

Bowen, JP (2013) Online Communities: Visualization and Formalization. In: The Second International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns, 8-9 July 2013, Abingdon, Oxfordshire, UK.

Breuer, PT and Bowen, JP (2013) An Open Question on the Uniqueness of (Encrypted) Arithmetic. In: International Conference on Computational Science, 5-7 June 2013, Barcelona, Spain.

Boiano, S and Bowen, JP and Gaia, G (2012) Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. In: EVA London 2012 Conference, 10 July 2012 - 12 July 2012, London.

Bowen, JP and Wilson, RJ (2012) Visualising Virtual Communities: From Erdős to the Arts. In: Electronic Visualisation and the Arts (EVA 2012), 10-12 July 2012, London, UK,.

Numerico, T and Bowen, JP (2005) Copyright and Promotion: Oxymoron or Opportunity? In: EVA 2005, 27 July 2005 - 29 July 2005, London.

Filippini-Fantoni, S and Bowen, JP (2005) Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara. In: EVA 2005 London Conference, 25 July 2005 - 29 July 2005, London.

Beler, A and Borda, A and Bowen, JP and Filippini-Fantoni, S (2004) The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector. In: Electronic Visualisation and the Arts 2004, 26–31 July 2004, The Institute of Archaeology, University College London, UK.

Bowen, JP (2003) Web Access to Cultural Heritage for the Disabled. In: Electronic Visualisation and the Arts (EVA) conference, 22-26 July 2003, London.

Bowen, JP (2003) Disabled Access for Museum Websites. In: The Twelfth International World Wide Web Conference, 20-24 May 2003, Budapest, Hungary.

Other

Breuer, PT and Bowen, JP (2014) On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? arXiv. (Unpublished)

This list was generated on Sat Jun 23 04:05:51 2018 BST.