Items where Research Area is "A. > School of Science and Technology > Computer Science"

Article

Abouelhoda, Mohamed, Issa, Shadi and Ghanem, Moustafa (2012) Tavaxy: integrating Taverna and Galaxy workflows with cloud computing support. BMC Bioinformatics, 13 (1) . p. 77. ISSN 1471-2105 [Article] (doi:10.1186/1471-2105-13-77)

Abugabah, Ahed ORCID: https://orcid.org/0000-0002-3181-5822, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Wang, Jianfeng (2020) Learning context-aware outfit recommendation. Symmetry, 12 (6) , e873. pp. 1-13. ISSN 2073-8994 [Article] (doi:10.3390/sym12060873)

Aceto, Luca, Chen, Taolue, Ingolfsdottir, Anna, Luttik, Bas and Van de Pol, Jaco (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28) . pp. 3035-3044. ISSN 0304-3975 [Article] (doi:10.1016/j.tcs.2011.02.033)

Adams, Anne, Blandford, Ann and Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 (2005) Implementing digital resources for clinicians' and patients' varying needs. Informatics for Health and Social Care, 30 (2) . pp. 107-122. ISSN 1753-8157 [Article] (doi:10.1080/14639230500298875)

Albrecht, Andreas A. (2006) Stochastic local search for the Feature Set problem, with applications to microarray data. Applied Mathematics and Computation, 183 (2) . pp. 1148-1164. ISSN 0096-3003 [Article] (doi:10.1016/j.amc.2006.05.128)

Albrecht, Andreas A. (2006) A stopping criterion for logarithmic simulated annealing. Computing, 78 (1) . pp. 55-79. ISSN 0010-485X [Article] (doi:10.1007/s00607-006-0167-1)

Albrecht, Andreas A., Chashkin, Alexander V., Iliopoulos, Costas S., Kasim-Zade, Oktay M., Lappas, Georgios and Steinhofel, Kathleen K. (2010) A note on a priori estimations of classification circuit complexity. Fundamenta Informaticae, 104 (3) . pp. 201-217. ISSN 0169-2968 [Article] (doi:10.3233/FI-2010-344)

Albrecht, Andreas A., Cheung, S. K., Hui, K. C., Leung, K. S. and Wong, C. K. (1997) Optimal placements of flexible objects. I. Analytical results for the unbounded case. IEEE Transactions On Computers, 46 (8) . pp. 890-904. ISSN 0018-9340 [Article] (doi:10.1109/12.609278)

Albrecht, Andreas A., Cheung, S. K., Hui, K. C., Leung, K. S. and Wong, C. K. (1997) Optimal placements of flexible objects. II. A simulated annealing approach for the bounded case. IEEE Transactions on Computers, 46 (8) . pp. 905-929. ISSN 0018-9340 [Article] (doi:10.1109/12.609279)

Albrecht, Andreas A., Cheung, S. K., Leung, K. S. and Wong, C. K. (1997) Computing elastic moduli of two-dimensional random networks of rigid and nonrigid bonds by simulated annealing. Mathematics and Computers in Simulation, 44 (2) . pp. 187-215. ISSN 0378-4754 [Article] (doi:10.1016/S0378-4754(97)00072-4)

Albrecht, Andreas A., Cheung, S. K., Leung, K. S. and Wong, C. K. (1997) Stochastic simulations of two-dimensional composite packings. Journal of Computational Physics, 136 (2) . pp. 559-579. ISSN 0021-9991 [Article] (doi:10.1006/jcph.1997.5781)

Albrecht, Andreas A., Day, Luke, Souki, Ouala Abdelhadi Ep and Steinhofel, Kathleen (2016) A new heuristic method for approximating the number of local minima in partial RNA energy landscapes. Computational Biology and Chemistry, 60 . pp. 43-52. ISSN 1476-9271 [Article] (doi:10.1016/j.compbiolchem.2015.11.002)

Albrecht, Andreas A., Hein, E., Steinhofel, Kathleen, Taupitz, M. and Wong, C. K. (2002) Bounded-depth threshold circuits for computer-assisted CT image classification. Artificial Intelligence in Medicine, 24 (2) . pp. 179-192. ISSN 0933-3657 [Article] (doi:10.1016/S0933-3657(01)00101-4)

Albrecht, Andreas A., Kapsokalivas, L. and Steinhofel, K. (2010) Uphill unfolding of native protein conformations in cubic lattices. Journal of Computational Science, 1 (1) . pp. 6-12. ISSN 1877-7503 [Article] (doi:10.1016/j.jocs.2010.01.001)

Albrecht, Andreas A., Lane, P.C.R. and Steinhofel, K. (2010) Analysis of local search landscapes for k-SAT instances. Mathematics in Computer Science, 3 (4) . pp. 465-488. ISSN 1661-8270 [Article] (doi:10.1007/s11786-010-0040-7)

Albrecht, Andreas A. and Lappas, Georgios (2004) Classification improvement by an extended depth LSA machine. WSEAS Transactions on Systems, 3 (3) . pp. 1120-1125. ISSN 1109-2777 [Article]

Albrecht, Andreas A. and Lappas, Georgios (2004) On the evaluation of dividing samples for training an extended depth LSA machine. WSEAS Transactions on Systems, 3 (3) . pp. 1251-1257. ISSN 1109-2777 [Article]

Albrecht, Andreas A., Skaliotis, A. and Steinhöfel, K. (2008) Stochastic protein folding simulation in the three-dimensional HP-model. Computational Biology and Chemistry, 32 (4) . pp. 248-255. ISSN 1476-9271 [Article] (doi:10.1016/j.compbiolchem.2008.03.004)

Albrecht, Andreas A., Steinhofel, Kathleen, Taupitz, M. and Wong, C. K. (2001) Logarithmic simulated annealing for X-ray diagnosis. Artificial Intelligence in Medicine, 22 (3) . pp. 249-260. ISSN 0933-3657 [Article] (doi:10.1016/S0933-3657(00)00112-3)

Albrecht, Andreas A., Vinterbo, Staal A. and Ohno-Machado, Lucila (2003) An Epicurean learning approach to gene-expression data classification. Artificial Intelligence in Medicine, 28 (1) . pp. 75-87. ISSN 0933-3657 [Article] (doi:10.1016/S0933-3657(03)00036-8)

Albrecht, Andreas A. and Wong, C. K. (2001) Combining the perceptron algorithm with logarithmic simulated annealing. Neural Processing Letters, 14 (1) . pp. 75-83. ISSN 1370-4621 [Article] (doi:10.1023/A:1011369322571)

Ali, Kamran ORCID: https://orcid.org/0000-0001-5301-9125, Nguyen, Huan X. ORCID: https://orcid.org/0000-0002-4105-2558, Vien, Quoc-Tuan ORCID: https://orcid.org/0000-0001-5490-904X, Shah, Purav ORCID: https://orcid.org/0000-0002-0113-5690, Raza, Mohsin ORCID: https://orcid.org/0000-0002-7351-9749, Paranthaman, Vishnu Vardhan, Er-Rahmadi, Btissam, Awais, Muhammad ORCID: https://orcid.org/0000-0001-6421-9245, Islam, Saif ul and Rodrigues, Joel J. P. C. (2021) Review and implementation of resilient public safety networks: 5G, IoT and emerging technologies. IEEE network, 35 (2) . pp. 18-25. ISSN 0890-8044 [Article] (doi:10.1109/MNET.011.2000418)

Ali, Sharib, Dmitrieva, Mariia, Ghatwary, Noha, Bano, Sophia, Polat, Gorkem, Temizel, Alptekin, Krenzer, Adrian, Hekalo, Amar, Guo, Yun Bo, Matuszewski, Bogdan, Gridach, Mourad, Voiculescu, Irina, Yoganand, Vishnusai, Chavan, Arnav, Raj, Aryan, Nguyen, Nhan T., Tran, Dat Q., Huynh, Le Duy, Boutry, Nicolas, Rezvy, Shahadate ORCID: https://orcid.org/0000-0002-2684-7117, Chen, Haijian, Choi, Yoon Ho, Subramanian, Anand, Balasubramanian, Velmurugan, Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Hu, Hongyu, Liao, Yusheng, Stoyanov, Danail, Daul, Christian, Realdon, Stefano, Cannizzaro, Renato, Lamarque, Dominique, Tran-Nguyen, Terry, Bailey, Adam, Braden, Barbara, East, James E. and Rittscher, Jens (2021) Deep learning for detection and segmentation of artefact and disease instances in gastrointestinal endoscopy. Medical Image Analysis, 70 , 102002. ISSN 1361-8415 [Article] (doi:10.1016/j.media.2021.102002)

Ali, Sharib, Zhou, Felix, Braden, Barbara, Bailey, Adam, Yang, Suhui, Cheng, Guanju, Zhang, Pengyi, Li, Xiaoqiong, Kayser, Maxime, Soberanis-Mukul, Roger D., Albarqouni, Shadi, Wang, Xiaokang, Wang, Chunqing, Watanabe, Seiryo, Oksuz, Ilkay, Ning, Qingtian, Yang, Shufan, Khan, Mohammad Azam, Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Realdon, Stefano, Loshchenov, Maxim, Schnabel, Julia A., East, James E., Wagnieres, Georges, Loschenov, Victor B., Grisan, Enrico, Daul, Christian, Blondel, Walter and Rittscher, Jens (2020) An objective comparison of detection and segmentation algorithms for artefacts in clinical endoscopy. Scientific Reports, 10 (1) , 2748. pp. 1-15. ISSN 2045-2322 [Article] (doi:10.1038/s41598-020-59413-5)

Alshahwan, Nadia, Barr, Earl T., Clark, David, Danezis, George and Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725 (2020) Detecting malware with information complexity. Entropy, 22 (5) , 575. pp. 1-29. ISSN 1099-4300 [Article] (doi:10.3390/e22050575)

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark and Li, Zheng (2010) An alternative characterization of weak order dependence. Information Processing Letters, 110 (21) . pp. 939-943. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2010.07.023)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867 (2018) Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology, Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5 [Book review]. Genetic programming and Evolvable Machines . pp. 1-3. ISSN 1389-2576 [Article] (Published online first) (doi:10.1007/s10710-018-9335-2)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Hierons, Robert M., Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7) . pp. 892-909. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2012.72)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Krinke, Jens and Tratt, Laurence (2013) State-based model slicing: a survey. ACM Computing Surveys, 45 (4) . p. 53. ISSN 0360-0300 [Article] (doi:10.1145/2501654.2501667)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-00593-0_15)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gold, Nicolas, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) A theoretical and empirical study of EFSM dependence. Software Maintenance, 2009. ICSM 2009. IEEE International Conference . pp. 287-296. ISSN 1063-6773 [Article] (doi:10.1109/ICSM.2009.5306309)

Apel, Sven, Beyer, Dirk, Friedberger, Karlheinz, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and von Rhein, Alexander (2013) Domain types: abstract-domain selection based on variable usage. Hardware and Software: Verification and Testing, 8244 (1) . pp. 262-278. ISSN 0302-9743 [Article] (doi:10.1007/978-3-319-03077-7_18)

Aslam, Bilal ORCID: https://orcid.org/0000-0001-8087-7678, Azam, Muhammad A., Amin, Yasar, Loo, Jonathan and Tenhunen, Hannu (2019) A high capacity tunable retransmission type frequency coded chipless radio frequency identification system. International Journal of RF and Microwave Computer-Aided Engineering, 29 (9) , e21855. ISSN 1096-4290 [Article] (doi:10.1002/mmce.21855)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Adams, Anne and Blandford, Ann (2006) Patient information needs: pre- and post-consultation. Health Informatics Journal, 12 (2) . pp. 165-177. ISSN 1460-4582 [Article] (doi:10.1177/1460458206063811)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 and Blandford, Ann (2010) Conceptual misfits in email-based current awareness interaction. Journal of Documentation, 67 (1) . pp. 33-55. ISSN 0022-0418 [Article] (doi:10.1108/00220411111105443)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 and Blandford, Ann (2010) Discovery-led refinement in e-discovery investigations: sensemaking, cognitive ergonomics and system design. Artificial Intelligence and Law, 18 (4) . pp. 387-412. ISSN 0924-8463 [Article] (doi:10.1007/s10506-010-9091-y)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 and Blandford, Ann (2009) Improving the cost structure of sensemaking: analysing user concepts to inform information systems design. Lecture Notes in Computer Science, 5726 . ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-03655-2_60)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 and Blandford, Ann (2011) Making sense of digital footprints in team-based legal investigations: the acquisition of focus. Human Computer Interaction, 26 (1-2) . pp. 38-71. ISSN 0737-0024 [Article] (doi:10.1080/07370024.2011.556548)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Blandford, Ann and Dowell, John (2003) Information seeking in the context of writing: a design psychology interpretation of the ‘problematic situation’. Journal of Documentation, 59 (4) . pp. 430-453. ISSN 0022-0418 [Article] (doi:10.1108/00220410310485712)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Blandford, Ann, Dowell, John and Cairns, Paul (2008) Uncertainty-tolerant design: evaluating task performance and drag-and-link information gathering for a news-writing task. International Journal of Human-Computer Studies, 66 (6) . pp. 410-424. ISSN 1071-5819 [Article] (doi:10.1016/j.ijhcs.2007.12.001)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Blandford, Ann and Makri, Stephann (2010) Social and interactional practices for disseminating current awareness information in an organisational setting. Information Processing and Management, 46 (6) . pp. 632-645. ISSN 0306-4573 [Article] (doi:10.1016/j.ipm.2009.10.003)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 and Dowell, John (2003) Information seeking and use by newspaper journalists. Journal of Documentation, 59 (2) . pp. 187-204. ISSN 0022-0418 [Article] (doi:10.1108/00220410310463860)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Fegan, Sarah and Blandford, Ann (2009) Idea generation and material consolidation: tool use and intermediate artefacts in journalistic writing. Cognition, Technology and Work, 11 (3) . pp. 227-239. ISSN 1435-5558 [Article] (doi:10.1007/s10111-008-0111-6)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844 and Baber, Chris (2018) A resources model for distributed sensemaking. Cognition, Technology and Work, 20 (4) . pp. 651-664. ISSN 1435-5558 [Article] (doi:10.1007/s10111-018-0529-4)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Makri, Stephann, Kalbach, James, Blandford, Ann, De Gabrielle, Stephen and Edwards, Mark (2008) Prioritisation, resources and search terms: a study of decision-making at the virtual reference desk. Lecture Notes in Computer Science (5173) . ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-87599-4_12)

Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Callaghan, Vic, Kameas, Achilles, Cook, Diane and Satoh, Ichiro (2013) Intelligent environments: a manifesto. Human-centric Computing and Information Sciences, 3 (12) . ISSN 2192-1962 [Article] (doi:10.1186/2192-1962-3-12)

Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 and Hornos, Miguel J. (2013) Software simulation and verification to increase the reliability of intelligent environments. Advances in Engineering Software, 58 . pp. 18-34. ISSN 0965-9978 [Article] (doi:10.1016/j.advengsoft.2012.12.004)

Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, McCullagh, Paul J. and Augusto-Walkden, Julie-Ann (2011) Living without a safety net in an Intelligent Environment. ICST Transactions on Ambient Systems, 11 (10-12) . ISSN 2032-927X [Article] (doi:10.4108/trans.amsys.2011.e6)

Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Mulvenna, M., Zheng, H., Wang, H., Martin, S., McCullagh, P. and Wallace, J. (2014) Night optimised care technology for users needing assisted lifestyles. Behaviour and Information Technology, 33 (12) . pp. 1261-1277. ISSN 0144-929X [Article] (doi:10.1080/0144929X.2013.816773)

Avula, Shivaram, Spiteri, Michaela, Kumar, Ram, Lewis, Emma, Harave, Srikrishna, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Ong, Chan and Pizer, Barry (2016) Post-operative pediatric cerebellar mutism syndrome and its association with hypertrophic olivary degeneration. Quantitative Imaging in Medicine and Surgery, 6 (5) . pp. 535-544. ISSN 2223-4292 [Article] (doi:10.21037/qims.2016.10.11)

Azab, Nahed Amin, Kamel, Sherif and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2009) A suggested framework for assessing electronic government readiness in Egypt. Electronic Journal of E-Government, 7 (1) . pp. 11-28. ISSN 1479-439X [Article]

Aztiria, Asier, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Basagoiti, Rosa, Izaguirre, Alberto and Cook, Diane J. (2012) Discovering frequent user-environment interactions in intelligent environments. Personal and Ubiquitous Computing, 16 (1) . pp. 91-103. ISSN 1617-4909 [Article] (doi:10.1007/s00779-011-0471-4)

Aztiria, Asier, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Basagoiti, Rosa, Izaguirre, Alberto and Cook, Diane J. (2013) Learning frequent behaviours of the users in intelligent environments. IEEE Transactions on Systems Man and Cybernetics: Systems, 43 (6) . pp. 1265-1278. ISSN 2168-2216 [Article] (doi:10.1109/TSMC.2013.2252892)

Baber, Chris, Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Conway, Gareth, Rooney, Chris and Kodagoda, Neesha (2016) Collaborative sense-making during simulated intelligence analysis exercises. International Journal of Human-Computer Studies, 86 . pp. 94-108. ISSN 1071-5819 [Article] (doi:10.1016/j.ijhcs.2015.10.001)

Barat, Souvik, Kulkarni, Vinay and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2018) Towards improved organisational decision-making - a method and tool-chain. Enterprise Modelling and Information Systems Architectures – International Journal of Conceptual Modeling, 13 (2018) . 6:1-6:16. ISSN 1866-3621 [Article] (doi:10.18417/emisa.13.6)

Barat, Souvik, Kulkarni, Vinay, Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2020) A domain specific language for complex dynamic decision making. International Journal of Computer Aided Engineering and Technology . ISSN 1757-2657 [Article] (Accepted/In press)

Barbon, Gianluca, Margolis, Michael, Palumbo, Filippo, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Weldin, Nick (2016) Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications, 89-90 . pp. 128-140. ISSN 0140-3664 [Article] (doi:10.1016/j.comcom.2016.03.016)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2019) Mapping the public debate on ethical concerns: algorithms in mainstream media. Journal of Information, Communication and Ethics in Society, 18 (1) . pp. 124-139. ISSN 1477-996X [Article] (doi:10.1108/JICES-04-2019-0039)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Barn, Ravinder (2016) An exploration of resilience and values in the co-design of sociotechnical systems. International Journal of Systems and Society (IJSS), 3 (1) . pp. 1-17. ISSN 2327-3984 [Article] (doi:10.4018/IJSS.2016010101)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder and Tan, Jo-Pei (2013) Smart phone activity: risk-taking behaviours and perceptions on data security among young people in England. International Journal of Social and Organizational Dynamics in IT (IJSODIT), 3 (4) . pp. 43-58. ISSN 2155-6334 [Article] (doi:10.4018/ijsodit.2013100103)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Clark, Tony (2010) A domain specific language for contextual design. Lecture Notes in Computer Science, 6409 . pp. 46-61. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-16488-0_5)

Barn, Ravinder and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2019) Youth justice in the digital age: a case study of practitioners' perspectives on the challenges and opportunities of social technology in their Techno-Habitat in the United Kingdom. Youth Justice, 19 (3) . pp. 185-205. ISSN 1473-2254 [Article] (doi:10.1177/1473225419869568)

Bashir, Engie and Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 (2018) An international survey of practitioner's views on personas: benefits, resource demands and pitfalls. International Journal on Advances in Software, 11 (3&4) . pp. 299-310. ISSN 1942-2628 [Article]

Bashir, Engie, Nanath, Krishnadas ORCID: https://orcid.org/0000-0002-3515-9084 and Hussain, Fehmida ORCID: https://orcid.org/0000-0003-3567-0955 (2021) Industry-academia outreach: a study of student perception. International Journal of Technology Enhanced Learning, 13 (4) . pp. 390-409. ISSN 1753-5255 [Article] (doi:10.1504/IJTEL.2021.10039716)

Bekaroo, Girish ORCID: https://orcid.org/0000-0003-1753-4300 (2019) Going digital for diabetes management: the time is now [News article]. News on Sunday (Defimedia.info) . p. 17. [Article]

Bekaroo, Girish, Bokhoree, Chandradeo and Pattinson, Colin (2016) Impacts of ICT on the natural ecosystem: a grassroot analysis for promoting socio-environmental sustainability. Renewable and Sustainable Energy Reviews, 57 . pp. 1580-1595. ISSN 1364-0321 [Article] (doi:10.1016/j.rser.2015.12.147)

Bekaroo, Girish ORCID: https://orcid.org/0000-0003-1753-4300, Sungkur, Roopesh, Ramsamy, Priscilla, Okolo, Alexander and Moedeen, Waseemah (2018) Enhancing awareness on green consumption of electronic devices: the application of Augmented Reality. Sustainable Energy Technologies and Assessments, 30 . pp. 279-291. ISSN 2213-1388 [Article] (doi:10.1016/j.seta.2018.10.016)

Belavkin, Roman V. ORCID: https://orcid.org/0000-0002-2356-1447 (2005) Entropy and information in models of learning behaviour. AISB Quarterly, 119 . p. 5. ISSN 0268-4179 [Article]

Belavkin, Roman V. ORCID: https://orcid.org/0000-0002-2356-1447 (2012) On evolution of an information dynamic system and its generating operator. Optimization Letters, 6 (5) . pp. 827-840. ISSN 1862-4472 [Article] (doi:10.1007/s11590-011-0325-z)

Belavkin, Roman V. ORCID: https://orcid.org/0000-0002-2356-1447 (2012) Optimal measures and Markov transition kernels. Journal of Global Optimization, 55 (2) . pp. 387-416. ISSN 0925-5001 [Article] (doi:10.1007/s10898-012-9851-1)

Belavkin, Roman V. ORCID: https://orcid.org/0000-0002-2356-1447 and Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2011) Conflict resolution and learning probability matching in a neural cell-assembly architecture. Cognitive Systems Research, 12 (2) . pp. 93-101. ISSN 1389-0417 [Article] (doi:10.1016/j.cogsys.2010.08.003)

Bellekens, Xavier ORCID: https://orcid.org/0000-0003-1849-5788, Nieradzinska, Kamila, Bellekens, Alexandra, Seeam, Preetila, Hamilton, Andrew and Seeam, Amar ORCID: https://orcid.org/0000-0001-8203-1545 (2016) A study on situational awareness security and privacy of wearable health monitoring devices. International Journal on Cyber Situational Awareness, 1 (1) . pp. 74-96. ISSN 2057-2182 [Article] (doi:10.22619/ijcsa.2016.100104)

Bernaschina, Paula and Smith, Serengul ORCID: https://orcid.org/0000-0003-0777-5637 (2012) Embedded writing instruction in the first year curriculum. Journal of Learning Development in Higher Education . pp. 1-10. ISSN 1759-667X [Article]

Berčič, Boštjan and George, Carlisle ORCID: https://orcid.org/0000-0002-8600-6264 (2009) Identifying personal data using relational database design principles. International Journal of Law and Information Technology, 17 (3) . pp. 233-251. ISSN 0967-0769 [Article] (doi:10.1093/ijlit/ean007)

Berčič, Boštjan and George, Carlisle ORCID: https://orcid.org/0000-0002-8600-6264 (2009) Investigating the legal protection of data, information and knowledge under the EU data protection regime. International Review of Law Computers and Technology, 23 (3) . pp. 189-201. ISSN 1360-0869 [Article] (doi:10.1080/13600860903262255)

Bettinelli, Andrea, Liberti, Leo, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Savourey, David (2013) The anonymous subgraph problem. Computers and Operations Research, 40 (4) . pp. 973-979. ISSN 0305-0548 [Article] (doi:10.1016/j.cor.2012.11.018)

Bhattacharjee, Kamanasish, Kumar, Sushil, Pandey, Hari Mohan, Pant, Millie, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Chaudhary, Ankit (2018) An improved block matching algorithm for motion estimation in video sequences and application in robotics. Computers & Electrical Engineering, 68 . pp. 92-106. ISSN 0045-7906 [Article] (doi:10.1016/j.compeleceng.2018.03.045)

Bittman, Sebastian, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Clark, Tony (2014) Domain-specific reasoning for method engineering based on Toulmin's argumentation theory. International Journal of Knowledge and Learning (IJKL),, 9 (1/2) . pp. 104-123. ISSN 1741-1009 [Article] (doi:10.1504/IJKL.2014.067173)

Blandford, Ann, Adams, Anne, Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Buchanan, George, Gow, Jeremy, Makri, Stephann, Rimmer, Jon and Warwick, Claire (2008) The PRET A Rapporter framework: evaluating digital libraries from the perspective of information work. Information Processing & Management, 44 (1) . pp. 4-21. ISSN 0306-4573 [Article] (doi:10.1016/j.ipm.2007.01.021)

Blandford, Ann and Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 (2010) Interacting with Information. Synthesis Lectures on Human-Centered Informatics, 3 (1) . pp. 1-99. ISSN 1946-7680 [Article] (doi:10.2200/S00227ED1V01Y200911HCI006)

Blower, J. D., Gemell, A. L., Griffiths, G. H., Haines, K., Santokhee, Adityarajsingh and Yang, Xiaoyu (2013) A web map service implementation for the visualization of multidimensional gridded environmental data. Environmental Modelling and Software, 47 . pp. 218-224. ISSN 1364-8152 [Article] (doi:10.1016/j.envsoft.2013.04.002)

Bodirsky, Manuel, Kara, Jan and Martin, Barnaby (2012) The complexity of surjective homomorphism problems - a survey. Discrete Applied Mathematics, 160 (12) . pp. 1680-1690. ISSN 0166-218X [Article]

Bodirskya, Manuel, Dalmau, Victor, Martin, Barnaby, Mottet, Antoine and Pinsker, Michael (2016) Distance constraint satisfaction problems. Information and Computation, 247 . pp. 87-105. ISSN 0890-5401 [Article] (doi:10.1016/j.ic.2015.11.010)

Bonnet, Edouard, Miltzow, Tillmann and Rzążewski, Paweł (2018) Complexity of token swapping and its variants. Algorithmica, 80 (9) . pp. 2656-2682. ISSN 0178-4617 [Article] (doi:10.1007/s00453-017-0387-0)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2011) Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing . ISSN 0934-5043 [Article] (doi:10.1007/s00165-011-0213-4)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2010) Inter-process buffers in separation logic with rely-guarantee. Formal Aspects of Computing, 22 (6) . pp. 735-772. ISSN 0934-5043 [Article] (doi:10.1007/s00165-009-0141-8)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano, Parkinson, Matthew and O'Hearn, Peter (2005) Permission accounting in separation logic. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '05), Long Beach, California, USA. Proceedings . pp. 259-270. ISSN 0362-1340 [Article] (doi:10.1145/1047659.1040327)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano and Yang, Hongseok (2006) Variables as resources in separation logic. 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, UK. Proceedings in Electronic Notes in Theoretical Computer Science. Elsevier B.V., 155 . pp. 247-276. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2005.11.059)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Parkinson, Matthew and O'Hearn, Peter (2007) Modular verification of a non-blocking stack. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07), Nice, France. Proceedings. . pp. 297-302. ISSN 0362-1340 [Article] (doi:10.1145/1190216.1190261)

Bors, Christian, Wenskovitch, John, Dowling, Michelle, Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Battle, Leilani, Endert, Alex, Kulyk, Olga and Laramee, Robert (2019) A provenance task abstraction framework. IEEE Computer Graphics and Applications, 39 (6) . pp. 46-60. ISSN 0272-1716 [Article] (doi:10.1109/MCG.2019.2945720)

Brotherston, James, Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Calcagno, Cristiano (2008) Cyclic proofs of program termination in separation logic. ACM SIGPLAN Notices - POPL '08, 43 (1) . pp. 101-112. ISSN 0362-1340 [Article] (doi:10.1145/1328897.1328453)

Brown, Mark, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Guillemaut, Jean-Yves ORCID: https://orcid.org/0000-0001-8223-5505 (2019) A family of globally optimal branch-and-bound algorithms for 2D–3D correspondence-free registration. Pattern Recognition, 93 . pp. 36-54. ISSN 0031-3203 [Article] (doi:10.1016/j.patcog.2019.04.002)

Brown, Mark, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Guillemaut, Jean-Yves (2015) A generalisable framework for saliency-based line segment detection. Pattern Recognition, 48 (12) . pp. 3993-4011. ISSN 0031-3203 [Article] (doi:10.1016/j.patcog.2015.06.015)

Brown, Mark, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Guillemaut, Jean-Yves (2017) A generalised framework for saliency-based point feature detection. Computer Vision and Image Understanding, 157 . pp. 117-137. ISSN 1077-3142 [Article] (doi:10.1016/j.cviu.2016.09.008)

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2019) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer, 21 (4) . pp. 449-469. ISSN 1433-2779 [Article] (doi:10.1007/s10009-018-0505-6)

Byrne, Emma and Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2010) Processing with cell assemblies. Neurocomputing, 74 (1-3) . pp. 76-83. ISSN 0925-2312 [Article] (doi:10.1016/j.neucom.2009.09.024)

Cacciagrano, Diletta Romana, Corradini, Flavio, Culmone, Rosario, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Vannucchi, Claudia (2018) Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments, 10 (3) . pp. 261-273. ISSN 1876-1364 [Article] (doi:10.3233/ais-180487)

Calleja, Alejandro, Martín, Alejandro, Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Tapiador, Juan and Clark, David (2018) Picking on the family: disrupting android malware triage by forcing misclassification. Expert Systems with Applications, 95 . pp. 113-126. ISSN 0957-4174 [Article] (doi:10.1016/j.eswa.2017.11.032)

Chen, Dan, Wang, Lizhe and Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X (2017) Software systems for data-centric smart city applications. Software: Practice and Experience, 47 (8) . pp. 1043-1044. ISSN 0038-0644 [Article] (doi:10.1002/spe.2508)

Chen, M. ORCID: https://orcid.org/0000-0001-5320-5729, Abdul-Rahman, A. ORCID: https://orcid.org/0000-0002-6257-876X, Archambault, D. ORCID: https://orcid.org/0000-0003-4978-8479, Dykes, J. ORCID: https://orcid.org/0000-0002-8096-5763, Ritsos, P. D. ORCID: https://orcid.org/0000-0001-9308-3885, Slingsby, A. ORCID: https://orcid.org/0000-0003-3941-553X, Torsney-Weir, T. ORCID: https://orcid.org/0000-0002-0329-2198, Turkay, C. ORCID: https://orcid.org/0000-0001-6788-251X, Bach, B., Borgo, R. ORCID: https://orcid.org/0000-0003-2875-6793, Brett, A., Fang, H. ORCID: https://orcid.org/0000-0001-9365-7420, Jianu, R. ORCID: https://orcid.org/0000-0002-5834-2658, Khan, S. ORCID: https://orcid.org/0000-0002-6796-5670, Laramee, R. S. ORCID: https://orcid.org/0000-0002-3874-6145, Matthews, L., Nguyen, P. H. ORCID: https://orcid.org/0000-0001-5643-0585, Reeve, R. ORCID: https://orcid.org/0000-0003-2589-8091, Roberts, J. C. ORCID: https://orcid.org/0000-0001-7718-3181, Vidal, F. P. ORCID: https://orcid.org/0000-0002-2768-4524, Wang, Q. ORCID: https://orcid.org/0000-0003-3397-308X, Wood, J. ORCID: https://orcid.org/0000-0001-9270-247X and Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 (2022) RAMPVIS: Answering the challenges of building visualisation capabilities for large-scale emergency responses. Epidemics, 39 , 100569. ISSN 1755-4365 [Article] (doi:10.1016/j.epidem.2022.100569)

Chen, Shuwei, Liu, Jun, Wang, Hui and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2013) Ordering based decision making: a survey. Information Fusion, 14 (4) . pp. 521-531. ISSN 1566-2535 [Article] (doi:10.1016/j.inffus.2012.10.005)

Chen, Shuwei, Liu, Jun, Wang, Hui and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2014) A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences, 258 . pp. 266-276. ISSN 0020-0255 [Article] (doi:10.1016/j.ins.2013.08.040)

Chen, Taolue, Fokkink, Wan, Luttik, Bas and Nain, Sumit (2008) On finite alphabets and infinite bases. Information and Computation, 206 (5) . pp. 492-519. ISSN 0890-5401 [Article] (doi:10.1016/j.ic.2007.09.003)

Chen, Taolue, Fokkink, Wan and Van Glabbeek, Rob (2008) Ready to preorder: the case of weak process semantics. Information Processing Letters, 109 (2) . pp. 104-111. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2008.09.003)

Chen, Taolue, Forejt, Vojtěch, Kwiatkowska, Marta, Parker, David and Simaitis, Aistis (2013) Automatic verification of competitive stochastic systems. Formal Methods in System Design, 43 (1) . pp. 61-92. ISSN 0925-9856 [Article] (doi:10.1007/s10703-013-0183-7)

Chen, Taolue, Han, Tingting, Katoen, Joost-Pieter, Mereacre, Alexandru and Jagadeesan, Radha (2011) Model checking of continuous-time Markov chains against timed automata specifications. Logical Methods in Computer Science, 7 (1) . ISSN 1860-5974 [Article] (doi:10.2168/LMCS-7(1:12)2011)

Chen, Taolue, Yu, Nengkun and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters, 115 (1) . pp. 11-14. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2014.08.004)

Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, Liu, Zheli and Ning, Yongsheng (2022) Editorial: Security of cloud service for the manufacturing industry. Transactions on Emerging Telecommunications Technologies, 33 (4) , e4369. ISSN 2161-3915 [Article] (doi:10.1002/ett.4369)

Chikhman, V. N., Shelepin, Yuri, Foreman, Nigel and Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 (2008) Viewpoint invariance in the recognition of 3-D depth-rotated figures. Perception, 37 . ISSN 0301-0066 [Article]

Chikhman, V. N., Shelepin, Yuri, Foreman, Nigel, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Vakhrameeva, O. and Pronin, Sergey (2008) Invariance of visual perception. Experimental Psychology, 1 . pp. 7-33. ISSN 2072-7593 [Article]

Chikhman, V. N., Shelepin, Yuri, Vakhrameeva, O., Pronin, Sergey, Foreman, Nigel and Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 (2009) The estimation of quantitative ranges of invariance in visual perception. Perception, 38 . ISSN 0301-0066 [Article]

Chuckravanen, Dineshen, Daykin, Jacqueline, Hunsdale, Karen and Seeam, Amar ORCID: https://orcid.org/0000-0001-8203-1545 (2017) Allen’s interval algebra and smart-type environments. International Journal on Advances in Software, 10 (3 & 4) . pp. 221-230. ISSN 1942-2628 [Article]

Clark, Tony (1996) Formal basis for the refinement of rule based transition systems. Journal of Functional Programming, 6 (2) . pp. 329-354. ISSN 0956-7968 [Article] (doi:10.1017/S0956796800001702)

Clark, Tony (2009) A MOP based DSL for testing Java programs using OCL. Lecture Notes in Computer Science . ISSN 0302-9743 [Article]

Clark, Tony (1994) Pattern recognition of noisy sequences of behavioural events using functional combinators. The Computer Journal, 37 (5) . pp. 385-398. ISSN 0010-4620 [Article] (doi:10.1093/comjnl/37.5.385)

Clark, Tony (2010) Stories about calculations: remembering Peter Landin. Higher-Order and Symbolic Computation, 22 (4) . pp. 331-332. ISSN 1388-3690 [Article] (doi:10.1007/s10990-010-9058-4)

Clark, Tony (2015) XPL: a language for modular homogeneous language embedding. Science of Computer Programming, 98 (4) . pp. 589-616. ISSN 0167-6423 [Article] (doi:10.1016/j.scico.2014.08.005)

Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2013) Dynamic reconfiguration of event driven architecture using reflection and higher-order functions. International Journal of Software and Informatics, 7 (2) . pp. 137-168. ISSN 1673-7288 [Article]

Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2011) Modeling as theory building: addressing knowledge management problems in system engineering. SETLabs Briefings . [Article]

Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Oussena, Samia (2012) Simulating enterprise architecture models. Infosys Journal of Research, 10 (3) . pp. 3-20. [Article]

Clark, Tony and Bettin, Jorn (2012) Editorial for the theme issue on model-based interoperability. Software and Systems Modeling, 11 (1) . pp. 7-10. ISSN 1619-1366 [Article] (doi:10.1007/s10270-010-0184-6)

Clark, Tony, Evans, Andy and Kent, Stuart (2003) Aspect-oriented metamodelling. Computer Journal, 46 (5) . pp. 566-577. ISSN 0010-4620 [Article]

Clark, Tony, Evans, Andy and Kent, Stuart (2002) A meta-model facility for a family of UML constraint languages. Lecture Notes in Computer Science, 2263 . pp. 440-443. ISSN 0302-9743 [Article] (doi:10.1007/3-540-45669-4_2)

Clark, Tony, Evans, Andy, Maskeri, Girish, Sammut, Paul and Willans, James (2003) Modeling language transformations. L'Objet, 9 (4) . pp. 31-51. ISSN 1262-1137 [Article] (doi:10.3166/objet.9.4.31-51)

Clark, Tony, Evans, Andy, Sammut, Paul and Willans, James (2004) Language driven development and MDA. MDA Journal . [Article]

Clark, Tony and Muller, Pierre-Alain (2012) Exploiting model driven technology: a tale of two startups. Software and Systems Modeling, 11 (4) . pp. 481-493. ISSN 1619-1366 [Article] (doi:10.1007/s10270-012-0260-1)

Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7) . pp. 75-88. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2010.08.033)

Cole, Laurence A., Butler, Stephen A., Khan, Nawaz, Giddings, Almareena, Muller, Carolyn Y., Seckl, Michael J. and Kohorn, Ernest I. (2006) Gestational trophoblastic diseases: 2. Hyperglycosylated hCG as a reliable marker of active neoplasia. Gynecologic Oncology, 102 (2) . pp. 151-159. ISSN 0090-8258 [Article] (doi:10.1016/j.ygyno.2005.12.045)

Curcin, Vasa, Ghanem, Moustafa and Guo, Yike (2010) The design and implementation of a workflow analysis tool. Philosophical Transactions of the Royal Society of London. A: Mathematical and Physical Sciences, 368 (1926) . pp. 4193-4208. ISSN 1364-503X [Article] (doi:10.1098/rsta.2010.0157)

Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547 and James-Reynolds, Carl ORCID: https://orcid.org/0000-0002-5892-5415 (2017) A survey of the benefits and issues arising from the deployment of physical artefacts in computer science teaching. EAI Endorsed Transactions on e-Learning, 4 (13) . ISSN 2032-9253 [Article] (doi:10.4108/eai.20-6-2017.152745)

Da Lio, Mauro, Biral, Francesco, Bertolazzi, Enrico, Galvani, Marco, Bosetti, Paolo, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Saroldi, Andrea and Tango, Fabio (2015) Artificial co-drivers as a universal enabling technology for future intelligent vehicles and transportation systems. IEEE Transactions on Intelligent Transportation Systems, 16 (1) . pp. 244-263. ISSN 1524-9050 [Article] (doi:10.1109/TITS.2014.2330199)

Da Lio, Mauro, Biral, Francesco, Bosetti, Paolo and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2015) Artificial co-drivers as a universal enabling technology for future intelligent vehicles and transportation systems. IEEE Transactions on intelligent transportation systems, 16 (1) . pp. 244-263. ISSN 1524-9050 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2002) Abstract and concrete. Journal of Electroacoustic Music, 14 . pp. 2-7. ISSN 1355-7726 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2002) CD review: The British 'school' of acousmatic music. Computer Music Journal, 26 (3) . pp. 91-94. ISSN 0148-9267 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2000) Die Herausforderung traditioneller Konzepte. MusikTexte, 84 . ISSN 0178-8884 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2004) Electroacoustic music: analytical perspectives. Organised Sound, 9 (1) . pp. 115-117. ISSN 1355-7718 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2000) Francis Dhomont in London. Electroacoustic Music and History Diffusion, May . pp. 2-3. [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2000) Introduction to the work of Sabine Schäfer. Diffusion (2) . ISSN 0955-4602 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2000) Ludwig van Henry: an interview with Pierre Henry. Journal of Electroacoustic Music, 13 . pp. 27-30. ISSN 1355-7726 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2008) Music in space, space in music. Society for the Promotion of New Music: New Notes (6) . pp. 2-4. [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2001) Report on the Sonic Arts Network Conference, Newcastle. Diffusion . pp. 4-5. ISSN 0955-4602 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2002) Review: the 'Nowalls' Conference at De Montfort University. Computer Music Journal . pp. 91-93. ISSN 0148-9267 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2005) Soundscape: the school of sound lectures. Sound Journal . [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2006) Translating Pierre Schaeffer: symbolism, literature and music. Musicacoustica 2006 . [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 (2003) Writing aloud: the sonics of language. Computer Music Journal, 27 (1) . pp. 86-88. ISSN 0148-9267 [Article]

Dack, John ORCID: https://orcid.org/0000-0003-0521-4852 and Nuhn, Ralf (2003) Introduction and Afterword to Sound - Time - Space - Movement by Sabine Schäfer/Joachim Krebs. Organised Sound, 8 (2) . pp. 213-225. ISSN 1355-7718 [Article]

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Macaulay, Linda (2002) Investigating cultural differences in virtual software teams. The Electronic Journal on Information Systems in Developing Countries (EJISDC), 7 (1) . pp. 1-14. ISSN 1681-4835 [Article] (doi:10.1002/j.1681-4835.2002.tb00040.x)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Mimirinis, Mike (2005) Communication patterns in e-learning communities. Interactive Technology and Smart Education, 2 (4) . pp. 221-233. ISSN 1741-5659 [Article] (doi:10.1108/17415650580000046)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Saleeb, Noha ORCID: https://orcid.org/0000-0002-8509-1508 and Loomes, Martin J. (2016) What learners want from educational spaces? A framework for assessing impact of architectural decisions in virtual worlds. IADIS International Journal on WWW/Internet, 14 (2) . pp. 72-90. ISSN 1645-7641 [Article]

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Shokri, Azam (2016) Investigating the educational value of social learning networks: a quantitative analysis. Interactive Technology and Smart Education, 13 (4) . pp. 305-322. ISSN 1741-5659 [Article] (doi:10.1108/ITSE-09-2016-0034)

Dantchev, Stefan and Martin, Barnaby (2011) Cutting planes and the parameter cutwidth. Theory of Computing Systems, 51 (1) . pp. 50-64. ISSN 1432-4350 [Article] (doi:10.1007/s00224-011-9373-0)

Dantchev, Stefan and Martin, Barnaby (2013) Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. Computational Complexity, 22 (1) . pp. 191-213. ISSN 1016-3328 [Article] (doi:10.1007/s00037-012-0049-1)

Dantchev, Stefan and Martin, Barnaby (2011) The limits of tractability in resolution-based propositional proof systems. Annals of Pure and Applied Logic, 163 (6) . pp. 656-668. ISSN 0168-0072 [Article] (doi:10.1016/j.apal.2011.11.001)

Dantchev, Stefan, Martin, Barnaby and Rhodes, Mark (2009) Tight rank lower bounds for the Sherali–Adams proof system. Theoretical Computer Science, 410 (21-23) . pp. 2054-2063. ISSN 0304-3975 [Article] (doi:10.1016/j.tcs.2009.01.002)

Dantchev, Stefan, Martin, Barnaby and Szeider, Stefan (2011) Parameterized proof complexity. Computational Complexity, 20 (1) . pp. 51-85. ISSN 1016-3328 [Article] (doi:10.1007/s00037-010-0001-1)

Davidson, Tim, Gay, Simon J., Mlnařík, Hynek, Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos K. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, 8 (1) . pp. 73-98. ISSN 1548-7199 [Article]

Day, Luke, Abdelhadi Ep Souki, Ouala, Albrecht, Andreas A. and Steinhofel, Kathleen (2014) Accessibility of microRNA binding sites in meta-stable RNA secondary structures in the presence of SNPs. Bioinformatics, 30 (3) . pp. 343-352. ISSN 1367-4803 [Article] (doi:10.1093/bioinformatics/btt695)

Day, Luke, Souki, Ouala Abdelhadi Ep, Albrecht, Andreas A. and Steinhofel, Kathleen (2016) Random versus deterministic descent in RNA energy landscape analysis. Advances in Bioinformatics, 2016 . ISSN 1687-8035 [Article] (doi:10.1155/2016/9654921)

Dayem Ullah, Abu Z. M., Sahoo, Sudhakar, Steinhofel, Kathleen and Albrecht, Andreas A. (2012) Derivative scores from site accessibility and ranking of miRNA target predictions. International Journal of Bioinformatics Research and Applications, 8 (3/4) . pp. 171-191. ISSN 1744-5485 [Article] (doi:10.1504/IJBRA.2012.048966)

Deng, Jiankang, Roussos, Anastasios, Chrysos, Grigorios, Ververas, Evangelos, Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Shen, Jie and Zafeiriou, Stefanos (2019) The Menpo benchmark for multi-pose 2D and 3D facial landmark localisation and tracking. International Journal of Computer Vision, 127 . pp. 599-624. ISSN 0920-5691 [Article] (doi:10.1007/s11263-018-1134-y)

Deng, Ke, Zhou, Xiaofang, Shen, Heng Tao, Liu, Qing, Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 and Lin, Xuemin (2008) A multi-resolution surface distance model for k-NN query processing. VLDB Journal, 17 (5) . pp. 1101-1119. ISSN 1066-8888 [Article] (doi:10.1007/s00778-007-0053-2)

Dinculeană, Dan and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2019) Vulnerabilities and limitations of MQTT protocol used between IoT devices. Applied Sciences, 9 (5) , 848. ISSN 2076-3417 [Article] (doi:10.3390/app9050848)

Doppler Haider, Johanna, Gastecker, Bettina, Pohl, Margit, Seidler, Patrick, Kodagoda, Neesha and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2019) Sense-making strategies in explorative intelligence analysis of network evolutions. Behaviour and Information Technology, 38 (2) . pp. 198-215. ISSN 0144-929X [Article] (doi:10.1080/0144929x.2018.1519036)

Dracopoulos, Dimitris C. and Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 (2017) Genetic programming for the minimum time swing up and balance control acrobot problem. Expert Systems, 34 (5) . ISSN 1468-0394 [Article] (doi:10.1111/exsy.12115)

Duncker, Elke ORCID: https://orcid.org/0000-0002-2452-2124 (2002) Cross-cultural use of the library metaphor. Proceedings of the second ACM/IEEE-CS Joint Conference on Digital Libraries . pp. 223-230. [Article] (doi:10.1145/544220.544269)

Duncker, Elke ORCID: https://orcid.org/0000-0002-2452-2124 (2000) How LINCs were made: alignment and exclusion in American medical informatics. The Information Society: An International Journal, 16 (3) . pp. 187-199. ISSN 0197-2243 [Article] (doi:10.1080/01972240050133643)

Duncker, Elke ORCID: https://orcid.org/0000-0002-2452-2124 (2001) Symbolic communication in multidisciplinary cooperations. Science, Technology and Human Values, 26 (3) . pp. 349-386. ISSN 0162-2439 [Article] (doi:10.1177/016224390102600305)

Duncker, Elke ORCID: https://orcid.org/0000-0002-2452-2124, Theng, Yin Leng and Mohd-Nasir, Norlisa (2000) Cultural usability in digital libraries. Bulletin of the American Society for Information Science, 26 (4) . pp. 5-14. ISSN 0095-4403 [Article]

Duong, Nguyen Binh Ta, Nguyen, Thang, Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X, Tang, Xueyan, Cai, Wentong and Ayani, R. (2012) Interactivity-constrained server provisioning in large-scale distributed virtual environments. IEEE Transactions on Parallel and Distributed Systems, 23 (2) . pp. 304-312. ISSN 1045-9219 [Article] (doi:10.1109/TPDS.2011.107)

Duquenoy, Penny, George, Carlisle ORCID: https://orcid.org/0000-0002-8600-6264 and Solomonides, Anthony (2008) Considering something ELSE: ethical, legal and socio-economic factors in medical imaging and medical informatics. Computer Methods and Programs in Biomedicine, 92 (3) . pp. 227-237. ISSN 0169-2607 [Article] (doi:10.1016/j.cmpb.2008.06.001)

Edris, Ed Kamya Kiyemba, Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2021) DCSS protocol for data caching and sharing security in a 5G network. Network, 1 (2) . pp. 75-94. ISSN 2673-8732 [Article] (doi:10.3390/network1020006)

Edris, Ed Kamya Kiyemba ORCID: https://orcid.org/0000-0001-5981-9844, Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2021) Formal verification of authentication and service authorization protocols in 5G-enabled device-to-device communications using ProVerif. Electronics, 10 (13) , e1608. ISSN 2079-9292 [Article] (doi:10.3390/electronics10131608)

Edris, Ed Kamya Kiyemba, Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 and Loo, Jonathan (2022) Formalization and evaluation of EAP-AKA’ protocol for 5G network access security. Array, 16 , 100254. ISSN 2590-0056 [Article] (doi:10.1016/j.array.2022.100254)

Edris, Ed Kamya Kiyemba ORCID: https://orcid.org/0000-0001-5981-9844, Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2022) An introduction of a modular framework for securing 5G networks and beyond. Network, 2 (3) . pp. 419-439. ISSN 2673-8732 [Article] (doi:10.3390/network2030026)

Edris, Ed Kamya Kiyemba, Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244, Loo, Jonathan and Alhakeem, Mohammad Shadi (2021) Formal verification of secondary authentication protocol for 5G secondary authentication. International Journal of Security and Networks, 16 (4) . pp. 223-234. ISSN 1747-8405 [Article] (doi:10.1504/IJSN.2021.119379)

Ellis, Stephanie, Makri, Stephann and Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 (2014) Keeping up with the law: investigating lawyers’ monitoring behaviour. New Library World, 115 (7/8) . pp. 292-313. ISSN 0307-4803 [Article] (doi:10.1108/NLW-03-2014-0023)

Endert, Alex, Ribarsky, William, Turkay, Cagtay, Wong, B.L. William ORCID: https://orcid.org/0000-0002-3363-0741, Nabney, Ian T., Díaz, Ignacio and Rossi, F. (2017) The state of the art in integrating Machine Learning into Visual Analytics. Computer Graphics Forum, 36 (8) . pp. 458-486. ISSN 0167-7055 [Article] (doi:10.1111/cgf.13092)

Exman, Iaakov, Perry, Dewayne E., Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Ralph, Paul (2016) Separability principles for a general theory of software engineering: report on the GTSE 2015 workshop. ACM SIGSOFT Software Engineering Notes, 41 (1) . pp. 25-27. ISSN 0163-5948 [Article] (doi:10.1145/2853073.2853093)

Ezenwigbo, Augustine ORCID: https://orcid.org/0000-0002-7939-2136, Kirsal, Yonal, Paranthaman, Vishnu Vardhan, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852 and Trestian, Ramona ORCID: https://orcid.org/0000-0003-3315-3081 (2018) Exploring a new framework to build mobile QoS-aware applications and services for future internet. Journal of Communications, 13 (10) . pp. 559-573. ISSN 2374-4367 [Article] (doi:10.12720/jcm.13.10.559-573)

Faith, Charlote Kyomuhendo and Seeam, Amar ORCID: https://orcid.org/0000-0001-8203-1545 (2018) Knowledge sharing in academia: a case study using a SECI model approach. Journal of Education, 9 (1) . pp. 53-70. ISSN 1694-3643 [Article]

Fatah gen. Schieck, Ava, Penn, Alan, Mottram, Chiron, Strothmann, Andreas, Ohlenburg, Jan, Broll, Wolfgang, Aish, Francis and Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 (2005) Interactive space generation through play: exploring the role of simulation on the design table. International Journal of Architectural Computing, 3 (1) . pp. 3-26. ISSN 1478-0771 [Article] (doi:10.1260/1478077053739612)

Fekete, Jean-Daniel, Jankun-Kelly, T. J., Tory, Melanie and Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 (2019) Provenance and logging for sense making. Dagstuhl Reports, 8 (11) . pp. 35-62. ISSN 2192-5283 [Article] (doi:10.4230/DagRep.8.11.35)

Fernandez, Javier Martinez, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Seepold, Ralf and Madrid, Natividad Martinez (2012) A sensor technology survey for a stress aware trading process. Transactions on Systems, Man and Cybernetics - Part C, 42 (6) . pp. 809-824. ISSN 1094-6977 [Article] (doi:10.1109/TSMCC.2011.2179028)

Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Amaldi, Paolo, Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 and Gill, Satinder (2007) Editorial: In use, in situ: extending field research methods. International Journal of Human-Computer Interaction, 22 (1-2) . pp. 1-6. ISSN 1044-7318 [Article] (doi:10.1080/10447310709336952)

Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Blandford, Ann, Furniss, Dominic and Keith, Suzette (2007) Disrupting digital library development with scenario informed design. Interacting with Computers, 19 (1) . pp. 70-82. ISSN 0953-5438 [Article] (doi:10.1016/j.intcom.2006.07.003)

Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Blandford, Ann and Keith, Suzette (2006) Claims analysis "In The Wild": a case study on digital library development. International Journal of Human-Computer Interaction, 21 (2) . pp. 197-218. ISSN 1044-7318 [Article] (doi:10.1207/s15327590ijhc2102_5)

Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Tassi, Antonello and Amaldi-Trillo, Paola (2005) Representing collaborative work: the airport as common information space. Cognition Technoogy and Work, 7 (2) . pp. 119-133. ISSN 1435-5558 [Article] (doi:10.1007/s10111-005-0177-3)

Flood, Mark D., Lemieux, Victoria L., Varga, Margaret and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2016) The application of visual analytics to financial stability monitoring. Journal of Financial Stability, 27 . pp. 180-197. ISSN 1572-3089 [Article] (doi:10.1016/j.jfs.2016.01.006)

Gamez, David ORCID: https://orcid.org/0000-0002-3075-655X (2021) Measuring intelligence in natural and artificial systems. Journal of Artificial Intelligence and Consciousness, 08 (02) . pp. 285-302. ISSN 2705-0793 [Article] (Published online first) (doi:10.1142/s2705078521500090)

Gamez, David ORCID: https://orcid.org/0000-0002-3075-655X (2020) The relationships between intelligence and consciousness in natural and artificial systems. Journal of Artificial Intelligence and Consciousness, 7 (1) . pp. 51-62. ISSN 2705-0785 [Article] (doi:10.1142/S2705078520300017)

Gandhi, Vaibhav ORCID: https://orcid.org/0000-0003-1121-7419, Prasad, Girijesh, Coyle, Damien, Behera, Laxmidhar and McGinnity, Thomas Martin (2015) Evaluating quantum neural network filtered motor imagery brain-computer interface using multiple classification techniques. Neurocomputing, 170 . pp. 161-167. ISSN 0925-2312 [Article] (doi:10.1016/j.neucom.2014.12.114)

Gandhi, Vaibhav ORCID: https://orcid.org/0000-0003-1121-7419, Yang, Zhijun ORCID: https://orcid.org/0000-0003-2615-4297 and Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 (2017) Project-based cooperative learning to enhance competence while teaching engineering modules. International Journal of Continuing Engineering Education and Life-Long Learning, 27 (3) . pp. 198-208. ISSN 1560-4624 [Article] (doi:10.1504/IJCEELL.2017.10003462)

Gao, Chongzhi, Lv, Siyi, Wei, Yu, Wang, Zhi, Liu, Zheli and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2018) M-SSE: an effective searchable symmetric encryption with enhanced security for mobile devices. IEEE Access, 6 . pp. 38860-38869. ISSN 2169-3536 [Article] (doi:10.1109/ACCESS.2018.2852329)

Gao, Junbin, Kwan, Paul W. and Shi, Daming (2010) Sparse kernel learning with LASSO and Bayesian inference algorithm. Neural Networks, 23 (2) . pp. 257-264. ISSN 0893-6080 [Article] (doi:10.1016/j.neunet.2009.07.001)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624 (2011) The anatomy of teleneurosurgery in China. International Journal of Telemedicine and Applications, 2011 , Article ID 353405. ISSN 1687-6415 [Article] (doi:10.1155/2011/353405)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Anishenko, Sergey, Shaposhnikov, D. G., Podladchikova, L. N., Batty, Stephen and Clark, John (2007) High-precision detection of facial landmarks to estimate head motions based on vision models. Journal of computer sciences, 3 (7) . pp. 528-532. ISSN 1549-3636 [Article]

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Batty, Stephen, Clark, John and Fryer, Tim (2006) Content-based retrieval of PET images via localised anatomical texture measurements and mean activity levels. Computerized medical imaging and graphics, 30 (6-7) . pp. 70-74. ISSN 0895-6111 [Article]

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Bharath, Anil, Chapman, Neil and Witt, N. (2001) Computer algorithms for the automated measurement of retinal arteriolar diameters. British Journal of Opthalmology, 85 . pp. 74-79. ISSN 0007-1161 [Article] (doi:10.1136/bjo.85.1.74)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Bharath, Anil, Stanton, Alice, Hughes, Alun, Chapman, Neil and Thom, Simon (2000) Quantification and characterization of arteries in retinal images. Computer methods and programs in biomedicine, 63 (2) . pp. 133-146. ISSN 0169-2607 [Article] (doi:10.1016/S0169-2607(00)00082-1)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624 and Braden, Barbara (2021) Artificial intelligence in endoscopy: the challenges and future directions. Artifical Intelligence in Gastrointestinal Endoscopy, 2 (4) . pp. 117-126. ISSN 2689-7164 [Article] (doi:10.37126/aige.v2.i4.117)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624 and He, P. (2006) Colour reproduction for tele-imaging systems. Computerized medical imaging and graphics, 30 (6-7) . pp. 79-84. ISSN 0895-6111 [Article]

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Hong, Kunbin, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Podladchikova, L. N. and Shaposhnikov, D. G. (2008) Colour vision model-based approach for segmentation of traffic signs. EURASIP Journal on Image and Video Processing, 2008 . ISSN 1687-5176 [Article] (doi:10.1155/2008/386705)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Hui, Rui and Tian, Zengmin (2017) Classification of CT brain images based on deep learning networks. Computer Methods and Programs in Biomedicine, 138 (2017) . pp. 49-56. ISSN 0169-2607 [Article] (doi:10.1016/j.cmpb.2016.10.007)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Hui, Rui, White, Anthony S. and Tian, Zhengmin (2009) A new approach to estimation of non-isotropic scale factors for correction of MR distortion. International Journal of Computer Assisted Radiology and Surgery, 4 (s1) . s349-s350. ISSN 1861-6410 [Article]

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, James-Reynolds, Carl ORCID: https://orcid.org/0000-0002-5892-5415 and Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547 (2020) Analysis of tuberculosis severity levels from CT pulmonary images based on enhanced residual deep learning architecture. Neurocomputing, 392 . pp. 233-244. ISSN 0925-2312 [Article] (doi:10.1016/j.neucom.2018.12.086)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Li, Wei, Loomes, Martin J. and Wang, Lianyi (2017) A fused deep learning architecture for viewpoint classification of echocardiography. Information Fusion, 36 . pp. 103-113. ISSN 1566-2535 [Article] (doi:10.1016/j.inffus.2016.11.007)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Podladchikova, L. N., Shaposhnikov, D. G., Hong, K. and Shevtsova, Natalia (2006) Recognition of traffic signs based on their colour and shape features extracted using human vision models. Journal of Visual Communication and Image Representation, 17 (4) . pp. 675-685. ISSN 1047-3203 [Article] (doi:10.1016/j.jvcir.2005.10.003)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624 and Qian, Yu (2018) Prediction of multidrug-resistant TB from CT pulmonary images based on deep learning techniques. Molecular Pharmaceutics, 15 (10) . pp. 4326-4335. ISSN 1543-8384 [Article] (doi:10.1021/acs.molpharmaceut.7b00875)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Qian, Yu and Hui, Rui (2011) The state of the art of medical imaging technology: from creation to archive and back. The Open Medical Informatics Journal, 5 (1-M8) . pp. 73-85. ISSN 1874-4311 [Article] (doi:10.2174/1874431101105010073)

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Qian, Yu, Loomes, Martin J., Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Comley, Richard A. ORCID: https://orcid.org/0000-0003-0265-1010, Chapman, Alex, Rix, Janet, Hui, Rui and Tian, Zengmin (2012) Retrieval of 3D medical images via their texture features. International Journal On Advances in Software, 4 (3&4) . pp. 499-509. ISSN 1942-2628 [Article]

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Shaposhnikov, D. G. and Podladchikova, L. N. (2003) Classification of images on the basis of the properties of informative regions. Pattern Recognition and Image Analysis, 13 (2) . pp. 349-352. ISSN 1687-398X [Article]

Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624, Wang, Yuanlei, Qian, Yu and Gao, Alice (2015) Modelling of chromatic contrast for retrieval of wallpaper images. Color Research and Application, 40 (4) . pp. 361-373. ISSN 0361-2317 [Article] (doi:10.1002/col.21897)

Garcia-Cobo, Iván and Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725 (2021) Designing large quantum key distribution networks via medoid-based algorithms. Future Generation Computer Systems, 115 . pp. 814-824. ISSN 0167-739X [Article] (doi:10.1016/j.future.2020.09.037)

Garson, Jeremy A., Clewley, J. P., Simmonds, P., Zhang, L. Q., Mori, J., Ring, Christopher J. ORCID: https://orcid.org/0000-0002-9278-0942, Follett, E. A., Dow, B. C., Martin, S. and Gunson, H. (1992) Hepatitis C viraemia in United Kingdom blood donors: a multicentre study. Vox Sanguinis, 62 (4) . pp. 218-223. ISSN 0042-9007 [Article] (doi:10.1111/j.1423-0410.1992.tb01202.x)

Gautam, Sumeet and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2014) Comparative experiments on resource discovery in P2P networks. Journal of Next Generation Information Technology, 5 (1) . pp. 89-98. ISSN 2092-8637 [Article]

Gemikonakli, Eser, Ever, Enver, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852 and Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 (2017) Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services. Telecommunication Systems, 65 (4) . pp. 663-675. ISSN 1018-4864 [Article] (doi:10.1007/s11235-016-0259-y)

Georgakis, Christos, Panagakis, Yannis ORCID: https://orcid.org/0000-0003-0153-5210 and Pantic, Maja (2016) Discriminant incoherent component analysis. IEEE Transactions on Image Processing, 25 (5) . pp. 2021-2034. ISSN 1057-7149 [Article] (doi:10.1109/TIP.2016.2539502)

Georgakis, Christos, Panagakis, Yannis ORCID: https://orcid.org/0000-0003-0153-5210 and Pantic, Maja (2018) Dynamic behavior analysis via structured rank minimization. International Journal of Computer Vision, 126 (2-4) . pp. 333-357. ISSN 0920-5691 [Article] (doi:10.1007/s11263-016-0985-3)

Georgakis, Christos, Panagakis, Yannis ORCID: https://orcid.org/0000-0003-0153-5210, Zafeiriou, Stefanos and Pantic, Maja (2017) The conflict escalation resolution (CONFER) database. Image and Vision Computing, 65 . pp. 37-48. ISSN 0262-8856 [Article]

George, Carlisle ORCID: https://orcid.org/0000-0002-8600-6264 (2006) Internet pharmacies: global threat requires a global approach to regulation. Hertfordshire law journal, 4 (1) . pp. 12-25. ISSN 1479-4195 [Article]

George, Carlisle ORCID: https://orcid.org/0000-0002-8600-6264 and Chandak, Navin (2006) Issues and challenges in securing interoperability of DRM systems in the digital music market. International Review of Law Computers and Technology, 20 (3) . pp. 271-285. ISSN 1360-0869 [Article] (doi:10.1080/13600860600852143)

George, Carlisle ORCID: https://orcid.org/0000-0002-8600-6264 and Skerri, Jackie (2007) Web 2.0 and user-generated content: legal challenges in the new frontier. Journal of Information, Law and Technology (2) . ISSN 1361-4169 [Article]

Georgiadou, Elli (2003) GEQUAMO-a generic, multilayered, customisable, software quality model. Software Quality Journal, 11 (4) . pp. 313-323. ISSN 0963-9314 [Article] (doi:10.1023/A:1025817312035)

Georgiadou, Elli, Siakas, Kerstin V., Berki, Eleni, Estdale, John, Rahanu, Harjinder ORCID: https://orcid.org/0000-0002-3620-8036 and Ross, Margaret (2020) The sociocultural dimension of the Software Process Improvement manifesto: pilot validation by experts. Journal of Software: Evolution and Process, 32 (11) , e2304. pp. 1-15. ISSN 2047-7481 [Article] (doi:10.1002/smr.2304)

Ghosh, Arindam, Paranthaman, Vishnu Vardhan, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 and Loo, Jonathan (2015) Enabling seamless V2I communications towards developing cooperative automotive applications in VANET systems. IEEE Communications Magazine, 53 (12) . pp. 80-86. ISSN 0163-6804 [Article] (doi:10.1109/MCOM.2015.7355570)

Goodman-Deane, Joy, Keith, Suzette and Whitney, Gill ORCID: https://orcid.org/0000-0002-3333-2154 (2009) HCI and the older population. Universal Access in the Information Society, 8 (1) . pp. 1-3. ISSN 1615-5289 [Article] (doi:10.1007/s10209-008-0125-0)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hirsch, Robin (2010) The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20 (2) . pp. 481-499. ISSN 0955-792X [Article] (doi:10.1093/logcom/exp074)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony (2008) Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49 (1) . pp. 234-251. ISSN 0888-613X [Article] (doi:10.1016/j.ijar.2008.03.008)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175 (9-10) . pp. 1479-1497. ISSN 0004-3702 [Article] (doi:10.1016/j.artint.2010.12.003)

Guo, Weiwei, Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X and Patras, Ioannis (2012) Tensor learning for regression. IEEE Transactions on Image Processing, 21 (2) . pp. 816-827. ISSN 1057-7149 [Article]

Guo, Xiaojie, Huang, Yanyu, Ye, Jinhui, Yin, Sijie, Li, Min, Li, Zhaohui, Yiu, Siu-Ming and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2021) ShadowFPE: new encrypted web application solution based on shadow DOM. Mobile Networks and Applications, 26 (4) . pp. 1733-1746. ISSN 1383-469X [Article] (doi:10.1007/s11036-019-01509-y)

Haider, Johanna Doppler, Seidler, Patrick, Pohl, Margit, Kodagoda, Neesha, Adderley, Rick and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2017) How analysts think: sense-making strategies in the analysis of temporal evolution and criminal network structures and activities. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 61 (1) . pp. 193-197. ISSN 2169-5067 [Article] (doi:10.1177/1541931213601532)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X (2015) Modelling work domain knowledge with the combined use of abstraction hierarchy and living systems theory. Cognition, Technology and Work, 17 (4) . pp. 575-591. ISSN 1435-5558 [Article] (doi:10.1007/s10111-015-0338-y)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X (2014) A model-based framework for classifying and diagnosing usability problems. Cognition, Technology and Work, 16 (3) . pp. 373-388. ISSN 1435-5558 [Article] (doi:10.1007/s10111-013-0267-6)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X, Cho, Jin Hee, Kim, Jin Sam and Ha, Su Jung (2004) MaRMI-III: a methodology for component-based development. Electronics and Telecommunications Research Institute (ETRI) Journal, 26 (2) . pp. 167-180. ISSN 1225-6463 [Article] (doi:10.4218/etrij.04.0103.0041)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X, Han, B. T. and Yoon, Wan Chul (2007) The training effects of principle knowledge on fault diagnosis performance. Human Factors and Ergonomics in Manufacturing., 17 (3) . pp. 263-282. ISSN 1090-8471 [Article] (doi:10.1002/hfm.20074)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X and Park, Jinkyun (2020) Use of a big data analysis technique for extracting HRA data from event investigation reports based on the Safety-II concept. Reliability Engineering and System Safety, 194 , 106232. pp. 1-15. ISSN 0951-8320 [Article] (doi:10.1016/j.ress.2018.07.033)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X, Park, Jinkyun and Jung, Wondea (2008) Evaluation of human interaction with complex systems using a full-scope simulator: lessons learned and methodological issues. International Journal of Human-Computer Interaction, 24 (4) . pp. 361-384. ISSN 1044-7318 [Article] (doi:10.1080/10447310801971212)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X, Park, Jinkyun and Jung, Wondea (2012) Model-based identification and use of task complexity factors of human integrated systems. Reliability Engineering & System Safety, 100 . pp. 33-47. ISSN 0951-8320 [Article] (doi:10.1016/j.ress.2011.12.019)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X and Yoon, Wan Chul (2001) Design of information content and layout for process control based on goal-means domain analysis. Cognition, Technology and Work, 3 (4) . pp. 205-223. ISSN 1435-5558 [Article] (doi:10.1007/s10111-001-8003-z)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X and Yoon, Wan Chul (2001) The effects of presenting functionally abstracted information in fault diagnosis tasks. Reliability Engineering and System Safety, Elsevier Science, 73 (2) . pp. 103-119. ISSN 0951-8320 [Article] (doi:10.1016/S0951-8320(01)00053-9)

Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X, Yoon, Wan Chul and Han, Byoung-Tae (2008) Experimental study on the effects of visualized functionally abstracted information on process control tasks. Reliability Engineering & System Safety, 93 (2) . pp. 254-270. ISSN 09518320 [Article] (doi:10.1016/j.ress.2006.12.003)

Hamutoglu, Nazire Burcin, Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 and Gezgin, Deniz Mertkan (2019) A study of the effectiveness of Edmodo on Preservice classroom teachers' views of web-assisted collaborative learning environments, sense of community of classroom, and perceived learning. Science Education International, 30 (2) . pp. 128-137. ISSN 2077-2327 [Article] (doi:10.33828/sei.v30.i2.6)

Han, Rui, Ghanem, Moustafa, Guo, Li, Guo, Yike and Osmond, Michelle (2012) Enabling cost-aware and adaptive elasticity of multi-tier cloud applications. Future Generation Computer Systems . ISSN 0167-739X [Article] (doi:10.1016/j.future.2012.05.018)

Harris, Ian, Jennings, Richard C., Pullinger, David, Rogerson, Simon and Duquenoy, Penny (2011) Ethical assessment of new technologies: a meta-methodology. Journal of Information, Communication & Ethics in Society, 9 (1) . pp. 49-64. ISSN 1477-996X [Article] (doi:10.1108/14779961111123223)

Hein, Eike, Albrecht, Andreas A., Melzer, Daniela, Steinhofel, Kathleen, Rogalla, Patrick, Hamm, Bernd and Taupitz, Matthias (2005) Computer-assisted diagnosis of focal liver lesions on CT images: evaluation of the perceptron algorithm. Academic Radiology, 12 (9) . 1205 -1210. ISSN 1076-6332 [Article] (doi:10.1016/j.acra.2005.05.009)

Helke, Steffen and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2016) Verification of statecharts using data abstraction. International Journal of Advanced Computer Science and Applications, 7 (1) . pp. 571-583. ISSN 2158-107X [Article] (doi:10.14569/IJACSA.2016.070179)

Heo, Jeongyun, Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X, Park, Sanghyun, Song, Chiwon and Yoon, Wan Chul (2009) A framework for evaluating the usability of mobile phones based on multi-level, hierarchical model of usability factors. Interacting with Computers, 21 (4) . pp. 263-275. ISSN 0953-5438 [Article] (doi:10.1016/j.intcom.2009.05.006)

Hepenstal, Sam, Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741, Zhang, Leishi ORCID: https://orcid.org/0000-0002-3158-2328 and Kodagoda, Neesha (2019) How analysts think: a preliminary study of human needs and demands for AI-based conversational agents. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 63 (1) . pp. 178-182. ISSN 2169-5067 [Article] (doi:10.1177/1071181319631333)

Hepenstal, Sam, Zhang, Leishi ORCID: https://orcid.org/0000-0002-3158-2328, Kodagoda, Neesha and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2021) Developing conversational agents for use in criminal investigations. ACM Transactions on Interactive Intelligent Systems, 11 (3-4) . pp. 1-35. ISSN 2160-6455 [Article] (doi:10.1145/3444369)

Hepenstal, Sam, Zhang, Leishi ORCID: https://orcid.org/0000-0002-3158-2328, Kodagoda, Neesha and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2020) Providing a foundation for interpretable autonomous agents through elicitation and modeling of criminal investigation pathways. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 64 (1) . pp. 239-243. ISSN 2169-5067 [Article] (doi:10.1177/1071181320641057)

Hepenstal, Sam, Zhang, Leishi ORCID: https://orcid.org/0000-0002-3158-2328 and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2021) Automated identification of insight seeking behaviours, strategies and rules: a preliminary study. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 65 (1) . pp. 1269-1273. ISSN 2169-5067 [Article] (doi:10.1177/1071181321651348)

Hu, Nan, Zhong, Jinghui, Zhou, Joey Tianyi, Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X, Cai, Wentong and Monterola, Christopher (2018) Guide them through: an automatic crowd control framework using multi-objective genetic programming. Applied Soft Computing, 66 . pp. 90-103. ISSN 1568-4946 [Article] (doi:10.1016/j.asoc.2018.01.037)

Huang, Haiou, Hu, Liang, Chu, Jianfeng and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2019) An authentication scheme to defend against UDP DrDoS attacks in 5G networks. IEEE Access, 7 . pp. 175970-175979. ISSN 2169-3536 [Article] (doi:10.1109/ACCESS.2019.2957565)

Huang, Liqin, Li, Wei, Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547 and Guo, Wenzhong (2016) Improving the precision of omni-directional M-mode echocardiography systems. Neurocomputing, 195 . pp. 123-128. ISSN 0925-2312 [Article] (doi:10.1016/j.neucom.2015.09.121)

Hussain, Fehmida ORCID: https://orcid.org/0000-0003-3567-0955 (2017) Education the bedrock of society. Arabian Computer News . [Article]

Hussain, Fehmida ORCID: https://orcid.org/0000-0003-3567-0955, Kyriazi, Tenia ORCID: https://orcid.org/0000-0002-1642-9317 and Hyland, Lynda ORCID: https://orcid.org/0000-0001-5813-6400 (2018) Undergraduate students' attitudes towards research: lessons from an international branch campus in the UAE. International Journal of Teaching and Case Studies, 9 (4) . pp. 382-395. ISSN 1749-9151 [Article] (doi:10.1504/IJTCS.2018.095918)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2007) Creating hierarchical categories using cell assemblies. Connection Science, 19 (1) . pp. 1-27. ISSN 0954-0091 [Article] (doi:10.1080/09540090600779713)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2010) Dialogue based interfaces for universal access. Universal access in the Information Society . ISSN 1615-5289 [Article] (doi:10.1007/s10209-010-0209-5)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2004) Overlapping cell assemblies from correlators. Neural Computing Letters, 56 . pp. 435-439. ISSN 0925-2312 [Article] (doi:10.1016/j.neucom.2003.08.003)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2009) Variable binding by synaptic strength change. Connection Science, 21 (4) . pp. 327-357. ISSN 0954-0091 [Article] (doi:10.1080/09540090902954188)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2009) A psycholinguistic model of natural language parsing implemented in simulated neurons. Cognitive Neurodynamics, 3 (4) . pp. 316-330. ISSN 1871-4080 [Article] (doi:10.1007/s11571-009-9080-6)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 and Orengo, Viviane (2005) Information retrieval and categorisation using a cell assembly network. Neural Computing and Applications, 14 (4) . pp. 282-289. ISSN 0941-0643 [Article] (doi:10.1007/s00521-004-0464-6)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 and Orengo, Viviane (2006) Relevance feedback and cross-language information retrieval. Information Processing and Management, 42 (5) . pp. 1203-1217. ISSN 0306-4573 [Article] (doi:10.1016/j.ipm.2005.12.003)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2014) Programming the MIRTO robot with neurons. Procedia Computer Science, 41 . pp. 75-82. ISSN 1877-0509 [Article] (doi:10.1016/j.procs.2014.11.087)

Incudini, Massimiliano, Grossi, Michele, Mandarino, Antonio, Vallecorsa, Sofia, Di Pierro, Alessandra and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2022) The quantum path kernel: A generalized quantum neural tangent kernel for deep quantum machine learning. arXiv . [Article]

Islam, Junayed, Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2018) Analytic provenance for criminal intelligence analysis. Chinese Journal of Network and Information Security, 4 (2) . pp. 18-33. ISSN 2096-109X [Article] (doi:10.11959/j.issn.2096-109x.2018016)

Islam, Junayed, Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2022) Explaining cognitive breakpoints to chunk visual analytic actions for transparency in sensemaking. IEEE Computer Graphics and Applications . ISSN 0272-1716 [Article] (Accepted/In press)

Jabeen, Iqra, Ejaz, Asma, Akram, Adeel, Amin, Yasar, Loo, Jonathan and Tenhunen, Hannu (2019) Elliptical slot based polarization insensitive compact and flexible chipless RFID tag. International Journal of RF and Microwave Computer-Aided Engineering, 29 (11) , e21734. ISSN 1096-4290 [Article] (doi:10.1002/mmce.21734)

Jamshed, Muhammad Ali, Ali, Kamran ORCID: https://orcid.org/0000-0001-5301-9125, Abbasi, Qammer H., Imran, Muhammad Ali and Ur-Rehman, Masood (2022) Challenges, applications and future of wireless sensors in Internet of Things: a review. IEEE Sensors Journal . ISSN 1530-437X [Article] (Published online first) (doi:10.1109/JSEN.2022.3148128)

Jentner, Wolfgang, Sacha, Dominik, Stoffel, Florian, Ellis, Geoffrey, Zhang, Leishi ORCID: https://orcid.org/0000-0002-3158-2328 and Keim, Daniel A. (2018) Making machine intelligence less scary for criminal analysts: reflections on designing a visual comparative case analysis tool. The Visual Computer, 34 (9) . pp. 1225-1241. ISSN 0178-2789 [Article] (doi:10.1007/s00371-018-1483-0)

Jones, Simon ORCID: https://orcid.org/0000-0002-6405-5698 (2017) Doing social network ethics: a critical, interdisciplinary approach. Information Technology & People, 30 (4) . pp. 910-926. ISSN 0959-3845 [Article] (doi:10.1108/itp-04-2016-0093)

Jones, Simon ORCID: https://orcid.org/0000-0002-6405-5698, Hara, Sukhvinder ORCID: https://orcid.org/0000-0003-1859-1227 and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2015) eFRIEND: an ethical framework for intelligent environments development. Ethics and Information Technology, 17 (1) . pp. 11-25. ISSN 1388-1957 [Article] (doi:10.1007/s10676-014-9358-1)

Juneja, Prabhjot, Evans, Philip, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Harris, Emma (2016) Classification of fibroglandular tissue distribution in the breast based on radiotherapy planning CT. BMC Medical Imaging, 16 (1) . ISSN 1471-2342 [Article] (doi:10.1186/s12880-016-0107-2)

Kallash, Mohammad Muneer, Loo, Jonathan, Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694 and Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 (2018) A security framework for node-to-node communications based on the LISP architecture. International Journal of Electronic Security and Digital Forensics, 10 (3) . pp. 276-291. ISSN 1751-911X [Article] (doi:10.1504/IJESDF.2018.093024)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2019) Attack Trees in Isabelle extended with probabilities for Quantum Cryptography. Computers and Security, 87 , 101572. ISSN 0167-4048 [Article] (doi:10.1016/j.cose.2019.101572)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2020) Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. Archive of Formal Proof . ISSN 2150-914X [Article] (Accepted/In press)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2014) Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013. MathSciNet: Mathematical Reviews . ISSN 2167-5163 [Article]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Kerber, Manfred (2021) Applying the Isabelle insider framework to airplane security. Science of Computer Programming, 206 , 102623. ISSN 0167-6423 [Article] (doi:10.1016/J.SCICO.2021.102623)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Kerber, Manfred and Probst, Christian (2017) Insider threats for auctions: formalization, mechanized proof, and code generation. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 8 (1) . pp. 44-78. ISSN 2093-5374 [Article] (doi:10.22667/JOWUA.2017.03.31.044)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Legay, Axel and Schivo, Stefano (2021) Masterminding change by combining secure system design with security risk assessment. International Journal on Software Tools for Technology Transfer, 23 (1) . pp. 69-70. ISSN 1433-2779 [Article] (doi:10.1007/s10009-020-00595-8)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Probst, Christian (2017) Modeling and verification of insider threats using logical analysis. IEEE Systems Journal, 11 (2) . pp. 534-545. ISSN 1932-8184 [Article] (doi:10.1109/JSYST.2015.2453215)

Kandl, Thomas and Khan, Nawaz (2014) Information integration of drug discovery and clinical studies to support complex queries using an information supply chain framework. Journal of Software, 9 (5) . pp. 1348-1356. ISSN 1796-217X [Article] (doi:10.4304/jsw.9.5.1348-1356)

Kandl, Thomas and Khan, Nawaz (2014) Trusted information supply chain framework in clinical studies. Advanced Science Letters, 20 (1) . pp. 103-110. ISSN 1936-6612 [Article] (doi:10.1166/asl.2014.5310)

Kapsokalivas, L., Gan, X., Albrecht, Andreas A. and Steinhöfel, K. (2009) Population-based local search for protein folding simulation in the MJ energy model and cubic lattices. Computational Biology and Chemistry, 33 (4) . pp. 283-294. ISSN 1476-9271 [Article] (doi:10.1016/j.compbiolchem.2009.06.006)

Kasi, Shahrukh Khan, Kasi, Mumraiz K., Ali, Kamran ORCID: https://orcid.org/0000-0001-5301-9125, Raza, Mohsin, Afzal, Hifza, Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694, Naeem, Bushra, Islam, Saif ul and Rodrigues, Joel J. P. C. (2021) Heuristic edge server placement in Industrial Internet of Things and cellular networks. IEEE Internet of Things Journal, 8 (13) . pp. 10308-10317. ISSN 2327-4662 [Article] (doi:10.1109/JIOT.2020.3041805)

Kaur, Sawroop, Singh, Aman ORCID: https://orcid.org/0000-0001-6571-327X, Geetha, G. and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2021) IHWC: intelligent hidden web crawler for harvesting data in urban domains. Complex & Intelligent Systems . ISSN 2199-4536 [Article] (Published online first) (doi:10.1007/s40747-022-00839-x)

Keith, Suzette and Whitney, Gill ORCID: https://orcid.org/0000-0002-3333-2154 (2011) Mainstreaming accessibility? Multidisciplinary problems or technical solutions. International Journal of Knowledge and Web Intelligence, 2 (1) . pp. 53-63. ISSN 1755-8255 [Article] (doi:10.1504/IJKWI.2011.038628)

Khan, Aftab, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Kittler, Josef (2014) Multilevel Chinese takeaway process and label-based processes for rule induction in the context of automated sports video annotation. IEEE Transactions on Cybernetics, 44 (10) . pp. 1910-1923. ISSN 2168-2267 [Article] (doi:10.1109/TCYB.2014.2299955)

Khan, Nawaz, Dhara, Gaurav and Kandl, Thomas (2013) Performance evaluation of Levenberg-Marquardt technique in error reduction for diabetes condition classification. Procedia Computer Science, 18 . pp. 2629-2637. ISSN 1877-0509 [Article]

Kim, Huhn and Ham, Dong-Han ORCID: https://orcid.org/0000-0003-2908-057X (2014) Development of a frequency-separated knob with variable change rates by rotation speed. Applied Ergonomics, 45 (6) . pp. 1518-1529. ISSN 0003-6870 [Article] (doi:10.1016/j.apergo.2014.04.015)

Kirsal, Yonal, Kirsal Ever, Yoney, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852 and Raza, Mohsin ORCID: https://orcid.org/0000-0002-7351-9749 (2021) 3D analytical modelling and iterative solution for high performance computing clusters. IEEE Transactions on Cloud Computing . ISSN 2168-7161 [Article] (Published online first) (doi:10.1109/TCC.2021.3055119)

Kirsal, Yonal, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852 and Sardis, Fragkiskos (2019) Using advanced handover and localization techniques for maintaining quality-of-service of mobile users in heterogeneous cloud-based environment. Journal of Network and Systems Management, 27 (4) . pp. 927-997. ISSN 1064-7570 [Article] (doi:10.1007/s10922-019-09494-z)

Kirsal, Yonal, Paranthaman, Vishnu Vardhan and Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852 (2018) Exploring analytical models for proactive resource management in highly mobile environments. International Journal of Computers, Communications and Control, 13 (5) , http://univagora.ro/jour/index.php/ijccc/issue/view/125. pp. 837-852. ISSN 1841-9844 [Article] (doi:10.15837/ijccc.2018.5.3349)

Kittler, Josef, Christmas, William, De Campos, Teofilo, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Yan, Fei, Illingworth, J. and Osman, M. (2014) Domain anomaly detection in machine perception: a system architecture and taxonomy. Pattern Analysis and Machine Intelligence, IEEE Transactions on, 36 (5) . pp. 845-859. ISSN 0162-8828 [Article] (doi:10.1109/TPAMI.2013.209)

Kittler, Josef, Christmas, William, De Campos, Teofilo, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Yan, Fei, Illingworth, J. and Osman, M. (2014) Domain anomaly detection in machine perception: a system architecture and taxonomy. Pattern Analysis and Machine Intelligence, IEEE Transactions on, 36 (5) . pp. 845-859. ISSN 0162-8828 [Article] (doi:10.1109/TPAMI.2013.209)

Kiyani, Anum Tanveer, Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694, Ali, Kamran ORCID: https://orcid.org/0000-0001-5301-9125, Ur-Rehman, Masood and Haq, Bushra (2020) Continuous user authentication featuring keystroke dynamics based on robust recurrent confidence model and ensemble learning approach. IEEE Access, 8 . pp. 156177-156189. ISSN 2169-3536 [Article] (doi:10.1109/ACCESS.2020.3019467)

Kodagoda, Neesha, Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Choudhury, Sharmin (Tinni), Rooney, Chris, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Nguyen, Phong H., Slabbert, Louis, Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741, Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244, Zheng, Yongjun, Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 and Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694 (2014) Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness. Information Visualization, 13 (4) . pp. 346-360. ISSN 1473-8716 [Article] (doi:10.1177/1473871613490291)

Kodagoda, Neesha, Pontis, Sheila, Simmie, Donal, Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741, Blandford, Ann and Hankin, Chris (2017) Using machine learning to infer reasoning provenance from user interaction log data: based on the data/frame theory of sensemaking. Journal of Cognitive Engineering and Decision Making, 11 (1) . pp. 23-41. ISSN 1555-3434 [Article] (doi:10.1177/1555343416672782)

Koh, Wee Lit and Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X (2011) Modeling and simulation of pedestrian behaviors in crowded places. ACM Transactions on Modeling and Computer Simulation, 21 (3) . pp. 1-23. ISSN 1049-3301 [Article] (doi:10.1145/1921598.1921604)

Kollias, Dimitrios ORCID: https://orcid.org/0000-0002-8188-3751, Cheng, Shiyang, Ververas, Evangelos, Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X and Zafeiriou, Stefanos (2020) Deep neural network augmentation: generating faces for affect analysis. International Journal of Computer Vision, 128 (5) . pp. 1455-1484. ISSN 0920-5691 [Article] (doi:10.1007/s11263-020-01304-3)

Kollias, Dimitrios, Tzirakis, Panagiotis, Nicolaou, Mihalis A., Papaioannou, Athanasios, Zhao, Guoying, Schuller, Björn, Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X and Zafeiriou, Stefanos (2019) Deep affect prediction in-the-wild: Aff-wild database and challenge, deep architectures, and beyond. International Journal of Computer Vision, 127 (6-7) . pp. 907-929. ISSN 0920-5691 [Article] (doi:10.1007/s11263-019-01158-4)

Kos, Jernej, Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244, Loo, Jonathan and Trček, Denis (2015) U-sphere: strengthening scalable flat-name routing for decentralized networks. Computer Networks, 89 . pp. 14-31. ISSN 1389-1286 [Article] (doi:10.1016/j.comnet.2015.07.006)

Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Buciu, Ioan and Pitas, Ioannis (2008) An analysis of facial expression recognition under partial facial image occlusion. Image and Vision Computing, 26 (7) . pp. 1052-1067. ISSN 0262-8856 [Article]

Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Guo, Weiwei and Patras, Ioannis (2012) Higher rank support tensor machines for visual recognition. Pattern Recognition, 45 (12) . pp. 4192-4203. ISSN 0031-3203 [Article]

Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X and Pitas, Ioannis (2007) Facial expression recognition in image sequences using geometric deformation features and support vector machines. IEEE Transactions on Image Processing, 16 (1) . pp. 172-187. ISSN 1057-7149 [Article]

Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Pitas, Ioannis and Zafeiriou, Stefanos (2009) Novel multiclass classifiers based on the minimization of the within-class variance. IEEE Transactions on Neural Networks, 20 (1) . pp. 14-34. ISSN 1045-9227 [Article] (doi:10.1109/TNN.2008.2004376)

Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Zafeiriou, Stefanos and Fotopoulos, Spiros (2013) Affective gaming: a comprehensive survey. Conference on Computer Vision and Pattern Recognition Workshops (CVPR) Behavior Analysis in Games and modern Sensing devices (BAGS) workshop . [Article]

Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Zafeiriou, Stefanos and Pitas, Ioannis (2008) Texture and shape information fusion for facial expression and facial action unit recognition. Pattern Recognition, 41 (3) . pp. 833-851. ISSN 0031-3203 [Article] (doi:10.1016/j.patcog.2007.06.026)

Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Zafeiriou, Stefanos and Pitas, Ioannis (2007) A novel discriminant non-negative matrix factorization algorithm with applications to facial image characterization problems. IEEE Transactions on Information Forensics and Security, 2 (3) . pp. 588-595. ISSN 1556-6013 [Article]

Kotti, Margarita, Ververidis, Dimitrios, Panagakis, Yannis ORCID: https://orcid.org/0000-0003-0153-5210, Kotropoulos, Constantine, Maragos, Petros and Pitas, Ioannis (2008) Audio-assisted movie dialogue detection. IEEE Transactions on Circuits and Systems for Video Technology, 18 (11) . pp. 1618-1627. ISSN 1051-8215 [Article] (doi:10.1109/TCSVT.2008.2005613)

Kramer, Dean, Clark, Tony and Oussena, Samia (2011) Platform independent, higher-order, statically checked mobile applications. International Journal of Design, Analysis and Tools for Circuits and Systems, 2 (1) . pp. 14-29. ISSN 2071-2987 [Article]

Krašovec, Rok, Belavkin, Roman V. ORCID: https://orcid.org/0000-0002-2356-1447, Aston, John A. D., Channon, Alastair, Aston, Elizabeth, Rash, Bharat M., Kadirvel, Manikandan, Forbes, Sarah and Knight, Christopher G. (2014) Mutation rate plasticity in rifampicin resistance depends on Escherichia coli cell–cell interactions. Nature Communications, 5 , 3742. pp. 1-8. ISSN 2041-1723 [Article] (doi:10.1038/ncomms4742)

Krašovec, Rok, Belavkin, Roman V. ORCID: https://orcid.org/0000-0002-2356-1447, Aston, John A. D., Channon, Alastair, Aston, Elizabeth, Rash, Bharat M., Kadirvel, Manikandan, Forbes, Sarah and Knight, Christopher G. (2014) Where antibiotic resistance mutations meet quorum-sensing. Microbial Cell, 1 (7) . pp. 250-252. ISSN 2311-2638 [Article] (doi:10.15698/mic2014.07.158)

Kumar, Ajay ORCID: https://orcid.org/0000-0001-6712-6490, Abhishek, Kumar ORCID: https://orcid.org/0000-0001-6825-2392, Nerurkar, Pranav ORCID: https://orcid.org/0000-0002-9100-6437, Ghalib, Muhammad Rukunuddin ORCID: https://orcid.org/0000-0002-2786-3370, Shankar, Achyut ORCID: https://orcid.org/0000-0003-3165-3293 and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2022) Secure smart contracts for cloud‐based manufacturing using Ethereum blockchain. Transactions on Emerging Telecommunications Technologies, 33 (4) , e4129. ISSN 2161-3915 [Article] (doi:10.1002/ett.4129)

Kumar, Arun, Sharma, Sharad, Goyal, Nitin ORCID: https://orcid.org/0000-0001-7878-363X, Singh, Aman ORCID: https://orcid.org/0000-0001-6571-327X, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Singh, Parminder ORCID: https://orcid.org/0000-0002-0750-6309 (2021) Secure and energy-efficient smart building architecture with emerging technology IoT. Computer Communications, 176 . pp. 207-217. ISSN 0140-3664 [Article] (doi:10.1016/j.comcom.2021.06.003)

Kumar, B.G.Vijay, Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X and Patras, Ioannis (2012) Max-margin non-negative matrix factorization. Image and Vision Computing, 30 (4-5) . pp. 279-291. ISSN 0262-8856 [Article]

Kunčar, Ondřej and Popescu, Andrei (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 , 24. pp. 1-26. ISSN 2475-1421 [Article] (doi:10.1145/3158112)

Lai, Hung-Ming, Albrecht, Andreas A. and Steinhofel, Kathleen (2013) Gene selection guided by feature interdependence. World Academy of Science, Engineering and Technology (WASET) (79) . pp. 1432-1438. ISSN 2070-3724 [Article]

Lai, Hung-Ming, Albrecht, Andreas A. and Steinhofel, Kathleen (2015) iRDA: a new filter towards predictive, stable, and enriched candidate genes. BMC Genomics, 16 . ISSN 1471-2164 [Article] (doi:10.1186/s12864-015-2129-5)

Lai, Hung-Ming, Otzturk, Celal, Albrecht, Andreas A. and Steinhofel, Kathleen (2015) A new vision of evaluating gene expression signatures. Computational Biology and Chemistry, 57 . pp. 54-60. ISSN 1476-9271 [Article] (doi:10.1016/j.compbiolchem.2015.02.004)

Lan, Xiaoyu, Taghia, Jalil, Moradi, Farnaz, Khoshkholghi, Mohammad Ali ORCID: https://orcid.org/0000-0002-6101-4305, Listo Zec, Edvin, Mogren, Olof, Mahmoodi, Toktam and Johnsson, Andreas (2023) Federated learning for performance prediction in multi-operator environments. ITU Journal on Future and Evolving Technologies, 4 (1) . pp. 166-177. ISSN 2616-8375​​ [Article] (doi:10.52953/PFYZ9165)

Langari, Bahareh, Vaseghi, Saeed, Prochazka, Ales, Vaziri, Babak and Tahmasebi Aria, Farzad (2016) Edge-guided image gap interpolation using multi-scale transformation. IEEE Transactions on Image Processing, 25 (9) . pp. 4394-4405. ISSN 1057-7149 [Article] (doi:10.1109/TIP.2016.2590825)

Lano, Kevin, Clark, Tony and Kolahdouz-Rahimi, S. (2015) A framework for model transformation verification. Formal Aspects of Computing, 27 (1) . pp. 193-235. ISSN 0934-5043 [Article] (doi:10.1007/s00165-014-0313-z)

Lappas, G., Frank, R. J. and Albrecht, Andreas A. (2006) A computational study on circuit size versus circuit depth. International Journal on Artificial Intelligence Tools, 15 (2) . pp. 143-162. ISSN 0218-2130 [Article] (doi:10.1142/S0218213006002606)

Lataniotis, Lazaros, Albrecht, Andreas A., Kok, Fatma, Monfries, Clinton, Benedetti, Lorena, Lawson, Nathan D., Hughes, Simon M., Steinhofel, Kathleen, Mayr, Manuel and Zampetaki, Anna (2017) Crispr/Cas9 gene editing reveals novel tertiary constraints in clustered mirna processing. Heart, 103 (5) . A133. ISSN 1468-201X [Article] (doi:10.1136/heartjnl-2017-311726.193)

Lataniotis, Lazaros, Albrecht, Andreas A., Kok, Fatma, Monfries, Clinton A. L., Benedetti, Lorena, Lawson, Nathan D., Hughes, Simon M., Steinhofel, Kathleen, Mayr, Manuel and Zampetaki, Anna (2018) Crispr/Cas9 gene editing reveals novel tertiary constraints in clustered miRNA processing. Cardiovascular Research, 114 (Supp_1) . S1-S1. ISSN 0008-6363 [Article] (doi:10.1093/cvr/cvy060)

Lataniotis, Lazaros, Albrecht, Andreas A., Kok, Fatma O., Monfries, Clinton A. L., Benedetti, Lorena, Lawson, Nathan D., Hughes, Simon M., Steinhofel, Kathleen, Mayr, Manuel and Zampetaki, Anna (2017) Crispr/Cas9 editing reveals novel mechanisms of clustered microRNA regulation and function. Scientific Reports, 7 , 8585. pp. 1-14. ISSN 2045-2322 [Article] (doi:10.1038/s41598-017-09268-0)

Le, Anhtuan, Loo, Jonathan, Chai, Kok Keong and Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 (2016) A specification-based IDS for detecting attacks on RPL-based network topology. Information, 7 (2) , 25. ISSN 2078-2489 [Article] (doi:10.3390/info7020025)

Leng, Paul and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2005) E-learning communities. Interactive Technology and Smart Education, 2 (4) . pp. 193-194. ISSN 1741-5859 [Article]

Li, Chunping, Chen, Ziniu, Du, Hao, Wang, Hui, Wilkie, George, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 and Liu, Jun (2013) Using patterns position distribution for software failure detection. International Journal of Computational Intelligence Systems, 6 (2) . pp. 234-243. ISSN 1875-6891 [Article] (doi:10.1080/18756891.2013.768442)

Li, Shanmei ORCID: https://orcid.org/0000-0002-2622-4403, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, Huang, Xuedong ORCID: https://orcid.org/0000-0002-5094-9041, Otaibi, Sattam AI ORCID: https://orcid.org/0000-0002-7747-4701 and Wang, Hongyong (2023) Cooperative conflict detection and resolution and safety assessment for 6G enabled unmanned aerial vehicles. IEEE Transactions on Intelligent Transportation Systems, 24 (2) . pp. 2183-2198. ISSN 1524-9050 [Article] (doi:10.1109/tits.2021.3137458)

Li, Shanmei, Zhang, Zhaoyue and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2020) Reliability analysis of an air traffic network: from network structure to transport function. Applied Sciences, 10 (9) , 3168. ISSN 2076-3417 [Article] (doi:10.3390/app10093168)

Li, Shudong ORCID: https://orcid.org/0000-0001-6381-1984, Chen, Yanshan, Wu, Xiaobo ORCID: https://orcid.org/0000-0002-3238-0728, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Tian, Zhihong ORCID: https://orcid.org/0000-0002-9409-5359 (2021) Power grid-oriented cascading failure vulnerability identifying method based on wireless sensors. Journal of Sensors, 2021 , 8820413. pp. 1-12. ISSN 1687-725X [Article] (doi:10.1155/2021/8820413)

Li, Simone, Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 and Wilkins, Marc R. (2011) Visualisation and analysis of the complexome network of Saccharomyces cerevisiae. Journal of Proteome Research, 10 (10) . pp. 4744-4756. ISSN 1535-3893 [Article] (doi:10.1021/pr200548c)

Li, Simone S., Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 and Wilkins, Marc R. (2011) Visualization and analysis of the complexome network of saccharomyces cerevisiae. Journal of Proteome Research, 10 (10) . pp. 4744-4756. ISSN 1535-3893 [Article] (doi:10.1021/pr200548c)

Li, Xilin, Sanderson, Penelope, Memisevic, Rizah, Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 and Choudhury, Sanjib (2006) Evaluating functional displays for hydropower system: model-based guidance of scenario design. Cognition, Technology and Work, 8 (4) . pp. 269-282. ISSN 1435-5558 [Article] (doi:10.1007/s10111-006-0044-x)

Li, Yan, Liu, Dayou, Chu, Jianfeng, Zhu, Yungang, Liu, Jie and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2020) A sparse Bayesian learning method for structural equation model-based gene regulatory network inference. IEEE Access, 8 . pp. 40067-40080. ISSN 2169-3536 [Article] (doi:10.1109/ACCESS.2020.2976743)

Liberti, Leo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-68880-8_26)

Liu, Fang ORCID: https://orcid.org/0000-0002-6593-3878, Zhao, Liang ORCID: https://orcid.org/0000-0001-5829-6850, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, Dai, Qin, Shi, Xiangbin and Qiao, Jianzhong (2020) Fine-grained action recognition by motion saliency and mid-level patches. Applied Sciences, 10 (8) , e2811. ISSN 2076-3417 [Article] (doi:10.3390/app10082811)

Liu, Guoqing, Wu, Jianxin and Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X (2013) Probabilistic classifiers with a generalized Gaussian scale mixture prior. Pattern Recognition, 46 (1) . pp. 332-345. ISSN 0031-3203 [Article] (doi:10.1016/j.patcog.2012.07.016)

Liu, Shuai ORCID: https://orcid.org/0000-0001-9909-0664, Chen, Xiang, Li, Ying and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2019) Micro-distortion detection of lidar scanning signals based on geometric analysis. Symmetry, 11 (12) , 1471. pp. 2-13. ISSN 2073-8994 [Article] (doi:10.3390/sym11121471)

Liu, Shuai, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, Fu, Weina, Zhou, Yunpeng and Li, Qianzhong (2014) Numeric characteristics of generalized M-set with its asymptote. Applied Mathematics and Computation, 243 . pp. 767-774. ISSN 0096-3003 [Article] (doi:10.1016/j.amc.2014.06.016)

Liu, Shuai, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Min, Gihong (2017) Editorial: Recent advances of content understanding in image and multimedia. Recent Patents on Computer Science, 10 (1) . pp. 2-5. ISSN 2213-2759 [Article] (doi:10.2174/221327591001170808093310)

Liu, Shuai, Pan, Zheng and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2017) A novel fast fractal image compression method based on distance clustering in high dimensional sphere surface. Fractals, 25 (04) . pp. 1740004-1. ISSN 1793-6543 [Article] (doi:10.1142/s0218348x17400047)

Liu, Wei, Huang, Yongkun, Ye, Zhiwei, Cai, Wencheng, Yang, Shuai, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Frank, Ibrahim (2020) Renyi’s entropy based multilevel thresholding using a novel meta-heuristics algorithm. Applied Sciences, 10 (9) , 3225. ISSN 2076-3417 [Article] (doi:10.3390/app10093225)

Liu, Weiping, Liu, Xuefeng and Gao, Xiaohong W. ORCID: https://orcid.org/0000-0002-8103-6624 (2021) Characterization of deep sub-wavelength nanowells by imaging the photon state scattering spectra. Optics Express, 29 (2) . pp. 1221-1231. ISSN 1094-4087 [Article] (doi:10.1364/OE.413942)

Liu, Yukun ORCID: https://orcid.org/0000-0003-2994-5393, Wan, Bowen, Shi, Daming and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2023) Generative recorrupted-to-recorrupted: an unsupervised image denoising network for arbitrary noise distribution. Remote Sensing, 15 (2) , 364. [Article] (doi:10.3390/rs15020364)

Liu, Zheli, Huang, Yanyu, Li, Jin, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Shen, Chao (2018) DivORAM: Towards a practical oblivious RAM with variable block size. Information Sciences, 447 . pp. 1-11. ISSN 0020-0255 [Article] (doi:10.1016/j.ins.2018.02.071)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-02658-4_55)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2017) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer, 19 (1) . pp. 9-30. ISSN 1433-2779 [Article] (doi:10.1007/s10009-015-0378-x)

Loomes, Martin J., Albrecht, Andreas A., Malcolm, J. A. and Zahrani, M. S. (2006) Landscape analysis for multicast routing. Computer Communications, 30 (1) . pp. 101-116. ISSN 0140-3664 [Article] (doi:10.1016/j.comcom.2006.07.019)

Loomes, Martin J., Albrecht, Andreas A., Steinhoefel, K. and Taupitz, M. (2002) Adaptive simulated annealing for CT image classification. International Journal of Pattern Recognition and Artificial Intelligence, 16 (5) . pp. 573-588. ISSN 0218-0014 [Article]

Lu, Zhirui, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Liu, Jun and Wang, Hui (2012) A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment. International Journal of Computational Intelligence Systems, 5 (1) . pp. 173-196. ISSN 1875-6891 [Article] (doi:10.1080/18756891.2012.670529)

Lu, Zhirui, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Liu, Jun, Wang, Hui and Aztiria, Asier (2012) A reasoning system for uncertain and dynamic environments. International Journal on Artificial Intelligence Tools, 21 (5) . ISSN 0218-2130 [Article] (doi:10.1142/S0218213012500236)

Luo, Linbo, Cai, Wentong, Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X, Lees, Michael and Yin, Haiyan (2015) A review of interactive narrative systems and technologies: a training perspective. Simulation: Transactions of The Society for Modeling and Computer Simulation International, 91 (2) . pp. 126-147. ISSN 0037-5497 [Article] (doi:10.1177/0037549714566722)

Luo, Linbo, Chai, Cheng, Ma, Jianfeng, Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X and Cai, Wentong (2018) ProactiveCrowd: modeling proactive steering behaviours for agent-based crowd simulation. Computer Graphics Forum, 37 (1) . pp. 375-388. ISSN 0167-7055 [Article] (doi:10.1111/cgf.13303)

Luo, Linbo, Yin, Haiyan, Cai, Wentong, Lees, Michael, Othman, Nasri Bin and Zhou, Suiping ORCID: https://orcid.org/0000-0002-9920-266X (2014) Towards a data-driven approach to scenario generation for serious games. Computer Animation and Virtual Worlds, 25 (3-4) . pp. 393-402. ISSN 1546-4261 [Article] (doi:10.1002/cav.1588)

Lv, Siyi, Ye, Jinhui, Yin, Sijie and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2020) Unbalanced private set intersection cardinality protocol with low communication cost. Future Generation Computer Systems, 102 . pp. 1054-1061. ISSN 0167-739X [Article] (doi:10.1016/j.future.2019.09.022)

Lyamin, Nikita, Vinel, Alexey, Jonsson, Magnus and Loo, Jonathan (2014) Real-time detection of denial-of-service attacks in IEEE 802.11p vehicular networks. IEEE Communications Letters, 18 (1) . pp. 110-113. ISSN 1089-7798 [Article] (doi:10.1109/LCOMM.2013.102213.132056)

Ma, X and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2005) Verifying cryptographic protocols. IEEE Journal of Intelligent Cybernetic Systems . ISSN 1746-5907 [Article] (Published online first)

Ma, Xiaoqi and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2008) Verifying security protocols by knowledge analysis. International Journal of Security and Networks, 3 (3) . pp. 183-192. ISSN 1747-8405 [Article] (doi:10.1504/IJSN.2008.020092)

Ma, Yajie, Guo, Yike, Tian, Xiangchuan and Ghanem, Moustafa (2011) Distributed clustering-based aggregation algorithm for spatial correlated sensor networks. IEEE Sensors Journal, 11 (3) . pp. 641-648. ISSN 1530-437X [Article] (doi:10.1109/JSEN.2010.2056916)

Macaulay, Linda, Keeling, Kathy, McGoldrick, Peter, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Kalaitzakis, Manos (2007) Co-evolving e-tail and online communities: empirically-based conceptual framework. International Journal of e-Commerce, 11 (4) . pp. 53-77. ISSN 1086-4415 [Article] (doi:10.2753/JEC1086-4415110402)

Madelaine, Florent and Martin, Barnaby (2012) The complexity of positive first-order logic without equality. ACM Transactions on Computational Logic (TOCL), 13 (1) . ISSN 1529-3785 [Article] (doi:10.1145/2071368.2071373)

Maher, Brian, Albrecht, Andreas A., Loomes, Martin J., Yang, Xin-She ORCID: https://orcid.org/0000-0001-8231-5556 and Steinhofel, Kathleen (2014) A Firefly-inspired method for protein structure prediction in lattice models. Biomolecules, 4 (1) . pp. 56-75. ISSN 2218-273X [Article] (doi:10.3390/biom4010056)

Makri, Stephann, Blandford, Ann, Cox, Anna L., Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 and Warwick, Claire (2011) Evaluating the information behaviour methods: formative evaluations of two methods for assessing the functionality and usability of electronic information resources. International Journal of Human-Computer Studies, 69 (7-8) . pp. 455-482. ISSN 1071-5819 [Article] (doi:10.1016/j.ijhcs.2011.04.004)

Mancinelli, Fabio, Boender, Jaap, Di Cosmo, Roberto, Vouillon, Jérôme, Durak, Berke, Leroy, Xavier and Treinen, Ralf (2006) Managing the complexity of large free and open source package-based software distributions. Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on . pp. 199-208. ISSN 1938-4300 [Article] (doi:10.1109/ASE.2006.49)

Martin, Barnaby (2011) Low-level dichotomy for quantified constraint satisfaction problems. Information Processing Letters, 111 (20) . pp. 999-1003. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2011.07.010)

Martin, Oliver, Kotsia, Irene ORCID: https://orcid.org/0000-0002-3716-010X, Pitas, Ioannis, Savran, Arman, Adell, Jordi, Huerta, Ana and Sebbe, Raphael (2007) Synthesis of expressive facial animations: a multimodal caricatural mirror. Journal on Multimodal User Interfaces, 1 (1) . pp. 21-30. ISSN 1783-7677 [Article]

Martin, Suzanne, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, McCullagh, Paul, Carswell, William, Zheng, Huiru, Wang, Haiying, Wallace, Jonathan and Mulvenna, Maurice (2013) Participatory research to design a novel system to support the night-time needs of people with dementia; NOCTURNAL. International Journal of Environmental Research and Public Health (IJERPH), 10 (12) . pp. 6764-6782. ISSN 1660-4601 [Article] (doi:10.3390/ijerph10126764)

Martínez Fernández, Javier, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Trombino, Giuseppe, Seepold, Ralf and Martinez Madrid, Natividad (2013) Self-aware trader: a new approach to safer trading. Journal of Universal Computer Science, 19 (15) . pp. 2292-2319. ISSN 0948-695X [Article]

McNaull, James, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Mulvenna, Maurice and McCullagh, Paul (2012) Ambient assisted living systems and technologies: a data and information quality perspective. ACM Transactions on Data and Information Quality, 4 (1) . pp. 1-15. ISSN 1936-1955 [Article] (doi:10.1145/2378016.2378020)

Memisevic, Rizah, Sanderson, Penelope, Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741, Choudhury, Sanjib and Li, Xilin (2007) Investigating human-system interaction with an integrated hydropower and market system simulator. IEEE transactions on power systems, 22 (2) . pp. 762-769. ISSN 0885-8950 [Article]

Men, Jiaping, Xu, Guangquan, Han, Zhen, Sun, Zhonghao, Zhou, Xiaojun, Lian, Wenjuan and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2019) Finding sands in the eyes: vulnerabilities discovery in IoT with EUFuzzer on human machine interface. IEEE Access, 7 . pp. 103751-103759. ISSN 2169-3536 [Article] (doi:10.1109/ACCESS.2019.2931061)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725 (2021) Software testing or the bugs’ nightmare. Open Journal of Software Engineering, 1 (1) . pp. 1-21. [Article] (doi:10.46723/ojse.1.1.1)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Barrero, D.F. and Camacho, David ORCID: https://orcid.org/0000-0002-5051-3475 (2014) A genetic graph-based approach for partitional clustering. International Journal of Neural Systems, 24 (3) , 1430008. ISSN 0129-0657 [Article] (doi:10.1142/S0129065714300083)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Bhattacharya, Sukriti, Clark, David and Barr, Earl T. (2019) The arms race: adversarial search defeats entropy used to detect malware. Expert Systems with Applications, 118 . pp. 246-260. ISSN 0957-4174 [Article] (doi:10.1016/j.eswa.2018.10.011)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Boreale, Michele, Gorla, Daniele and Clark, David (2020) Output sampling for output diversity in automatic unit test generation. IEEE Transactions on Software Engineering . ISSN 0098-5589 [Article] (Published online first) (doi:10.1109/TSE.2020.2987377)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725 and Clark, David (2022) Hashing fuzzing: introducing input diversity to improve crash detection. IEEE Transactions on Software Engineering, 48 (9) . pp. 3540-3553. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2021.3100858)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Clark, David and T. Barr, Earl (2021) Getting ahead of the arms race: hothousing the coevolution of VirusTotal with a Packer. Entropy, 23 (4) , e395. ISSN 1099-4300 [Article] (doi:10.3390/e23040395)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Jahangirova, Gunel, Sarro, Federica, Tonella, Paolo and Clark, David (2021) Diversifying focused testing for unit testing. ACM Transactions on Software Engineering and Methodology, 30 (4) , 44. pp. 1-24. ISSN 1049-331X [Article] (doi:10.1145/3447265)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725 and Llorente, José Luis (2019) Mimicking anti-viruses with machine learning and entropy profiles. Entropy, 21 (5) , 513. ISSN 1099-4300 [Article] (doi:10.3390/e21050513)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Otero, Fernando E. B. and Camacho, David ORCID: https://orcid.org/0000-0002-5051-3475 (2017) Extending the SACOC algorithm through the Nystrom method for dense manifold data analysis. International Journal of Bio-Inspired Computation, 10 (2) . pp. 127-135. ISSN 1758-0366 [Article] (doi:10.1504/IJBIC.2017.085894)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Otero, Fernando E. B. and Camacho, David (2016) Medoid-based clustering using ant colony optimization. Swarm Intelligence, 10 (2) . pp. 123-145. ISSN 1935-3812 [Article] (doi:10.1007/s11721-016-0122-5)

Mihajlov, Martin, Lai-Chong Law, Effie and Springett, Mark ORCID: https://orcid.org/0000-0003-3609-8241 (2015) Intuitive learnability of touch gestures for technology-naïve older adults. Interacting with Computers, 27 (3) . pp. 344-356. ISSN 0953-5438 [Article] (doi:10.1093/iwc/iwu044)

Mitchell, Ian ORCID: https://orcid.org/0000-0002-3882-9127 and Bavan, A. S. (2000) A connectionist inference model for pattern-directed knowledge representation. Expert systems, 17 (2) . pp. 106-113. ISSN 0266-4720 [Article]

Mitchell, Ian ORCID: https://orcid.org/0000-0002-3882-9127, Jiang, Nan and Wu, Wendy Xinyu (2006) MESSM: a framework for protein fold recognition using neural networks and support vector machines. International Journal of Bioinformatics Research and Applications, 2 (4) . pp. 381-393. ISSN 1744-5493 [Article] (doi:10.1504/IJBRA.2006.011037)

Mitchell, Ian ORCID: https://orcid.org/0000-0002-3882-9127, Jiang, Nan and Wu, Wendy Xinyu (2006) Threading with environment-specific score by artificial neural networks. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 10 (4) . pp. 305-314. ISSN 1432-7643 [Article] (doi:10.1007/s00500-005-0488-6)

Mittal, Mohit, Kobielnik, Martyna, Gupta, Swadha, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Wozniak, Marcin (2022) An efficient quality of services based wireless sensor network for anomaly detection using soft computing approaches. Journal of Cloud Computing, 11 (1) , 70. pp. 1-21. ISSN 2192-113X [Article] (doi:10.1186/s13677-022-00344-z)

Moustakas, Evangelos, Duquenoy, Penny and Ranganathan, C. (2006) E-mail marketing at the crossroads: a stakeholder analysis of unsolicited commercial e-mail (spam). Internet research, 16 (1) . pp. 38-52. ISSN 1066-2243 [Article]

Mulvenna, Maurice, Carswell, William, McCullagh, Paul, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Zheng, Huiru, Jeffers, Paul, Wang, Haiying and Martin, Suzanne (2011) Visualization of data for ambient assisted living services. IEEE Communications Magazine, 49 (1) . pp. 110-117. ISSN 0163-6804 [Article] (doi:10.1109/MCOM.2011.5681023)

Muñoz, Andrés, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Villa, Ana and Botía, Juan Antonio (2011) Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. Personal and Ubiquitous Computing, 15 (4) . pp. 377-387. ISSN 1617-4909 [Article] (doi:10.1007/s00779-010-0361-1)

Müller, Markus, Rogers, Caroline and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A, 79 (1) . ISSN 1050-2947 [Article] (doi:10.1103/PhysRevA.79.012302)

Nachmanson, Lev, Nocaj, Arlind, Bereg, Sergey, Zhang, Leishi ORCID: https://orcid.org/0000-0002-3158-2328 and Holroyd, Alexander (2017) Node overlap removal by growing a tree. Journal of Graph Algorithms and Applications, 21 (5) . pp. 857-872. ISSN 1526-1719 [Article] (doi:10.7155/jgaa.00442)

Nadh, Kailash and Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 (2010) A Pong playing agent modelled with massively overlapping cell assemblies. Neurocomputing, 73 (16-18) . pp. 2928-2934. ISSN 0925-2312 [Article] (doi:10.1016/j.neucom.2010.07.013)

Naeem, Hamad, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, Ullah, Farhan ORCID: https://orcid.org/0000-0002-1030-1275, Jabbar, Sohail and Dong, Shi (2022) A deep convolutional neural network stacked ensemble for malware threat classification in internet of things. Journal of Circuits, Systems and Computers, 31 (17) , 2250302. ISSN 0218-1266 [Article] (doi:10.1142/s0218126622503029)

Naeem Abid, Mian Muhammad, Zia, Tehseen, Ghafoor, Mubeen and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2021) Multi-view convolutional recurrent neural networks for lung cancer nodule identification. Neurocomputing, 453 . pp. 299-311. ISSN 0925-2312 [Article] (doi:10.1016/j.neucom.2020.06.144)

Nanath, Krishnadas ORCID: https://orcid.org/0000-0002-3515-9084 and Joy, Geethu (2021) Leveraging Twitter data to analyze the virality of Covid-19 tweets: a text mining approach. Behaviour and Information Technology . pp. 1-19. ISSN 0144-929X [Article] (Published online first) (doi:10.1080/0144929x.2021.1941259)

Nanath, Krishnadas ORCID: https://orcid.org/0000-0002-3515-9084 and Pillai, R. Radhakrishna (2021) Individual and organizational factors affecting the implementation of Green IT: a case study of an Indian business school. The Electronic Journal of Information Systems in Developing Countries, 87 (3) , e12163. ISSN 1681-4835 [Article] (doi:10.1002/isd2.12163)

Narayanan, Swathi Jamjala ORCID: https://orcid.org/0000-0002-5007-6826, Baby, Cyril Joe ORCID: https://orcid.org/0000-0002-4090-4157, Perumal, Boominathan ORCID: https://orcid.org/0000-0002-6220-0353, Bhatt, Rajen B., Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, Ghalib, Muhammad Rukunuddin ORCID: https://orcid.org/0000-0002-2786-3370 and Shankar, Achyut ORCID: https://orcid.org/0000-0003-3165-3293 (2021) Fuzzy decision trees embedded with evolutionary fuzzy clustering for locating users using wireless signal strength in an indoor environment. International Journal of Intelligent Systems, 36 (8) . pp. 4280-4267. ISSN 0884-8173 [Article] (doi:10.1002/int.22459)

Navidan, Hojjat ORCID: https://orcid.org/0000-0001-5269-6909, Moshiri, Parisa Fard, Nabati, Mohammad, Shahbazian, Reza, Ghorashi, Seyed Ali ORCID: https://orcid.org/0000-0002-2910-9208, Shah-Mansouri, Vahid ORCID: https://orcid.org/0000-0003-4810-491X and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2021) Generative Adversarial Networks (GANs) in networking: a comprehensive survey & evaluation. Computer Networks, 194 , 108149. pp. 1-21. ISSN 1389-1286 [Article] (doi:10.1016/j.comnet.2021.108149)

Nguyen, Phong H., Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440, Walker, Rick and Wong, B. L. William ORCID: https://orcid.org/0000-0002-3363-0741 (2016) TimeSets: timeline visualization with set relations. Information Visualization, 15 (3) . pp. 253-269. ISSN 1473-8716 [Article] (doi:10.1177/1473871615605347)