Items where Author is "Bowen, JP"

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

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 (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

Conference or Workshop Item

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

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 Thu Jan 18 04:06:15 2018 GMT.