Ait El Manssour, R, Kenison, G, Shirmohammadi, M and Varonka, A Simple Linear Loops: Algebraic Invariants and Applications. Proceedings of the ACM on Programming Languages. (Accepted)

Baqa, H, Truong, NB, Crespi, N, Lee, GM and Le Gall, F Semantic Smart Contracts for Blockchain-based Services in the Internet of Things. In: The 18th IEEE International Symposium on Network Computing and Applications (NCA 2019), 26 September 2019 - 28 September 2019, Cambridge, MA USA. (Accepted)

Bell, PC Polynomially Ambiguous Probabilistic Automata on Restricted Languages. In: LIPIcs : Leibniz International Proceedings in Informatics , 132. (International Colloquium on Automata, Languages and Programming (ICALP), 08 July 2019 - 12 July 2019, Patras, Greece). (Accepted)

Boddy, A, Hurst, W, MacKay, M and El Rhalibi, A Establishing Situational Awareness for Securing Healthcare Patient Records. In: International Journal on Advances in Life Sciences . (The Tenth International Conference on eHealth, Telemedicine, and Social Medicine eTELEMED 2018, 25 March 2018 - 29 March 2018, Rome, Italy). (Accepted)

Boddy, A, Hurst, W, MacKay, M, El Rhalibi, A and Mwansa, M Data Analysis Techniques to Visualise Accesses to Patient Records in Healthcare Infrastructures. In: The Ninth International Conference on Cloud Computing, GRIDs, and Virtualization CLOUD COMPUTING 2018, 18 February 2018 - 22 February 2018, Barcelona. (Unpublished)

Cao, B, Yang, S, Zhao, J, Yang, P and Waraich, A Using Parallel Particle Swarm Optimization For RFID Reader-to-reader Anti-collision. In: (Accepted)

Curbelo Montañez, CA, Fergus, P, Hussain, A and Al-Jumeily, D Analysis of Extremely Obese Individuals Using Deep Learning Stacked Autoencoders and Genome-Wide Genetic Data. In: 2018 International Conference on Intelligent Computing (ICIC), 15th - 18th August 2018, Wuhan, China.. (Accepted)

Daly, A, Lee, G and Truong, NB A Blockchain-based Data Sharing Scheme using Attribute-Based Encryption and Fungible Tokens. In: GLOBECOM 2024 - 2024 IEEE Global Communications Conference Proceedings . (Globecom 2024, 8th Dec - 12th Dec 2024, Cape Town, South Africa). (Accepted)

Diekert, V, Potapov, I and Semukhin, P Decidability of membership problems for flat rational subsets of GL(2,Q) and singular matrices. SIAM Journal on Computing. ISSN 0097-5397 (Accepted)

Dobbins, CM and Fairclough, SH Detecting Negative Emotions During Real-Life Driving via Dynamically Labelled Physiological Data. In: 2018 IEEE International Conference on Pervasive Computing and Communications (PerCom’18), 19 March 2018 - 23 March 2018, Athens, Greece. (Accepted)

Friska, N and Sudirman, S Classification of Sagittal Lumbar Spine MRI for Lumbar Spinal Stenosis Detection using Transfer Learning of a Deep Convolutional Neural Network. In: IEEE Explore . (World Conference on Smart Trends in Systems, 29 July 2021 - 30 July 2021, London). (Accepted)

Harris, B, Dobbins, C, Fairclough, SH and Lisboa, P Measuring Academic Stress ‘In the Wild’ with Wearable Sensors: Removal of Noise from Wearable Sensor Data Using Fir Filters. In: 1st Neuroadaptive Technology Conference 2017 (NAT’17), 19 July 2017 - 21 July 2017, Berlin, Germany. (Accepted)

Hurst, W, Latham, K, O'Hare, D, Sands, A, O'Carroll, S and Gandy, RJ A Case Study on the Development of a Virtual Reality Proton Beam Therapy Unit. In: Interactive Digital Media 2018, 11 December 2018 - 12 December 2018, Liverpool. (Accepted)

Khan, W, Topham, L, Khayam, U, Ortega-Martorell, S, Heather, P, Ansell, D, Al-Jumeily, D and Hussain, A Person de-Identification: A Comprehensive Review of Methods, Datasets, Applications, and Ethical Aspects Along-With New Dimensions. IEEE Transactions on Biometrics, Behavior, and Identity Science. (Accepted)

Lambertsen, R, Tang, SOT, Davies, J and Morecroft, CW Development of A “PharmaComm” Serious Game for Teaching Pharmacist Communication and Drug Administration in a Virtual Hospital Setting. In: 9th International Conference on Developments in e-Systems Engineering (DESE2016), 31 August 2016 - 02 September 2016, Liverpool & Leeds. (Unpublished)

Latham, K, Hurst, W, Shone, N, El Rhalibi, A and Pan, Z A Case Study on the Advantages of 3D Walkthroughs over Photo Stitching Techniques. In: IEEE International Conference on Virtual Reality and Visualization (ICVRV 2016), 24 September 2016 - 26 September 2016, Hangzhou, China. (Unpublished)

Maines, CL, Zhou, B, Tang, SOT and Shi, Q Towards a Framework for the Extension and Visualisation of Cyber Security Requirements in Modelling Language. In: Developments in eSystems Engineering, 14 June 2017 - 16 June 2017, Paris, France. (Accepted)

Mwansa, M, Hurst, W, Chalmers, C, Shen, Y and Boddy, A A Study into Smart Grid Consumer-User Profiling for Security Applications. In: The Ninth International Conference on Cloud Computing, GRIDs, and Virtualization CLOUD COMPUTING 2018, 18 February 2018 - 22 February 2018, Barcelona. (Unpublished)

Shah Newaz, SH, Ahvar, E, Ahsan, MS, Kamruzzaman, J, Karmakar, G and Lee, GM Energy Conservation in Passive Optical Networks: A Tutorial and Survey. IEEE Communications Surveys and Tutorials. ISSN 1553-877X (Accepted)

Stamp, K, Dobbins, C, Fairclough, SH and Poole, H Development of a Neuroadaptive Gaming Technology to Distract from Painful Procedures. In: 1st Neuroadaptive Technology Conference 2017 (NAT’17), 19 July 2017 - 21 July 2017, Berlin, Germany. (Accepted)

Stamp, K, Dobbins, CM, Fairclough, SH and Poole, H The Influence of Game Demand on Distraction from Experimental Pain: A fNIRS Study. In: 2nd International Neuroergonomics Conference, 27 June 2018 - 29 June 2018, Philadelphia, PA, USA. (Accepted)

Such, JM, Criado, N and Garcia-Fornes, A An Active Learning Technique Enhanced with Electronic Polls. International Journal of Engineering Education. ISSN 0949-149X (Submitted)

Thompson, S, Fergus, P, Chalmers, C and Reilly, D Detection of Obstructive Sleep Apnoea Using Features Extracted from Segmented Time-Series ECG Signals Using a One Dimensional Convolutional Neural Network. In: IEEE Explore . (IEEE World Congress on Computational Intelligence (WCCI) 2020, 19-24th July 2020, Virtual Online Conference). (Accepted)