Items where Author is "Bowen, JP"

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

Article

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

Bowen, J.P. (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 1-15. doi: https://doi.org/10.1007/978-3-319-56841-6_1

Bowen, J.P., 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, P.T., and Bowen, J.P. (2016). A Fully Encrypted Microprocessor: The Secret Computer is Nearly Here. Procedia Computer Science, 83 1282-1287. doi: https://doi.org/10.1016/j.procs.2016.04.267

Book Section

Bowen, J.P., Liu, Z., and Zhang, Z. (2017). Engineering trustworthy software systems Preface. Engineering Trustworthy Software Systems (V-X). Springer.

Bowen, J.P. (2017). Provably Correct Systems: Community, Connections, and Citations. In M.G. Hinchey, J.P. Bowen, and E.R. Olderog (Eds.), Provably Correct Systems (313-328). Springer.

Bowen, J.P. (2016). The z notation: Whence the cause and whither the course? Engineering Trustworthy Software Systems (103 - 151). Springer. doi: https://doi.org/10.1007/978-3-319-29628-9_3

Monograph

Bowen, J.P. (1987). The Formal Specification of a Microprocessor Instruction Set. Oxford, UK: Oxford University Computing Laboratory.

Conference or Workshop Item

Breuer, P.T., Bowen, J.P., Palomar, E., and Liu, Z. (2018). The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. Paper presented at 2018 IEEE European Symposium on Security and Privacy Workshops, 23rd - 27th April 2018. IEEE. doi: https://doi.org/10.1109/EuroSPW.2018.00027

Breuer, P.T., Bowen, J.P., Palomar, E., and Liu, Z. (2017). Encrypted computing: Speed, security and provable obfuscation against insiders. Paper presented at International Carnahan Conference on Security Technology, Madrid, Spain, 23 October - 26 October 2017. London South Bank University. doi: https://doi.org/10.1109/CCST.2017.8167847

Breuer, P.T., Bowen, J.P., Palomar, E., and Liu, Z. (2017). On obfuscating compilation for encrypted computing. Paper presented at 14th International Conference on Security and Cryptography, Madrid, Spain, 24th July - 26th July 2017. London South Bank University.

Bowen, J.P., and Giannini, T. (2017). Life in Code and Digits: When Shannon met Turing. Paper presented at Electronic Visualisation and the Arts (EVA 2017), London, UK, 11 July - 13 July 2017. BCS.

Borda, A., and Bowen, J.P. (2017). Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities. Paper presented at Electronic Visualisation and the Arts (EVA 2017), London, UK,, 11 July - 13 July 2017. BCS.

Breuer, P.T., Bowen, J.P., Palomar, E., and Liu, Z. (2016). A practical encrypted microprocessor. Paper presented at IEEE Proceedings of the 13th International Joint Conference on e-Business and Telecommunications, Lisbon, Portugal, 26-28 July 2016. London South Bank University. doi: https://doi.org/10.5220/0005955902390250

Giannini, T., and Bowen, J.P. (2016). Curating Digital Life and Culture: Art and information. Paper presented at Electronic Visualisation and the Arts (EVA 2016), London, UK, 12 July - 14 July 2016. BCS.

Bowen, J.P. (2014). Provably Correct Systems: Community, connections, and citations. Paper presented at Ernst-Ruediger Olderog Festschrift, Oldenburg, Germany, September 2014. London South Bank University.

Breuer, P.T., and Bowen, J.P. (2014). Empirical Patterns in Google Scholar Citation Counts. Paper presented at 2014 IEEE 8th International Symposium on Service Oriented System Engineering, 7-11 April 2014. IEEE. doi: https://doi.org/10.1109/SOSE.2014.55

Breuer, P.T., and Bowen, J.P. (2013). Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky. Paper presented at International Conference on Software Engineering and Formal Methods, Madrid, Spain, September 23rd- 24th 2013. London South Bank University. doi: https://doi.org/10.1007/978-3-319-05032-4_27

Harrison, K., Bowen, J.P., and Bowen, A.M. (2013). Electronic Visualisation in Chemistry: From Alchemy to Art. Paper presented at EVA London 2013 Conference Proceedings, Electronic Workshops in Computing, London, 29-31 July 2013. London South Bank University.

Bowen, J.P. (2013). Online Communities: Visualization and Formalization. Paper presented at The Second International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns, Abingdon, Oxfordshire, UK, 8-9 July 2013. London South Bank University.

Breuer, P.T., and Bowen, J.P. (2013). An Open Question on the Uniqueness of (Encrypted) Arithmetic. Paper presented at International Conference on Computational Science, Barcelona, Spain, 5-7 June 2013. London South Bank University.

Boiano, S., Bowen, J.P., and Gaia, G. (2012). Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. Paper presented at EVA London 2012 Conference, London, 10 July 2012 - 12 July 2012. London South Bank University.

Bowen, J.P., and Wilson, R. (2012). Visualising Virtual Communities: From Erdős to the Arts. Paper presented at Electronic Visualisation and the Arts (EVA 2012), London, UK,, 10-12 July 2012. London South Bank University.

Numerico, T., and Bowen, J.P. (2005). Copyright and Promotion: Oxymoron or Opportunity? Paper presented at EVA 2005, London, 27 July 2005 - 29 July 2005. London South Bank University.

Filippini-Fantoni, S., and Bowen, J.P. (2005). Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara. Paper presented at EVA 2005 London Conference, London, 25 July 2005 - 29 July 2005. London South Bank University.

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

Bowen, J.P. (2003). Web Access to Cultural Heritage for the Disabled. Paper presented at Electronic Visualisation and the Arts (EVA) conference, London, 22-26 July 2003. London South Bank University.

Bowen, J.P. (2003). Disabled Access for Museum Websites. Paper presented at The Twelfth International World Wide Web Conference, Budapest, Hungary, 20-24 May 2003. London South Bank University.

Other

Breuer, P.T., and Bowen, J.P. (2014). On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? Retrieved from https://arxiv.org/abs/1411.4813.

This list was generated on Fri Sep 21 04:06:46 2018 BST.