Browse by Academic Unit (A-Z)

Article

(2021) 12C(e,e'pN) measurements of short range correlations in the tensor-to-scalar interaction transition region. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 136523. ISSN 0370-2693

(2021) Feasibility studies for the measurement of time-like proton electromagnetic form factors from p¯ p→ μ+μ- at P ¯ ANDA at FAIR. European Physical Journal A. 30. ISSN 1434-601X

(2023) Federated benchmarking of medical artificial intelligence with MedPerf. Nature Machine Intelligence. pp. 799-810. ISSN 2522-5839

(2021) First Measurement of Timelike Compton Scattering. Physical Review Letters. 262501. ISSN 1079-7114

(2024) From vision to reality:How human factors can inform the design of cardiac diagnostic services in community settings. Human Factors in Healthcare. 100075. ISSN 2772-5014

(2021) Improved Λp Elastic Scattering Cross Sections between 0.9 and 2.0 GeV/c as a Main Ingredient of the Neutron Star Equation of State. Physical Review Letters. 272303. ISSN 1079-7114

(2025) Investigating the impact of trial retractions on the healthcare evidence ecosystem (VITALITY Study I):retrospective cohort study. BMJ (Clinical research ed.). e082068. ISSN 1756-1833

(2021) Measurement of the proton spin structure at long distances. Nature Physics. pp. 736-741. ISSN 1745-2473

(2020) Measurement of the α ratio and (n,γ) cross section of U 235 from 0.2 to 200 eV at n_TOF MEASUREMENT of the α RATIO and ... J. BALIBREA-CORREA et al. Physical Review C. 044615. ISSN 2469-9993

(2021) Observation of Beam Spin Asymmetries in the Process ep →e′π+π-X with CLAS12. Physical Review Letters. 152501. ISSN 1079-7114

(2021) Photoproduction of the f2 (1270) Meson Using the CLAS Detector. Physical Review Letters. 082002. ISSN 1079-7114

(2021) Study of excited Ξ baryons with the P¯ ANDA detector. European Physical Journal A. 149. ISSN 1434-601X

(2019) Technical design report for the PANDA Barrel DIRC detector. Journal of Physics G: Nuclear and Particle Physics. 045001. ISSN 0954-3899

(2021) The potential of Λ and Ξ− studies with PANDA at FAIR. European Physical Journal A. 154. ISSN 1434-601X

Abdelzaher, Tarek F., Agrawa, Kunal, Baruah, Sanjoy et al. (4 more authors) (2023) Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. Real-Time Systems. ISSN 1573-1383

Abdullah, M.S., Kimble, C., Benest, I. et al. (1 more author) (2006) Knowledge-Based Systems: A Re-Evaluation. Journal of Knowledge Management, 10 ( 3). pp. 127-142. ISSN 1367-3270

Adam, J., Adamczyk, L., Agrawal, N. et al. (436 more authors) (2022) ATHENA detector proposal - a totally hermetic electron nucleus apparatus proposed for IP6 at the Electron-Ion Collider. Journal of Instrumentation. P10019. ISSN 1748-0221

Adams, Anne, Hart, Jennefer, Iacovides, Ioanna orcid.org/0000-0001-9674-8440 et al. (3 more authors) (2019) Co-created evaluation:Identifying how games support police learning. International Journal of Human Computer Studies. pp. 34-44. ISSN 1071-5819

Agryzkov, Taras, Tortosa, Leandro, Vicent, Jose et al. (1 more author) (2017) A Centrality Measure for Urban Networks Based on the Eigenvector Centrality Concept. Environment and Planning B: Urban Analytics and City Science. ISSN 2399-8083

Aguiar, Pedro M., Hornby, Robert, McGarry, Cameron et al. (2 more authors) (2016) Discrete and continuous systems of logic in nuclear magnetic resonance. International journal of unconventional computing. pp. 109-132. ISSN 1548-7202

Ahmad, Fayaz, Khan, Zohaib, Siddiqi, Kamran orcid.org/0000-0003-1529-7778 et al. (6 more authors) (2021) Awareness, perceptions of and compliance with tobacco control policies among Naswar vendors in Khyber Pakhtunkhwa Pakistan. Tobacco Control. ISSN 1468-3318

Ahmad, Sohail orcid.org/0000-0002-2816-8484, Goodman, Anna, Creutzig, Felix et al. (2 more authors) (2020) A comparison of the health and environmental impacts of increasing urban density against increasing propensity to walk and cycle in Nashville, USA. Cities and Health. pp. 55-65. ISSN 2374-8834

Akagunduz, Erdem, Bors, Adrian G. orcid.org/0000-0001-7838-0021 and Evans, Karla K. orcid.org/0000-0002-8440-1711 (2020) Defining Image Memorability using the Visual Memory Schema. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 2165-2178. ISSN 0162-8828

Akbanov, Maxat, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 and Logothetis, Michael (2019) Ransomware detection and mitigation using software-defined networking:the case of WannaCry. Computers & Electrical Engineering. pp. 111-121. ISSN 0045-7906

Akesson, Benny, Nasri, Mitra, Nelissen, Geoffrey et al. (2 more authors) (2021) A Comprehensive Survey of Industry Practice in Real-time Systems. Real-Time Systems. ISSN 1573-1383

Akgün, Özgür, Frisch, Alan Mark, Gent, Ian Philip et al. (3 more authors) (2022) Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artificial Intelligence. 103751. ISSN 0004-3702

Akgün, Özgür, Gent, Ian Philip, Jefferson, Christopher et al. (5 more authors) (2025) TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. Journal of Artificial Intelligence Research (JAIR). pp. 1999-2056. ISSN 1076-9757

Alasmari, Naif, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) Quantitative Verification with Adaptive Uncertainty Reduction. Journal of Systems and Software. 111275. ISSN 0164-1212

Alberto, A., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Gaudel, M.-C. et al. (1 more author) (2016) Formal mutation testing for Circus. Information and Software Technology. pp. 1-23. ISSN 0950-5849

Albrecht, Martin R., Farshim, Pooya, Han, Shuai et al. (3 more authors) (2020) Multilinear Maps from Obfuscation. Journal of Cryptology. pp. 1080-1113. ISSN 1432-1378

Alden, Kieran James, Andrews, Paul Simon, Polack, Fiona A C orcid.org/0000-0001-7954-6433 et al. (3 more authors) (2015) Using argument notation to engineer biological simulations with increased confidence. Interface. 20141059. ISSN 1742-5662

Aldrian, Oswald and Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 (2013) Inverse Rendering of Faces with a 3D Morphable Model. IEEE Transactions on Pattern Analysis and Machine Intelligence. 6313594. pp. 1080-1093. ISSN 0162-8828

Alexander, Becky, Sherwen, Tomas orcid.org/0000-0002-3006-3876, D Holmes, Christopher et al. (4 more authors) (2020) Global inorganic nitrate production mechanisms:comparison of a global model with nitrate isotope observations. Atmospheric Chemistry and Physics. 38592020. pp. 3859-3877. ISSN 1680-7324

Alharbi, Emad, Bond, Paul S orcid.org/0000-0002-8465-4823, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2019) Comparison of automated crystallographic model-building pipelines. Acta crystallographica. Section D, Structural biology. pp. 1119-1128. ISSN 2059-7983

Alharbi, Emad, Bond, Paul orcid.org/0000-0002-8465-4823, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2021) Predicting the performance of automated crystallographic model-building pipelines. Acta crystallographica. Section D, Structural biology. pp. 1591-1601. ISSN 2059-7983

Alharbi, Emad, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Cowtan, Kevin orcid.org/0000-0002-0189-1437 (2020) Pairwise running of automated crystallographic model-building pipelines. Acta Crystallographica Section D: Structural Biology. pp. 814-823. ISSN 2059-7983

Alharbi, Emad, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Cowtan, Kevin Douglas orcid.org/0000-0002-0189-1437 (2023) Buccaneer model building with neural network fragment selection. Acta crystallographica. Section D, Structural biology. pp. 326-338. ISSN 2059-7983

Allwood, Dan A, Griffin, David orcid.org/0000-0002-4077-0005, Hayward, Thomas J et al. (6 more authors) (2023) A perspective on physical reservoir computing with nanomagnetic devices. Applied Physics Letters. 040501. ISSN 0003-6951

Alonso, E, D'Inverno, M, Kudenko, D orcid.org/0000-0003-3359-3255 et al. (2 more authors) (2001) Learning in multi-agent systems. The Knowledge Engineering Review. pp. 277-284. ISSN 1469-8005

Alotaibi, Fahad and Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 (2021) SDN-Based Detection of Self-Propagating Ransomware:The Case of BadRabbit. IEEE Access. pp. 28039-28058. ISSN 2169-3536

Altmeyer, Sebastian, Douma, Roeland, Lunniss, William Richard Elgon et al. (1 more author) (2016) On the effectiveness of cache partitioning in hard real-time systems. Real-Time Systems. pp. 598-643. ISSN 1573-1383

Alzahrani, Bander, Reed, Martin, Riihijarvi, Janne et al. (1 more author) (2015) Scalability of Information Centric Networking Using Mediated Topology Management. Journal of Network and Computer Applications. pp. 126-133. ISSN 1084-8045

Angelopoulos, Nikolaos and Cussens, James orcid.org/0000-0002-1363-2336 (2016) Distributional logic programming for Bayesian knowledge representation. International Journal of Approximate Reasoning. pp. 52-66. ISSN 0888-613X

Armstrong, C. D., Brenner, C. M., Zemaityte, E. et al. (15 more authors) (2019) Bremsstrahlung emission profile from intense laser-solid interactions as a function of laser focal spot size. Plasma Physics and Controlled Fusion. 034001. ISSN 1361-6587

Arnaboldi, Luca, Czekster, Ricardo M., Morisset, Charles et al. (1 more author) (2020) Modelling Load-Changing Attacks in Cyber-Physical Systems. Electronic Notes in Theoretical Computer Science. pp. 39-60. ISSN 1571-0661

Asplund, K., Ashburner, S., Cargill, K. et al. (3 more authors) (2003) Health care resouce use and stroke outcome. International Journal of Technology Assessment in Health Care. pp. 267-277. ISSN 0266-4623

Atkinson, G.A. and Hancock, E.R. (2007) Shape estimation using polarization and shading from two views. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29 (11). pp. 2001-2017. ISSN 0162-8828

Attieh, Saad Wasim A, Dang, Nguyen, Jefferson, Christopher et al. (2 more authors) (2025) Athanor: Local Search over Abstract Constraint Specifications. Artificial Intelligence. 104277. ISSN 0004-3702

Attwood, Katrina Claire, Kelly, Tim orcid.org/0000-0002-7385-2031 and Conmy, Philippa (2014) The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS. Ada User Journal. pp. 251-258.

Austin, J orcid.org/0000-0001-5762-8614 (1996) Distributed associative memories for high-speed symbolic reasoning. Fuzzy Sets and Systems. pp. 223-233. ISSN 0165-0114

Aziz, Furqan, Hancock, Edwin R orcid.org/0000-0003-4496-2028 and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2020) Network Entropy using Edge-based Information Functionals. Journal of Complex Networks. ISSN 2051-1329

Aziz, Furqan, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) A Wave Packet Signature for Complex Networks. Journal of Complex Networks. pp. 1-29. ISSN 2051-1329

Azzeh, Mohammad, Neagu, Daniel and Cowling, Peter I. orcid.org/0000-0003-1310-6683 (2010) Fuzzy grey relational analysis for software effort estimation. Empirical Software Engineering. pp. 60-90. ISSN 1382-3256

Bag, Samiran, Hao, Feng, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2019) SEAL: Sealed-Bid Auction without Auctioneers. Information Forensics and Security, IEEE Transactions on. 2042–2052. ISSN 1556-6013

Bahonar, Hoda, Mirzaei, Abdolreza, Sadri, Saeed et al. (1 more author) (2021) Graph Embedding Using Frequency Filtering. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 473-484. ISSN 0162-8828

Bahonar, Hoda, Mirzaei, Abdolreza and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2017) Diffusion Wavelet Embedding: a Multi-resolution Approach for Graph Embedding in Vector Space. Pattern Recognition. pp. 1-37. ISSN 0031-3203

Bai, Lu, Cui, Lixin, Bai, Xiao et al. (1 more author) (2018) Deep depth-based representations of graphs through deep learning networks. Neurocomputing. ISSN 0925-2312

Bai, Lu, Cui, Lixin, Jiao, Yuhang et al. (2 more authors) (2020) Learning Backtrackless Aligned-Spatial Graph Convolutional Networks for Graph Classification. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 783-798. ISSN 0162-8828 (In Press)

Bai, Lu, Cui, Lixin, Rossi, Luca et al. (3 more authors) (2018) Local-global nested graph kernels using nested complexity traces. Pattern Recognition Letters. ISSN 0167-8655

Bai, Lu, Cui, Lixin, Wang, Yue et al. (2 more authors) (2021) Fused Lasso for Feature Selection using Structural Information. Pattern Recognition. 108058. ISSN 0031-3203

Bai, Lu, Cui, Lixin, xu, lixiang et al. (3 more authors) (2023) Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis. IEEE Transactions on Neural Networks and Learning Systems. pp. 1808-1822. ISSN 2162-237X

Bai, Lu, Escolano, Francisco and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2016) Depth-based Hypergraph Complexity Traces from Directed Line Graphs. Pattern Recognition. pp. 229-240. ISSN 0031-3203

Bai, Lu and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2016) Fast depth-based subgraph kernels for unattributed graphs. Pattern Recognition. pp. 233-245. ISSN 0031-3203

Bai, Lu, Jiao, Yuhang, Cui, Lixin et al. (4 more authors) (2021) Learning Graph Convolutional Networks based on Quantum Vertex Information Propagation. IEEE Transactions on Knowledge and Data Engineering. ISSN 1041-4347

Bai, Lu, Rossi, Luca, Cui, Lixin et al. (2 more authors) (2019) A Quantum-inspired Similarity Measure for the Analysis of Complete Weighted Graphs. IEEE Transactions on Cybernetics. pp. 1264-1277. ISSN 2168-2267

Bai, Lu, Rossi, Luca, Cui, Lixin et al. (4 more authors) (2016) Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks. Pattern Recognition Letters. ISSN 0167-8655

Bai, Lu, Rossi, Luca, Torsello, Andrea et al. (1 more author) (2014) A quantum Jensen-Shannon graph kernel for unattributed graphs. Pattern Recognition. pp. 344-355. ISSN 0031-3203

Bai, Yang, Huang, Yizhi, Xie, Guoqi et al. (2 more authors) (2020) ASDYS: Dynamic Scheduling Using Active Strategies for Multi-Functional Mixed-Criticality Cyber-Physical Systems. Industrial Informatics, IEEE Transactions on. ISSN 1551-3203 (In Press)

Ballou, Nicholas, Denisova, Alena orcid.org/0000-0002-1497-5808, Ryan, Richard et al. (2 more authors) (2024) The Basic Needs in Games Scale (BANGS): A new tool for investigating positive and negative video game experiences. International Journal of Human-Computer Studies. 103289. ISSN 1071-5819

Banchi, Leonardo, Pereira, Jason, Lloyd, Seth et al. (1 more author) (2020) Convex optimization of programmable quantum computers. npj Quantum Information. 42 (2020). ISSN 2056-6387

Banchi, Leonardo, Pereira, Jason and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Generalization in Quantum Machine Learning:a Quantum Information Standpoint. PRX Quantum. 040321. ISSN 2691-3399

Banchi, Leonardo, Zhuang, Quntao and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2020) Quantum-enhanced barcode decoding and pattern recognition. Physical Review Applied. 064026. ISSN 2331-7019

Barber, H. and Kudenko, D. orcid.org/0000-0003-3359-3255 (2009) Generation of Adaptive Dilemma-Based Interactive Narratives. Computational Intelligence and AI in Games, IEEE Transactions on. 309 -326. ISSN 1943-068X

Barnett, William, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 and Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 (2022) Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers in Robotics and AI. 991637. ISSN 2296-9144

Bartlett, M. and Kazakov, D. (2005) The origins of syntax: from navigation to language. Connection Science, 17 (3&4). pp. 271-288. ISSN 0954-0091

Bartlett, S.D., Sanders, B.C., Braunstein, S.L. et al. (1 more author) (2002) Efficient classical simulation of continuous variable quantum information processes. Physical Review Letters, 88 (9). 097904-1. ISSN 0031-9007

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2023) Optimal Synthesis of Robust IDK Classifier Cascades. ACM Transactions in Embedded Computing Systems. 150. pp. 1-26. ISSN 1558-3465

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (1 more author) (2023) Optimally ordering IDK classifiers subject to deadlines. Real-Time Systems. ISSN 1573-1383

Barzanjeh, Shabir, Pirandola, Stefano orcid.org/0000-0001-6165-5615, Vitali, David et al. (1 more author) (2020) Microwave quantum illumination using a digital receiver. Science Advances. eabb0451. ISSN 2375-2548

Bas, Anil and Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 (2019) What Does 2D Geometric Information Really Tell Us About 3D Face Shape? International Journal of Computer Vision. pp. 1455-1473. ISSN 0920-5691

Basanta-Val, Pablo, Audsley, Neil Cameron orcid.org/0000-0003-3739-6590, Wellings, Andrew John orcid.org/0000-0002-3338-0623 et al. (2 more authors) (2016) Architecting Time-Critical Big-Data Systems. IEEE Transactions on Big Data. pp. 310-324. ISSN 2332-7790

Bate, I. and Burns, A. (2003) An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real-Time Systems, 25 (1). pp. 5-37. ISSN 0922-6443

Bate, I., Conmy, P., Kelly, T. et al. (1 more author) (2001) Use of Modern Processors in Safety Critical Applications. The Computer Journal, 44 (6). pp. 531-543. ISSN 0010-4620

Bate, I. and Kelly, T. (2003) Architectural Considerations in the Certification of Modular Systems. Reliability Engineering and System Safety, 81 ( 3). pp. 303-324. ISSN 0951-8320

Bate, I., McDermid, J. and Nightingale, P.W. (2003) Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems, 27 (4). pp. 159-169. ISSN 0141-9331

Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Transactions on Software Engineering. 7516652. pp. 298-320. ISSN 0098-5589

Battarbee, Christopher, Kahrobaei, Delaram orcid.org/0000-0001-5467-7832 and Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 (2022) Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings. Mathematical Cryptology. 130528. pp. 2-9.

Battarbee, Christopher, Kahrobaei, Delaram orcid.org/0000-0001-5467-7832 and Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 (2023) Semidirect Product Key Exchange:The State of Play. Journal of Algebra and Its Applications. ISSN 0219-4988

Battarbee, Christopher, Kahrobaei, Delaram orcid.org/0000-0001-5467-7832, Tailor, Dylan et al. (1 more author) (2022) On the Efficiency of A General Attack against the MOBS Cryptosystem. Journal of Mathematical Cryptology. pp. 289-297. ISSN 1862-2984

Baxter, James, Carvalho, Gustavo, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2023) RoboWorld:Verification of Robotic Systems with Environment in the Loop. Formal Aspects of Computing. 26. ISSN 1433-299X

Baxter, James, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2021) Sound reasoning in tock-CSP. Acta Informatica. pp. 126-162. ISSN 0001-5903

Begley, Cecily M, Gyte, Gillian Ml, Devane, Declan et al. (3 more authors) (2019) Active versus expectant management for women in the third stage of labour. Cochrane Database of Systematic Reviews. CD007412. ISSN 1469-493X

Bernat, G. (2003) Response time analysis of asynchronous real-time systems. Real-Time Systems, 25 (2-3). pp. 131-156. ISSN 0922-6443

Bernat, G., Burns, A. and Liamosi, A. (2001) Weakly hard real-time systems. IEEE Transactions on Computers, 50 (4). pp. 308-321. ISSN 0018-9340

Bernd Gil, Eric, Nunes Rodrigues, Genaína, Pelliccione, Patrizio et al. (1 more author) (2023) Mission specification and decomposition for multi-robot systems. Robotics and Autonomous Systems. 104386. ISSN 0921-8890

Birkinshaw, Celyn, Rouka, Elpida and Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 (2019) Implementing an intrusion detection and prevention system using software-defined networking:defending against port-scanning and denial-of-service attacks. Journal of Network and Computer Applications. pp. 71-85. ISSN 1084-8045

Bletsas, K. and Audsley, N. (2006) Optimal priority assignment in the presence of blocking. Information Processing Letters, 99 ( 3). pp. 83-86. ISSN 0020-0190

Blythe, M.A., Monk, A.F. and Doughty, K. (2005) Socially dependable design: The challenge of ageing populations for HCI. Interacting With Computers, 17 (6). pp. 672-689. ISSN 0953-5438

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2022) SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artificial Intelligence. 103604. ISSN 0004-3702

Booker, D., Petrou, G., Chatzidiakou, L. et al. (16 more authors) (2025) Ten questions concerning the future of residential indoor air quality and its environmental justice implications. Building and environment. 112957. ISSN 0360-1323

Borba, P., Sampaio, A., Cavalcanti, A. et al. (1 more author) (2004) Algebraic reasoning for object-oriented programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423

Borchers, David, Nightingale, Peter orcid.org/0000-0002-5052-8634, Stevenson, Ben et al. (1 more author) (2022) A latent capture history model for digital aerial surveys. Biometrics (Journal of the International Biometric Society). pp. 274-285. ISSN 1541-0420

Bors, A.G. (2006) Watermarking mesh based representations of 3-D objects using local moments. IEEE Transactions on Image Processing, 15 (3). pp. 687-701. ISSN 0162-8828

Bors, A G orcid.org/0000-0001-7838-0021, Hancock, E R orcid.org/0000-0003-4496-2028 and Wilson, R C orcid.org/0000-0001-7265-3033 (2003) Terrain analysis using radar shape-from-shading. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 974-992. ISSN 0162-8828

Bors, A G orcid.org/0000-0001-7838-0021 and Pitas, I (1999) Object classification in 3-D images using alpha-trimmed mean radial basis function network. IEEE Transactions on Image Processing. pp. 1744-1756. ISSN 1057-7149

Bors, A G orcid.org/0000-0001-7838-0021 and Pitas, I (2000) Prediction and Tracking of Moving Objects in Image Sequences. IEEE Transactions on Image Processing. pp. 1441-1445. ISSN 1057-7149

Bors, A.G. orcid.org/0000-0001-7838-0021, Kechagias, L. and Pitas, I. (2002) Binary morphological shape-based interpolation applied to 3-D tooth reconstruction. IEEE Transactions on Medical Imaging. pp. 100-108. ISSN 0278-0062

Brabyn, Sally orcid.org/0000-0001-5381-003X, Araya, Ricardo, Barkham, Michael et al. (16 more authors) (2016) The second Randomised Evaluation of the Effectiveness, cost-effectiveness and Acceptability of Computerised Therapy (REEACT-2) trial:does the provision of telephone support enhance the effectiveness of computer-delivered cognitive behaviour therapy? A randomised controlled trial. Health technology assessment. pp. 1-92. ISSN 2046-4924

Bradford, P., Woolsey, N. C. orcid.org/0000-0002-2444-9027, Scott, G. G. et al. (25 more authors) (2018) EMP control and characterization on high-power laser systems. High Power Laser Science and Engineering. e21. ISSN 2052-3289

Braun, Daniel, Adesso, Gerardo, Benatti, Fabio et al. (4 more authors) (2018) Quantum enhanced measurements without entanglement. Reviews of Modern Physics. 035006. ISSN 0034-6861

Braunstein, S.L., Cerf, N.J., Iblisdir, S. et al. (2 more authors) (2001) Optimal cloning of coherent states with a linear amplifier and beam splitters. Physical Review Letters, 86 (21). pp. 4938-4941. ISSN 0031-9007

Braunstein, Sam orcid.org/0000-0003-4790-136X and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2012) Side-Channel-Free Quantum Key Distribution. Physical Review Letters. 130502. ISSN 1079-7114

Braunstein, Sam orcid.org/0000-0003-4790-136X, Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Zyczkowski, Karol (2013) Better late than never:Information retrieval from black holes. Physical Review Letters. 101301. ISSN 1079-7114

Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X, Das, Saurya and Wang, Zhi-Wei (2021) Information recovery from evaporating black holes. International Journal of Modern Physics D. 2150069. ISSN 0218-2718

Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X, Faizal, Mir, Krauss, Lawrence et al. (2 more authors) (2023) Analogue simulations of quantum gravity with fluids. Nature Reviews Physics. ISSN 2522-5820

Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Quantum information versus black hole physics:Deep firewalls from narrow assumptions. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES. 20170324. ISSN 1471-2962

Bril, Reinder, Altmeyer, Sebastian, van den Heuvel, Martijn et al. (2 more authors) (2017) Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays::integrated analysis and evaluation. Real-Time Systems. pp. 1-64. ISSN 1573-1383

Brisolara, Lisane, Ferreira, Paulo R. and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2016) Application modeling for performance evaluation on event-triggered wireless sensor networks. Design Automation for Embedded Systems. pp. 269-287. ISSN 1572-8080

Bro-Jørgensen, Jakob, Franks, Daniel W. orcid.org/0000-0002-4832-7470 and Meise, Kristine (2019) Linking behaviour to dynamics of populations and communities:Application of novel approaches in behavioural ecology to conservation. Philosophical Transactions of the Royal Society B: Biological Sciences. 20190008. ISSN 1471-2970

Brooke, P.J., Paige, R.F. and Jacob, J.L. (2007) A CSP Model of Eiffel's SCOOP. Formal Aspects of Computing, 19 (4). pp. 487-512. ISSN 0934-5043

Brown, I.D.K., Stepney, S., Sudbery, A. et al. (1 more author) (2005) Searching for highly entangled multi-qubit states. Journal of Physics A: Mathematical and General, 38 (5). pp. 1119-1131. ISSN 03054470

Brown, Dominic, Bettencourt, Matthew T., Wright, Steven A. orcid.org/0000-0001-7133-8533 et al. (3 more authors) (2021) Higher-Order Particle Representation for Particle-in-Cell Simulations. Journal of Computational Physics. ISSN 0021-9991

Brown, R., Tomasello, L., Mitchell, D. A. et al. (2 more authors) (2017) Ternary graph as a questionnaire:A new approach to assessment of quality of life? British journal of oral & maxillofacial surgery. pp. 679-684. ISSN 0266-4356

Brownlee, A. E. I., Burles, N. orcid.org/0000-0003-3030-1675 and Swan, J. (2017) Search-Based Energy Optimization of Some Ubiquitous Algorithms. IEEE Transactions on Emerging Topics in Computational Intelligence. pp. 188-201.

Bucchiarone, Antonio, Cabot, Jordi, Paige, Richard F. orcid.org/0000-0002-1978-9852 et al. (1 more author) (2020) Grand challenges in model-driven engineering:an analysis of the state of the research. Software and Systems Modeling. pp. 5-13. ISSN 1619-1366

Burles, Nathan John orcid.org/0000-0003-3030-1675, O'Keefe, Simon orcid.org/0000-0001-5957-2474, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (1 more author) (2013) ENAMeL : a language for binary correlation matrix memories:reducing the memory constraints of matrix memories. Neural Processing Letters. pp. 1-23. ISSN 1573-773X

Burns, A. and Lin, T. -M. (2006) An engineering process for the verification of real-time systems. Formal Aspects of Computing, 19 (1). pp. 111-136. ISSN 0934-5043

Burns, A. orcid.org/0000-0001-5621-8816 and Hayes, I.J. (2010) A timeband framework for modelling real-time systems. Real-Time Systems. pp. 106-142. ISSN 1573-1383

Burns, A. orcid.org/0000-0001-5621-8816 and Wellings, A.J. orcid.org/0000-0002-3338-0623 (2016) The Deadline Floor Protocol and Ada. ACM Ada Letters. pp. 29-34. ISSN 1094-3641

Burns, A. orcid.org/0000-0001-5621-8816 and Wellings, A.J. orcid.org/0000-0002-3338-0623 (2016) Synchronous Task Control and Synchronous Barriers. ACM Ada Letters. pp. 35-38. ISSN 1094-3641

Burns, A. orcid.org/0000-0001-5621-8816 and Zhang, S. (1995) An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol. IEEE/ACM Transactions on Networking. pp. 729-741. ISSN 1063-6692

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2018) A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv.. 82. ISSN 0360-0300

Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Baruah, Sanjoy et al. (1 more author) (2018) Robust Mixed-Criticality Systems. IEEE Transactions on Computers. pp. 1478-1491. ISSN 0018-9340

Burns, Alan orcid.org/0000-0001-5621-8816, Fleming, Thomas David, Baruah, S et al. (3 more authors) (2017) Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks". ACM Transactions on Embedded Computing Systems (TECS). 77:1-&&:4.

Burns, Alan orcid.org/0000-0001-5621-8816, Harbin, James Robert orcid.org/0000-0002-6479-8600, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (3 more authors) (2020) The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Transactions on Cyber-Physical Systems. 19. ISSN 2378-9638

Burns, Alan orcid.org/0000-0001-5621-8816, Hayes, Ian and Jones, Cliff (2019) Deriving specifications of control programs for cyber physical systems. Computer journal. ISSN 1460-2067

Burns, Dominic, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Parr, Catherine L. et al. (3 more authors) (2020) A longitudinal study of nest occupancy, trail networks and foraging in a polydomous wood ant population. Insectes Sociaux. 419–427. ISSN 1420-9098

Burns, Dominic, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Parr, Kate et al. (1 more author) (2020) Ant colony nest networks adapt to resource disruption. Journal of Animal Ecology. pp. 143-152. ISSN 1365-2656

Burns, Dominic, Pitchford, Jonathan William orcid.org/0000-0002-8756-0902, Parr, Catherine L et al. (2 more authors) (2019) The costs and benefits of decentralization and centralization of ant colonies. Behavioral Ecology. ISSN 1465-7279

Burton, Simon, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Lawton, Tom et al. (3 more authors) (2019) Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective. Artificial Intelligence. 103201. ISSN 0004-3702

Burton, Simon, McDermid, John Alexander orcid.org/0000-0003-4745-4272, Garnett, Philip orcid.org/0000-0001-6651-0220 et al. (1 more author) (2021) Safety, Complexity, and Automated Driving:Holistic Perspectives on Safety Assurance. Computer. pp. 22-32. ISSN 0018-9162

Butterfield, A. and Woodcock, J. (2005) prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7 (3). pp. 248-267. ISSN 1433-2779

Cabaleiro, Bernardo, Peñas, Anselmo and Manandhar, Suresh Kumar orcid.org/0000-0002-2822-2903 (2017) Grounding proposition stores for question answering over linked data. Knowledge Based Systems. pp. 34-42.

Cabras, Ignazio, Goumagias, Nikolaos D., Fernandes, Kiran et al. (5 more authors) (2017) Exploring survival rates of companies in the UK video-games industry:An empirical study. Technological Forecasting and Social Change. pp. 305-314. ISSN 0040-1625

Cairns, P. and Gow, J. (2007) Integrating searching and authoring in Mizar. Journal of Automated Reasoning, 39 (2). pp. 141-160. ISSN 0168-7433

Cairns, P., Gow, J. and Collins, P. (2003) On dynamically presenting a topology course. Annals of Mathematics and Artificial Intelligence, 38 (1-3). pp. 91-104. ISSN 1012-2443

Cairns, Paul Antony orcid.org/0000-0002-6508-372X, Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Barlet, Mark et al. (1 more author) (2019) Future Design of Accessibility in Games:A Design Vocabulary. International Journal of Human-Computer Studies. pp. 64-71.

Cairns, Paul Antony orcid.org/0000-0002-6508-372X, Power, Christopher, Barlet, Mark et al. (3 more authors) (2019) Enabled Players: the value of accessible digital games. Games and Culture. ISSN 1555-4139 (In Press)

Caldwell, James Lynn, Gent, Ian Philip and Nightingale, Peter William orcid.org/0000-0002-5052-8634 (2017) Generalized support and formal development of constraint propagators. AI Communications. pp. 325-346. ISSN 1875-8452

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos orcid.org/0000-0002-2706-5272 et al. (2 more authors) (2018) Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. pp. 140-158. ISSN 0164-1212

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 and Johnson, Kenneth Harold Anthony (2019) Efficient Parametric Model Checking Using Domain Knowledge. IEEE Transactions on Software Engineering. 8698796. ISSN 0098-5589

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Weyns, Danny, Gerasimou, Simos et al. (3 more authors) (2018) Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Transactions on Software Engineering. 8008800. pp. 1039-1069. ISSN 0098-5589

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Johnson, Kenneth Harold Anthony et al. (3 more authors) (2015) Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Transactions on Reliability. pp. 107-125. ISSN 0018-9529

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Kwiatkowska, Marta et al. (1 more author) (2012) Self-adaptive software needs quantitative verification at runtime. Communications of the ACM. pp. 69-77. ISSN 0001-0782

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. pp. 1374-1395. ISSN 0098-5589

Campbell, Graham, Courtehoute, Brian and Plump, Detlef orcid.org/0000-0002-1148-822X (2022) Fast Rule-Based Graph Programs. Science of Computer Programming. 102727. ISSN 0167-6423

Campbell, Graham and Plump, Detlef orcid.org/0000-0002-1148-822X (2021) Confluence up to garbage in graph transformation. Theoretical Computer Science. pp. 1-22. ISSN 0304-3975

Campbell, Steven J., Wolfer, Kate, Utinger, Battist et al. (20 more authors) (2021) Atmospheric conditions and composition that influence PM2.5 oxidative potential in Beijing, China. Atmospheric Chemistry and Physics. pp. 5549-5573. ISSN 1680-7324

Carcassoni, M and Hancock, E R orcid.org/0000-0003-4496-2028 (2003) Correspondence matching with modal clusters. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1609-1615. ISSN 0162-8828

Carvalho, G., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2016) Modelling Timed Reactive Systems from Natural-Language Requirements. Formal Aspects of Computing. pp. 725-765. ISSN 1433-299X

Castelan, M., Smith, W.A.P. and Hancock, E.R. (2007) A coupled statistical model for face shape recovery from brightness images. IEEE Transactions on Image Processing, 16 ( 4). 1139 - 1151. ISSN 1057-7149

Castro-Cabrera, M. Carmen de, García-Dominguez, Antonio orcid.org/0000-0002-4744-9150 and Medina-Bulo, Inmaculada (2023) CMBMeTest:Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing. Electronics (Switzerland). 18. ISSN 2079-9292

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2005) Unifying classes and processes. International Journal on Software & Systems Modelling, 4 (3). pp. 277-296. ISSN 1619-1366

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2003) A refinement strategy for circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043

Cavalcanti, A., Woodcock, J. and Dunne, S. (2006) Angelic Nondeterminism in the Unifying Theories of Programming. Formal Aspects of Computing, 18 (3). pp. 288-307. ISSN 0934-5043

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Hierons, Robert M. and Nogueira, S. (2020) Inputs and outputs in CSP:a model and a testing theory. ACM Transactions on Computational Logic. 24. ISSN 1529-3785

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Simao, A. (2019) Fault-based refinement-testing for CSP. Software Quality Journal.

Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Filho, Madiel Conserva, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 et al. (1 more author) (2023) Laws of Timed State Machines. The Computer Journal. bxad124. ISSN 1460-2067

Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Sampaio, Augusto, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

Chambers, S. A., Du, Yongchen, Zhu, Z. et al. (10 more authors) (2018) Interconversion of intrinsic defects in $SrTiO_3(001)$. Physical Review B. 245204. ISSN 2469-9969

Chan, Yu, Wellings, Andrew John orcid.org/0000-0002-3338-0623, Gray, Ian orcid.org/0000-0003-1150-9905 et al. (1 more author) (2017) A Distributed Stream Library for Java 8. IEEE Transactions on Big Data. pp. 1-14. ISSN 2332-7790

Chang, Wanli orcid.org/0000-0002-4053-8898, Goswami, Dip, Chakraborty, Samarjit et al. (1 more author) (2018) OS-aware automotive controller design using non-uniform sampling. ACM Transactions on Cyber-Physical Systems. 26. ISSN 2378-9638

Chang, Wanli orcid.org/0000-0002-4053-8898, Goswami, Dip, Chakraborty, Samarjit et al. (3 more authors) (2017) Memory-aware embedded control systems design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. pp. 586-599. ISSN 0278-0070

Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran, Zhao, Shuai et al. (3 more authors) (2020) Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions in Embedded Computing Systems. ISSN 1558-3465 (In Press)

Chapman, Roderick, White, Neil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2017) Viewpoints:What can agile methods bring to high-integrity software development? Communications of the ACM. pp. 38-41. ISSN 0001-0782

Chatzis, V., Bors, A.G. orcid.org/0000-0001-7838-0021 and Pitas, I. (1999) Multimodal decision-level fusion for person authentication. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. pp. 674-680. ISSN 1083-4427

Chen, Z., Pears, N. and Liang, B. (2006) Monocular Obstacle Detection using Reciprocal-polar Rectification. Image and Vision Computing, 24 (12). pp. 1301-1312. ISSN 0262-8856

Chen, Z., Wu, C., Liu, Y. et al. (1 more author) (2004) 3D Euclidean Reconstruction of Buildings from Uncalibrated Image Sequences. International Journal of Shape Modelling, 10 (1). pp. 115-131. ISSN 0218-6543

Chen, Dongdong, Dai, Yuxing, Zhang, Lichi et al. (2 more authors) (2022) Position-aware and Structure Embedding Networks for Deep Graph Matching. Pattern recognition. p. 109242. ISSN 0031-3203

Chen, Dongdong, Guo, Xingchen, Wang, Jianjia et al. (3 more authors) (2021) Thermodynamic Motif Analysis for Directed Stock Market Networks. Pattern recognition. 107872. ISSN 0031-3203

Chen, Jian-Jia, Nelissen, Geoffrey, Huang, Wen-Hung Kevin et al. (10 more authors) (2018) Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems. Real-Time Systems. ISSN 1573-1383

Chen, Jinhui, Lue, Zhaojie, Zhang, Zhihong et al. (4 more authors) (2019) Polar Transformation on Image Features for Orientation-Invariant Representations. IEEE Transactions on Multimedia. pp. 300-313. ISSN 1520-9210

Chen, Jinhui, Takashima, Ryoichi, Guo, Xingchen et al. (4 more authors) (2021) Multimodal Fusion for Indoor Sound Source Localization. Pattern recognition. 107906. ISSN 0031-3203

Chen, Qian, Ruan, Xuezhong, Yuan, Honglei et al. (5 more authors) (2020) Interlayer transmission of magnons in dynamic spin valve structures. Applied Physics Letters. 132403. ISSN 0003-6951

Chen, Xianfu, Zhao, Zhifeng, Jiang, Tao et al. (2 more authors) (2009) Inter-Cluster Connection in Cognitive Wireless Mesh Networks Based on Intelligent Network Coding. Eurasip journal on advances in signal processing. 141097. -. ISSN 1687-6172

Chen, Xunquan, Xu, Xuexin, Kamihigashi, Takashi et al. (4 more authors) (2022) Speaker-Independent Emotional Voice Conversion via Disentangled Representations. IEEE Transactions on Multimedia. pp. 1-14. ISSN 1520-9210

Chivers, H. and McDermid, J. (2005) Refactoring service-based systems: how to avoid trusting a workflow service,. Concurrency and Computation: Practice and Experience - Special Issue: Workflow in Grid Systems, 18 (10). 1255 - 1275. ISSN 1532-0626

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2016) Control Consistency as a Management Tool: The Identification of Systematic Security Control Weaknesses in Air Traffic Management. International Journal of Critical Computer-Based Systems. ISSN 1757-8787

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2018) Navigating the Windows Mail database. Digital Investigation. pp. 1-23. ISSN 1742-2876

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2016) Optimising Unicode Regular Expression Evaluation with Previews. Software: Practice and Experience. ISSN 1097-024X

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2014) Private browsing:a window of forensic opportunity. Digital Investigation. pp. 20-29. ISSN 1742-2876

Chivers, Howard Robert orcid.org/0000-0001-7057-9650, Clark, John Andrew orcid.org/0000-0002-9230-9739, Nobles, Philip et al. (2 more authors) (2010) Knowing Who to Watch:identifying attackers whose actions are hidden within false alarms and background noise. Information Systems Frontiers. pp. 17-34. ISSN 1387-3326

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Hargreaves, C (2011) Forensic Data Recovery From The Windows Search Database. Digital Investigation. pp. 114-126. ISSN 1742-2876

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2009) XRound:A reversible template language and its application in model-based security analysis. Information and Software Technology. pp. 876-893.

Choi, Byung-Soo and Braunstein, Sam orcid.org/0000-0003-4790-136X (2010) Quantum algorithm for the asymmetric weight decision problem and its generalization to multiple weights. Quantum Information Processing. pp. 177-188. ISSN 1573-1332

Chubb, Jennifer Alison orcid.org/0000-0002-9716-820X (2021) Epistemic corruption and the research impact agenda. Theory and Research in Social Education. ISSN 2163-1654

Chubb, Jennifer Alison (2020) A conducive environment? The role of need support in the higher education workplace and its effect on academics' experiences of research assessment in the UK. Higher Education Quarterly. pp. 146-160. ISSN 1468-2273

Chubb, Jennifer Alison, Missaoui, Sondess, Concannon, Shauna et al. (2 more authors) (2022) Interactive storytelling for children:A case-study of design and development considerations for ethical conversational AI. International Journal of Child-Computer Interaction. 100403. ISSN 2212-8689

Ciardo, G., Lüttgen, G. and Miner, A.S. (2007) Exploiting interleaving semantics in symbolic state-space generation. Formal Methods in System Design, 31 (1). pp. 63-100. ISSN 0925-9856

Clark, J.A., Jacob, J.L., Maitra, S. et al. (1 more author) (2004) Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. Computational Intelligence, 20 (3). pp. 450-462. ISSN 0824-7935

Clark, J.A., Jacob, J.L. and Stepney, S. (2004) The Design of S-Boxes by Simulated Annealing. New Generation Computing, 23 (23). pp. 219-232. ISSN 0288-3635

Clark, Edward Blair, Hickinbotham, Simon John orcid.org/0000-0003-0880-4460 and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) Semantic closure demonstrated by the evolution of a universal constructor architecture in an artificial chemistry. Journal of the Royal Society Interface. 20161033. ISSN 1742-5662

Clark, John Andrew orcid.org/0000-0002-9230-9739, Dan, Haitao and Hierons, Robert M. (2013) Semantic mutation testing. Science of Computer Programming. pp. 345-363. ISSN 0167-6423

Clarke, Arabella orcid.org/0000-0003-3518-2740, Adamson, Joy orcid.org/0000-0002-9860-0850, Watt, Ian orcid.org/0000-0002-3147-8299 et al. (3 more authors) (2016) The impact of electronic records on patient safety:a qualitative study. BMC medical informatics and decision making. 62. ISSN 1472-6947

Connolly, S A, Gillingwater, Thomas H, Chandler, C et al. (7 more authors) (2018) The Anatomical Society's core anatomy syllabus for undergraduate nursing. Journal of Anatomy. ISSN 1469-7580

Consoli, Fabrizio, Tikhonchuk, Vladimir T., Tikhonchuk, Vladimir T. et al. (41 more authors) (2020) Laser produced electromagnetic pulses:Generation, detection and mitigation. High Power Laser Science and Engineering. e22. ISSN 2052-3289

Cooper, Michael Anthony orcid.org/0000-0002-4054-6783, Lewinska, Paulina Barbara Wiktoria, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 et al. (3 more authors) (2022) Unravelling the long-term, locally-heterogenous response of Greenland glaciers observed in archival photography. The Cryosphere. TC-2021-256. ISSN 1994-0424

Cope, Thomas P. W., Goodenough, Kenneth and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Converse bounds for quantum and private communication over Holevo-Werner channels. Journal of Physics A: Mathematical and Theoretical. 494001. pp. 1-22. ISSN 1751-8113

Cope, Thomas P. W. and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Adaptive estimation and discrimination of Holevo-Werner channels. Quantum Measurements and Quantum Metrology. pp. 1-9. ISSN 2299-114X

Cope, Thomas, Hetzel, Leon, Banchi, Leonardo et al. (1 more author) (2017) Simulation of non-Pauli Channels. Physical Review A. ISSN 1094-1622

Cosgrove, Jeremy, Hinder, Mark, St George, Rebecca et al. (5 more authors) (2021) Significant cognitive decline in Parkinson’s disease exacerbates the reliance on visual feedback during upper limb reaches. Neuropsychologia. 107885. ISSN 0028-3932

Costa, Lilia, Smith, Jim, Nichols, Thomas et al. (3 more authors) (2015) Searching Multiregression Dynamic Models of Resting-State fMRI Networks Using Integer Programming. Bayesian Analysis. pp. 441-478. ISSN 1931-6690

Cowling, P.L. orcid.org/0000-0003-1310-6683, Ward, C.D. and Powley, E.J. (2012) Ensemble Determinization in Monte Carlo Tree Search for the Imperfect Information Card Game Magic: The Gathering. Computational Intelligence and AI in Games, IEEE Transactions on. 6218176. ISSN 1943-068X

Cowling, Peter I. orcid.org/0000-0003-1310-6683, Powley, Edward J. and Whitehouse, Daniel (2012) Information Set Monte Carlo Tree Search. Computational Intelligence and AI in Games, IEEE Transactions on. 6203567. pp. 120-143. ISSN 1943-068X

Cowling, Peter I orcid.org/0000-0003-1310-6683, Devlin, Sam orcid.org/0000-0002-7769-3090, Powley, E. et al. (2 more authors) (2014) Player Preference and Style in a Leading Mobile Card Game. Computational Intelligence and AI in Games, IEEE Transactions on. pp. 233-242. ISSN 1943-068X

Crespi, F. C.L., Bracco, A., Tamii, A. et al. (45 more authors) (2018) Gamma decay of pygmy states in 90,94Zr from inelastic scattering of light ions. Journal of Physics: Conference Series. 012002. ISSN 1742-6596

Crispin-Bailey, Christopher orcid.org/0000-0003-0613-9698, Austin, James orcid.org/0000-0001-5762-8614, Moulds, Anthony et al. (2 more authors) (2019) Miniature Untethered EEG Recorder Improves Advanced Neuroscience Methodologies. IEEE Transactions on Biomedical Circuits and Systems. pp. 1101-1111. ISSN 1932-4545

Crispin-Bailey, Christopher orcid.org/0000-0003-0613-9698, Dai, Chengliang and Austin, James orcid.org/0000-0001-5762-8614 (2019) A 65nm CMOS lossless bio-signal compression circuit with 250 femtoJoule performance per bit. IEEE Transactions on Biomedical Circuits and Systems. pp. 1087-1100. ISSN 1932-4545

Crispin-Bailey, Christopher orcid.org/0000-0003-0613-9698, Kamali Sarvestani, Amir Mansoor and Austin, James orcid.org/0000-0001-5762-8614 (2018) Performance Analysis of a 3D Wireless Massively Parallel Computer. Journal of Sensor and Actuator Networks. 16. ISSN 2224-2708

Croft, Darren P., Weiss, Michael N., Nielsen, Mia L. K. et al. (5 more authors) (2021) Kinship Dynamics:Patterns and Consequences of Changes in Local Relatedness. Proceedings of the Royal Society B. 20211129. ISSN 1471-2954

Croft, Darren, Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 et al. (7 more authors) (2017) Reproductive Conflict and the Evolution of Menopause in Killer Whales. Current Biology. pp. 298-304. ISSN 0960-9822

Croissant, Maximilian, Schofield, Guy Peter orcid.org/0000-0003-1115-1018 and McCall, Cade Andrew orcid.org/0000-0003-0746-8899 (2023) Theories, methodologies, and effects of affect-adaptive games:a systematic review. Entertainment Computing. 100591. ISSN 1875-9521

Cross, A.D.J. and Hancock, E.R. orcid.org/0000-0003-4496-2028 (1998) Graph matching with a dual-step EM algorithm. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1236-1253. ISSN 0162-8828

Cui, Lixin, Bai, Lu, Wang, Yanchao et al. (2 more authors) (2021) Internet Financing Credit Risk Evaluation Using Multiple Structural Interacting Elastic Net Feature Selection. Pattern recognition. 107835. ISSN 0031-3203

Cui, Lixin, Bai, Lu, Xiao, Bai et al. (2 more authors) (2021) Learning Aligned Vertex Convolutional Networks for Graph Classification. IEEE Transactions on Neural Networks and Learning Systems. ISSN 2162-237X

Cui, Lixin, Bai, Lu, Zhang, Zhihong et al. (2 more authors) (2018) Identifying the most informative features using a structurally interacting elastic net. Neurocomputing. pp. 1-14. ISSN 0925-2312

Cui, Lixin, Li, Ming, Bai, Lu et al. (6 more authors) (2024) QBER: Quantum-based Entropic Representations for Un-attributed Graphs. Pattern Recognition. 109877. ISSN 0031-3203

Curado, Manuel, Escolano, Francisco, Lozano, Miguel A. et al. (1 more author) (2020) Early Detection of Alzheimer’s Disease:Detecting Asymmetries with a Return Random Walk Link Predictor. Entropy. 465. ISSN 1099-4300

Curado, Manuel, Escolano, Francisco, Lozano, Miguel Angel et al. (1 more author) (2019) Dirichlet Densifiers for Improved Commute Times Estimation. Pattern Recognition. pp. 56-68. ISSN 0031-3203

Curado, Manuel, Escolano, Francisco, Lozano, Miguel Angel et al. (1 more author) (2019) Seeking Affinity Structure: Strategies for Improving m-best Graph Matching. Information Sciences. pp. 164-182. ISSN 0020-0255

Curado, Manuel, Lozano, Miguel A., Escolano, Francisco et al. (1 more author) (2019) Dirichlet Densifier Bounds:Densifying Beyond the Spectral Gap Constraint. Pattern Recognition Letters. pp. 425-431. ISSN 0167-8655

Cussens, J. (2001) Parameter estimation in stochastic logic programs. Machine Learning, 44 (3). pp. 245-271. ISSN 0885-6125

Cussens, James orcid.org/0000-0002-1363-2336, Haws, David and Studený, Milan (2017) Polyhedral aspects of score equivalence in Bayesian network structure learning. Mathematical Programming. pp. 285-324. ISSN 0025-5610

Cutello, V., Nicosia, G., Pavone, M. et al. (1 more author) (2007) An Immune Algorithm for Protein Structure Prediction on Lattice Models. IEEE Transactions on Evolutionary Computation, 11 (1). 101 - 117. ISSN 1089-778X

Cutting, Joe Timothy, Gundry, David Edward and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2019) Busy doing nothing? What do players do in idle games? International Journal of Human-Computer Studies. pp. 133-144. ISSN 1071-5819

Cutting, Joe and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2020) Investigating game attention using the Distraction Recognition Paradigm. Behaviour & Information Technology. ISSN 0144-929X

Cutting, Joe, Cairns, Paul Antony orcid.org/0000-0002-6508-372X and Kuhn, Gustav (2020) Nothing else matters:video games create sustained attentional selection away from task-irrelevant features. Attention, Perception & Psychophysics. ISSN 1943-393X

Cutting, Joe, Copeland, Bethany and McNab, Fiona (2023) Higher working memory capacity and distraction-resistance associated with strategy (not action) game playing in younger adults, but puzzle game playing in older adults. Heliyon. E19098. ISSN 2405-8440

Cutting, Joe, Deterding, Christoph Sebastian, Demediuk, Simon Peter et al. (1 more author) (2023) Difficulty-skill balance does not affect engagement and enjoyment:a pre-registered study using artificial intelligence-controlled difficulty. Royal Society Open Science. 220274. ISSN 2054-5703

Cutting, Joe and Iacovides, Ioanna orcid.org/0000-0001-9674-8440 (2022) Learning by doing:Intrinsic Integration directs attention to increase learning in games. Proceedings of the ACM on Human-Computer Interaction. 240. ISSN 2573-0142

Czekster, Ricardo M., Metere, Roberto orcid.org/0000-0001-6992-4285 and Morisset, Charles (2022) Incorporating Cyber Threat Intelligence into Complex Cyber-Physical Systems:A STIX Model for Active Buildings. Applied Sciences (Switzerland). 5005. ISSN 2076-3417

Cámara, Javier, Troya, Javier, Vallecillo, Antonio et al. (5 more authors) (2022) The Uncertainty Interaction Problem in Self-Adaptive Systems. Software and Systems Modeling. ISSN 1619-1366

D'Ammando, Giacomo, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Bro-Jorgensen, Jakob (2022) Living in mixed-sex groups limits sexual selection as a driver of pelage dimorphism in bovids. Behavioral Ecology. pp. 541-548. ISSN 1465-7279

Dai, Hang, Pears, Nicholas Edwin orcid.org/0000-0001-9513-5634 and Duncan, Christian (2017) Modelling of Orthogonal Craniofacial Profiles. Journal of Imaging. 3040055. ISSN 2313-433X

Dai, Hang, Pears, Nicholas Edwin orcid.org/0000-0001-9513-5634, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 et al. (1 more author) (2020) Statistical Modeling of Craniofacial Shape and Texture. International Journal of Computer Vision. 547–571. ISSN 0920-5691

Dai, Xiaotian orcid.org/0000-0002-6669-5234 and Burns, Alan orcid.org/0000-0001-5621-8816 (2020) Period Adaptation of Real-Time Control Tasks with Fixed-Priority Scheduling in Cyber-Physical Systems. Journal of systems architecture. 101691. ISSN 1383-7621

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Chang, Wanli orcid.org/0000-0002-4053-8898, Zhao, Shuai et al. (1 more author) (2019) A dual-mode strategy for performance-maximisation and resource-efficient CPS design. ACM Transactions on Embedded Computing Systems (TECS). 85. 85:1-85:20.

Dale, Matthew, Miller, Julian F orcid.org/0000-0002-7692-9655, Stepney, Susan orcid.org/0000-0003-3146-5401 et al. (1 more author) (2019) A substrate-independent framework to characterize reservoir computers. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences. 20180723. ISSN 1364-5021

Dale, Matthew, Miller, Julian Francis orcid.org/0000-0002-7692-9655, Stepney, Susan orcid.org/0000-0003-3146-5401 et al. (1 more author) (2019) A substrate-independent framework to characterize reservoir computers. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 20180723. ISSN 1364-5021

Dale, Matthew, O'Keefe, Simon orcid.org/0000-0001-5957-2474, Sebald, Angelika orcid.org/0000-0001-7966-7438 et al. (2 more authors) (2020) Reservoir computing quality:connectivity and topology. Natural Computing. ISSN 1567-7818

Daly, Ian, Williams, D., Malik, A. et al. (5 more authors) (2018) Personalised, Multi-modal, Affective State Detection for Hybrid Brain-Computer Music Interfacing. IEEE Transactions on Affective Computing. pp. 1-14. ISSN 1949-3045

Daly, Ian, Williams, Duncan, Hwang, Faustina et al. (3 more authors) (2019) Electroencephalography reflects the activity of sub-cortical brain regions during approach-withdrawal behaviour while listening to music. Scientific Reports. 9415. ISSN 2045-2322

Davies, P. J. orcid.org/0000-0002-9003-0603, Park, J., Grawe, H. et al. (77 more authors) (2019) Toward the limit of nuclear binding on the N=Z line:Spectroscopy of Cd 96. Physical Review C. 021302. ISSN 2469-9993

Davis, R.I., Burns, A., Bril, R.J. et al. (1 more author) (2007) Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35 (3). pp. 239-272. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian and Reineke, Jan (2018) Response-time analysis for fixed-priority systems with a write-back cache. Real-Time Systems. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2018) An extensible framework for multicore response time analysis. Real-Time Systems. pp. 607-661. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928 and Cucu-Grosjean, Liliana (2019) A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. LITES: Leibniz Transactions on Embedded Systems. ISSN 2199-2002

Davis, Robert Ian orcid.org/0000-0002-5772-0928 and Cucu-Grosjean, Liliana (2019) A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. LITES: Leibniz Transactions on Embedded Systems. pp. 1-60. ISSN 2199-2002

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana, Bertogna, Marko et al. (1 more author) (2016) A Review of Priority Assignment in Real-Time Systems. Journal of systems architecture. pp. 64-82. ISSN 1383-7621

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Griffin, David Jack orcid.org/0000-0002-4077-0005 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2022) A Framework for Multi-core Schedulability Analysis Accounting for Resource Stress and Sensitivity. Real-Time Systems. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Thekkilakattil, Abhilash, Gettings, Oliver et al. (3 more authors) (2017) Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling. Real-Time Systems. pp. 1-39. ISSN 1573-1383

Dawson Pell, Francesca, Senar, Juan, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 et al. (1 more author) (2021) Fine‐scale genetic structure reflects limited and coordinated dispersal in the colonial monk parakeet, Myiopsitta monachus. Molecular Ecology. pp. 1531-1544. ISSN 0962-1083

De Boni, M. and Manandhar, S. (2005) Implementing clarification dialogue in open-domain question answering. Journal of Natural Language Engineering, 11 (14). pp. 343-361. ISSN 1351-3249

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 (2018) Angelic Processes for CSP via the UTP. Theoretical Computer Science. ISSN 0304-3975

De Oliveira, André, Bessi, Rosana, Masiero, Paulo C. et al. (4 more authors) (2019) Variability management in safety‐critical systems design and dependability analysis. Journal of Software: Evolution and Process.

Delgado-Pérez, Pedro, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Gregory, Steve et al. (3 more authors) (2018) Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Transactions on Reliability. 8453820. pp. 1406-1419. ISSN 0018-9529

Denby, Katherine orcid.org/0000-0002-7857-6814, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Sykes, Jamie (2024) Tailoring convolutional neural networks for custom botanical data. Applications in Plant Sciences. e11620. ISSN 2168-0450

Denisova, Alena orcid.org/0000-0002-1497-5808, Bromley, Steve, Mirza-Babaei, Pejman et al. (1 more author) (2024) Towards Democratisation of Games User Research:Exploring Playtesting Challenges of Indie Video Game Developers. Proceedings of the ACM on Human-Computer Interaction. 343. ISSN 2573-0142

Denisova, Alena orcid.org/0000-0002-1497-5808 and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2019) Player Experience and Deceptive Expectations of Difficulty Adaptation in Digital Games. Entertainment Computing. pp. 56-68. ISSN 1875-9521

Denisova, Alena orcid.org/0000-0002-1497-5808, Cairns, Paul orcid.org/0000-0002-6508-372X, Guckelsberger, Christian et al. (1 more author) (2020) Measuring perceived challenge in digital games:Development & validation of the challenge originating from recent gameplay interaction scale (CORGIS). International Journal of Human Computer Studies. 102383. ISSN 1071-5819

Despotou, George, Ryan, Mark, Arvanitis, Theodoros N et al. (4 more authors) (2017) A framework for synthesis of safety justification for digitally enabled healthcare services. DIGITAL HEALTH. 2055207617704271. ISSN 2055-2076

Dessein, Arnaud Fabien, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 et al. (1 more author) (2017) Symmetry-Aware Mesh Segmentation into Uniform Overlapping Patches. Computer graphics forum. pp. 95-107. ISSN 0167-7055

Deutschbein, Calvin, Fleming, Thomas David, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2019) Multi-core cyclic executives for safety-critical systems. Science of Computer Programming. pp. 102-116. ISSN 0167-6423

Di Crescenzo, Giovanni, Khodjaeva, Matluba, Kahrobaei, Delaram orcid.org/0000-0001-5467-7832 et al. (1 more author) (2020) Delegating a Product of Group Exponentiations with Application to Signature Schemes. Journal of Mathematical Cryptology. 438–459. ISSN 1862-2984

Di Ruscio, Davide, Kolovos, Dimitris orcid.org/0000-0002-1724-6563, de Lara, Juan et al. (3 more authors) (2022) Low-code development and model-driven engineering:Two sides of the same coin? Software and Systems Modeling. pp. 437-446. ISSN 1619-1366

Dodds, Mike orcid.org/0000-0002-4439-0130, Batty, Mark and Gotsman, Alexey (2014) C/C++ Cycles Confound Compositionality. Tiny Transactions on Computer Science.

Doell, Kimberly C, Todorova, Boryana, Vlasceanu, Madalina et al. (256 more authors) (2024) The International Climate Psychology Collaboration:Climate change-related data collected from 63 countries. Scientific data. 1066. ISSN 2052-4463

Dong, Guoshuai, Huang, Weimin, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 et al. (1 more author) (2020) Filling Voids in Elevation Models Using a Shadow-Constrained Convolutional Neural Network. IEEE Geoscience and Remote Sensing Letters. pp. 592-596. ISSN 1545-598X

Dong, Guoshuai, Huang, Weimin, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 et al. (1 more author) (2020) A Shadow Constrained Conditional Generative Adversarial Net for SRTM Data Restoration. Remote Sensing of Environment. 111602. ISSN 0034-4257

Dong, Yan, Liu, Yudong, Kang, Haonan et al. (3 more authors) (2022) Lightweight and efficient neural network with SPSA attention for wheat ear detection. PeerJ Computer Science. e931. ISSN 2376-5992

Douthwaite, James A., Lesage, Benjamin Michael Jean-Rene, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (4 more authors) (2021) A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers in Robotics and AI. 758099. ISSN 2296-9144

Drewes, F., Hoffmann, B. and Plump, D. (2002) Hierarchical graph transformation. Journal of Computer and System Sciences, 64 (2). pp. 249-283. ISSN 0022-0000

Duncan, Christian, Pears, N. E. orcid.org/0000-0001-9513-5634, Dai, Hang et al. (2 more authors) (2022) Applications of 3D Photography in Craniofacial Surgery. Journal of Paediatric Neurosciences. pp. 21-28. ISSN 1817-1745

Dutra e Silva Junior, Elvio Carlos, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920, Finamore, W.A. et al. (1 more author) (2012) A Programmable look-up table-based interpolator with nonuniform sampling scheme. International Journal of Reconfigurable Computing. 647805. ISSN 1687-7209

Dziurzanski, Piotr and Singh, Amit Kumar (2018) Feedback-Based Admission Control for Firm Real-Time Task Allocation with Dynamic Voltage and Frequency Scaling. Computers. 26. pp. 1-19. ISSN 2073-431X

Dziurzanski, Piotr, Singh, Amit Kumar and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2017) Multi-criteria Resource Allocation in Modal Hard Real-Time Systems. EURASIP Journal on Embedded Systems. 30. ISSN 1687-3963

Dziurzanski, Piotr, Zhao, Shuai, Przewozniczek, Michael et al. (2 more authors) (2020) Scalable Distributed Evolutionary Algorithm Orchestration using Docker Containers. Journal of Computational Science. 101069. pp. 1-14. ISSN 1877-7503

Dziurzanski, Piotr, Zhao, Shuai, Scholze, Sebastian et al. (3 more authors) (2020) Process Planning and Scheduling Optimisation with Alternative Recipes. at - Automatisierungstechnik. ISSN 2196-677X

Edwards, A.D.N. and Newell, C. (2004) Lively voice: a new model for speaking synthetic characters. Sprache und Datenverarbeitung: International Journal for Language Data Processing, 28 (2). pp. 133-151. ISSN 0343-5205

Elakkiya, R, Chandra, Harshiv, Pears, N. E. orcid.org/0000-0001-9513-5634 et al. (2 more authors) (2025) Lung image quality assessment and diagnosis using generative autoencoders in unsupervised ensemble learning. Biomedical signal processing and control. 107268. ISSN 1746-8094

Ellis, Sam, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Weiss, Michael et al. (5 more authors) (2021) Mixture models as a method for comparative sociality: social networks and demographic change in resident killer whales. Behavioral Ecology and Sociobiology. ISSN 1432-0762

Ellis, Samuel, Franks, Daniel W orcid.org/0000-0002-4832-7470 and Robinson, Elva J H orcid.org/0000-0003-4914-9327 (2014) Resource redistribution in polydomous ant nest networks:local or global? Behavioral Ecology. pp. 1183-1191. ISSN 1465-7279

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Nattrass, Stuart et al. (5 more authors) (2018) Postreproductive lifespans are rare in mammals. Ecology and Evolution. ISSN 2045-7758

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Nattrass, Stuart et al. (4 more authors) (2017) Mortality risk and social network position in resident killer whales: sex differences and the importance of resource abundance. Proceedings of the Royal Society B: Biological Sciences. ISSN 1471-2954

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Nattrass, Stuart et al. (5 more authors) (2018) Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales. Scientific Reports. pp. 1-10. ISSN 2045-2322

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Robinson, Elva Joan Hilda orcid.org/0000-0003-4914-9327 (2017) Ecological consequences of colony structure in dynamic ant nest networks. Ecology and Evolution. 1170–1180. ISSN 2045-7758

Ellis, Samuel, Johnstone, Rufus A., Cant, Michael A et al. (18 more authors) (2022) Patterns and consequences of age-linked change in local relatedness in animal societies. Nature Ecology and Evolution. ISSN 2397-334X

Ellison, Martyn, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Evaluating cloud database migration options using workload models. Journal of Cloud Computing: Advances, Systems and Applications (JoCCASA). 6. ISSN 2192-113X

Eraminan, M., Walia, E., Power, Christopher Douglas orcid.org/0000-0001-9486-8043 et al. (2 more authors) (2017) Image-based Search and Retrieval for Biface Artefacts using Features Capturing Archaeologically Significant Characteristics. Machine Vision and Applications. pp. 201-218. ISSN 1432-1769

Escolano, Francisco, Hancock, Edwin R orcid.org/0000-0003-4496-2028, Lozano, Miguel Angel et al. (1 more author) (2017) The mutual information between graphs. Pattern Recognition Letters. pp. 12-19. ISSN 0167-8655

Escolano, Francisco, Lozano, Miguel Angel and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2017) Graph similarity through entropic manifold alignment. SIAM Journal on Imaging Sciences. pp. 942-978. ISSN 1936-4954

Espasa, Joan, Miguel, Ian, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (2 more authors) (2024) Plotting:A Case Study in Lifted Planning with Constraints. Journal of Constraints. ISSN 1383-7133

Fagan, Brennen orcid.org/0000-0002-8451-920X, Pitchford, Jon orcid.org/0000-0002-8756-0902, Stepney, Susan orcid.org/0000-0003-3146-5401 et al. (1 more author) (2023) Increased dispersal explains increasing local diversity with global biodiversity declines. Global Change Biology. ISSN 1354-1013

Fang, Xinwei orcid.org/0000-0003-3630-2249 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2020) An Improved Sensor Calibration with Anomaly Detection and Removal. SENSORS AND ACTUATORS B-CHEMICAL. 127428. ISSN 0925-4005

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2023) Fast Parametric Model Checking with Applications to Software Performability Analysis. IEEE Transactions on Software Engineering. pp. 4707-4730. ISSN 0098-5589

Fang, Xinwei, Getir Yaman, Sinem, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2024) Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Transactions on Autonomous and Adaptive Systems. 6. ISSN 1556-4703

Farrow, Robert and Iacovides, Ioanna orcid.org/0000-0001-9674-8440 (2014) Gaming and the limits of digital embodiment. Philosophy and Technology. pp. 221-233. ISSN 2210-5441

Faulkner Rainford, Penelope Selina Margaret, Stepney, Susan orcid.org/0000-0003-3146-5401 and Sebald, Angelika Anne-Marie orcid.org/0000-0001-7966-7438 (2020) MetaChem: An Algebraic Framework for Artificial Chemistries. Artificial Life. arXiv:1905.12541. ISSN 1064-5462

Feld, Timo, Biondi, Alessandro, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (2 more authors) (2017) A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks. Journal of Systems and Software. pp. 100-107. ISSN 0164-1212

Feng, Yongfei, Zhong, Mingwei, Wang, Xusheng et al. (4 more authors) (2021) Active Triggering of Pneumatic Rehabilitation Gloves Based on Surface Electromyography Sensors. PeerJ Computer Science. e448. ISSN 2376-5992

Feng, Zhenhua, Huber, Patrik orcid.org/0000-0002-1474-1040, Kittler, Josef et al. (2 more authors) (2015) Random Cascaded-Regression Copse for Robust Facial Landmark Detection. IEEE Signal Processing Letters. pp. 76-80. ISSN 1070-9908

Fenstermacher, M. E., Abbate, J., Abe, S. et al. (827 more authors) (2022) DIII-D research advancing the physics basis for optimizing the tokamak approach to fusion energy. Nuclear Fusion. 042024. ISSN 1741-4326

Fenstermacher, M. E., Abbate, J., Abe, S. et al. (827 more authors) (2022) DIII-D research advancing the physics basis for optimizing the tokamak approach to fusion energy. Nuclear Fusion. 042024. ISSN 1741-4326

Fenstermacher, M. E., Abbate, J., Abe, S. et al. (827 more authors) (2022) DIII-D research advancing the physics basis for optimizing the tokamak approach to fusion energy. Nuclear Fusion. 042024. ISSN 1741-4326

Festor, Paul, Jia, Yan, Gordon, Anthony et al. (3 more authors) (2022) Assuring the safety of AI-based clinical decision support systems: a case study of the AI Clinician for sepsis treatment. BMJ Health and Care Informatics. ISSN 2632-1009

Filho, M. S. Conserva, Oliveira, Marcel Vinicius Medeiros, Sampaio, A. C. A. et al. (1 more author) (2018) Compositional and Local Livelock Analysis for CSP. Information Processing Letters. ISSN 0020-0190

Firat, Elif E., Denisova, Alena orcid.org/0000-0002-1497-5808, Wilson, Max L. et al. (1 more author) (2022) P-Lite:A study of parallel coordinate plot literacy. Visual Informatics. pp. 81-99. ISSN 2468-502X

Fitzgibbon, Gregory and Ottaviani, Carlo orcid.org/0000-0002-0032-3999 (2024) Constrained Device Performance Benchmarking with the Implementation of Post-Quantum Cryptography. Cryptography. 8020021. ISSN 2410-387X

Fitzpatrick, Shona, Byrne, Ailish K orcid.org/0000-0001-5656-5674, Headley, Alex et al. (4 more authors) (2025) Neural correlates of the uncanny valley effect for robots and hyper-realistic masks. PLOS ONE. e0311714. ISSN 1932-6203

Fletcher, Alasdair I. and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) Continuous variable measurement device independent quantum conferencing with post-selection. npj Quantum Information. 17329. ISSN 2056-6387

Fossey, Matt, Godier-McBard, Lauren, Guthrie, Elspeth et al. (4 more authors) (2020) Understanding liaison psychiatry commissioning:an observational study. Mental Health Review Journal. pp. 301-316. ISSN 1361-9322

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2020) Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. Science of Computer Programming. 102510. ISSN 0167-6423

Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Canham, Samuel James et al. (2 more authors) (2020) Unifying Theories of Reactive Design Contracts. Theoretical Computer Science. pp. 105-140. ISSN 0304-3975

Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 et al. (1 more author) (2018) Unifying Theories of Time with Generalised Reactive Processes. Information Processing Letters. pp. 47-52. ISSN 0020-0190

Foster, Simon David orcid.org/0000-0002-9889-9514, Hur, Chung-Kil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2025) Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. ACM Transactions on Software Engineering and Methodology. 108. ISSN 1049-331X

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (2 more authors) (2021) Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. pp. 855-884. ISSN 1433-299X

Foster, Simon David orcid.org/0000-0002-9889-9514 and Struth, Georg (2014) On the Fine-Structure of Regular Algebra. Journal of Automated Reasoning. pp. 165-197. ISSN 0168-7433

Foster, Simon David orcid.org/0000-0002-9889-9514 and Zeyda, Frank (2017) Optics in Isabelle/HOL. Archive of Formal Proofs. pp. 1-28.

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2019) Isabelle/UTP:Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs. ISSN 2150-914x

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2021) Automated verification of reactive and concurrent programs by calculation. Journal of Logical and Algebraic Methods in Programming. 100681. ISSN 2352-2216

Fox, S. (2016) Results from the centers for disease control and prevention's predict the 2013-2014 Influenza Season Challenge. BMC Infectious Diseases. 357 (2016). ISSN 1471-2334

Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Oxford, Geoffrey Stuart (2017) The co-evolution of anti-predator polymorphisms in sympatric populations. Biological Journal of the Linnean Society. pp. 1-9. ISSN 0024-4066

Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Weiss, Michael N., Silk, Matthew J. et al. (2 more authors) (2020) Calculating effect sizes in animal social network analysis. Methods in ecology and evolution. ISSN 2041-210X

Freitas, Leo and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2007) FDR Explorer. Electronic Notes in Theoretical Computer Science. pp. 19-34.

Frisch, A. M., Hnich, B., Kiziltan, Z. et al. (2 more authors) (2006) Propagation algorithms for lexicographic ordering constraints. Artificial Intelligence, 170 (10). 803 - 834. ISSN 0004-3702

Frisch, A.M., Peugniez, T.J., Doggett, A.J. et al. (1 more author) (2005) Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Journal of Automated Reasoning, 35 ( 1-3). pp. 143-179. ISSN 0168-7433

Fuks, Daniel, Schmidt, Frijda, García-Collado, Maite I. et al. (21 more authors) (2024) Orphan crops of archaeology-based crop history research. Plants People Planet. ISSN 2572-2611

Furniss, Dominic, Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Lyons, Imogen et al. (2 more authors) (2016) Patient and public involvement in patient safety research: a workshop to review patient information, minimise psychological risk and inform research. Research involvement and engagement. ISSN 2056-7529

Furniss, Dominic, Nelson, David, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (4 more authors) (2020) Using FRAM to explore sources of performance variability in intravenous infusion administration in ICU:a non- normative approach to systems contradictions. Applied ergonomics. 103113. ISSN 0003-6870

Gallimore, Andrew Robert, Aricescu, A. Radu, Yuzaki, Michisuke et al. (1 more author) (2016) A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression. PLoS Computational Biology. 1004664. ISSN 1553-7358

Gao, Jian, Xu, Yiwen, Jiang, Yu et al. (4 more authors) (2020) EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (In Press)

Gao, Y., You, B., Yang, H. L. et al. (11 more authors) (2016) Stochastic domain wall depinning in permalloy nanowires with various types of notches. RSC Advances. 125124. pp. 1-8. ISSN 2046-2069

García-Domínguez, Antonio orcid.org/0000-0002-4744-9150, Palomo-Lozano, Francisco, Medina-Bulo, Inmaculada et al. (2 more authors) (2023) Computing performance requirements for web service compositions. Computer Standards and Interfaces. 103664. ISSN 0920-5489

Garmendia, Antonio, Guerra, Esther, de Lara, Juan et al. (2 more authors) (2019) Scaling-up domain-specific modelling languages through modularity services. Information and Software Technology. pp. 97-118. ISSN 0950-5849

Geangu, Elena orcid.org/0000-0002-0398-8398, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413, Mason, Harry Thomas orcid.org/0000-0002-3464-7254 et al. (15 more authors) (2023) EgoActive: Integrated wireless wearable sensors for capturing infant egocentric auditory-visual statistics and autonomic nervous system function ‘in the wild’. Sensors. 7930. ISSN 1424-8220

Gehring, Tobias, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Kordts, Arne et al. (6 more authors) (2021) Homodyne-based quantum random number generator at 2.9 Gbps secure against quantum side-information. Nature Communications. 605. ISSN 2041-1723

Gent, Ian Philip, Jefferson, Christopher Anthony and Nightingale, Peter William orcid.org/0000-0002-5052-8634 (2017) Complexity of n-Queens Completion. Journal of Artificial Intelligence Research (JAIR). pp. 815-848. ISSN 1076-9757

Gent, Ian Philip, McCreesh, Ciaran, Miguel, Ian James et al. (4 more authors) (2018) A review of literature on parallel constraint solving. Theory and Practice of Logic Programming. pp. 725-758. ISSN 1475-3081

Gent, Ian, Jefferson, Christopher, Linton, Steve et al. (2 more authors) (2014) Generating custom propagators for arbitrary constraints. Artificial Intelligence. pp. 1-33. ISSN 0004-3702

Gentini, Laura, Cuccoli, Alessandro, Pirandola, Stefano orcid.org/0000-0001-6165-5615 et al. (2 more authors) (2020) Noise-resilient variational hybrid quantum-classical optimization. Physical Review A. 052414. ISSN 1094-1622

Gerasimou, Simos orcid.org/0000-0002-2706-5272, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Tamburrelli, Giordano (2018) Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. Automated Software Engineering. ISSN 1573-7535

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Burholt, Charlie et al. (3 more authors) (2024) Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Science of Computer Programming. 103118. ISSN 0167-6423

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (3 more authors) (2025) Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Journal of Systems and Software. 112229. ISSN 0164-1212

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (3 more authors) (2025) Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Journal of Systems and Software. 112229. ISSN 0164-1212

Ghalaii, Masoud, Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Kumar, Rupesh et al. (2 more authors) (2020) Discrete-modulation continuous-variable quantum key distribution enhanced by quantum scissors. IEEE Journal on Selected Areas in Communication. pp. 506-516. ISSN 1558-0008

Ghalaii, Masoud, Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Kumar, Rupesh et al. (2 more authors) (2020) Long-distance continuous-variable quantum key distribution with quantum scissors. IEEE Journal of Selected Topics in Quantum Electronics. 6400212. ISSN 1077-260X

Ghalaii, Masoud, Papanastasiou, Panagiotis and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) Composable end-to-end security of Gaussian quantum networks with untrusted relays. npj Quantum Information. 105. ISSN 2056-6387

Ghalaii, Masoud and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2020) Capacity-approaching quantum repeaters for quantum communications. Physical Review A. 062412. ISSN 1094-1622

Ghalaii, Masoud and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2023) Continuous-Variable Measurement-Device-Independent Quantum Key Distribution in Free-Space Channels. Physical Review A. 042621. ISSN 1094-1622

Ghalaii, Masoud and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) Quantum communications in a moderate-to-strong turbulent space. Communications Physics. 38. ISSN 2399-3650

Gilbody, Simon orcid.org/0000-0002-8236-6983, Brabyn, Sally orcid.org/0000-0001-5381-003X, Lovell, Karina et al. (13 more authors) (2017) Telephone-supported computerised cognitive-behavioural therapy:REEACT-2 large-scale pragmatic randomised controlled trial. The British journal of psychiatry : the journal of mental science. pp. 362-367. ISSN 1472-1465

Girdler, Thomas and Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 (2021) Implementing an intrusion detection and prevention system using Software-Defined Networking:Defending against ARP spoofing attacks and Blacklisted MAC Addresses. Computers & Electrical Engineering. 106990. ISSN 0045-7906

Giscard, Pierre-Louis, Kriege, Nils and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2019) A General Purpose Algorithm for Counting Simple Cycles and Simple Paths of Any Length. Algorithmica. ISSN 0178-4617

Giscard, Pierre-Louis, Rochet, Paul and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2017) Evaluating balance on social networks from their simple cycles. Journal of Complex Networks. pp. 1-26. ISSN 2051-1329

Giscard, Pierre-Louis and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2018) A centrality measure for cycles and subgraphs II. Applied Network Science. ISSN 2364-8228

Gitlina, Yuliya, Guarnera, Giuseppe Claudio, Dhillon, Daljit Singh et al. (4 more authors) (2020) Practical Measurement and Reconstruction of Spectral Skin Reflectance. Computer graphics forum. pp. 75-89. ISSN 0167-7055

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2022) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) RiskStructures:A Design Algebra for Risk-Aware Machines. Formal Aspects of Computing. pp. 763-802. ISSN 1433-299X

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2019) New Opportunities for Integrated Formal Methods. ACM Computing Surveys. 117.

Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Marmsoler, Diego (2020) Formal Methods in Dependable Systems Engineering:A Survey of Professionals from Europe and North America. Empirical Software Engineering. ISSN 1382-3256

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Pol, Jaco van de and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Proceedings First Workshop on Applicable Formal Methods. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Gleirscher, Mario orcid.org/0000-0002-9445-6863, van de Pol, Jaco and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) A manifesto for applicable formal methods. Software and Systems Modeling. ISSN 1619-1366

Gomony, Manil Dev, Garside, Jamie, Akesson, Benny et al. (2 more authors) (2017) A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems. IEEE Transactions on Computers. 7523935. pp. 212-225. ISSN 0018-9340

Gonzalez-Raya, Tasio, Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Sanz, Mikel (2024) Satellite-based entanglement distribution and quantum teleportation with continuous variables. Communications Physics. 126. ISSN 2399-3650

Gray, Henry, Battarbee, Christopher, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2023) A novel attack on McEliece's cryptosystem. International Journal of Computer Mathematics: Computer Systems Theory. ISSN 2379-9935

Greaves, Richard Brian, Dietmann, Sabine, Smith, Austin et al. (2 more authors) (2017) A conceptual and computational framework for modelling and understanding the nonequilibrium gene regulatory networks of mouse embryonic stem cells. PLoS Computational Biology. e1005713. ISSN 1553-7358

Grimes, Charli, Brent, Lauren JN, Weiss, Michael N et al. (5 more authors) (2022) The effect of age, sex, and resource abundance on patterns of rake markings in resident killer whales (Orcinus orca). Marine Mammal Science. pp. 941-958. ISSN 0824-0469

Grzes, Marek and Kudenko, Daniel orcid.org/0000-0003-3359-3255 (2010) Online learning of shaping rewards in reinforcement learning. Neural Networks. pp. 541-550. ISSN 0893-6080

Guan, Hao and Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 (2017) Structure-from-motion in Spherical Video using the von Mises-Fisher Distribution. IEEE Transactions on Image Processing. 7707455. pp. 711-723. ISSN 1057-7149

Guarnera, Dar'ya, Guarnera, Claudio, Ghosh, Abhijeet et al. (2 more authors) (2016) BRDF Representation and Acquisition. Computer graphics forum. pp. 625-650. ISSN 0167-7055

Guarnera, Darya, Guarnera, Giuseppe Claudio, Toscani, Matteo et al. (4 more authors) (2018) Perceptually Validated Cross-Renderer Analytical BRDF Parameter Remapping. IEEE Transactions on Visualization and Computer Graphics. pp. 2258-2272. ISSN 1077-2626

Guarnera, G. C., Bianco, S. and Schettini, R. (2018) Turning a Digital Camera into an Absolute 2D Tele-Colorimeter. Computer graphics forum. pp. 73-86. ISSN 0167-7055

Guarnera, Giuseppe Claudio, Hall, Peter, Chesnais, Alain et al. (1 more author) (2017) Woven fabric model creation from a single image. ACM Transactions on Graphics. A165. ISSN 1557-7368

Guellil, Imane, Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150, Lewis, Peter R. et al. (2 more authors) (2024) Entity linking for English and other languages:a survey. Knowledge and Information Systems. ISSN 0219-1377

Gundry, David Edward and Deterding, Christoph Sebastian orcid.org/0000-0003-0033-2104 (2019) Validity Threats in Quantitative Data Collection with Games:A Narrative Survey. Simulation & Gaming. pp. 302-328. ISSN 1046-8781

Guo, C. Y., Zhang, W. Q., Huang, H. et al. (37 more authors) (2024) Spectroscopy of 187Tl: shape coexistence. European Physical Journal A : Hadrons and Nuclei. 165. ISSN 1434-601X

Habel, A., Muller, J. and Plump, D. (2001) Double-pushout graph transformation revisited. Mathematical Structures in Computer Science, 11 (5). pp. 637-688. ISSN 0960-1295

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Alexander, Rob orcid.org/0000-0003-3818-0310, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (4 more authors) (2020) Enhancing COVID-19 decision making by creating an assurance case for epidemiological models. BMJ Health and Care Informatics. pp. 1-5. ISSN 2632-1009

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Jia, Yan, White, Sean Paul et al. (4 more authors) (2019) Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology. Health informatics journal. ISSN 1460-4582

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Lawton, Tom and Porter, Zoe (2020) Artificial intelligence in health care: accountability and safety. Bulletin of the world health organization. pp. 251-256. ISSN 0042-9686

Habli, Ibrahim orcid.org/0000-0003-2736-8238 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2024) AI Safety: Navigating the Expanding Landscape of Potential Harms. Safety-Critical Systems Club Newsletter.

Habli, Ibrahim orcid.org/0000-0003-2736-8238, White, Sean Paul, Sujan, Mark et al. (2 more authors) (2018) What is the Safety Case for Health IT? A Study of Assurance Practices in England. Safety science. pp. 324-335. ISSN 0925-7535

Hall, Johanna, Stickler, Ursula, Herodotou, Christothea et al. (1 more author) (2020) Expressivity of creativity and creative design considerations in digital games. Computers in Human Behavior. 106206. ISSN 0747-5632

Hall, Johanna, Stickler, Ursula, Herodotou, Christothea et al. (1 more author) (2019) Player conceptualizations of creativity in digital entertainment games. Convergence: The International Journal of Research into New Media Technologies. ISSN 1748-7382

Hall, Johanna, Stickler, Ursula, Herodotou, Christothea et al. (1 more author) (2021) Using Reflexive Photography to Investigate Design Affordances for Creativity in Digital Entertainment Games. International Journal of Human-Computer Interaction. pp. 867-883. ISSN 1532-7590

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Atkinson, G.A. (2006) Recovery of surface orientation from diffuse polarization. IEEE Transactions on Image Processing. pp. 1653-1664. ISSN 1057-7149

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Luo, B. (2001) Structural graph matching using the EM algorithm and singular value decomposition. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1120-1136. ISSN 0162-8828

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Torsello, A. (2006) Correcting curvature-density effects in the Hamilton-Jacobi skeleton. IEEE Transactions on Image Processing. pp. 877-891. ISSN 1057-7149

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Wilson, R.C. (2003) A study of pattern recovery in recurrent correlation associative memories. IEEE Transactions on Neural Networks. pp. 506-519. ISSN 1045-9227

Hao, C., Clark, J.A. and Jacob, J.L. (2004) Automated design of security protocols. Computational Intelligence, 20 (3). pp. 503-516. ISSN 0824-7935

Hao, Feng, Clarke, Dylan, Randell, Brian et al. (1 more author) (2018) Verifiable Classroom Voting in Practice. IEEE Security & Privacy. pp. 72-81. ISSN 1540-7993

Hao, Feng, Metere, Roberto orcid.org/0000-0001-6992-4285, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2018) Analyzing and Patching SPEKE in ISO/IEC. Information Forensics and Security, IEEE Transactions on. pp. 2844-2855. ISSN 1556-6013

Hao, Feng, Wang, Shen, Bag, Samiran et al. (6 more authors) (2020) End-to-End Verifiable E-Voting Trial for Polling Station Voting. IEEE Security & Privacy. 9152966. pp. 6-13. ISSN 1540-7993

Harbin, James orcid.org/0000-0002-6479-8600 and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2016) Comparative performance evaluation of latency and link dynamic power consumption modelling algorithms in wormhole switching networks on chip. Journal of systems architecture. pp. 33-47. ISSN 1383-7621

Harney, Cillian, Banchi, Leonardo and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Ultimate Limits of Thermal Pattern Recognition. Physical Review A. 052406. ISSN 1094-1622

Harney, Cillian, Fletcher, Alasdair I. and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) End-to-End Capacities of Hybrid Quantum Networks. Physical Review Applied. 014012. ISSN 2331-7019

Harney, Cillian, Paternostro, Mauro and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Mixed State Entanglement Classification using Artificial Neural Networks. New Journal of Physics. 063033. ISSN 1367-2630

Harney, Cillian and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Analytical Bounds for Dynamic Multi-Channel Discrimination. Physical Review A. 032402. ISSN 1094-1622

Harney, Cillian and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) End-to-end capacities of imperfect-repeater quantum networks. Quantum Sci. Technol.. 045009. ISSN 2058-9565

Harney, Cillian and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Idler-Free Multi-Channel Discrimination via Multipartite Probe States. npj Quantum Information. 153. ISSN 2056-6387

Harney, Cillian and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) Secure Quantum Pattern Communication. PRX Quantum. 010311. ISSN 2691-3399

Harney, Cillian, Pirandola, Stefano orcid.org/0000-0001-6165-5615, Ferraro, Alessandro et al. (1 more author) (2020) Entanglement Classification via Neural Network Quantum States. New Journal of Physics. 045001. ISSN 1367-2630

Hart, Jordan D A, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Brent, Lauren J N et al. (1 more author) (2022) Accuracy and Power Analysis of Social Networks Built From Count Data. Methods in ecology and evolution. pp. 157-166. ISSN 2041-210X

Hart, Jordan D A, Weiss, Michael N., Brent, Lauren J N et al. (1 more author) (2022) Common Permutation Methods in Animal Social Network Analysis Do Not Control for Non-independence. Behavioral Ecology and Sociobiology. 151. ISSN 1432-0762

Hart, Jordan D A, Weiss, Michael, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 et al. (1 more author) (2023) BISoN: A Bayesian Framework for Inference of Social Networks. Methods in ecology and evolution. ISSN 2041-210X

Hatton, Chris, Paton, Lewis William orcid.org/0000-0002-3328-5634, McMillan, Dean orcid.org/0000-0002-2901-8410 et al. (3 more authors) (2019) Predicting persistent depressive symptoms in older adults:a machine learning approach to personalised mental healthcare. Journal of affective disorders. pp. 857-860. ISSN 0165-0327

Hawkins, Richard David orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238 and Kelly, Tim orcid.org/0000-0002-7385-2031 (2015) The Need for a Weaving Model in Assurance Case Automation. Ada User Journal. pp. 187-191. ISSN 1381-6551

Hawkins, Richard David orcid.org/0000-0001-7347-3413, Picardi, Chiara, Donnell, Lucy et al. (1 more author) (2023) Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System. Journal of Intelligent & Robotic Systems. 47. ISSN 0921-0296

Heathcote, Robert J. P., Darden, Safi K., Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 et al. (2 more authors) (2017) Fear of predation drives stable and differentiated social relationships in guppies. Scientific Reports. ISSN 2045-2322

Heeren, Behrend, Zhang, Chao, Rumpf, Martin et al. (1 more author) (2018) Principal Geodesic Analysis in the Space of Discrete Shells. Computer graphics forum. pp. 173-184. ISSN 0167-7055

Hernandez, Daniel, Denamganai, Kevin, Devlin, Sam et al. (2 more authors) (2021) A Comparison of Self-Play Algorithms Under a Generalized Framework. IEEE Transactions on Games. ISSN 2475-1510

Hernandez-Ramos, Jose L., Matheu, Sara N., Feraudo, Angelo et al. (5 more authors) (2021) Defining the Behavior of IoT Devices through the MUD Standard:Review, Challenges, and Research Directions. IEEE Access. pp. 126265-126285. ISSN 2169-3536

Hezavehi, Sara M., Weyns, Danny, Avgeriou, Paris et al. (3 more authors) (2021) Uncertainty in Self-adaptive Systems:A Research Community Perspective. ACM Transactions on Autonomous and Adaptive Systems. pp. 1-36. ISSN 1556-4703

Hickinbotham, Simon orcid.org/0000-0003-0880-4460, Clark, Edward, Nellis, Adam et al. (3 more authors) (2016) Maximizing the Adjacent Possible in Automata Chemistries. Artificial Life. pp. 49-75. ISSN 1064-5462

Hickinbotham, Simon, Stepney, Susan orcid.org/0000-0003-3146-5401 and Hogeweg, Paulien (2021) Nothing in evolution makes sense except in the light of parasitism:evolution of complex replication strategies. Royal Society Open Science. 210441. ISSN 2054-5703

Himes, Michael D., Harrington, Joseph, Cobb, Adam D. et al. (8 more authors) (2022) Accurate Machine Learning Atmospheric Retrieval via a Neural Network Surrogate Model for Radiative Transfer. The Planetary Science Journal. ISSN 2632-3338

Hodge, V.J., O’Keefe, S. and Austin, J. (2006) A binary neural decision table classifier. Neurocomputing, 69 (16-18). pp. 1850-1859. ISSN 0925-2312

Hodge, V J orcid.org/0000-0002-2469-0224 and Austin, J orcid.org/0000-0001-5762-8614 (2002) Hierarchical word clustering - automatic thesaurus generation. Neurocomputing. pp. 819-846. ISSN 0925-2312

Hodge, V J orcid.org/0000-0002-2469-0224, Lees, K J and Austin, J L orcid.org/0000-0001-5762-8614 (2004) A high performance k-NN approach using binary neural networks. Neural Networks. pp. 441-458. ISSN 0893-6080

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2001) Hierarchical growing cell structures: TreeGCS. IEEE Transactions on Knowledge and Data Engineering. pp. 207-218.

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2005) A binary neural k-nearest neighbour technique. Knowledge and Information Systems. pp. 276-292. ISSN 0219-3116

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2002) A comparison of a novel neural spell checker and standard spell checking algorithms. Pattern recognition. pp. 2571-2580. ISSN 0031-3203

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2003) A comparison of standard spell checking algorithms and a novel binary neural approach. IEEE Transactions on Knowledge and Data Engineering. pp. 1073-1081.

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2001) An evaluation of standard retrieval algorithms and a binary neural approach. Neural Networks. pp. 287-303. ISSN 0893-6080

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2004) A survey of outlier detection methodologies. Artificial Intelligence Review. pp. 85-126. ISSN 1573-7462

Hodge, V.J. orcid.org/0000-0002-2469-0224, O'Keefe, S. orcid.org/0000-0001-5957-2474 and Austin, J. orcid.org/0000-0001-5762-8614 (2009) A binary neural shape matcher using Johnson Counters and chain codes. Neurocomputing. pp. 693-703. ISSN 0925-2312

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Devlin, Sam Michael orcid.org/0000-0002-7769-3090, Sephton, Nicholas John et al. (3 more authors) (2021) Win Prediction in Multi-Player Esports: Live Professional Match Prediction. IEEE Transactions on Games. pp. 368-379. ISSN 2475-1510

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Alexander, Rob orcid.org/0000-0003-3818-0310 (2020) Deep reinforcement learning for drone navigation using sensor data. Neural computing & applications. ISSN 0941-0643

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Krishnan, Rajesh, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (2 more authors) (2014) Short-term prediction of traffic flow using a binary neural network. Neural computing & applications. 1639–1655. ISSN 0941-0643

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Sephton, Nicholas John, Devlin, Sam Michael orcid.org/0000-0002-7769-3090 et al. (7 more authors) (2018) How the Business Model of Customisable Card Games Influences Player Engagement. IEEE Transactions on Games. ISSN 2475-1510

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Jessop, Mark David, Fletcher, Martyn Anthony et al. (6 more authors) (2016) A Digital Repository and Execution Platform for Interactive Scholarly Publications in Neuroscience. Neuroinformatics. pp. 23-40. ISSN 1559-0089

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, O'Keefe, Simon orcid.org/0000-0001-5957-2474 and Austin, Jim orcid.org/0000-0001-5762-8614 (2015) Hadoop neural network for parallel and distributed feature selection. Neural Networks. 24–35. ISSN 0893-6080

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, O'Keefe, Simon orcid.org/0000-0001-5957-2474, Weeks, Michael et al. (1 more author) (2015) Wireless Sensor Networks for Condition Monitoring in the Railway Industry:a Survey. IEEE Transactions on Intelligent Transportation Systems. pp. 1088-1106. ISSN 1524-9050

Holloway, Paul, Kudenko, Daniel orcid.org/0000-0003-3359-3255 and James, Bell (2018) Dynamic selection of environmental variables to improve the prediction of aphid phenology:a machine learning approach. Ecological Indicators. pp. 512-521. ISSN 1470-160X

Horowitz, Hannah M., Holmes, Christopher, Wright, Alicia et al. (8 more authors) (2020) Effects of Sea Salt Aerosol Emissions for Marine Cloud Brightening on Atmospheric Chemistry:Implications for Radiative Forcing. Geophysical Research Letters. e2019GL085838. ISSN 0094-8276

Horsman, Clare, Stepney, Susan orcid.org/0000-0003-3146-5401, Wagner, Rob C. et al. (1 more author) (2014) When does a physical system compute? Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences. p. 20140182. ISSN 1364-5021

Horsman, Dominic, Kendon, Viv and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) The Natural Science of Computing. Communications of the ACM. pp. 31-34. ISSN 0001-0782

House, Allan, West, Robert, Smith, Chris orcid.org/0000-0002-0184-3590 et al. (3 more authors) (2020) The effect of a hospital liaison psychiatry service on inpatient lengths of stay:interrupted time series analysis using routinely collected NHS hospital episode statistics. BMC Psychiatry. 27. ISSN 1471-244X

Hoverd, Tim and Stepney, Susan orcid.org/0000-0003-3146-5401 (2015) Environment Orientation:a structured simulation approach for agent-based complex systems. Natural Computing. pp. 83-97. ISSN 1567-7818

Hristakiev, Ivaylo and Plump, Detlef orcid.org/0000-0002-1148-822X (2015) A Unification Algorithm for GP 2. Electronic Communications of the EASST. ISSN 1863-2122

Hu, Zechao and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2023) Co-attention enabled content-based image retrieval. Neural Networks. pp. 245-263. ISSN 0893-6080

Huang, Guoxi and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2022) BQN: Busy-Quiet Net Enabled by Motion Band-Pass Module for Action Recognition. IEEE Transactions on Image Processing. pp. 4966-4979. ISSN 1057-7149

Huang, Jing, Li, Renfa, Jiao, Xun et al. (2 more authors) (2020) Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy and Makespan. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (In Press)

Huang, Jing, Li, Renfa, Wei, Yehua et al. (2 more authors) (2020) Bi-Directional Timing-Power Optimisation on Heterogeneous Multi-Core Architectures. IEEE Transactions on Sustainable Computing. (In Press)

Huda, M. Nuzmul, Liu, Pengcheng orcid.org/0000-0003-0677-4421, Saha, Chitta et al. (1 more author) (2020) Modelling and Motion Analysis of a Pill-Sized Hybrid Capsule Robot. Journal of Intelligent & Robotic Systems. ISSN 0921-0296

Hughes, Nathan and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2021) Opening the World of Contextualised Player Experiences. Entertainment Computing. 100401. ISSN 1875-9521

Hughes, Nathan, Flockton, Josephine and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2023) Growing Together:An Analysis of Measurement Transparency Across 15 Years of Player Motivation Questionnaires. International Journal of Human-Computer Studies. 102940. ISSN 1071-5819

Hughes, Nathan, Jia, Yan, Sujan, Mark et al. (3 more authors) (2024) Contextual design requirements for decision-support tools involved in weaning patients from mechanical ventilation in intensive care units. Applied ergonomics. 104275. ISSN 0003-6870

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Aczel, James, Scanlon, Eileen et al. (2 more authors) (2011) Motivation, engagement and learning through digital games. International Journal of Virtual and Personal Learning Environments. pp. 1-16.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Blandford, Ann, Cox, Anna L. et al. (3 more authors) (2014) Infusion device standardisation and dose error reduction software. British Journal of Nursing. S16-S24. ISSN 0966-0461

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Blandford, Ann, Cox, Anna L. et al. (3 more authors) (2015) Infusion device standardisation and dose error reduction software. British Journal of Healthcare Management. pp. 68-76.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cox, Anna L., Furniss, Dominic et al. (3 more authors) (2019) Supporting engagement in research through a game design competition. Research for All. pp. 25-51. ISSN 2399-8121

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cox, Anna L., McAndrew, Patrick et al. (2 more authors) (2015) Game-Play Breakdowns and Breakthroughs: Exploring the Relationship Between Action, Understanding, and Involvement. Human-Computer interaction. pp. 202-231. ISSN 0737-0024

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cutting, Joe, Beeston, Jen et al. (3 more authors) (2022) Close but not too close:Distance and relevance in designing games for reflection. Proceedings of the ACM on Human-Computer Interaction. 224. ISSN 2573-0142

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, McAndrew, Patrick, Scanlon, Eileen et al. (1 more author) (2014) The gaming involvement and informal learning framework. Simulation & Gaming. pp. 611-626. ISSN 1046-8781

Imam, Niddal, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 and Kolovos, Dimitris orcid.org/0000-0002-1724-6563 (2022) OCR post-correction for detecting adversarial text images. Journal of Information Security and Applications. ISSN 2214-2126

Indrusiak, Leandro Soares orcid.org/0000-0002-9938-2920, Harbin, James orcid.org/0000-0002-6479-8600 and Dos Santos, Osmar Marchi (2015) Fast simulation of networks-on-chip with priority-preemptive arbitration. ACM Transactions on Design Automation of Electronic Systems. 56. pp. 1-22. ISSN 1557-7309

Ioulianou, Philokypros, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 and Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 (2022) A Trust-Based Intrusion Detection System for RPL Networks: Detecting a Combination of Rank and Blackhole Attacks. Journal of Cybersecurity and Privacy. pp. 124-153. ISSN 2624-800X

Ivanov, Viktor, Scaramuzza, Maurizio and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2024) Deep temporal semi-supervised one-class classification for GNSS radio frequency interference detection. The Journal of Navigation. ISSN 0373-4633

Iwu, F., Galloway, A., McDermid, J. et al. (1 more author) (2006) Integrating Safety and Formal Analyses using UML and PFS. Reliability Engineering and System Safety, 92 (92). pp. 156-170. ISSN 0951-8320

Jackson, Jennifer and Iacovides, Jo orcid.org/0000-0001-9674-8440 (2022) Using a Serious Game as an Elicitation Tool in Interview Research:Reflections on Methodology. Games for Health. pp. 307-311. ISSN 2161-783X

Jackson, Jennifer, Iacovides, Jo orcid.org/0000-0001-9674-8440, Duncan, Myanna et al. (3 more authors) (2020) Operationalizing resilient healthcare concepts through a serious video game for clinicians. Applied ergonomics. 103112. p. 103112. ISSN 0003-6870

Jain, Nitin, Chin, Hou-Man, Mani, Hossein et al. (10 more authors) (2022) Practical continuous-variable quantum key distribution with composable security. Nature Communications. 4740. ISSN 2041-1723

Jarvis, Stephen A., Wright, Steven A. orcid.org/0000-0001-7133-8533 and Hammond, Simon D. (2017) 7th international workshop on performance modeling, benchmarking and simulation of high performance computing systems (PMBS 2016). Proceedings of PMBS 2016: 7th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems - Held in conjunction with SC 2016: The International Conference for High Performance Computing, Networking, St. 7836407. v-vi.

Jia, Yan, Kaul, Chaitanya, Lawton, Tom et al. (2 more authors) (2021) Prediction of Weaning from Mechanical Ventilation using Convolutional Neural Networks. Artificial intelligence in medicine. 102087. ISSN 0933-3657

Jia, Yan, Lawton, Tom, Burden, John et al. (2 more authors) (2021) Safety-Driven Design of Machine Learning for Sepsis Treatment. Journal of Biomedical Informatics. 103762. ISSN 1532-0464

Jia, Yan, McDermid, John Alexander orcid.org/0000-0003-4745-4272, Lawton, Tom et al. (1 more author) (2022) The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. IEEE Transactions on Emerging Topics in Computational Intelligence. ISSN 2471-285X

Jiang, C. L., Santiago-Gonzalez, D., Almaraz-Calderon, S. et al. (35 more authors) (2018) Reaction rate for carbon burning in massive stars. Physical Review C. 012801. ISSN 2469-9993

Jiang, Zhe and Audsley, Neil Cameron orcid.org/0000-0003-3739-6590 (2019) BlueIO: A Scalable Real-Time Hardware I/O Virtualization System for Many-core Embedded Systems. ACM Transactions in Embedded Computing Systems. ISSN 1558-3465

Jiao, Xun, Ma, Dongning, Chang, Wanli orcid.org/0000-0002-4053-8898 et al. (1 more author) (2020) LEVAX:An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (In Press)

Jimenez Gil, Samuel, Bate, Iain orcid.org/0000-0003-2415-8219, Lima, George et al. (3 more authors) (2017) Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. IEEE Embedded Systems Letters. 7942057. pp. 69-72. ISSN 1943-0663

Jones, Cliff and Burns, Alan orcid.org/0000-0001-5621-8816 (2023) Extending Rely-Guarantee thinking to handle Real-Time Scheduling. Formal Methods in System Design. ISSN 0925-9856

Jones, Matthew, Denisova, Alena orcid.org/0000-0002-1497-5808, Mitchell, Stephen et al. (1 more author) (2019) Acceptability of a plasticity-focused serious game intervention for posttraumatic stress disorder:User requirements analysis. JMIR Serious Games. e11909. ISSN 2291-9279

Kaas, Marten Henry Leon and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (2024) Assuring AI safety: fallible knowledge and the Gricean maxims. AI and Ethics. ISSN 2730-5961

Kahrobaei, Delaram orcid.org/0000-0001-5467-7832 (2020) Efficient and Secure Delegation of Exponentiation in General Groups to a Single Malicious Server. Mathematics in Computer Science.

Kahrobaei, Delaram orcid.org/0000-0001-5467-7832, Garber, David and Lam, Ha (2015) Length-based attacks in polycyclic groups. Groups Complexity Cryptology. pp. 33-43. ISSN 1869-6104

Kahrobaei, Delaram orcid.org/0000-0001-5467-7832, Koberda, Thomas and Flores, Ramón (2020) An algebraic characterization of k--colorability. Proceedings of the American Mathematical Society. ISSN 1088-6826 (In Press)

Kahrobaei, Delaram orcid.org/0000-0001-5467-7832, Koberda, Thomas and Flores, Ramón (2020) A cryptographic application of the Thurston norm. International Journal of Computer Mathematics: Computer Systems Theory. p. 1.

Kahrobaei, Delaram orcid.org/0000-0001-5467-7832 and Noce, Marialaura (2020) ALGORITHMIC PROBLEMS IN ENGEL GROUPS AND CRYPTOGRAPHIC APPLICATIONS. International Journal of Group Theory.

Kahrobaei, Delaram orcid.org/0000-0001-5467-7832, Shpilrain, Vladimir and Koupparis, Charalambos (2015) A CCA secure cryptosystem using matrices over group rings. Contemporary Mathematics. pp. 73-81. ISSN 1098-3627

Kahrobaei, Delaram orcid.org/0000-0001-5467-7832, Wood, Alexander and Najarian, Kayvan (2020) Homomorphic Encryption for Machine Learning in Medicine and Bioinformatics. ACM Comput. Surv.. ISSN 0360-0300

Kamel, George, Wang, Ning, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 et al. (5 more authors) (2015) CAINE: A Context-Aware Information-Centric Network Ecosystem. IEEE Communications Magazine. pp. 176-183. ISSN 0163-6804

Karsa, Athena, Fletcher, Alasdair, Spedalieri, Gaetana et al. (1 more author) (2024) Quantum Illumination and Quantum Radar:A Brief Overview. Reports on progress in physics. 094001. ISSN 0034-4885

Karsa, Athena, Ghalaii, Masoud and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) Noiseless linear amplification in quantum target detection using Gaussian states. Quantum Science and Technology. 035026. ISSN 2058-9565

Karsa, Athena and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Classical benchmarking for microwave quantum illumination. IET Quantum Communication. pp. 246-257. ISSN 2632-8925

Karsa, Athena, Spedalieri, Gaetana, Zhuang, Quntao et al. (1 more author) (2020) Quantum Illumination with a generic Gaussian source. Physical Review Research. 023414. ISSN 2643-1564

Kazakov, D and Bartlet, M. (2002) Stochastic Simulation of Inherited Kinship-Driven Altruism. Journal of Artificial Intelligence and Simulation of Behaviour, 1 (2). pp. 183-196. ISSN 1476-3036

Kazakov, D. and Bartlett, M. (2004) Co-operative navigation and the faculty of language. Applied Artificial Intelligence, 18 (9-10). pp. 885-901. ISSN 0883-9514

Kazakov, D. and Manandhar, S. (2001) Unsupervised learning of word segmentation rules with genetic algorithms and inductive logic programming. Machine Learning, 43 (1-2). pp. 121-162. ISSN 0885-6125

Kell, Gregory, Roberts, Angus, Umansky, Serge et al. (6 more authors) (2024) Question answering systems for health professionals at the point of care-a systematic review. Journal of the american medical informatics association. pp. 1009-1024. ISSN 1067-5027

Kelsey, Thomas William, Kotthoff, Lars, Jefferson, Christopher Anthony et al. (4 more authors) (2014) Qualitative modelling via constraint programming. Journal of Constraints. pp. 163-173. ISSN 1383-7133

Kendon, Viv, Sebald, Angelika orcid.org/0000-0001-7966-7438 and Stepney, Susan orcid.org/0000-0003-3146-5401 (2015) Heterotic computing:exploiting hybrid computational devices. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences. 20150091. ISSN 1471-2962

Kienzle, Jörg, Zschaler, Steffen, Barnett, William et al. (8 more authors) (2024) Requirements for modelling tools for teaching. Software and Systems Modeling. pp. 1055-1073. ISSN 1619-1366

Kim, S., Clark, J.A. and McDermid, J.A. (2001) Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method Sun-Woo Kim, John A. Clark *, John A. McDermid. Software Testing, Verification and Reliability, 11 ( 4). pp. 207-225. ISSN 0960-0833

Kimble, C. and Hildreth, P. (2005) Dualities, Distributed Communities of Practice and Knowledge Management. Journal of Knowledge Management, 9 (4). pp. 102-113. ISSN 13673270

Kingsbury, Sarah, Smith, Lindsay, Czoski Murray, Carolyn et al. (15 more authors) (2022) Safety of disinvestment in mid- to late-term follow-up post primary hip and knee replacement:the UK SAFE evidence synthesis and recommendations. Health and Social Care Delivery Research. ISSN 2755-0079

Kirke, Alexis, Williams, Duncan, Miranda, Eduardo R et al. (4 more authors) (2018) Unconsciously interactive Films in a cinema environment—a demonstrative case study. Digital Creativity. pp. 1-17. ISSN 1462-6268

Kirkwood, Jobie Samuel, Hargreaves, David, O'Keefe, Simon orcid.org/0000-0001-5957-2474 et al. (1 more author) (2015) Analysis of crystallization data the Protein Data Bank. Acta Crystallographica Section F: Structural Biology and Crystallization Communications. pp. 1228-1234. ISSN 1744-3091

Kirkwood, Jobie Samuel, Hargreaves, David, O'Keefe, Simon orcid.org/0000-0001-5957-2474 et al. (1 more author) (2015) Using isoelectric point to determine the pH for initial protein crystallisation trials. Bioinformatics. pp. 1444-1451. ISSN 1460-2059

Kirkwood, Jobie, Wilson, Julie orcid.org/0000-0002-5171-8480, O'keefe, Simon orcid.org/0000-0001-5957-2474 et al. (1 more author) (2014) A high-throughput colourimetric method for the determination of pH in crystallization screens. Acta Crystallographica. Section D, Biological Crystallography. pp. 2367-2375. ISSN 1399-0047

Kocsis, Zoltan A. and Swan, Jerry (2017) Genetic Programming + Proof Search = Automatic Improvement. Journal of Automated Reasoning. pp. 1-20. ISSN 1573-0670

Koike, S., Takahashi, H., Yonezawa, H. et al. (4 more authors) (2006) Demonstration of quantum telecloning of optical coherent states. Physical Review Letters, 96 (6). 060504. ISSN 0031-9007

Kokkinakis, Athanasios V., Cowling, Peter I. orcid.org/0000-0003-1310-6683, Drachen, Anders orcid.org/0000-0002-1002-0414 et al. (1 more author) (2017) Exploring the relationship between video game expertise and fluid intelligence. PLoS ONE. e0186621. ISSN 1932-6203

Kokkinakis, Athanasios, York, Peter, Patra, Moni et al. (12 more authors) (2021) Metagaming and metagames in Esports. International Journal of Esports. ISSN 2634-1069

Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563, Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150, Paige, Richard F. orcid.org/0000-0002-1978-9852 et al. (7 more authors) (2016) MONDO:Scalable modelling and model management on the Cloud. CEUR Workshop Proceedings 1403. pp. 55-64. ISSN 1613-0073

Kolovos, Dimitris orcid.org/0000-0002-1724-6563 and de la Vega, Alfonso (2023) Flexmi:a generic and modular textual syntax for domain-specific modelling. Software and Systems Modeling. pp. 1197-1215. ISSN 1619-1366

Kornbrot, D., Penn, P., Petrie, H. et al. (2 more authors) (2007) Roughness perception in haptic virtual reality for sighted and blind people. Perception and Psychophysics, 69 (4). pp. 502-512. ISSN 0031-5117

Krauss, Lawrence, Marino, Francesco, Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X et al. (2 more authors) (2024) Listening to quantum gravity? International Journal of Modern Physics D. 2441006. p. 12. ISSN 0218-2718

Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm et al. (4 more authors) (2022) A Survey of Practical Formal Methods for Security. Formal Aspects of Computing. 3522582. ISSN 1433-299X

Kumar, Vijay, Yadav, Poonam orcid.org/0000-0003-0169-0704 and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2023) Resilient Edge:Building an adaptive and resilient multi-communication network for IoT Edge using LPWAN and WiFi. IEEE Transactions on Network and Service Management. pp. 3055-3071. ISSN 1932-4537

Kurd, Z. and Kelly, T.P. (2007) Using fuzzy self-organising maps for safety critical systems. Reliability Engineering and System Safety, 92 (11). pp. 1563-1583. ISSN 0951-8320

Kwon, J., Wellings, A. and King, S. (2005) Ravenscar-Java: a High-integrity Profile for Real-time Java. Concurrency and Computation: Practice and Experience, 17 (5-6). 681 - 713. ISSN 1532-0626

Kyle-Davidson, Cameron, Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 and Evans, Karla orcid.org/0000-0002-8440-1711 (2022) Modulating human memory for complex scenes with artificially generated images. Scientific Reports. 1583. ISSN 2045-2322

Kyle-Davidson, Cameron, Zhou, Elizabeth Yue, Walther, Dirk et al. (2 more authors) (2023) Characterizing and Dissecting Human Perception of Scene Complexity. Cognition. 105319. ISSN 0010-0277

Künzel, Gustavo, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 and Pereira, Carlos Eduardo (2020) Latency and Lifetime Enhancements in Industrial Wireless Sensor Networks:A Q-Learning Approach for Graph Routing. Industrial Informatics, IEEE Transactions on. pp. 5617-5625. ISSN 1551-3203

Laleau, Regine and Polack, Fiona orcid.org/0000-0001-7954-6433 (2008) Using formal metamodels to check consistency of functional views in information systems specification. Information and Software Technology. pp. 797-814. ISSN 0950-5849

Lampert, Thomas Andrew and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2013) On the detection of tracks in spectrogram images. Pattern recognition. pp. 1396-1408. ISSN 0031-3203

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2011) A Detailed Investigation into Low-Level Feature Detection in Spectrogram Images. Pattern recognition. pp. 2076-2092. ISSN 0031-3203

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2010) A Survey of Spectrogram Track Detection Algorithms. Applied Acoustics. pp. 87-100.

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2010) An active contour algorithm for spectrogram track detection. Pattern Recognition Letters. pp. 1201-1206.

Laurenza, Riccardo, Braunstein, Samuel L. orcid.org/0000-0003-4790-136X and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Finite-resource teleportation stretching for continuous-variable systems. Scientific Reports. 15267. ISSN 2045-2322

Laurenza, Riccardo, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Lloyd, Seth et al. (1 more author) (2020) Dense coding capacity of a quantum channel. Physical Review Research. 023023. ISSN 2643-1564

Laurenza, Riccardo, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Spedalieri, Gaetana et al. (2 more authors) (2018) Channel Simulation in Quantum Metrology. Quantum Measurements and Quantum Metrology. ISSN 2299-114X

Laurenza, Riccardo, Walk, Nathan, Eisert, Jens et al. (1 more author) (2022) Rate limits in quantum networks with lossy repeaters. Physical Review Research. 023158. ISSN 2643-1564

Law, Timothy R., Hancox, Jonny, Wright, Steven A. orcid.org/0000-0001-7133-8533 et al. (1 more author) (2019) An Algorithm for Computing Short-Range Forces in Molecular Dynamics Simulations with Non-Uniform Particle Densities. Journal of Parallel and Distributed Computing. pp. 1-11. ISSN 0743-7315

Lawson, Catherine L., Kryshtafovych, Andriy, Adams, Paul D. et al. (51 more authors) (2021) Cryo-EM model validation recommendations based on outcomes of the 2019 EMDataResource challenge. Nature Methods. pp. 156-164. ISSN 1548-7091

Lawton, Tom, Morgan, Phillip orcid.org/0000-0002-8797-4216, Porter, Zoe et al. (7 more authors) (2024) Clinicians risk becoming 'liability sinks' for artificial intelligence. Future Healthcare Journal. 100007. ISSN 2514-6653

Lesage, Benjamin Michael Jean-Rene, Griffin, David Jack orcid.org/0000-0002-4077-0005, Altmeyer, Sebastian et al. (2 more authors) (2018) On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real-Time Systems. pp. 307-388. ISSN 1573-1383

Leung, Kenneth M.Y., Yeung, Katie W.Y., Choi, Kyungho et al. (32 more authors) (2020) Toward Sustainable Environmental Quality:Priority Research Questions for Asia. Environmental Toxicology and Chemistry. pp. 1485-1505. ISSN 0730-7268

Lewinska, Paulina Barbara Wiktoria, Głowacki, Oskar, Moskalik, Mateusz et al. (1 more author) (2020) Evaluation of structure-from-motion for analysis of small-scale glacier dynamics. Measurement. pp. 1-15. ISSN 0263-2241

Li, Chunlei, Li, Huanyu, Gao, Guangshuai et al. (2 more authors) (2023) An accelerating convolutional neural networks via a 2D entropy based-adaptive filter search method for image recognition. APPLIED SOFT COMPUTING. 110326. ISSN 1568-4946

Li, Chunqing and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) Vertex-Level Three-Dimensional Shape Deformability Measurement Based on Line Segment Advection. IET Computer Vision. ISSN 1751-9632

Li, Q., Zhang, Aihua, Liu, P. orcid.org/0000-0003-0677-4421 et al. (2 more authors) (2020) A Novel CSI Feedback Approach for Massive MIMO using LSTM-Attention CNN. IEEE Access. ISSN 2169-3536

Li, Wei orcid.org/0000-0001-9786-585X, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2024) Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool. Autonomous Robots. 14. ISSN 0929-5593

Li, Xiaohui, Guarnera, Claudio, Lin, Arvin et al. (1 more author) (2024) Realistic Facial Age Transformation with 3D Uplifting. Computer graphics forum. e15146. ISSN 0167-7055

Li, Zhenyu and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2018) Selection of Robust and Relevant Features for 3-D Steganalysis. IEEE Transactions on Cybernetics. pp. 1989-2001. ISSN 2168-2267

Li, Zhenyu and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2017) Steganalysis of 3D objects using statistics of local feature sets. Information Sciences. pp. 85-99. ISSN 0020-0255

Li, Zhenyu and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2020) Steganalysis of meshes based on 3D wavelet multiresolution analysis. Information Sciences. pp. 164-179. ISSN 0020-0255

Liao, Guo Qian, Liu, Hao, Scott, Graeme G. et al. (16 more authors) (2020) Towards Terawatt-Scale Spectrally Tunable Terahertz Pulses via Relativistic Laser-Foil Interactions. Physical Review X. 031062. ISSN 2160-3308

Liao, Guoqian, Li, Yutong, Liu, Hao et al. (16 more authors) (2019) Multimillijoule coherent terahertz bursts from picosecond laser-irradiated metal foils. Proceedings of the National Academy of Sciences of the United States of America. pp. 3994-3999. ISSN 1091-6490

Lima, G M D and Burns, A orcid.org/0000-0001-5621-8816 (2003) An optimal fixed-priority assignment algorithm for supporting fault-tolerant hard real-time systems. IEEE Transactions on Computers. pp. 1332-1346. ISSN 0018-9340

Limberger, Frederico Artur and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2018) Curvature-based spectral signatures for non-rigid shape retrieval. Computer Vision and Image Understanding. ISSN 1077-3142

Liu, Bo, Yang, Long, Ruan, Xuezhong et al. (5 more authors) (2019) Femtosecond laser-heating effect on the magnetization dynamics in perpendicularly magnetized Ta/CoFeB/MgO film. New Journal of Physics. 053032. ISSN 1367-2630

Liu, H., Liao, G. Q., Zhang, Y. H. et al. (13 more authors) (2018) Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions. Review of Scientific Instruments. 083302. ISSN 0034-6748

Liu, Pengcheng orcid.org/0000-0003-0677-4421, Huda, M Nazmul, Sun, Li et al. (1 more author) (2020) A survey on underactuated robotic systems:bio-inspiration, trajectory planning and control. Mechatronics. 102443. ISSN 0957-4158

Liu, Pengcheng orcid.org/0000-0003-0677-4421 and Liu, Shuai (2022) Benchmarking and optimization of robot motion planning with motion planning pipeline. The International Journal of Advanced Manufacturing Technology. pp. 949-961. ISSN 1433-3015

Liu, Pengcheng orcid.org/0000-0003-0677-4421, Yu, Hongnian and Cang, Shuang (2019) Adaptive neural network tracking control for underactuated systems with matched and mismatched disturbances. Nonlinear Dynamics. pp. 1447-1464.

Liu, Pengcheng orcid.org/0000-0003-0677-4421, Yu, Hongnian and Cang, Shuang (2018) Optimized adaptive tracking control for an underactuated vibro-driven capsule system. Nonlinear Dynamics. pp. 1803-1817. ISSN 0924-090X

Lones, Michael Adam, Fuente, Luis Alberto, Turner, Alexander Phillip et al. (4 more authors) (2014) Artificial Biochemical Networks:Evolving Dynamical Systems to Control Dynamical Systems. IEEE Transactions on Evolutionary Computation. 6423886. pp. 145-166. ISSN 1089-778X

Loureiro, Joao, Rangarajan, Raghuraman, Nikolic, Borislav et al. (2 more authors) (2019) Extensive Analysis of a Real-Time Dense Wired Sensor Network Based on Traffic Shaping. ACM Transactions on Cyber-Physical Systems. 27. ISSN 2378-9638

Lozano, Miguel Angel, Escolano, Francisco, Curado, Manuel et al. (1 more author) (2021) Network Embedding from the Line Graph:Random Walkers and Boosted Classification. Pattern Recognition Letters. pp. 36-42. ISSN 0167-8655

Lucassen, Mathijs, Samra, Rajvinder, Iacovides, Ioanna orcid.org/0000-0001-9674-8440 et al. (4 more authors) (2018) How LGBT+ Young People Use the Internet in Relation to Their Mental Health and Envisage the Use of e-Therapy:Exploratory Study. JMIR Serious Games. e11249. ISSN 2291-9279

Luckcuck, Matt, Wellings, Andy orcid.org/0000-0002-3338-0623 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) Safety-Critical Java::level 2 in practice. Concurrency and Computation: Practice and Experience. pp. 1-27. ISSN 1532-0634

Ludtke, N. and Wilson, R.C. (2003) A mixture model for population codes of Gabor filters. IEEE Transactions on Neural Networks, 14 (4). pp. 794-803. ISSN 1045-9227

Lum, Daniel J., Howell, John C., Allman, M. S. et al. (5 more authors) (2016) Quantum enigma machine: Experimentally demonstrating quantum data locking. Physical Review A. 022315. ISSN 1094-1622

Luo, B., Wilson, R.C. and Hancock, E.R. (2003) Spectral embedding of graphs. Pattern Recognition, 36 (10). pp. 2213-2230. ISSN 0031-3203

Lupo, Cosmo orcid.org/0000-0002-5227-4009, Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Papanastasiou, Panagiotis et al. (1 more author) (2018) Continuous-variable measurement-device-independent quantum key distribution: Composable security against coherent attacks. Physical Review A. 052327. pp. 1-10. ISSN 1094-1622

Lupo, Cosmo orcid.org/0000-0002-5227-4009, Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Papanastasiou, Panagiotis et al. (1 more author) (2018) Parameter estimation with almost no public communication for continuous-variable quantum key distribution. Physical Review Letters. 220505. ISSN 1079-7114

Lupo, Cosmo orcid.org/0000-0002-5227-4009 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Super-additivity and entanglement assistance in quantum reading. QUANTUM INFORMATION COMPUTATION. pp. 611-622. ISSN 1533-7146

Lupo, Cosmo orcid.org/0000-0002-5227-4009 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2016) Ultimate Precision Bound of Quantum and Subwavelength Imaging. Physical Review Letters. 190802. ISSN 1079-7114

Lyons, Imogen, Furniss, Dominic, Blandford, Ann et al. (11 more authors) (2018) Errors and discrepancies in the administration of intravenous infusions: a mixed methods multihospital observational study. BMJ Quality & Safety. ISSN 2044-5423

Lüttgen, G. and Mendler, M. (2002) The intuitionism behind statecharts steps. ACM Transactions on Computational Logic, 3 (1). pp. 1-41. ISSN 1529-3785

Lüttgen, G. and Vogler, W. (2004) Bisimulation on speed: Worst-case efficiency. Information and Computation, 191 (2). pp. 105-144. ISSN 0890-5401

MINELLO, GIORGIA, Torsello, Andrea and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2020) Open System Quantum Thermodynamics of Time Varying Graphs. Journal of Complex Networks. pp. 1-20. ISSN 2051-1329

Ma, Yunfeng and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2017) Hardware-accelerated analysis of real-time Networks-on-Chip. Microprocessors and Microsystems. pp. 81-91. ISSN 0141-9331

Ma, Yuqing, Liu, Xianglong, Bai, Shihao et al. (4 more authors) (2022) Region-wise Generative Adversarial Image Inpainting for Large Missing Areas. IEEE Transactions on Cybernetics. ISSN 2168-2267

Madani, Sina and Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 (2016) Re-implementing Apache Thrift using model-driven engineering technologies:An experience report. CEUR Workshop Proceedings 1403. pp. 149-156. ISSN 1613-0073

Madani, Sina, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2021) Distributed model validation with Epsilon. Software and Systems Modeling. pp. 1689-1712. ISSN 1619-1366

Madani, Sina, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 and Paigea, Richard F. (2019) Towards optimisation of model queries:A parallel execution approach. Journal of Object Technology. A3. ISSN 1660-1769

Magrabi, Farah, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Sujan, Mark et al. (4 more authors) (2019) Why is it so difficult to govern mobile apps in healthcare? BMJ Health and Care Informatics. ISSN 2632-1009

Maierhofer, M., Bailey, C. and Sotudeh, R. (2001) Affordable scalability: An analysis of modular multimedia server. International Journal of Computers and Applications, 23 (2). pp. 79-89. ISSN 1206-212X

Maiza, Claire, Rihani, Hamza, Rivas, Juan et al. (3 more authors) (2019) A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Comput. Surv.. ISSN 0360-0300

Malmqvist, Lars, Yuan, Tommy and Nightingale, Peter orcid.org/0000-0002-5052-8634 (2024) Approximating Problems in Abstract Argumentation with Graph Convolutional Networks. Artificial Intelligence. 104209. ISSN 0004-3702

Maloney, Liam orcid.org/0000-0001-9202-8104 (2020) Sampling the Sacred in House Music. Norient Space: The Now in Sound.

Manandhar, Suresh Kumar orcid.org/0000-0002-2822-2903 and Can, Burcu (2018) Tree Structured Dirichlet Processes for Hierarchical Morphological Segmentation. Computational linguistics. pp. 349-374. ISSN 0891-2017

Mannion, Patrick, Devlin, Sam orcid.org/0000-0002-7769-3090, Duggan, Jim et al. (1 more author) (2017) Multi-Agent Credit Assignment in Stochastic Resource Management Games. The Knowledge Engineering Review. ISSN 0269-8889

Mannion, Patrick, Devlin, Sam orcid.org/0000-0002-7769-3090, Mason, Karl et al. (2 more authors) (2017) Policy Invariance under Reward Transformations for Multi-Objective Reinforcement Learning. Neurocomputing. 263. pp. 60-73. ISSN 0925-2312

Marchese, Marta Maria, Belenchia, Alessio, Pirandola, Stefano orcid.org/0000-0001-6165-5615 et al. (1 more author) (2021) An Optomechanical Platform for Quantum Hypothesis Testing for Collapse Models. New Journal of Physics. 043022. ISSN 1367-2630

Marsden, Emma Josephine orcid.org/0000-0003-4086-5765 and Kasprowicz, Rowena Eloise orcid.org/0000-0001-9248-6834 (2017) Foreign Language Educators’ Exposure to Research:Reported Experiences, Exposure Via Citations, and a Proposal for Action. The Modern Language Journal. 613–642. ISSN 1540-4781

Marshall, Angus M. and Paige, Richard orcid.org/0000-0002-1978-9852 (2018) Requirements in digital forensics method definition:Observations from a UK study. Digital Investigation. ISSN 1742-2876

Massey, P., Clark, J.A. and Stepney, S. (2006) Human-competitive evolution of quantum computing artefacts. Evolutionary Computation, 14 (1). pp. 21-40. ISSN 1063-6560

Matsushita, T. and Runciman, C. (2001) The accepting power of unary string logic programs. Theoretical Computer Science, 266 (1-2). pp. 59-79. ISSN 0304-3975

McCall, Cade Andrew orcid.org/0000-0003-0746-8899, Schofield, Guy orcid.org/0000-0003-1115-1018, Halgarth, Darel et al. (3 more authors) (2022) The Underwood Project:A Virtual Environment for Eliciting Ambiguous Threat. Behavior research methods. ISSN 1554-351X

McCorry, Patrick, Mehrnezhad, Maryam, Toreini, Ehsan et al. (2 more authors) (2021) On Secure E-Voting over Blockchain. Digital Threats: Research and Practice. 33. ISSN 2576-5337

McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2022) Safe, Ethical & Sustainable: A Mantra for All Seasons? Safety Systems. pp. 5-10.

McDermid, John Alexander orcid.org/0000-0003-4745-4272, Asplund, Fredrik, Oates, Robert et al. (1 more author) (2018) Rapid Integration of CPS Security and Safety. IEEE Embedded Systems Letters. ISSN 1943-0663

McDermid, John Alexander orcid.org/0000-0003-4745-4272, Calinescu, Radu orcid.org/0000-0002-2678-9260, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (7 more authors) (2024) The Safety of Autonomy:A Systematic Approach. Computer. pp. 16-25. ISSN 0018-9162

McDermid, John Alexander orcid.org/0000-0003-4745-4272, Jia, Yan, Porter, Zoe et al. (1 more author) (2021) Artificial intelligence explainability:the technical and ethical dimensions. Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 20200363. ISSN 1471-2962

McInerney, Ciarán, McCrorie, Carolyn, Benn, Jonathan et al. (6 more authors) (2022) Evaluating the safety and patient impacts of an artificial intelligence command centre in acute hospital care:a mixed-methods protocol. BMJ Open. e054090. ISSN 2044-6055

Mebrahtu, Teumzghi F, McInerney, Ciarán D, Benn, Jonathan et al. (7 more authors) (2023) Effect of a hospital command centre on patient safety:an interrupted time series study. BMJ Health and Care Informatics. e100653. ISSN 2632-1009

Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2018) Stealing PINs via Mobile Sensors: Actual Risk versus User Perception. International Journal of Information Security. 291–313. ISSN 1615-5262

Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2016) TouchSignatures:Identification of User Touch Actions and PINs Based on Mobile Sensor Data via JavaScript. Journal of Information Security and Applications. pp. 23-38. ISSN 2214-2126

Meise, Kristine, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Bro-Jorgensen, Jakob (2020) Alarm communication networks as a driver of community structure in African savannah herbivores. Ecology Letters. pp. 293-304. ISSN 1461-023X

Meise, Kristine, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Bro-Jorgensen, Jakob (2018) Multiple adaptive and non-adaptive processes determine responsiveness to heterospecific alarm calls in African savanna herbivores. Proceedings of the Royal Society B: Biological Sciences. pp. 1-9. ISSN 1471-2954

Meise, Kristine, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Bro-Jorgensen, Jakob (2019) Using social network analysis of mixed-species groups in African savanna herbivores to assess how community structure responds to environmental change. Philosophical Transactions of the Royal Society B: Biological Sciences. 20190009. ISSN 1471-2970

Melani, Alessandra, Bertogna, Marko, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (3 more authors) (2016) Exact Response Time Analysis for Fixed Priority Memory-Processor Co-scheduling. IEEE Transactions on Computers. pp. 1-15. ISSN 0018-9340

Mella, Jon, Iacovides, Jo orcid.org/0000-0001-9674-8440 and Cox, Anna L. (2024) ‘Jumping Out from the Pressure of Work and into the Game’:Curating Immersive Digital Game Experiences for Post-Work Recovery. Games: Research and Practice. 21. ISSN 2832-5516

Mendis, Hashan Roshantha, Audsley, Neil Cameron orcid.org/0000-0003-3739-6590 and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2017) Dynamic and Static Task Allocation for Hard Real-time Video Stream Decoding on NoCs. LITES: Leibniz Transactions on Embedded Systems. 1. pp. 1-25. ISSN 2199-2002

Menghi, Claudio, Tsigkanos, Christos, Askarpour, Mehrnoosh et al. (4 more authors) (2024) Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Transactions on Software Engineering. pp. 2741-2760. ISSN 0098-5589

Menon, Catherine and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2019) A safety-case approach to the ethics of autonomous vehicles. Safety and Reliability. pp. 33-58. ISSN 0961-7353

Millard, Alan G. orcid.org/0000-0002-4424-5953, Redpath, Richard, Jewers, Alistair et al. (5 more authors) (2018) ARDebug:An augmented reality tool for analysing and debugging swarm robotic systems. Frontiers Robotics AI. 87. ISSN 2296-9144

Mirhadi, Sahar, Iacovides, Jo orcid.org/0000-0001-9674-8440 and Denisova, Alena orcid.org/0000-0002-1497-5808 (2024) Playing Through Tough Times:Exploring the Relationship between Game Aspects and Coping Strategies during Difficult Life Challenges. Proceedings of the ACM on Human-Computer Interaction. 332. ISSN 2573-0142

Miyazawa, Alvaro Heiji orcid.org/0000-0003-2233-9091, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 and Wellings, Andrew John orcid.org/0000-0002-3338-0623 (2019) SCJ-Circus: specification and refinement of Safety-Critical Java programs. Science of Computer Programming. pp. 140-176. ISSN 0167-6423

Miyazawa, Alvaro Heiji orcid.org/0000-0003-2233-9091, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Li, W. orcid.org/0000-0001-9786-585X et al. (3 more authors) (2019) RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling. pp. 3097-3149. ISSN 1619-1366

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091, Ahmadi, Sharar, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (5 more authors) (2025) Diagrammatic physical robot models. Software and Systems Modeling. ISSN 1619-1366

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2011) Refinement-based verification of sequential implementations of Stateflow charts. Electronic Proceedings in Theoretical Computer Science. pp. 65-83. ISSN 2075-2180

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) SCJ-Circus:a refinement-oriented formal notation for Safety-Critical Java. Electronic Proceedings in Theoretical Computer Science. pp. 71-86. ISSN 2075-2180

Modesti, Paolo, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847, McCorry, Patrick et al. (1 more author) (2021) Formal Modelling and Security Analysis of Bitcoin's Payment Protocol. Computers & Security. 102279. ISSN 0167-4048

Monkhouse, Helen, Habli, Ibrahim orcid.org/0000-0003-2736-8238 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2020) An Enhanced Vehicle Control Model for Highly Automated Driving Safety. Reliability Engineering and System Safety. pp. 1-12. ISSN 0951-8320

Morgan, Colleen Leah orcid.org/0000-0001-6907-5535, Wright, Holly Ellen, Petrie, Helen orcid.org/0000-0002-0100-9846 et al. (1 more author) (2021) Drawing and Knowledge Construction in Archaeology: The Aide Mémoire Project. Journal of Field Archaeology. pp. 614-628. ISSN 2042-4582

Moscholios, Ioannis, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Logothetis, Michael et al. (1 more author) (2017) State-Dependent Bandwidth Sharing Policies for Wireless Multirate Loss Networks. IEEE Transactions on Wireless Communications. 7942058. pp. 5481-5497. ISSN 1536-1276

Moscholios, Ioannis, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Sagias, Nikos et al. (1 more author) (2018) On Channel Sharing Policies in LEO Mobile Satellite Systems. IEEE Transactions on Aerospace and Electronic Systems. 8269248. pp. 1628-1640. ISSN 1557-9603

Moscholios, Ioannis, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Sarigiannidis, Panagiotis et al. (2 more authors) (2018) An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic. Iet communications. pp. 18-25. ISSN 1751-8628

Moss, G E and Runciman, C orcid.org/0000-0002-0151-3233 (2001) Inductive benchmarking for purely functional data structures. Journal of Functional Programming. pp. 525-556. ISSN 1469-7653

Mountogiannakis, Alexander G., Papanastasiou, Panagiotis, Braverman, Boris et al. (1 more author) (2022) Composably secure data processing for Gaussian-modulated continuous variable quantum key distribution. Physical Review Research. 013099. ISSN 2643-1564

Mountogiannakis, Alexander George, Papanastasiou, Panagiotis and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2022) Data post-processing for the one-way heterodyne protocol under composable finite-size security. Physical Review A. 042606. ISSN 1094-1622

Moyo, Daniel, Beattie, Lynette, Andrews, Paul Simon et al. (6 more authors) (2018) Macrophage transactivation for chemokine production identified as a negative regulator of granulomatous inflammation using agent-based modeling. Frontiers in immunology. 637. ISSN 1664-3224

Munive, Jonathan Huerta y, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning. 68. ISSN 0168-7433

Murray, Yvonne, Nordlie, Henrik, Anisi, David A. et al. (2 more authors) (2024) Model Checking and Verification of Synchronisation Properties of Cobot Welding. Electronic Proceedings in Theoretical Computer Science, EPTCS. pp. 91-108. ISSN 2075-2180

Murray, Yvonne, Sirevåg, Martin, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 et al. (2 more authors) (2022) Safety assurance of an industrial robotic control system using hardware/software co-verification. Science of Computer Programming. p. 102766. ISSN 0167-6423

Mussbacher, Gunter, Combemale, Benoit, Kienzle, Joerg et al. (10 more authors) (2024) Polyglot Software Development:Wait, What? IEEE Software. pp. 124-133. ISSN 0740-7459

Myers, R., Hancock, E.R. orcid.org/0000-0003-4496-2028 and Wilson, R.C. (2000) Bayesian graph edit distance. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 628-635. ISSN 0162-8828

Nasios, N. and Bors, A.G. (2006) Kernel-based classification using quantum mechanics. Pattern Recognition, 40 (3). pp. 875-889. ISSN 0031-3203

Nattrass, Stuart, Croft, Darren P., Ellis, Samuel et al. (8 more authors) (2019) Postreproductive killer whale grandmothers improve the survival of their grandoffspring. Proceedings of the National Academy of Sciences of the United States of America. pp. 26669-26673. ISSN 1091-6490

Neubauer, Patrick orcid.org/0000-0002-9811-4772, Bill, Robert, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2019) Reusable textual styles for domain-specific modeling languages. CEUR Workshop Proceedings. pp. 67-80. ISSN 1613-0073

Nicolaou, Nicoletta, Malik, Asad, Daly, Ian et al. (7 more authors) (2017) Directed motor-auditory EEG connectivity is modulated by music tempo. Frontiers in human neuroscience. 502. ISSN 1662-5161

Nielsen, Mia, Ellis, Sam, Towers, Jared et al. (8 more authors) (2021) A long postreproductive life span is a shared trait among genetically distinct killer whale populations. Ecology and Evolution. pp. 9123-9136. ISSN 2045-7758

Nightingale, Glenna Faith, Illian, Janine, King, Ruth et al. (1 more author) (2019) Area Interaction Point Processes for Bivariate Point Patterns in a Bayesian Context. Journal of Environmental Statistics. pp. 1-21. ISSN 1945-1296

Nightingale, Glenna Faith, Laland, Kevin Neville, Hoppitt, William John Edward et al. (1 more author) (2015) Bayesian spatial NBDA for diffusion data with home-base coordinates. PLoS ONE. e0130326. ISSN 1932-6203

Nightingale, Peter orcid.org/0000-0002-5052-8634, Akgün, Özgür, Gent, Ian P. et al. (3 more authors) (2017) Automatically improving constraint models in Savile Row. Artificial Intelligence. pp. 35-61. ISSN 0004-3702

Nikolic, Borislav, Tobuschat, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (2 more authors) (2019) Real-Time Analysis of Priority-Preemptive NoCs with Arbitrary Buffer Sizes and Router Delays. Real-Time Systems. pp. 63-105. ISSN 1573-1383

Noh, Kyungjoo, Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Jiang, Liang (2020) Enhanced energy-constrained quantum communication over bosonic Gaussian channels. Nature Communications. 457. ISSN 2041-1723

Notaros, Jelena, Mower, Jacob, Heuck, Mikkel et al. (8 more authors) (2017) Programmable dispersion on a photonic integrated circuit for classical and quantum applications. Optics Express. pp. 21275-21285. ISSN 1094-4087

Nucciarelli, Alberto, Li, Feng, Fernandes, Kiran Jude et al. (5 more authors) (2017) From value chains to technological platforms:the effects of crowdfunding in the digital game industry. JOURNAL OF BUSINESS RESEARCH. ISSN 0148-2963

O'Brien, Heather, Cairns, Paul Antony orcid.org/0000-0002-6508-372X and Hall, Mark (2018) A practical approach to measuring user engagement with the refined user engagement scale (UES) and new UES short form. International Journal of Human-Computer Studies. pp. 28-39. ISSN 1071-5819

Ogunyomi, Babajide, Rose, Louis M. orcid.org/0000-0002-3419-2579 and Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 (2018) Incremental execution of model-to-text transformations using property access traces. International Journal on Software & Systems Modelling. pp. 1-17. ISSN 1619-1366

Oliveira, M., Cavalcanti, A. and Woodcock, J. (2004) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043

Ortolano, Giuseppe, Losero, Elena, Berchera, Ivano Ruo et al. (2 more authors) (2021) Experimental quantum reading with photon counting. Science Advances. eabc7796. ISSN 2375-2548

Ortolano, Giuseppe, Napoli, Carmine, Harney, Cillian et al. (6 more authors) (2023) Quantum-enhanced pattern recognition. Physical Review Applied. 024072. ISSN 2331-7019

Osborne, Matthew orcid.org/0000-0002-9941-4531, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Alexander, Rob orcid.org/0000-0003-3818-0310 et al. (1 more author) (2024) Understanding Safety Engineering Practice:Comparing Safety Engineering Practice As Desired, As Required, and As Observed. Safety science. ISSN 0925-7535

Osudin, Daniil, Denisova, Alena orcid.org/0000-0002-1497-5808 and Child, Christopher (2025) Non-Euclidean Video Games:Exploring Player Perceptions and Experiences inside Impossible Spaces. IEEE Transactions on Games. pp. 115-124. ISSN 2475-1510

Othman, Mohd Kamal, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2013) Measuring the usability of a smartphone delivered museum guide. Procedia - Social and Behavioral Sciences. pp. 629-637. ISSN 1877-0428

Othman, Mohd Kamal, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2013) Visitors' Emotions, Touristic or Spiritual Experiences in Historic Churches:The Development of Church Experience Scale (CES). Procedia - Social and Behavioral Sciences. pp. 675-683. ISSN 1877-0428

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Laurenza, Riccardo, Cope, Thomas Peter William et al. (3 more authors) (2016) Secret key capacity of the thermal-loss channel:improving the lower bound. Proceedings of SPIE - The International Society for Optical Engineering. ISSN 1996-756X

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Ferraro, Alessandro et al. (2 more authors) (2019) Multipartite Entanglement Swapping and Mechanical Cluster States. Physical Review A. 030301(R). ISSN 1094-1622

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Laurenza, Riccardo et al. (1 more author) (2019) Modular network for high-rate quantum conferencing. Communications Physics. 118. ISSN 2399-3650

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Mancini, Stefano and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Gaussian two-mode attacks in one-way quantum cryptography. Physical Review A. 052310. pp. 1-9. ISSN 1094-1622

Ottaviani, Carlo orcid.org/0000-0002-0032-3999 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2016) General immunity and superadditivity of two-way Gaussian quantum cryptography. Scientific Reports. 22225. ISSN 2045-2322

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Spedalieri, Gae, Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X et al. (1 more author) (2020) CV-MDI-QKD with coherent state: beyond one-mode Gaussian attacks. IOPSciNotes. 025202.

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Woolley, Matthew J., Erementchouk, Misha et al. (4 more authors) (2020) Terahertz quantum cryptography. IEEE Journal on Selected Areas in Communication. pp. 483-495. ISSN 1558-0008

Owenson, Andrew, Wright, Steven A. orcid.org/0000-0001-7133-8533, Bunt, Richard et al. (3 more authors) (2020) An Unstructured CFD Mini-Application for the Performance Prediction of a Production CFD Code. Concurrency and Computation: Practice and Experience. e5443. ISSN 1532-0634

Paige, R.F. and Ostroff, J.S. (2004) ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing, 16 (1). pp. 51-79. ISSN 0934-5043

Paige, Richard F. orcid.org/0000-0002-1978-9852, Brooke, Phillip J. and Ostroff, Jonathan S. (2007) Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology. 11. B1-B49. ISSN 1049-331X

Paige, Richard F. orcid.org/0000-0002-1978-9852, Syriani, Eugene, Ergin, Huseyin et al. (1 more author) (2016) Patterns in model engineering 2015 - A workshop summary. CEUR Workshop Proceedings 1403. pp. 44-50. ISSN 1613-0073

Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Kolovos, Dimitrios orcid.org/0000-0002-1724-6563, Barmpis, Konstantinos et al. (2 more authors) (2019) Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores. Software and Systems Modeling. pp. 1047-1075. ISSN 1619-1366

Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Matragkas, Nikolaos orcid.org/0000-0002-8594-1912 and Rose, Louis Matthew orcid.org/0000-0002-3419-2579 (2016) Evolving models in Model-Driven Engineering:State-of-the-art and future challenges. Journal of Systems and Software. pp. 272-280. ISSN 0164-1212

Palomo-Duarte, Manuel, García-Domínguez, Antonio orcid.org/0000-0002-4744-9150 and Medina-Bulo, Inmaculada (2014) Automatic dynamic generation of likely invariants for WS-BPEL compositions. Expert systems with applications. pp. 5041-5055. ISSN 0957-4174

Papanastasiou, Panagiotis, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Weedbrook, Christian et al. (1 more author) (2018) Quantum key distribution with phase-encoded coherent states:Asymptotic security analysis in thermal-loss channels. Phys. Rev. A. 012340. pp. 1-8.

Papanastasiou, Panagiotis, Ottaviani, Carlo orcid.org/0000-0002-0032-3999 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Finite-size analysis of measurement-device-independent quantum cryptography with continuous variables. Physical Review A. 042332. ISSN 1094-1622

Papanastasiou, Panagiotis, Ottaviani, Carlo orcid.org/0000-0002-0032-3999 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Gaussian one-way thermal quantum cryptography with finite-size effects. Physical Review A. 032314. pp. 1-9. ISSN 1094-1622

Papanastasiou, Panagiotis, Weedbrook, Christian and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Continuous-variable quantum key distribution in fast fading channels. Physical Review A. ISSN 1094-1622

Pasley, A. and Austin, J. (2004) Distribution Forecasting of High Frequency Time Series. Decision Support Systems, 37 (4). pp. 501-513. ISSN 0167-9236

Patel, Ankur and Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 (2016) Manifold-based Constraints for Operations in Face Space. Pattern recognition. pp. 206-217. ISSN 0031-3203

Paterson, Colin orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2020) Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering. pp. 526-548. ISSN 0098-5589

Paterson, Colin orcid.org/0000-0002-6678-3752, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Ashmore, Rob (2021) Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Computing Surveys. 111. ISSN 0360-0300

Patrick, Matthew, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel et al. (1 more author) (2015) Subdomain-based test data generation. Journal of Systems and Software. pp. 328-342. ISSN 0164-1212

Pears, N.E. (2001) Mobile robot tracking of pre-planned paths. Advanced Robotics, 15 (1). pp. 97-107. ISSN 0169-1864

Pears, Nick orcid.org/0000-0001-9513-5634, Heseltine, Tom and Romero, Marcelo (2010) From 3D Point Clouds to Pose-Normalised Depth Maps. International Journal of Computer Vision. pp. 152-176. ISSN 0920-5691

Peleska, Jan, Huang, W.-l. and Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 (2019) Finite complete suites for CSP refinement testing. Science of Computer Programming. pp. 1-23. ISSN 0167-6423

Pennycook, S. J., Hammond, S. D., Mudalige, G. R. et al. (2 more authors) (2012) On the acceleration of wavefront applications using distributed many-core architectures. Computer Journal. pp. 138-153. ISSN 1460-2067

Pereira, Jason L., Banchi, Leonardo and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Bounding the benefit of adaptivity in quantum metrology using the relative fidelity. Physical Review Letters. 150501. ISSN 1079-7114

Pereira, Jason L., Banchi, Leonardo and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Symplectic decomposition from submatrix determinants. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 20210513. ISSN 1364-5021

Pereira, Jason L., Banchi, Leonardo, Zhuang, Quntao et al. (1 more author) (2021) Idler-free channel position finding. Physical Review A. 042614. ISSN 1094-1622

Pereira, Jason L. and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Bounds on amplitude damping channel discrimination. Physical Review A. 022610. ISSN 1094-1622

Pereira, Jason L., Zhuang, Quntao and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2020) Optimal environment localization. Physical Review Research. 043189. ISSN 2643-1564

Pereira, Jason and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Hacking Alice's box in continuous-variable quantum key distribution. Physical Review A. 062319. ISSN 1094-1622

Perry, Robert, Drachen, Anders orcid.org/0000-0002-1002-0414, Kearney, Allison et al. (5 more authors) (2018) Online-only friends, real-life friends or strangers? Differential associations with passion and social capital in video game play. Computers in Human Behavior. pp. 202-210.

Perryman, Robert J.Y., Venables, Stephanie K., Tapilatu, Ricardo F. et al. (3 more authors) (2019) Social preferences and network structure in a population of reef manta rays. Behavioral Ecology and Sociobiology. 114. pp. 1-18. ISSN 1432-0762

Pesudo, V., Borge, M. J.G., Moro, A. M. et al. (35 more authors) (2017) Scattering of halo nuclei on heavy targets at energies around the Coulomb barrier:The case of 11Be on 197Au. EPJ Web of Conferences. 00045. ISSN 2101-6275

Pesudo, V., Borge, M. J.G., Moro, A. M. et al. (35 more authors) (2017) Scattering of the Halo Nucleus Be 11 on Au 197 at Energies around the Coulomb Barrier. Physical Review Letters. 152502. ISSN 1079-7114

Petrie, H.L., Weber, G. and Fisher, W. (2005) Personalisation, interaction and navigation in rich multimedia documents for print-disabled users. IBM Systems Journal, 44 (3). 629 - 635. ISSN 0018-8670

Petrie, Helen orcid.org/0000-0002-0100-9846, Othman, Mohd Kamal and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2017) Smartphone guide technology in cultural spaces:measuring visitor experience with an iPhone multimedia guide in Shakespeare’s church. International Journal of Human-Computer Interaction. pp. 1-11. ISSN 1532-7590

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2019) Bounds for multi-end communication over quantum networks. Quantum Sci. Technol.. 045006. pp. 1-16. ISSN 2058-9565

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Composable security for continuous variable quantum key distribution:Trust levels and practical key rates in wired and wireless networks. Physical Review Research. 043014. ISSN 2643-1564

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2019) End-to-end capacities of a quantum communication network. Communications Physics. 51.

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2020) General upper bound for distributing conferencing keys in arbitrary quantum networks. IET Quantum Communication. pp. 22-25. ISSN 2632-8925

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2024) Holographic Limitations and Corrections to Quantum Information Protocols. Physical Review Research. 013157. ISSN 2643-1564

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Limits and Security of Free-Space Quantum Communications. Physical Review Research. 013279. ISSN 2643-1564

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) On quantum reading, quantum illumination, and other notions. IOP SciNotes. 015203. ISSN 2633-1357

Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2021) Satellite Quantum Communications:Fundamental Bounds and Practical Security. Physical Review Research. 023130. ISSN 2643-1564

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Andersen, Ulrik L., Banchi, Leonardo et al. (15 more authors) (2020) Advances in Quantum Cryptography. Advances in Optics and Photonics. pp. 1012-1236. ISSN 1943-8206

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Braunstein, Samuel L. orcid.org/0000-0003-4790-136X, Laurenza, Riccardo et al. (4 more authors) (2018) Theory of channel simulation and bounds for private communication. Quantum Sci. Technol.. 035009. ISSN 2058-9565

Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X (2016) Unite to build a quantum internet. Nature. pp. 169-171. ISSN 0028-0836

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Laurenza, Riccardo and Banchi, Leonardo (2019) Conditional channel simulation. Annals of Physics. pp. 289-302. ISSN 0003-4916

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Laurenza, Riccardo and Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X (2018) Teleportation simulation of bosonic Gaussian channels:Strong and uniform convergence. EUROPEAN PHYSICAL JOURNAL D. 162. ISSN 1434-6060

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Laurenza, Riccardo, Lupo, Cosmo orcid.org/0000-0002-5227-4009 et al. (1 more author) (2019) Fundamental limits to quantum channel discrimination. npj Quantum Information. 3. ISSN 2056-6387

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Laurenza, Riccardo, Ottaviani, Carlo orcid.org/0000-0002-0032-3999 et al. (1 more author) (2017) Fundamental limits of repeaterless quantum communications. Nature Communications. 15043. ISSN 2041-1723

Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Lupo, Cosmo orcid.org/0000-0002-5227-4009 (2017) Ultimate Precision of Adaptive Noise Estimation. Physical Review Letters. 100502. ISSN 1079-7114

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Jacobsen, Christian S. et al. (4 more authors) (2021) Environment-assisted bosonic quantum communications. npj Quantum Information. 77. ISSN 2056-6387

Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Papanastasiou, Panagiotis (2024) Improved composable key rates for CV-QKD. Physical Review Research. 023321. ISSN 2643-1564

Pirker, Johanna, Rattinger, Andre, Drachen, Anders orcid.org/0000-0002-1002-0414 et al. (1 more author) (2018) Analyzing Player Networks in Destiny. Entertainment Computing. pp. 71-83. ISSN 1875-9521

Pitchford, Jonathan William orcid.org/0000-0002-8756-0902, Cussens, James orcid.org/0000-0002-1363-2336, Raseta, Marko et al. (1 more author) (2017) Integrated testing strategies can be optimal for chemical risk classification. Mathematical Biosciences. pp. 1-8. ISSN 0025-5564

Ploumpis, Stylianos, Ververas, Evangelos, O'Sullivan, Eimear et al. (6 more authors) (2020) Towards a complete 3D morphable model of the human head. IEEE Transactions on Pattern Analysis and Machine Intelligence. 9082178. ISSN 0162-8828

Plump, Detlef orcid.org/0000-0002-1148-822X (2017) From Imperative to Rule-based Graph Programs. Journal of Logical and Algebraic Methods in Programming. pp. 154-173. ISSN 2352-2216

Plump, Detlef orcid.org/0000-0002-1148-822X, Atkinson, Timothy and Stepney, Susan orcid.org/0000-0003-3146-5401 (2021) Evolving Graphs with Semantic Neutral Drift. Natural Computing. pp. 127-143. ISSN 1567-7818

Plump, Detlef orcid.org/0000-0002-1148-822X, Atkinson, Timothy and Stepney, Susan orcid.org/0000-0003-3146-5401 (2020) Horizontal Gene Transfer for Recombining Graphs. Genetic programming and evolvable machines. 321–347. ISSN 1389-2576

Plump, Detlef orcid.org/0000-0002-1148-822X and Dodds, Michael orcid.org/0000-0002-4439-0130 (2009) From Hyperedge Replacement to Separation Logic and Back. Electronic Communications of the EASST. ISSN 1863-2122

Plump, Detlef orcid.org/0000-0002-1148-822X and Poskitt, Christopher (2013) Verifying Total Correctness of Graph Programs. Electronic Communications of the EASST. ISSN 1863-2122

Poledna, S, Burns, A orcid.org/0000-0001-5621-8816, Wellings, A orcid.org/0000-0002-3338-0623 et al. (1 more author) (2000) Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers. pp. 100-111. ISSN 0018-9340

Popoola, Saheed, Zhao, Xin, Gray, Jeff et al. (1 more author) (2024) Classifying changes to LabVIEW and simulink models via changeset metrics. Innovations in Systems and Software Engineering. ISSN 1614-5054

Porter, Zoe, Habli, Ibrahim orcid.org/0000-0003-2736-8238, McDermid, John Alexander orcid.org/0000-0003-4745-4272 et al. (1 more author) (2024) A principles-based ethics assurance argument pattern for AI and autonomous systems. AI and Ethics. pp. 563-616. ISSN 2730-5961

Porter, Zoe, Zimmermann, Annette, Morgan, Phillip David James orcid.org/0000-0002-8797-4216 et al. (3 more authors) (2022) Distinguishing two features of accountability for AI technologies. Nature Machine Intelligence. pp. 734-736. ISSN 2522-5839

Poskitt, Chris and Plump, Detlef orcid.org/0000-0002-1148-822X (2023) Monadic second-order incorrectness logic for GP 2. Journal of Logical and Algebraic Methods in Programming. 100825. ISSN 2352-2216

Poulding, S., Alexander, R. orcid.org/0000-0003-3818-0310, Clark, J.A. orcid.org/0000-0002-9230-9739 et al. (1 more author) (2015) The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. Journal of Systems and Software. pp. 296-310. ISSN 0164-1212

Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Cairns, Paul Antony orcid.org/0000-0002-6508-372X, Denisova, Alena orcid.org/0000-0002-1497-5808 et al. (2 more authors) (2019) Lost at the Edge of Uncertainty:Measuring Player Uncertainty in Digital Games. International Journal of Human-Computer Interaction. pp. 1033-1045. ISSN 1532-7590

Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Eramian, Mark, Daley, Mark et al. (1 more author) (2018) From Helmut Jürgensen's Former Students: The Game of Informatics Research. Journal of Automata, Languages and Combinatorics. pp. 127-141. ISSN 2567-3785

Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Lewis, Andrew, Petrie, Helen orcid.org/0000-0002-0100-9846 et al. (7 more authors) (2017) Improving Archaeologists' Online Archive Experiences Through User-Centred Design. ACM Journal on Computing and Cultural Heritage. ISSN 1556-4711

Prasad, D., Burns, A. and Atkins, M. (2003) The valid use of utility in adaptive real-time systems. Real-Time Systems, 25 ( 2-3). pp. 277-296. ISSN 0922-6443

Predoaia, Ionut orcid.org/0000-0002-2009-4054, Kolovos, Dimitris orcid.org/0000-0002-1724-6563, Lenk, Matthias et al. (1 more author) (2023) Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages. Journal of Object Technology. ISSN 1660-1769

Przewozniczek, Michal Witold, Dziurzanski, Piotr, Zhao, Shuai et al. (1 more author) (2021) Multi-Objective Parameter-less Population Pyramid for Solving Industrial Process Planning Problems. Swarm and Evolutionary Computation. 100773. ISSN 2210-6502

Puech, W, Bors, A G orcid.org/0000-0001-7838-0021, Pitas, I et al. (1 more author) (2001) Projection distortion analysis for flattened image mosaicing from straight uniform generalized cylinders. Pattern recognition. pp. 1657-1670. ISSN 0031-3203

Qi, Yi, Ryan, Philippa Mary orcid.org/0000-0003-1307-5207, Huang, Wei et al. (2 more authors) (2022) A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CEUR Workshop Proceedings. ISSN 1613-0073

Qiu, X.P, Yang, D.Z, Zhou, S.M et al. (6 more authors) (2008) Rotation of the pinning direction in the exchange bias training effect in polycrystalline NiFe/FeMn bilayers. Physical Review Letters. 147207. pp. 1-4. ISSN 1079-7114

Qomariyah, Nunung Nurul and Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 (2021) A genetic‐based pairwise trip planner recommender system. Journal of Big Data. 77. ISSN 2196-1115

Qomariyah, Nunung Nurul, Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 and Fajar, Ahmad Nurul (2020) On the benefit of logic-based approach to learn pairwise comparisons. Bulletin of Electrical Engineering and Informatics. ISSN 2302-9285

Quaife, M, Medley, G F, Jit, M et al. (30 more authors) (2022) Considering equity in priority setting using transmission models:Recommendations and data needs. Epidemics. p. 100648. ISSN 1878-0067

Radjenovic, A. and Paige, R. (2006) Architecture Description Languages for High Integrity Real-Time Systems. IEEE Software, 23 (2). pp. 71-79. ISSN 0740-7459

Rae, Andrew John, Alexander, Rob orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2014) Fixing the cracks in the crystal ball:a maturity model for quantitative risk assessment. Reliability Engineering and System Safety. pp. 67-81. ISSN 0951-8320

Rae, Andrew and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Forecasts or fortune-telling:when are expert judgements of safety risk valid? Safety science. pp. 156-165. ISSN 0925-7535

Rae, Andrew and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Probative blindness and false assurance about safety. Safety science. pp. 190-204. ISSN 0925-7535

Rae, Andrew, Provan, David, Aboelssaad, Hossam et al. (1 more author) (2020) A manifesto for Reality-based Safety Science. Safety science. 104654. ISSN 0925-7535

Rajaei, Flora, Minoccheri, Cristian, Wittrup, Emily et al. (4 more authors) (2024) AI-based Computational Methods in Early Drug Discovery and Post Market Drug Assessment:A Survey. IEEE/ACM Transactions on Computational Biology and Bioinformatics. pp. 97-115. ISSN 1545-5963

Ramsin, R. and Paige, R.F. orcid.org/0000-0002-1978-9852 (2010) Iterative criteria-based approach to engineering the requirements of software development methodologies. IET SOFTWARE. pp. 91-104. ISSN 1751-8806

Read, Mark N, Alden, Kieran, Rose, Louis M orcid.org/0000-0002-3419-2579 et al. (1 more author) (2016) Automated multi-objective calibration of biological agent-based simulations. Interface. ISSN 1742-5662

Read, Mark N, Alden, Kieran, Timmis, Jon orcid.org/0000-0003-1055-0471 et al. (1 more author) (2018) Strategies for calibrating models of biology. Briefings in bioinformatics. bby092. ISSN 1477-4054

Read, Mark N, Bailey, Jacqueline, Timmis, Jon orcid.org/0000-0003-1055-0471 et al. (1 more author) (2016) Leukocyte Motility Models Assessed through Simulation and Multi-objective Optimization-Based Model Selection. PLoS Computational Biology. e1005082. ISSN 1553-7358

Remde, Stephen, Cowling, Peter I. orcid.org/0000-0003-1310-6683, Dahal, Keshav P. et al. (2 more authors) (2012) An empirical study of hyperheuristics for managing very large sets of low level heuristics. Journal of the Operational Research Society. pp. 392-405. ISSN 1476-9360

Ribeiro, E. and Hancock, E.R. orcid.org/0000-0003-4496-2028 (2001) Shape from periodic texture using the eigenvectors of local affine distortion. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1459-1465. ISSN 0162-8828

Ringer, Charles, Missaoui, Sondess, Hodge, Victoria J. orcid.org/0000-0002-2469-0224 et al. (12 more authors) (2023) Time to Die 2:Improved In-Game Death Prediction in Dota 2. Machine Learning with Applications. 100466. ISSN 2666-8270

Ringer, Charles, Nicolaou, Mihalis and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2022) Autohighlight:Highlight Detection in League of Legends Esports Broadcasts via Crowd-Sourced Data. Machine Learning with Applications. 100338. ISSN 2666-8270

Ritchie, Kay L., White, David, Kramer, Robin S.S. et al. (3 more authors) (2018) Enhancing CCTV:Averages improve face identification from poor-quality images. Applied Cognitive Psychology. pp. 671-680. ISSN 0888-4080

Roberts, Stephen I., Wright, Steven A. orcid.org/0000-0001-7133-8533, Fahmy, Suhaib A. et al. (1 more author) (2019) The Power-Optimised Software Envelope. ACM Transactions on Architecture and Code Optimization. 21. ISSN 1544-3566

Robles-Kelly, A and Hancock, E R orcid.org/0000-0003-4496-2028 (2005) Graph edit distance from spectral seriation. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 365-378. ISSN 0162-8828

Robles-Kelly, A and Hancock, E R orcid.org/0000-0003-4496-2028 (2004) A graph-spectral approach to shape-from-shading. IEEE Transactions on Image Processing. pp. 912-926. ISSN 1057-7149

Robles-Kelly, Antonio and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2007) Shape-from-shading using the heat equation. IEEE Transactions on Image Processing. pp. 7-21. ISSN 1057-7149

Rodríguez, Raquel Gil, Bayer, Florian, Toscani, Matteo et al. (3 more authors) (2021) Colour Calibration of a Head Mounted Display for Colour Vision Research Using Virtual Reality. SN Computer Science. ISSN 2661-8907

Rodríguez, Raquel Gil, Hedjar, Laysa, Toscani, Matteo et al. (3 more authors) (2024) Color constancy mechanisms in virtual reality environments. Journal of Vision. 6. ISSN 1534-7362

Rossi, Luca, Torsello, Andrea and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2015) Unfolding Kernel Embeddings of Graphs:Enhancing Class Separation through Manifold Learning. Pattern Recognition. pp. 3357-3370. ISSN 0031-3203

Rossi, Luca, Torsello, Andrea and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2015) Measuring graph similarity through continuous-time quantum walks and the quantum Jensen-Shannon divergence. Physical Review E. 022815. ISSN 1550-2376

Roy, Debayan, Zhang, Licong, Chang, Wanli orcid.org/0000-0002-4053-8898 et al. (2 more authors) (2018) Semantics-preserving cosynthesis of cyber-physical systems. Proceedings of the IEEE. pp. 171-200. ISSN 1558-2256

Runciman, C. orcid.org/0000-0002-0151-3233 (1997) FUNCTIONAL PEARL : lazy wheel sieves and spirals of primes. Journal of Functional Programming. pp. 219-225. ISSN 1469-7653

Rusilowicz, Martin J., Dickinson, Michael, Charlton, Adrian J. et al. (2 more authors) (2018) MetaboClust:Using interactive time-series cluster analysis to relate metabolomic data with perturbed pathways. PLoS ONE. e0205968. ISSN 1932-6203

Rusilowicz, Martin James, Dickenson, Michael, Charlton, Adrian et al. (2 more authors) (2016) A batch correction method for liquid chromatography–mass spectrometry data that does not depend on quality control samples. Metabolomics. ISSN 1573-3890

Russell, Benjamin James and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) The Geometry of Speed Limiting Resources in Physical Models of Computation. International Journal of Foundations of Computer Science. 321–333. ISSN 1793-6373

Russell, Benjamin James and Stepney, Susan orcid.org/0000-0003-3146-5401 (2014) Zermelo Navigation and a Speed Limit to Quantum Information Processing. Physical Review A (Atomic, Molecular, and Optical Physics). 012303. ISSN 1094-1622

Russell, Benjamin James and Stepney, Susan orcid.org/0000-0003-3146-5401 (2015) Zermelo Navigation in the Quantum Brachistochrone. Journal of Physics A: Mathematical and Theoretical. 115303. ISSN 1751-8113

Saiger, Michael, Deterding, Sebastian and Gega, Lina orcid.org/0000-0003-2902-9256 (2023) Children and Young People’s Involvement in Designing Applied Games:Scoping Review. JMIR Serious Games. e42680. ISSN 2291-9279

Samardak, A., Taylor, S., Nogaret, A. et al. (4 more authors) (2008) Analogue summation of electrical spike trains in semiconductor nerve fibres. Physica E-Low Dimensional Systems and Nanostructures, 40 (6). pp. 2214-2216. ISSN 1386-9477

Sanchez, Beatriz A., Zolotas, Athanasios, Hoyos Rodriguez, Horacio et al. (4 more authors) (2021) Runtime translation of OCL-like statements on Simulink models:Expanding domains and optimising queries. Software and Systems Modeling. pp. 1889-1918. ISSN 1619-1366

Sankey, DWE, Hunt, KL, Croft, DP et al. (5 more authors) (2022) Leaders of war:modelling the evolution of conflict among heterogeneous groups. Philosophical Transactions of the Royal Society B: Biological Sciences. 20210140. ISSN 1471-2970

Sanz-Bernardo, Beatriz, Haga, Ismar R., Wijesiriwardana, Najith et al. (16 more authors) (2021) Quantifying and Modeling the Acquisition and Retention of Lumpy Skin Disease Virus by Hematophagus Insects Reveals Clinically but Not Subclinically Affected Cattle Are Promoters of Viral Transmission and Key Targets for Control of Disease Outbreaks. JOURNAL OF VIROLOGY. e02239-20. ISSN 0022-538X

Scantlebury, Arabella orcid.org/0000-0003-3518-2740, Sheard, Laura orcid.org/0000-0002-9241-8361, Watt, Ian orcid.org/0000-0002-3147-8299 et al. (3 more authors) (2017) Exploring the implementation of an electronic record into a maternity unit:a qualitative study using Normalisation Process Theory. BMC medical informatics and decision making. p. 4. ISSN 1472-6947

Schoeberl, Martin, Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof et al. (7 more authors) (2016) Safety-critical Java for embedded systems. Concurrency and Computation: Practice and Experience. pp. 1-22. ISSN 1532-0634

Schofield, Arthur John orcid.org/0000-0001-6903-7395, Beale, Gareth and Austin, James orcid.org/0000-0001-5762-8614 (2018) The Archaeology of the Digital Periphery:Computer mice and the archaeology of the early Digital Era. Journal of Contemporary Archaeology. pp. 154-173.

Scholten, Oliver, Zendle, David and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2020) Inside the Decentralised Casino:A Longitudinal Study of Actual Cryptocurrency Gambling Transactions. PLoS ONE. pp. 1-18. ISSN 1932-6203

Shi, Haowei, Zhang, Zheshen, Pirandola, Stefano orcid.org/0000-0001-6165-5615 et al. (1 more author) (2020) Entanglement-Assisted Absorption Spectroscopy. Physical Review Letters. 180502. ISSN 1079-7114

Sidhu, Jasminder S., Joshi, Siddarth K., Gundogan, Mustafa et al. (15 more authors) (2021) Advances in Space Quantum Communications. IET Quantum Communication. 182–217. ISSN 2632-8925