Items where department is "Computer and Information Sciences"

A

Azzopardi, Leif and van der Sluis, Frans (2024) Seeking socially responsible consumers : exploring the intention-search-behaviour gap. In: 2024 ACM SIGIR Conference on Human Information Interaction and Retrieval, 2024-03-10 - 2024-03-14.

Arshad, Hamed and Horne, Ross and Johansen, Christian and Owe, Olaf and Willemse, Tim A.C. (2024) XACML2mCRL2 : automatic transformation of XACML policies into mCRL2 specifications. Science of Computer Programming, 232. 103046. ISSN 0167-6423

Atkey, Robert (2024) Polynomial time and dependent types. Proceedings of the ACM on Programming Languages (PACMPL), 8 (POPL). 2288–2317. 76. ISSN 2475-1421

Armstrong, Andrea and Briggs, Jo and Moncur, Wendy and Carey, Daniel Paul and Nicol, Emma and Schafer, Burkhard (2023) Everyday digital traces. Big Data & Society, 10 (2). pp. 1-13. ISSN 2053-9517

Alanazi, Fahad and Renaud, Karen and Tal, Irina (2023) Understanding the impact of dyslexia on online privacy and security. In: IEEE Cyber Research Conference Ireland, 2023-11-24 - 2023-11-24.

Al-Anqoudi, Maha and Ada, Mireilla Bikanga and McQuistin, Stephen and Ntarmos, Nikos and Parkinson, Jack and Moshfeghi, Yashar; (2023) Traditional vs non-traditional assessment activities as learning indicators of student learning : teachers' perceptions. In: 2023 IEEE Learning with MOOCs (LWMOOCS) Proceedings. Institute of Electrical and Electronics Engineers Inc., USA. ISBN 9798350315592

Abdul Rahim, Nurun Najah and Muhamad, Nor Asiah and Muhamad Naim, Nur Syibrah and Mohd Jamil, Mohamad Kamarol and Ang, Swee Peng (2023) Ultraviolet pulse pattern for different types of insulator material during surface discharge activities. Energy Reports, 9 (Supple). pp. 870-878. ISSN 2352-4847

Almeqren, Monira Abdulrahman and Almuqren, Latifah and Alhayan, Fatimah and Cristea, Alexandra I. and Pennington, Diane (2023) Using deep learning to analyze the psychological effects of COVID-19. Frontiers in Psychology, 14. 962854. ISSN 1664-1078

Abdulkareem, Zainab and Lennon, Marilyn (2023) Impact of digital divide on students performance in computerised UTME in Nigeria. Information Development. pp. 1-16. ISSN 0266-6669

Ahmad, Rufai and Terzis, Sotirios and Renaud, Karen; Moallem, Abbas, ed. (2023) Investigating mobile instant messaging phishing : a study into user awareness and preventive measures. In: HCI for Cybersecurity, Privacy and Trust. Springer, DNK, pp. 381-398. ISBN 9783031358227

Allais, Guillaume; Wies, Thomas, ed. (2023) Builtin types viewed as inductive families. In: Programming Languages and Systems. ESOP 2023. Lecture Notes in Computer Science, 13990 . Springer, FRA, pp. 113-139. ISBN 9783031300448

Azzopardi, Leif and Maxwell, David and Halvey, Martin and Hauff, Claudia; Gwizdka, Jacek and Rieh, Soo Young, eds. (2023) Driven to distraction : examining the influence of distractors on search behaviours, performance and experience. In: CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. ACM, USA, pp. 83-94. ISBN 9798400700354

Allan, Inga and Innocenti, Perla (2023) Library based walking groups in Scotland : exploring benefits, challenges, and opportunities. Journal of Librarianship and Information Science. pp. 1-20. ISSN 0961-0006

Alhayan, Fatimah and Pennington, Diane and Ayouni, Sarra (2023) Twitter use by the dementia community during Covid-19 : a user classification and social network analysis. Online Information Review, 47 (1). pp. 41-58. ISSN 1468-4527

Agustí, Alvar and Zhang, Min and Zhang, Wei and Jones, Gareth and Patel, Manish and Turner, Alice, for the NOVELTY Study Investigators (2022) Treatable traits in the NOVELTY study. Respirology, 27 (11). pp. 929-940. ISSN 1323-7799

Adhuran, Jayasingam and Kulupana, Gosala and Fernando, Anil (2022) Deep learning and bidirectional optical flow based viewport predictions for 360° video coding. IEEE Access, 10. pp. 118380-118396. ISSN 2169-3536

Acclavio, Matteo and Horne, Ross and Straßburger, Lutz (2022) An analytic propositional proof system on graphs. Logical Methods in Computer Science, 18 (4). 1:1-1:80. ISSN 1860-5974

Alahmari, Saad and Renaud, Karen and Omoronyia, Inah (2022) Moving beyond cyber security awareness and training to engendering security knowledge sharing. Information Systems and e-Business Management. ISSN 1617-9846

Ackland, G. J. and Panovska-Griffiths, J. and Waites, W. and Cates, M. E. (2022) The Royal Society RAMP modelling initiative. Proceedings A: Mathematical, Physical and Engineering Sciences, 380 (2233). pp. 1-4. 20210316. ISSN 1471-2962

Aubert, Clément and Horne, Ross and Johansen, Christian; Castiglioni, Valentina and Mezzina, Claudio A., eds. (2022) Bisimulations respecting duration and causality for the non-interleaving applied pi-calculus. In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association, POL, pp. 3-22.

Aubert, Clément and Horne, Ross and Johansen, Christian; Klin, Bartek and Lasota, Sławomir and Muscholl, Anca, eds. (2022) Diamonds for security : a non-interleaving operational semantics for the applied pi-calculus. In: 33rd International Conference on Concurrency Theory. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL, 30:1-30:26. ISBN 9783959772464

Alrzini, Joma and Rasmussen Pennington, Diane and Dunlop, Mark D; Blashki, Katherine, ed. (2022) The impact of test elements on students' performance in EFL. In: 16th International Conference on Interfaces and Human Computer Interaction (IHCI 2022). IADIS, [Portugal]. ISBN 9789898704412

Ahmed, Chuadhry Mujeeb and Palleti, Venkata Reddy and Mishra, Vishrut Kumar (2022) A practical physical watermarking approach to detect replay attacks in a CPS. Journal of Process Control, 116. pp. 136-146. ISSN 0959-1524

Adetunla, Yetunde and Adetunla, Gbenga (2022) The role of social media in enlightening nursing mothers on the practice of exclusive breastfeeding. Global Journal of Arts, Humanities and Social Sciences, 10 (8). pp. 72-78. ISSN 2052-6369

Ahmad, Rufai and Terzis, Sotirios; Clarke, Nathan and Furnell, Steven, eds. (2022) Understanding phishing in mobile instant messaging : a study into user behaviour toward shared links. In: Human Aspects of Information Security and Assurance. IFIP Advances in Information and Communication Technology (IFIPAICT) . Springer, GRC, pp. 197-206. ISBN 9783031121722

Azzopardi, Leif and Briggs, Jo and Duheric, Melissa and Nash, Callum and Nicol, Emma and Moncur, Wendy and Schafer, Burkhard; (2022) Are Taylor's posts risky? Evaluating cumulative revelations in online personal data : a persona-based tool for evaluating awareness of online risks and harms. In: SIGIR '22 : Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval . ACM, New York, 3295–3299. ISBN 9781450387323

Anderson, Damien and Harvey, Paul and Kaneta, Yusaku and Papadopoulos, Petros and Rodgers, Philip and Roper, Marc; (2022) Towards evolution-based autonomy in large-scale systems. In: GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference. GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference . ACM, USA, 1924–1925. ISBN 9781450392686

Armenta-Segura, Jorge and Ledent, Jeremy and Rajsbaum, Sergio (2022) Two-agent approximate agreement from an epistemic logic perspective. Computación y Sistemas, 26 (2). pp. 769-785. ISSN 2007-9737

Acclavio, Matteo and Horne, Ross and Mauw, Sjouke and Straßburger, Lutz; Felty, Amy P., ed. (2022) A graphical proof theory of logical time. In: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, ISR, 22:1-22:25. ISBN 9783959772334

Alsolai, Hadeel and Roper, Marc (2022) The impact of ensemble techniques on software maintenance change prediction : an empirical study. Applied Sciences, 12 (10). 5234. ISSN 2076-3417

Alkaldi, Nora and Renaud, Karen (2022) MIGRANT : modeling smartphone password manager adoption using migration theory. The Data Base for Advances in Information Systems, 53 (2). pp. 63-95. ISSN 1532-0936

Abolghasemi, Amin and Verberne, Suzan and Azzopardi, Leif; Hagen, Matthias and Verberne, Suzan and Macdonald, Craig and Seifert, Christin and Balog, Krisztian and Nørvåg, Kjetil and Setty, Vinay, eds. (2022) Improving BERT-based query-by-document retrieval with multi-task optimization. In: Advances in Information Retrieval. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, NOR, pp. 3-12. ISBN 9783030997397

Azzopardi, Leif and Aliannejadi, Mohammad and Kanoulas, Evangelos; Hagen, Matthias and Verberne, Suzan and Macdonald, Craig and Seifert, Christin and Balog, Krisztian and Nørvåg, Kjetil and Setty, Vinay, eds. (2022) Towards building economic models of conversational search. In: Advances in Information Retrieval - 44th European Conference on IR Research, ECIR 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, NOR, pp. 31-38. ISBN 9783030997380

Alhassan, Muhammad Abubakar and Pennington, Diane (2022) YouTube as a helpful and dangerous information source for deliberate self-harming behaviours. In: iConference 2022, 2022-02-28 - 2022-03-04, Virtual/Online.

Alhayan, Fatimah and Pennington, Diane and Ruthven, Ian (2022) "She seems more human" : understanding Twitter users' credibility assessments of dementia-related information. In: iConference 2022, 2022-02-28 - 2022-03-04, Virtual/Online.

Almabruk, Tahani A. A. and Almaghairbe, Rafig and Bukewitin, talal and Roper, Marc; (2021) Recognition system for Libyan vehicle license plate. In: ICEMIS'21. The International Conference on Engineering & MIS . ACM, KAZ. ISBN 9781450390446

Aliannejadi, Mohammad and Azzopardi, Leif and Zamani, Hamed and Kanoulas, Evangelos and Thomas, Paul and Craswell, Nick; (2021) Analysing mixed initiatives and search strategies during conversational search. In: CIKM '21 : Proceedings of the 30th ACM International Conference on Information & Knowledge Management. Proceedings of the 30th ACM International Conference on Information & Knowledge Management . ACM, New York, NY., pp. 16-26. ISBN 9781450384469

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2021) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Journal of Functional Programming, 31. e22. ISSN 0956-7968

Ahmed, Chuadhry Mujeeb and Zhou, Jianying (2021) Bank of models : sensor attack detection and isolation in industrial control systems. In: The 16th International Conference on Critical Information Infrastructures Security, 2021-09-27 - 2021-09-29, EPFL SwissTech Convention Center.

Ahmed, Chuadhry Mujeeb and Zhou, Jianying; (2021) Authentication for CPS. In: Encyclopedia of Cryptography, Security and Privacy. Springer, Cham, Switzerland.

Azzopardi, Leif and Mackenzie, Joel and Moffat, Alistair; (2021) ERR is not C/W/L : Exploring the relationship between expected reciprocal rank and other metrics. In: ICTIR '21 : Proceedings of the 2021 ACM SIGIR International Conference on Theory of Information Retrieval. ACM, New York, NY., 231–237. ISBN 9781450386111

Alhassan, Muhammad Abubakar and Inuwa-Dutse, Isa and Shehu Bello, Bello and Pennington, Diane (2021) Self-harm : Detection and support on Twitter. In: European Conference on Social Media, 2021-07-01 - 2021-07-02, University of Central Lancashire.

Ahmed, Chuadhry Mujeeb and Ochoa, Martin and Zhou, Jianying and Mathur, Aditya; (2021) Scanning the cycle : timing-based authentication on PLCs. In: ASIA CCS 2021 - Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security. ASIA CCS 2021 - Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security . Association for Computing Machinery, Inc, HKG, pp. 886-900. ISBN 9781450382878

Alhassan, Muhammad Abubakar and Pennington, Diane (2021) Investigating non-suicidal self-injury discussions on Twitter. In: International Conference on Social Media and Data Mining - ICSMDM, 2021-06-03 - 2021-06-04, Virtual.

Al Malwi, Wajdan and Renaud, Karen and Mackenzie, Lewis (2021) Users' information disclosure determinants in social networking sites : a systematic literature review. International Journal of Computer and Information Engineering, 15 (5). pp. 314-321. ISSN 2412-8856

Alyahya, Ahmed and Weir, George; (2021) Understanding responses to phishing in Saudi Arabia via the Theory of Planned Behaviour. In: National Computing Colleges Conference (NCCC), 2021. Proceedings - 2021 IEEE 4th National Computing Colleges Conference, NCCC 2021 . IEEE, SAU. ISBN 9781728167190

Azzopardi, Leif; (2021) Cognitive biases in search : a review and reflection of cognitive biases in Information Retrieval. In: CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval. CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval . ACM, New York, NY., 27–37. ISBN 9781450380553

Azzopardi, Leif and Moffat, Alistair and Thomas, Paul and Zuccon, Guido; (2021) User models, metrics and measures of search : a tutorial on the C/W/L evaluation framework. In: CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval. CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval . ACM, New York, NY., 347–348. ISBN 9781450380553

Ahmed, Chuadhry Mujeeb and Kandasamy, Nandha Kumar; Abie, Habtamu and Ranise, Silvio and Verderame, Luca and Cambiaso, Enrico and Ugarelli, Rita and Giunta, Gabriele and Praça, Isabel and Battisti, Federica, eds. (2021) A comprehensive dataset from a smart grid testbed for machine learning based CPS security research. In: Cyber-Physical Security for Critical Infrastructures Protection - 1st International Workshop, CPS4CIP 2020, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 12618 . Springer, GBR, pp. 123-135. ISBN 9783030697815

Alahmari, Saad and Renaud, Karen and Omoronyia, Inah; (2021) Implement a model for describing and maximising security knowledge sharing. In: 2020 15th International Conference for Internet Technology and Secured Transactions (ICITST). IEEE, Piscataway, N.J., pp. 177-180. ISBN 9781913572211

Azzopardi, Leif and Briggs, Jo and Htait, Amal and Moncur, Wendy and Nicol, Emma and Schafer, Burkhard (2021) Cumulative revelations in personal data. In: SPRITE+ Online Showcase, 2021-01-14, Online.

Alrzini, Joma Rajab Salim and Pennington, Diane (2020) A review of polymorphic malware detection techniques. International Journal of Advanced Research in Engineering and Technology, 11 (12). pp. 1238-1247. ISSN 0976-6499

Ahmed, Chuadhry Mujeeb and Mathur, Aditya P. and Ochoa, Martín (2020) NoiSense Print : detecting data integrity attacks on sensor measurements using hardware-based fingerprints. ACM Transactions on Privacy and Security, 24 (1). 2. ISSN 2471-2566

Ahmed, Chuadhry Mujeeb and M R, Gauthama Raman and Mathur, Aditya P.; (2020) Challenges in machine learning based approaches for real-time anomaly detection in industrial control systems. In: Proceedings of the 6th ACM on Cyber-Physical System Security Workshop. Association for Computing Machinery, New York, USA, 23–29. ISBN 9781450376082

Alshahrani, Hussain and Pennington, Diane (2020) "Maybe we can work together" : Researchers' outcome expectations for sharing knowledge on social media. Global Knowledge, Memory and Communication. ISSN 2514-9342

Alrzini, Joma and Pennington, Diane (2020) A review of polymorphic malware detection techniques. In: International Conference on Interdisciplinary Computer Science and Engineering (ICICSE2020), 2020-10-05 - 2020-10-07, Virtual Event.

Attatfa, Amel and Renaud, Karen and De Paoli, Stefano (2020) Cyber diplomacy : a systematic literature review. Procedia Computer Science, 176. pp. 60-69. ISSN 1877-0509

Aleisa, Noura and Renaud, Karen and Bongiovanni, Ivano (2020) The privacy paradox applies to IoT devices too : a Saudi Arabian study. Computers and Security, 96. 101897. ISSN 0167-4048

Almaghairbe, Rafig and Roper, Marc and Almabruk, Tahani; (2020) Machine learning techniques for automated software fault detection via dynamic execution data : empirical evaluation study. In: Proceedings of the 6th International Conference on Engineering and MIS 2020, ICEMIS 2020. ACM, New York, NY., pp. 1-12. ISBN 9781450377362

AlQatan, Abdulaziz and Azzopardi, Leif and Moshfeghi, Yashar; (2020) Analyzing the influence of bigrams on retrieval bias and effectiveness. In: ICTIR 2020 - Proceedings of the 2020 ACM SIGIR International Conference on Theory of Information Retrieval. ACM, NOR, 157–160. ISBN 9781450380676

Alhayan, Fatimah and Pennington, Diane; Gruzd, Anatoliy and Mai, Philip and Recuero, Raquel and Hernandez-Garcia, Angel and Sian Lee, Chei and Cook, James and Hodson, Jaigris and McEwan, Bree and Hopke, Jill, eds. (2020) Twitter as health information source : exploring the parameters affecting dementia-related tweets. In: SMSociety'20 - International Conference on Social Media and Society. ACM, New York, NY., 277–290. ISBN 9781450376884

Atkey, Robert and Gavranović, Bruno and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik (2020) Compositional Game Theory, compositionally. In: Applied Category Theory 2020, 2020-07-06 - 2020-07-10.

Alsolai, Hadeel and Roper, Marc (2020) A systematic literature review of machine learning techniques for software maintainability prediction. Information and Software Technology, 119. 106214. ISSN 0950-5849

Alhassan, Muhammad Abubakar and Pennington, Diane; (2020) Detecting critical responses from deliberate self-harm videos on YouTube. In: CHIIR 2020 - Proceedings of the 2020 Conference on Human Information Interaction and Retrieval. CHIIR 2020 - Proceedings of the 2020 Conference on Human Information Interaction and Retrieval . ACM, CAN, pp. 383-386. ISBN 9781450368926

Azzopardi, Leif and White, Ryen W. and Thomas, Paul and Craswell, Nick; (2020) Data-driven evaluation metrics for heterogeneous search engine result pages. In: CHIIR 2020 - Proceedings of the 2020 Conference on Human Information Interaction and Retrieval. CHIIR 2020 - Proceedings of the 2020 Conference on Human Information Interaction and Retrieval . ACM, New York, 213–222. ISBN 9781450368926

Albladi, Samar Muslah and Weir, George R. S. (2020) Predicting individuals' vulnerability to social engineering in social networks. Cybersecurity, 3 (1). 7. ISSN 2523-3246

Alshahrani, Hussain and Rasmussen Pennington, Diane (2020) "How to use it more?" Self-efficacy and its sources in the use of social media for knowledge sharing. Journal of Documentation, 76 (1). pp. 231-257. ISSN 0022-0418

Anderson, Maureen and Revie, Crawford W. and Stryhn, Henrik and Neudorf, Cordell and Rosehart, Yvonne and Li, Wenbin and Osman, Meriç and Buckeridge, David L. and Rosella, Laura C. and Wodchis, Walter P. (2019) Defining 'actionable' high- costhealth care use : results using the Canadian Institute for Health Information population grouping methodology. International Journal for Equity in Health, 18. 171. ISSN 1475-9276

Archibald, Jacqueline M. and Renaud, Karen (2019) Refining the PoinTER "human firewall" pentesting framework. Information and Computer Security, 27 (4). pp. 575-600. ISSN 2056-4961

Abadi, Aydin and Terzis, Sotirios and Metere, Roberto and Dong, Changyu (2019) Efficient delegated private set intersection on outsourced private datasets. IEEE Transactions on Dependable and Secure Computing, 16 (4). pp. 608-624. ISSN 1545-5971

Albassam, Sarah Ahmed A and Ruthven, Ian (2019) Dynamic aspects of relevance : differences in users' relevance criteria between selecting and viewing videos during leisure searches. Information Research. pp. 1-17. ISSN 1368-1613 (In Press)

Anderson, Damien and Rodgers, Philip and Levine, John and Guerrero-Romero, Cristina and Perez-Liebana, Diego (2019) Ensemble Decision Systems for general video game playing. In: IEEE Conference on Games (COG) 2019, 2019-08-20 - 2019-08-23.

Allais, Guillaume; Darais, David and Gibbons, Jeremy, eds. (2019) Generic level polymorphic N-ary functions. In: TyDe 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2019. ACM, New York, NY, DEU, pp. 14-26. ISBN 9781450368155

Azzopardi, Leif and Moffat, Alistair and Thomas, Paul and Zuccon, Guido; (2019) Building economic models and measures of search. In: SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval . ACM, FRA, pp. 1401-1402. ISBN 9781450361729

Azzopardi, Leif and Thomas, Paul and Moffat, Alistair; (2019) cwl_eval : An evaluation tool for information retrieval. In: SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval . ACM, FRA, pp. 1321-1324. ISBN 9781450361729

Azzopardi, Leif and Zuccon, Guido; (2019) Building economic models of human computer interaction. In: CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, Inc, GBR. ISBN 9781450359719

Alsolai, Hadeel and Roper, Marc; (2019) Application of ensemble techniques in predicting object-oriented software maintainability. In: Proceedings of EASE 2019 - Evaluation and Assessment in Software Engineering. ACM, DNK, pp. 370-373. ISBN 9781450371452

Arnott, Lorna and Levine, John and Shanks, Gillian; Palaiologou, Ioanna and Gray, Colette, eds. (2019) Open-world games : an exploration of creative play. In: Early Learning in the Digital Age. SAGE Publications Ltd, London. ISBN 9781526446831

Alharbi, Ohoud and Arif, Ahmed Sabbir and Stuerzlinger, Wolfgang and Dunlop, Mark D. and Komninos, Andreas (2019) WiseType : a tablet keyboard with color-coded visualization and various editing options for error correction. In: Graphics Interface 2019, 2019-05-28 - 2019-05-31. (In Press)

Akgün, Özgür and Gent, Ian and Kitaev, Sergey and Zantema, Hans (2019) Solving computational problems in the theory of word-representable graphs. Journal of Integer Sequences, 22 (2). pp. 1-18. 19.2.5. ISSN 1530-7638

Ali Khan, Fadia and Ahmed, Jameel and Ahmad, Jawad and Khan, Jan Sher and Ahmad, Fawad and Stankovic, Vladimir and Larijani, Hadi (2019) A novel chaos-based partial image encryption scheme using Lifting Wavelet Transform. In: The First International Nonlinear Dynamics Conference, 2019-02-17 - 2019-02-20, Sapienza University of Rome.

Allais, Guillaume; Abel, Andreas and Nordvall Forsberg, Fredrik and Kaposi, Ambrus, eds. (2019) Typing with leftovers : a mechanization of Intuitionistic Multiplicative-Additive Linear Logic. In: 23rd International Conference on Types for Proofs and Programs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, HUN, pp. 1-22. ISBN 1868-8969

Alhayan, Fatimah and Pennington, Diane and Ayouni, Sara; (2018) Measuring passive engagement with health information on social media. In: 2018 21st Saudi Computer Society National Computer Conference. IEEE, SAU. ISBN 9781538641118

Alsolai, Hadeel; (2018) Predicting software maintainability in object-oriented systems using ensemble techniques. In: 2018 IEEE International Conference on Software Maintenance and Evolution. IEEE, ESP, pp. 716-721. ISBN 9781538678701

Alshahrani, Hussain and Rasmussen Pennington, Diane (2018) "Why not use it more?" Sources of self-efficacy in researchers’ use of social media for knowledge sharing. Journal of Documentation, 74 (6). pp. 1274-1292. ISSN 0022-0418

Atkey, Bob and Wood, James (2018) Context constrained computation. In: 3rd Workshop on Type-Driven Development (TyDe '18), 2018-09-27 - 2018-09-27.

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Proceedings of the ACM on Programming Languages (PACMPL), 2 (ICFP). pp. 1-30. 90. ISSN 2475-1421

Al-Ahmari, S. and Renaud, K. and Omoronyia, I.; Clarke, Nathan L. and Furnell, Steven M., eds. (2018) A systematic review of Information security knowledge-sharing research. In: 12th International Symposium on Human Aspects of Information Security & Assurance. University of Plymouth, Plymouth, pp. 101-110. ISBN 9780244402549

Alcolei, Aurore and Clairambault, Pierre and Hyland, Martin and Winskel, Glynn; Ghica, Dan R. and Jung, Achim, eds. (2018) The true concurrency of Herbrand's theorem. In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, GBR, 5:1-5:22. ISBN 9783959770880

Alkharashi, Abdulwhab and Renaud, Karen; (2018) Privacy in crowdsourcing : a systematic review. In: Information Security. Lecture Notes in Computer Science . Springer-Verlag, Cham, Switzerland, pp. 387-400. ISBN 9783319991351

Alshahrani, Amnah and Ross, Isla and Wood, Murray; (2018) Using social cognitive career theory to understand why students choose to study computer science. In: Proceedings of the 2018 ACM Conference on International Computing Education Research. ACM, New York, N.Y..

Albladi, Samar Muslah and Weir, George R.S.; (2018) A semi-automated security advisory system to resist cyber-attack in social networks. In: Computational Collective Intelligence - 10th International Conference, ICCCI 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11055 . Springer-Verlag, GBR, pp. 146-156. ISBN 9783319984421

Azzopardi, Leif and Dubiel, Mateusz and Halvey, Martin and Dalton, Jeffery (2018) Conceptualizing agent-human interactions during the conversational search process. In: The Second International Workshop on Conversational Approaches to Information Retrieval, 2018-07-12 - 2018-07-12.

Atkey, Robert; (2018) The syntax and semantics of quantitative type theory. In: LICS '18. ACM, New York, pp. 56-65. ISBN 978-1-4503-5583-4

Azzopardi, Leif and Thomas, Paul and Craswell, Nick (2018) Measuring the utility of search engine result pages : an information foraging based measure. In: 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, 2018-07-08 - 2018-07-12.

Adetunla, Gbenga and Agbetuyi, Priscillia (2018) Preservation and conservation of electronic information resources in university libraries in Southwest, Nigeria. International research Journal of library and information science, 8 (2). pp. 299-312.

Anderson, Maureen and Revie, Crawford W. and Quail, Jacqueline M. and Wodchis, Walter and de Oliveira, Claire and Osman, Meriç and Baetz, Marilyn and McClure, J. and Stryhn, Henrik and Buckeridge, David and Neudorf, Cordell (2018) The effect of socio-demographic factors on mental health and addiction high-cost use : a retrospective, population-based study in Saskatchewan. Canadian Journal of Public Health. pp. 1-11. ISSN 1920-7476

Ashton, Ruth E and Tew, Garry A and Aning, Jonathan J and Gilbert, Stephen E and Lewis, Liane and Saxton, John M (2018) Effects of short-term, medium-term and long-term resistance exercise training on cardiometabolic health outcomes in adults : systematic review with meta-analysis. British Journal of Sports Medicine. ISSN 1473-0480

Ahn, Song-ee and Rimpiläinen, Sanna (2018) Maintaining Sofia – or how to reach the intended learning outcomes during medical simulation training. International Journal of Learning Technology, 13 (2). pp. 115-129. ISSN 1741-8119

Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Kraus, Nicolai and Nordvall Forsberg, Fredrik; Baier, Christel and Dal Lago, Ugo, eds. (2018) Quotient inductive-inductive types. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Cham, pp. 293-310. ISBN 978-3-319-89365-5

Anderson, Damien and Stephenson, Matthew and Togelius, Julian and Salge, Christian and Levine, John and Renz, Jochen (2018) Deceptive games. Lecture Notes in Computer Science, 10784. pp. 376-391. ISSN 0302-9743

Albladi, Samar Muslah and Weir, George R.S. (2018) User characteristics that influence judgment of social engineering attacks in social networks. Human-centric Computing and Information Sciences, 8 (1). 5.

Albassam, Sarah Ahmed A and Ruthven, Ian (2018) Users' relevance criteria for video in leisure contexts. Journal of Documentation, 74 (1). pp. 62-79. ISSN 0022-0418

Albladi, Samar Muslah and Weir, George R S; Falch, Morten, ed. (2018) Personality traits and cyber-attack victimisation : multiple mediation analysis. In: Joint 13th CTTE and 10th CMI Conference on Internet of Things – Business Models, Users, and Networks. IEEE, DNK. ISBN 9781538631973

Azzopardi, Leif and Zuccon, Guido; Oulasvirta, Antti and Kristensson, Per Ola and Bi, Xiaojun and Howes, Andrew, eds. (2018) Economics models of interaction : a tutorial on modeling interaction using economics. In: Computational Interaction. Oxford University Press, Oxford. ISBN 9780198799610

Alkhurayyif, Yazeed and Weir, George R S (2017) Evaluating readability as a factor in information security policies. International Journal of Trend in Research and Development. pp. 54-64. ISSN 2394-9333

Albladi, Samar Muslah and Weir, George R S; (2017) Competence measure in social networks. In: 2017 IEEE International Carnahan Conference on Security Technology (ICCST). IEEE, ESP. ISBN 9781538615850

Alshahrani, Haya Mesfer S and Weir, George (2017) Hybrid Arabic text steganography. International Journal of Computer and Information Technology, 6 (6). pp. 329-338. 6. ISSN 2279-0764

Alkhurayyif, Yazeed and Weir, George R S; (2017) Readability as a basis for information security policy assessment. In: Seventh IEEE International Conference on Emerging Security Technologies (EST). IEEE, Piscataway, NJ. ISBN 9781538640180

Azzopardi, Leif and Crane, Matt and Fang, Hui and Ingersoll, Grant and Lin, Jimmy and Moshfeghi, Yashar and Scells, Harrisen and Yang, Peilin and Zuccon, Guido; (2017) The Lucene for information access and retrieval research (LIARR) workshop at SIGIR 2017. In: SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. ACM, New York, NY, pp. 1429-1430. ISBN 9781450350228

Ahn, Ki Yung and Horne, Ross and Tiu, Alwen; Meyer, Roland and Nestmann, Uwe, eds. (2017) A characterisation of open bisimilarity using an intuitionistic modal logic. In: 28th International Conference on Concurrency Theory. Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU, 7:1–7:17. ISBN 9783959770484

Akazue, Moses and Halvey, Martin and Baillie, Lynne (2017) Using thermal stimuli to enhance photo-sharing in social media. IMWUT Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 1 (2). 4. ISSN 2474-9567

Albanese, Emiliano and Launer, Lenore J. and Egger, Matthias and Prince, Martin J. and Giannakopoulos, Panteleimon and Wolters, Frank J. and Egan, Kieren (2017) Body mass index in midlife and dementia : systematic review and meta-regression analysis of 589,649 men and women followed in longitudinal studies. Alzheimer's & Dementia: Diagnosis, Assessment & Disease Monitoring, 8. pp. 165-178. ISSN 2352-8729

Albladi, Samar Muslah and Weir, George (2017) Factors affecting user's judgment of cyberattacks. In: International Conference of Big Data in Cybersecurity, 2017-05-10 - 2017-05-10, Edinburgh Napier University.

Aleisa, Noura and Renaud, Karen; (2017) Yes, I know this IoT device might invade my privacy, but I love it anyway. A study of Saudi Arabian perceptions. In: Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security - IoTBDS. International Conference on the Internet of Things . SCITEPRESS, PRT, pp. 198-205. ISBN 9789897582455

Alotaibi, Sultan Refa D and Roussinov, Dmitri (2017) User acceptance of m-government services in Saudi Arabia : an SEM approach. In: 17th European Conference on Digital Government, 2017-06-12 - 2017-06-13, Military Academy. (In Press)

Atkey, Robert; Yang, Hongseok, ed. (2017) Observed communication semantics for classical processes. In: Programming Languages and Systems. Lecture Notes in Computer Science . Springer, SWE, pp. 56-82.

Akazue, Moses and Halvey, Martin and Baillie, Lynne (2017) Using thermal stimuli to influence affect in different picture display sizes. Personal and Ubiquitous Computing. ISSN 1617-4909

Alotaibi, Sultan Refa D and Roussinov, Dmitri (2017) Using focus group method to identifying citizen requirements to Saudi mobile government services. In: 19th International Conference on e-Business and e-Government, 2017-03-14 - 2017-03-15.

Azzopardi, Leif; (2017) Building cost-benefit models of information interactions. In: Proceedings of the 2017 Conference on Human Information Interaction and Retrieval. ACM, NOR, pp. 425-428. ISBN 9781450346771

Azzopardi, Leif and Pickens, Jeremy and Shah, Chirag and Soulier, Laure and Tamine, Lynda; (2017) Second International Workshop on the Evaluation of Collaborative Information Seeking and Retrieval (Ecol'17). In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval. ACM, NOR, pp. 429-431. ISBN 9781450346771

Azzopardi, Leif and Moshfeghi, Yashar and Halvey, Martin and Alkhawaldeh, Rami S. and Balog, Krisztian and Di Buccio, Emanuele and Ceccarelli, Diego and Fernández-Luna, Juan M. and Hull, Charlie and Mannix, Jake and Palchowdhury, Sauparna (2017) Lucene4IR : developing information retrieval evaluation resources using Lucene. ACM SIGIR Forum, 50 (2). pp. 58-75. ISSN 0163-5840

Allais, Guillaume and Chapman, James and McBride, Conor and McKinna, James; Bertot, Yves and Vafeiadis, Viktor, eds. (2017) Type-and-scope safe programs and their proofs. In: CPP 2017. ACM, New York, NY, FRA. ISBN 9781450347051

Aleisa, Noura and Renaud, Karen (2017) Privacy of the internet of things : a systematic literature review. In: 50th Hawaii International Conference on System Sciences HICSS 2017, 2017-01-04 - 2017-01-07.

Almaghairbe, Rafig and Roper, Marc; (2016) Automatically classifying test results by semi-supervised learning. In: 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE). IEEE, CAN, pp. 116-126. ISBN 978-1-4673-9003-3

Albladi, Samar and Weir, George R S; Cartwright, Barry and Weir, George and Lau, Laurie Yiu-Chung, eds. (2016) Vulnerability to social engineering in social networks : a proposed user-centric framework. In: 2016 IEEE International Conference on Cybercrime and Computer Forensic (ICCCF). IEEE, CAN, pp. 95-100. ISBN 9781509060962

Abel, Andrew and Marxer, Ricard and Barker, Jon and Watt, Roger and Whitmer, Bill and Derleth, Peter and Hussain, Amir; Liu, Cheng-Lin and Hussain, Amir and Luo, Bin and Tan, Kay Chen and Zeng, Yi and Zhang, Zhaoxiang, eds. (2016) A data driven approach to audiovisual speech mapping. In: Advances in Brain Inspired Cognitive Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, CHN, pp. 331-342. ISBN 9783319496856

Al-Izki, Fathiya and Weir, George R S; (2016) Management attitudes toward information security in Omani public sector organisations. In: 2016 Cybersecurity and Cyberforensics Conference (CCC). Institute of Electrical and Electronics Engineers Inc., JOR, pp. 107-112. ISBN 9781509026579

Aßmuth, Andreas and Cockshott, Paul and Kipke, Jana and Renaud, Karen and Mackenzie, Lewis and Vanderbauwhede, Wim and Söllner, Matthias and Fischer, Tilo and Weir, George; (2016) Improving resilience by deploying permuted code onto physically unclonable unique processors. In: 2016 Cybersecurity and Cyberforensics Conference (CCC). IEEE, JOR, pp. 144-150. ISBN 9781509026579

Adetunla, Gbenga (2016) Perceived ease and use of Electronic Information resources by Undergraduates of private University in Oyo state, Nigeria. African Journal of Education and Practice, 1 (2). pp. 15-28.

Almaghairbe, Rafig and Roper, Marc (2016) Separating passing and failing test executions by clustering anomalies. Software Quality Journal. pp. 1-38. ISSN 1573-1367

Azzopardi, Leif and Zuccon, Guido; (2016) Advances in formal models of search and search behaviour. In: Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. ACM, New York, NY, USA, pp. 1-4. ISBN 9781450344975

Azzopardi, Leif and Zuccon, Guido; (2016) An analysis of the cost and benefit of search interactions. In: ICTIR '16 Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. ACM, New York,, pp. 59-68. ISBN 9781450344975

Alkaldi, Nora and Renaud, Karen; (2016) Why do people adopt, or reject, smartphone password managers? In: 1st European Workshop on Usable Security. Alexander von Humboldt Institute for Internet and Society, DEU. ISBN 1891562452

Alkaldi, N. and Renaud, K.; Clarke, Nathan L. and Furnell, Steven M., eds. (2016) Why do people adopt, or reject, smartphone security tools? In: 10th International Symposium on Human Aspects of Information Security and Assurance, HAISA 2016, 2016-07-19 - 2016-07-21.

Al Shauily, Huda and Renaud, Karen (2016) A framework for SQL learning : linking learning taxonomy, cognitive model and cross cutting factors. International Journal of Computer and Systems Engineering, 10 (9). pp. 3105-3111. ISSN 2769-3457

Abadi, Aydin and Terzis, Sotirios and Dong, Changyu; Grossklags, Jens and Preneel, Bart, eds. (2016) VD-PSI : verifiable delegated private set intersection on outsourced private datasets. In: Financial Cryptography and Data Security. Lecture Notes in Computer Science, 9603 . Springer-Verlag Berlin, BRB, pp. 149-168. ISBN 978-3-662-54969-8

Akazue, Moses and Halvey, Martin and Baillie, Lynne and Brewster, Stephen; (2016) The effect of thermal stimuli on the emotional perception of images. In: Proceedings of the 34th Annual ACM Conference on Human Factors in Computing Systems. ACM, USA, pp. 4401-4412. ISBN 9781450333627

Atkey, Robert and Lindley, Sam and Morris, J. Garrett; Lindley, Sam and McBride, Conor and Trinder, Phil and Sannella, Don, eds. (2016) Conflation confers concurrency. In: A List of Successes That Can Change the World. Lecture Notes in Computer Science, 9600 . Springer, pp. 32-55. ISBN 9783319309354

Alotaibi, Sultan Refa D and Roussinov, Dmitri (2016) Developing and validating an instrument for measuring mobile government adoption in Saudi Arabia. In: 18th International Conference on e-Business and e-Government, 2016-03-17 - 2016-03-18.

Arias, Veronica and Arnell, Grace and Chute, Chaloner and Faulds, Brendan and McIntyre, Don and Mackenzie, Kara and Rimpilainen, Sanna and Wood, Aaron (2016) Digital Enablers for Integrated Care – a Design Workshop. Digital Health & Care Institute, Glasgow.

Avgustinovich, Sergey and Kitaev, Sergey and Potapov, Vladimir and Vajnovszki, Vincent (2016) Gray coding cubic planar maps. Theoretical Computer Science, 616. pp. 59-69. ISSN 0304-3975

Alotaibi, Sultan Refa D and Roussinov, Dmitri (2016) Using GPower software to determine the sample size from the pilot study. In: The 9th Saudi Students Conference, 2016-02-13, University of Birmingham.

Aval, Jean-Christophe and D'Adderio, Michele and Dukes, Mark and Le Borgne, Yvan (2016) Two operators on sandpile configurations, the sandpile model on the complete bipartite graph, and a Cyclic Lemma. Advances in Applied Mathematics, 73. pp. 59-98. ISSN 0196-8858

Angoshtan, Marjan and Thorup, Tine and Baillie, Jen, Digital Health & Care Institute (DHI) Crooks, George, ed. (2016) Well Connected Blood Donation. Digital Health & Care Institute, Glasgow.

Azzopardi, Leif and Zuccon, Guido; (2016) Two scrolls or one click : a cost model for browsing search results. In: Advances in Information Retrieval. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9626 . Springer-Verlag, ITA, pp. 696-702. ISBN 9783319306704

Atkey, Robert and Sannella, Donald (2015) ThreadSafe : static analysis for Java concurrency. Electronic Communications of the EASST, 72. ISSN 1863-2122

Atkey, Robert and Johann, Patricia (2015) Interleaving data and effects. Journal of Functional Programming, 25. e20. ISSN 0956-7968

Al Azwari, Sana and Wilson, John N. (2015) Updating OWL2 ontologies using pruned rulesets. In: 11th International Conference on Semantic Systems, 2015-09-16 - 2015-09-17, Vienna University of Economics.

Agbakoba, Ruth and McGee-Lennon, Marilyn and Bouamrane, Matt-Mouley and Watson, Nicholas and Mair, Frances; Sarkar, Indra Neil and Georgiou, Andrew and de Azevedo Marques, Paulo Mazzoncini, eds. (2015) Implementing a national Scottish digital health & wellbeing service at scale : a qualitative study of stakeholders' views. In: MEDINFO 2015. Studies in Health Technology and Informatics, 216 . IOS Press, BRA, 487 - 491. ISBN 978-1-61499-563-0

Agbakoba, Ruth and McGee-Lennon, Marilyn and Bouamrane, Matt-Mouley and Watson, Nicholas and Mair, Frances S. (2015) Implementation factors affecting the large-scale deployment of digital health and well-being technologies : a qualitative study of the initial phases of the ‘Living-It-Up’programme. Health Informatics Journal. ISSN 1460-4582

Al Azwari, Sana and Wilson, John N.; Maneth, Sebastian, ed. (2015) Consistent RDF updates with correct dense deltas. In: Data Science. Lecture Notes in Computer Science, 9147 . Springer, GBR, pp. 74-86. ISBN 9783319204239

Aad, G and Abbott, B. and Abdallah, J. and Abdel Khalek, S. and Abdinov, O. and Aben, R. and Abi, B., The ATLAS collaboration (2015) Differential top-antitop cross-section measurements as a function of observables constructed from final-state particles using pp collisions at √s = 7TeV in the ATLAS detector. Journal of High Energy Physics, 2015 (100). ISSN 1029-8479

Abadi, Aydin and Terzis, Sortirios and Dong, Changyu (2015) O-PSI : delegated private set intersection on outsourced datasets. In: International Conference on ICT Systems Security and Privacy Protection, 2015-05-26 - 2015-05-28.

Alba, Anna and Dórea, Fernanda C. and Arinero, Lucas and Sanchez, Javier and Cordón, Ruben and Puig, Pere and Revie, Crawford W. (2015) Exploring the surveillance potential of mortality data : nine years of bovine fallen stock data collected in Catalonia (Spain). PLoS ONE, 10 (4). e0122547. ISSN 1932-6203

Azzopardi, Leif (2015) A game of search. CEUR Workshop Proceedings, 1345. pp. 4-6. ISSN 1613-0073

Akrobotu, P. and Kitaev, S. and Masarova, Z. (2015) On word-representability of polyomino triangulations. Siberian Advances in Mathematics, 25 (1). pp. 1-10. ISSN 1934-8126

Al Azwari, Sana and Wilson, John N.; (2015) The cost of reasoning with RDF updates. In: Proceedings of the 9th IEEE International Conference on Semantic Computing (IEEE ICSC 2015). IEEE, Piscataway, New Jersey, United States, pp. 328-331. ISBN 9781479979356

Alotaibi, Sultan Refa D and Roussinov, Dmitri (2015) Applying mixed research methods to mobile government studies in Saudi Arabia. In: The 8th Saudi Students Conference, 2015-01-31, Imperial College London.

Aad, G and Abbott, B. and Abdallah, J. and Abdel Khalek, S. and Abdinov, O. and Aben, R. and Abi, B. and Abolins, M., The ATLAS collaboration (2015) Measurement of the tt production cross-section as a function of jet multiplicity and jet transverse momentum in 7 TeV proton-proton collisions with the ATLAS detector. Journal of High Energy Physics, 2015 (20). 20. ISSN 1029-8479

Ahn, Song-ee and Rimpiläinen, Sanna and Theodorsson, Annette and Fenwick, Tara and Dahlgren, Madeleine Abrandt (2015) Learning in technology-enhanced medical simulation : locations and knowings. Professions and Professionalism, 5 (3). ISSN 1893-1049

Al Izki, Fathiya Hamed Salim and Weir, George; Jahankhani, H and Carlile, A and Akhgar, B and Hessami, A. G. and Hosseinian-Far, A, eds. (2015) Gender impact on information security in the Arab world. In: Global Security, Safety and Sustainability: Tomorrow's Challenges of Cyber Security. Communications in Computer and Information Science, 534 (1). Springer International Publishing AG, GBR, pp. 200-207. ISBN 978-3-319-23276-8

Almaghairbe, Rafig and Roper, Marc; (2015) Building test oracles by clustering failures. In: 2015 IEEE/ACM 10th International Workshop on Automation of Software Test (AST). IEEE, pp. 3-7.

Alotaibi, Sultan and Roussinov, Dmitri; (2015) A conceptual model for examining mobile government adoption in Saudi Arabia. In: Proceedings of the European Conference on e-Government, ECEG. Academic Conferences Limited, pp. 369-375. ISBN 9781910810194

Angoshtan, Marjan and Bradley, Jay and Thorup, Tine, Digital Health & Care Institute (DHI) Crooks, George, ed. (2015) Better Back. Digital Health & Care Institute, Glasgow.

Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam; Altenkirch, Thorsten, ed. (2015) Models for polymorphism over physical dimensions. In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL, pp. 999-1013.

Albert, M. H. and Atkinson, M. D. and Claesson, Anders (2014) Isomorphisms between pattern classes. Journal of Combinatorics, 6 (1-2). pp. 3-17. ISSN 2156-3527 (In Press)

Al Izki, Fathiya and Weir, George (2014) Information security and digital divide in the Arab world. In: Cyberforensics 2014 - International Conference on Cybercrime, Security & Digital Forensics, 2014-06-23 - 2014-06-24, University of Strathclyde.

Aval, Jean-Christophe and D'Adderio, Michele and Dukes, Mark and Hicks, Angela and Le Borgne, Yvan (2014) Statistics on parallelogram polyominoes and a q,t-analogue of the Narayana numbers. Journal of Combinatorial Theory Series A, 123 (1). pp. 271-286. ISSN 0097-3165

Atkey, Robert and Ghani, Neil and Johann, Patricia; (2014) A relationally parametric model of dependent type theory. In: POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT. ACM, USA, pp. 503-515. ISBN 9781450325448

Atkey, Robert; Sewell, Peter, ed. (2014) From parametricity to conservation laws, via Noether's Theorem. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, USA, pp. 491-502. ISBN 9781450325448

Atminas, Aistis and Kitaev, Sergey and Lozin, Vadim and Valyuzhenich, Alexander (2013) Universal graphs and universal permutations. Discrete Mathematics, Algorithms and Applications, 5 (4). ISSN 1793-8317

Ahn, Song-ee and Rimpilainen, Sanna and Fenwick, Tara and Dahlgren, Madeleine Abrandt (2013) Learning in technology-enhanced medical simulation : locations and knowings. In: BSAS7, 2013-10-18 - 2013-10-18, Center for Advanced Medical Simulation and Training at Karolinska Institutet.

Allais, Guillaume and McBride, Conor and Boutillier, Pierre; (2013) New equations for neutral terms : a sound and complete decision procedure, formalized. In: DTP '13: Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. ACM, New York, pp. 13-24. ISBN 9781450323840

Atkey, Robert and McBride, Conor; (2013) Productive coprogramming with guarded recursion. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming. ACM, New York, NY. (In Press)

Aunis, Coline and Astic, Isabelle and Gressier-Soudan, Eric and Damala, Areti (2013) L’expérience PLUG-Université Paris-Nuit : un juste équilibre entre apprentissage et jeu. La Lettre de l'OCIM, 145. ISSN 0994-1908

Atkey, Robert and Johann, Patricia and Kennedy, Andrew; Giacobazzi, Roberto and Cousot, Radhia, eds. (2013) Abstraction and invariance for algebraically indexed types. In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, GBR, pp. 87-100. ISBN 9781450318327

Avgustinovich, Sergey and Kitaev, Sergey and Valyuzhenich, Alexander (2013) Avoidance of boxed mesh patterns on permutations. Discrete Applied Mathematics, 161 (1-2). pp. 43-51. ISSN 0166-218X

Aval, Jean-Christophe and D'Adderio, Michele and Dukes, Mark and Hicks, Angela and Le Borgne, Yvan; (2013) A q,t-analogue of Narayana numbers. In: DMTCS Proceedings. Discrete Mathematics & Theoretical Computer Science, Nancy, France, pp. 623-634.

Avgustinovich, Sergey and Kitaev, Sergey and Valyuzhenich, Alexander (2012) Crucial and bicrucial permutations with respect to arithmetic monotone patterns. Siberian Electronic Mathematical Reports, 9. pp. 660-671.

Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). 9. ISSN 1860-5974

Aad, G and Abbott, B. and Abdallah, J. and Abdelalim, A .A. and Abdesselam, A. and Abdinov, O. and Abi, B. and Abolins, M. and Bell, William, The ATLAS collaboration (2012) Measurement of the top quark pair production cross-section with ATLAS in the single lepton channel. Physics Letters B, 711 (3-4). pp. 244-263. ISSN 0370-2693

Aad, G and Abbott, B. and Abdallah, J. and Abdelalim, A .A. and Abdesselam, A. and Abdinov, O. and Abi, B. and Abolins, M., The ATLAS collaboration (2012) A measurement of the ratio √ of the W and Z cross sections with exactly one associated jet in pp collisions at s = 7 TeV with ATLAS. Phys.Lett. B, 708 (3-5). pp. 221-240. ISSN 0370-2693

Atkey, Robert; (2012) Relational parametricity for higher kinds. In: Computer science logic. EPTCS . UNSPECIFIED. (In Press)

Atkey, Robert; Dershowitz, Nachum, ed. (2012) The semantics of parsing with semantic actions. In: Proceedings of the Twenty-Seventh Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2012). UNSPECIFIED. (In Press)

Atkey, Robert and Ghani, Neil and Jacobs, Bart and Johann, Patricia; Birkedal, Lars, ed. (2012) Fibrational induction meets effects. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science, 7213 . Springer, EST, pp. 42-57.

Altenkirch, Thorsten and Morris, Peter and Nordvall Forsberg, Fredrik and Setzer, Anton; Corradini, Andrea and Klin, Bartek and Cîrstea, Corina, eds. (2011) A categorical semantics for inductive-inductive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, GBR, pp. 70-84. ISBN 9783642229435

Atkey, Robert (2011) Amortised resource analysis with separation logic. Logical Methods in Computer Science, 7 (2). 17.

Aad, G and Abbott, B. and Abdallah, J. and Abdelalim, A .A. and Abdesselam, A. and Abdinov, O. and Abi, B. and Abolins, M. and Bell, William, The ATLAS collaboration (2011) Charged-particle multiplicities in pp interactions measured with the ATLAS detector at the LHC. New Journal of Physics, 13 (053033). 053033. ISSN 1367-2630

Aad, G and Abbott, B. and Abdallah, J. and Abdelalim, A .A. and Abdesselam, A. and Abdinov, O. and Abi, B. and Abolins, M. and Bell, William, The ATLAS collaboration (2011) Measurements of underlying-event properties using neutral and charged particles in pp collisions at 900 GeV and 7 TeV with the ATLAS detector at the LHC. European Physical Journal C, C71 (1636). 1636. ISSN 1434-6044

Astic, Isabelle and Aunis, Coline and Damala, Areti and Gressier-Soudan, Eric (2011) A ubiquitous mobile edutainment application for learning science through play. In: 15th Annual Museums and the Web Conference, 2011-04-06 - 2011-04-09.

Atkey, Robert (2011) What is a categorical model of arrows? Electronic Notes in Theoretical Computer Science, 229 (5). pp. 19-37. ISSN 1571-0661

Albert, Michael and Atkinson, Michael and Bouvel, Mathilde and Claesson, Anders and Dukes, Mark (2011) On the inverse image of pattern classes under bubble sort. Journal of Combinatorics, 2 (2). pp. 231-243. ISSN 2156-3527

Atkey, Robert and Johann, Patricia and Ghani, Neil; Hofmann, Martin, ed. (2011) When is a type refinement an inductive type. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science . Springer, pp. 72-87. ISBN 978-3-642-19804-5

Avgustinovich, Sergey and Kitaev, Sergey and Pyatkin, Artem and Valyuzhenich, Alexander (2011) On square-free permutations. Journal of Automata, Languages and Combinatorics, 16 (1). pp. 3-10.

Aad, G and Abat, E. and Abbott, B. and Abdallah, J. and Abdelalim, A .A. and Abdesselam, A. and Abdinov, O. and Abi, B. and Bell, William, The ATLAS collaboration (2010) Charged-particle multiplicities in pp interactions at √s = 900 GeV measured with the ATLAS detector at the LHC. Physics Letters B, 688 (1). pp. 21-42. ISSN 0370-2693

Avgustinovich, Sergey and Glen, Amy and Halldorsson, Bjarni and Kitaev, Sergey (2010) On shortest crucial words avoiding abelian powers. Discrete Applied Mathematics, 158 (6). pp. 605-607. ISSN 0166-218X

Aspinall, David and Atkey, Robert and MacKenzie, Kenneth and Sannella, Donald; Wirsing, Martin and Hofmann, Martin and Rauschmayer, Axel, eds. (2010) Symbolic and analytic techniques for resource analysis of Java bytecode. In: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science, 6084 . Springer, pp. 1-22. ISBN 9783642156397

Atkey, Robert; Gordon, Andrew, ed. (2010) Amortised resource analysis with separation logic. In: Proceedings of 19th European Symposium on Programming, ESOP 2010. Lecture Notes in Computer Science, 6012 . Springer, pp. 85-103.

Anwar, Nadia and Hunt, Ela (2009) Francisella tularensis novicida proteomic and transcriptomic data integration and annotation based on semantic web technologies. BMC Bioinformatics, 10 (Suppl ). S3.

Atkey, Bob (2009) A deep embedding of parametric polymorphism in Coq. In: 4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, 2009-09-04.

Atkey, Robert (2009) Parameterised notions of computation. Journal of Functional Programming, 19 (3-4). pp. 335-376. ISSN 0956-7968

Anwar, Nadia and Hunt, Ela (2009) Improved data retrieval from TreeBASE via taxonomic and linguistic data enrichment. BMC Evolutionary Biology, 9. 93. ISSN 1471-2148

Azzopardi, L. and Hudson, S. and Perry, L. and Mallia, C. and Serracino-Inglot, A. and Camilleri, V.F. (2009) Evaluation of the integration of a pharmacist into the hospital outpatient clinic providing care in rheumatoid arthritis. Pharmacy World and Science, 31 (1). pp. 59-60. ISSN 0928-1231

Abdullah, Noorhidawati and Gibb, F. (2009) Students' attitudes towards e-books in a Scottish higher education institute. Part 3: Search and browse tasks. Library Review, 58 (1). pp. 17-27. ISSN 0024-2535

Abdullah, Noorhidawati and Gibb, F. (2009) Students' reactions towards e-books in a University library collection. International Journal of the Book, 5 (1). pp. 107-112. ISSN 1447-9516

Atkey, Robert; Lenisa, Marina and Tarlecki, Andrzej, eds. (2009) Algebras for parameterised monads. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Lecture Notes in Computer Science, 5728 . Springer, pp. 3-17.

Atkey, Robert; Curien, Pierre-Louis, ed. (2009) Syntax for free: representing syntax with binding using parametricity. In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009. Lecture Notes in Computer Science, 5608 . Springer, pp. 35-49. ISBN 978-3-642-02272-2

Atkey, Robert and Lindley, Sam and Yallop, Jeremy; Weirich, Stephanie, ed. (2009) Unembedding domain-specific languages. In: Haskell '09 Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell. ACM Press, GBR, pp. 37-48. ISBN 978-1-60558-508-6

Andrew, A.; Stergiou, K. and Yap, R., eds. (2008) Automatically detecting neighbourhood constraint interactions using comet. In: Proceedings of the CP 2008 Doctoral Programme. University of New South Wales, pp. 7-12.

Andrew, A. and Levine, J.; Naveh, Y. and Flener, P., eds. (2008) Automatically detecting neighbourhood constraint interactions using Comet. In: 5th International Workshop on Local Search Techniques in Constraint Satisfaction, 2008-09-15.

Avgustinovich, Sergey and Kitaev, Sergey (2008) On uniquely k-determined permutations. Discrete Mathematics, 308 (9). pp. 1500-1507. ISSN 0012-365X

Abdullah, N. and Gibb, F. (2008) Students' attitudes towards e-books in a Scottish higher education institute. Part 2: Analysis of e-book usage. Library Review, 57 (9). pp. 676-689. ISSN 0024-2535

Abdullah, N. and Gibb, F.; MacDonald, Craig and Ounis, I and Plachouras, V and Ruthven, Ian and White, R.W., eds. (2008) Using a task-based approach in evaluating the usability of BoBIs in an e-book environment. In: Advances in Information Retrieval. Lecture Notes in Computer Science . Springer-Verlag, Berlin, pp. 246-257. ISBN 978-3-540-78645-0

Abdullah, Noorhidawati and Gibb, Forbes (2008) Students' attitudes towards e-books in a Scottish higher education institute : part 1 - web survey. Library Review, 57 (8). pp. 593-605. ISSN 0024-2535

Atkey, Robert; (2008) CoqJVM : an executable specification of the Java Virtual Machine using dependent types. In: Types for Proofs and Programs (TYPES 2007). Lecture Notes in Computer Science, 4941 . Springer, [Berlin], pp. 18-33. ISBN 9783540681038

Azzopardi, Leif and Baillie, Mark and Ruthven, Ian; (2007) Persuasive, authorative and topical answers for complex question answering. In: The Sixteenth Text REtrieval Conference (TREC 2007) Proceedings. NIST, USA.

Andrew, A. and Levine, J. and Long, D.; (2007) Constraint directed variable neighbourhood search. In: Proceedings of the 4th International Workshop on Local Search Techniques in Constraint Satisfaction held at CP 2007. UNSPECIFIED.

Anagnostou, N. K. and Weir, G. R. S. (2007) Average collocation frequency as an indicator of semantic complexity. In: ICTATLL Workshop 2007, 2007-08-01 - 2007-08-02.

Avgustinovich, Sergey and Kitaev, Sergey (2007) On uniquely k-determined permutations. In: 19th International Conference on Formal Power Series & Algebraic Combinatorics, 2007-07-02 - 2007-07-06, Nankai University.

Abdullah, N. and Gibb, F. (2006) A survey of e-book awareness and usage amongst students in an academic library. In: Proceedings of International Conference of Multidisciplinary Information Sciences and Technologies, Merida, 25-28 October, 2006, 2006-10-25 - 2006-10-28.

Anagnostou, N.K. and Weir, G.R.S. (2006) From corpus-based collocation frequencies to readability measure. In: ICT in the Analysis, Teaching and Learning of Languages, Preprints of the ICTATLL Workshop 2006, 2006-08-21 - 2006-08-22.

Anagnostou, N.K. and Weir, G.R.S. (2006) Review of software applications for deriving collocations. In: ICT in the Analysis, Teaching and Learning of Languages, Preprints of the ICTATLL Workshop 2006, 2006-08-21 - 2006-08-22.

Azzopardi, Leif and Baillie, Mark and Crestani, Fabio; (2006) Adaptive query-based sampling for distributed IR. In: SIGIR '06 Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR '06 . ACM, New York, NY, USA, pp. 605-606. ISBN 1595933697

Azzopardi, Leif and de Rijke, Maarten; (2006) Automatic construction of known-item finding test beds. In: SIGIR '06 Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR '06 . ACM, New York, NY, USA, pp. 603-604. ISBN 1-59593-369-7

Atkey, Robert; (2006) Parameterised notions of computation. In: Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP). Electronic Workshops in Computing . British Computer Society, London, pp. 1-15.

Atkey, Robert (2006) Specifying and verifying heap space allocation with JML and ESC/Java2. In: Formal Techniques for Java-like Programs, 2006-07-04 - 2006-07-04.

Azzopardi, C. and Azzopardi, L. and Baillie, M. and Bierig, R. and Nicol, E. and Ruthven, I. and Sweeney, S.; Voorhees, E.M. and Buckland, L.P., eds. (2006) Contextual information and assessor characteristics in complex question answering. In: The Fifteenth Text REtrieval Conference (TREC 2006) Proceedings. NIST.

Azzopardi, L. and Baillie, M. and Crestani, F. (2006) Adaptive query-based sampling for distributed IR. In: 29th Annual ACM Conference on Research and Development in Information Retrieval, 2006-08-06 - 2006-08-11.

Azzopardi, Leif and Losada, David E.; (2006) An efficient computation of the multiple-bernoulli language model. In: Advances in Information Retrieval. Lecture Notes in Computer Science, 3936 . Springer-Verlag, Berlin, Heidelberg, pp. 480-483. ISBN 978-3-540-33347-0

Azzopardi, Leif and Balog, Krisztian and De Rijke, Maarten (2005) Language modeling approaches for enterprise tasks. NIST Special Publication, 500-266. ISSN 1048-776X

Azzopardi, L. and Girolami, M. and van Rijsbergen, C.J.; (2005) Topic based language models for ad hoc information retrieval. In: 2004 IEEE International Joint Conference on Neural Networks. IEEE, HUN, pp. 3281-3286. ISBN 0780383591

Atkinson, D.C. and Hayward, G. (2001) Active fibre waveguide sensor for embedded structural condition monitoring. IEE Proceedings Science Measurement and Technology, 148 (4). pp. 158-166. ISSN 1350-2344

Alexander, N. and Brown, C. and Jose, J.M. and Ruthven, I. and Tombros, A.; Voorhees, E.M. and Harman, D.K., eds. (2000) Question-answering, relevance feedback and summarisation : TREC-9 interactive track report. In: Proceedings of the Ninth Text Retrieval Conference (TREC-9), 2000-11-13 - 2000-11-16.

Amati, G. and Crestani, F. (1999) Probabilistic learning for selective dissemination of information. Information Processing and Management, 35 (5). pp. 633-654. ISSN 0306-4573

Alty, J.L. and Weir, G.R.S.; (1987) Dialogue design for dynamic systems. In: ESPRIT '87: Achievements and Impact; Proceedings of the 4th Annual ESPRIT Conference, Brussels, Belgium, 28-29 September 1987. Elsevier, Amsterdam. ISBN 0444703330

B

Boerlage, Annette S. and Shrestha, Shailesh and Leinonen, Ilkka and Jansen, Mona Dverdal and Revie, Crawford W. and Reeves, Aaron and Toma, Luiza (2024) Sea lice management measures for farmed Atlantic salmon (Salmo salar) in Scotland : costs and effectiveness. Aquaculture, 580 (Part 1). 740274. ISSN 0044-8486

Bamaga, Arwa and Terzis, Sotirios and Zafar, Bassam (2023) Quality factors impacting e-learning within the mobile environment in Saudi Arabia universities : an interview study. International Journal of Data and Network Science, 8 (1). pp. 269-288. ISSN 2561-8156

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D.; (2023) Propositional Logics for Lawvere Quantale. In: 39th Conference on Mathematical Foundations of Programming Semantics MFPS XXXIX. Proceedings - Symposium on Logic in Computer Science . EPI SCP, USA.

Banuqitah, Huda (2023) Motivating engagement and performance in crowdsourced image labelling through gamification. In: 11th AAAI Conference on Human Computation and Crowdsourcing, 2023-11-06 - 2023-11-09.

Ballreich, Fabian Lucas and Volkamer, Melanie and Müllmann, Dirk and Berens, Benjamin and Häußler, Elena Marie and Renaud, Karen; (2023) Encouraging organisational information security incident reporting. In: EuroUSEC '23. ACM International Conference Proceeding Series . ACM, DNK, 224–236. ISBN 9798400708145

Bolt, Joe and Hedges, Jules and Zahn, Philipp (2023) Bayesian open games. Compositionality, 5 (9). ISSN 2631-4444

Bursuc, Sergiu and Horne, Ross and Mauw, Sjouke and Yurkov, Semen (2023) Provably unlinkable smart card-based payments. Other. arXiv, Ithaca, NY.

Bispham, Mary and Sattar, Suliman Kalim and Zard, Clara and Ferrer-Aran, Xavier and Edu, Jide and Suarez-Tangil, Guillermo and Such, Jose; Lee, Minha and Munteanu, Cosmin, eds. (2023) Misinformation in third-party voice applications. In: Proceedings of the 5th International Conference on Conversational User Interfaces, CUI 2023. ACM, New York, NY.. ISBN 9798400700149

Baiyekusi, Oluwatobi and Lee, Haeyoung and Moessner, Klaus; (2023) Nodes number estimation based on ML for multi-operator unlicensed band sharing to extend indoor connectivity. In: 2023 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, Piscataway, NJ.. ISBN 9781665491228

Bello, Musa Ibrahim and Thomas, Daniel R.; (2023) Curbing ghost worker fraud in developing countries using consortium blockchain. In: IWSPA '23. ACM, USA, pp. 77-83. ISBN 9798400700996

Bond, Sarah and Kyfonidis, Charalampos and Jamieson, Matthew and Maguire, Roma and McCann, Lisa and Watson, Angus and Brogan, Michelle and Lennon, Marilyn (2023) Evaluation of an innovative colon capsule endoscopy service in Scotland from the perspective of patients : mixed methods study. Journal of Medical Internet Research, 25. e45181. ISSN 1438-8871

Belabbes, Mohamed Amine and Ruthven, Ian and Moshfeghi, Yashar and Pennington, Diane (2023) Information overload : a concept analysis. Journal of Documentation, 79 (1). pp. 144-159. ISSN 0022-0418

Breslin Davda, Frances and Buchanan, Steven (2022) Exploring the early manifestation of information poverty in young children. Journal of Librarianship and Information Science, 56 (1). pp. 164-177. ISSN 0961-0006

Bella, Giampaolo and Ophoff, Jacques and Renaud, Karen and Sempreboni, Diego and Viganò, Luca (2022) Perceptions of beauty in security ceremonies. Philosophy & Technology, 35 (3). p. 72. 72. ISSN 2210-5433

Bourquard, Aurélien and Yan, Jeff (2022) Differential imaging forensics : a feasibility study. Other. University of Strathclyde, Glasgow.

Bezrucav, Stefan-Octavian and Canal, Gerard and Coles, Andrew and Cashmore, Michael and Corves, Burkhard (2022) Towards automatic state recovery for replanning. In: IntEx Workshop on Integrated Planning, Acting, and Execution, 2022-06-17 - 2022-06-17, Virtual.

Bello, Musa Ibrahim and Thomas, Daniel R.; (2022) Potentials of blockchain technology to payroll systems. In: SAIS 2022 Proceedings. AIS eLibrary, [Atlanta, GA.].

Bongiovanni, Ivano and Renaud, Karen and Brydon, Humphrey and Blignaut, Renette and Cavallo, Angelo (2022) A quantification mechanism for assessing adherence to information security governance guidelines. Information and Computer Security, 30 (4). pp. 517-548. ISSN 2056-4961

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2021) Tensor of quantitative equational theories. In: 9th Conference on Algebra and Coalgebra in Computer Science, 2021-08-31 - 2021-09-03.

Bezrucav, Stefan-Octavian and Canal, Gerard and Cashmore, Michael and Corves, Burkhard (2021) An action interface manager for ROSPlan. In: The International Conference on Automated Planning and Scheduling 2021, 2021-08-02 - 2021-08-13, Virtual.

Berquand, Audrey and Moshfeghi, Yashar and Riccardi, Annalisa (2021) SpaceLDA : topic distributions aggregation from a heterogeneous corpus for space systems. Engineering Applications of Artificial Intelligence, 102. 104273. ISSN 0952-1976

Blesa, Manuel and Galdi, Paola and Cox, Simon R. and Sullivan, Gemma and Stoye, David Q. and Lamb, Gillian J. and Quigley, Alan J. and Thrippleton, Michael J. and Escudero, Javier and Bastin, Mark E. and Smith, Keith M. and Boardman, James P. (2021) Hierarchical complexity of the macro-scale neonatal brain. Cerebral Cortex, 31 (4). pp. 2071-2084. ISSN 1047-3211

Bailey, Daniel P. and Edwardson, Charlotte L. and Pappas, Yannis and Dong, Feng and Hewson, David J. and Biddle, Stuart J. H. and Brierley, Marsha L. and Chater, Angel M. (2021) A randomised-controlled feasibility study of the REgulate your SItting Time (RESIT) intervention for reducing sitting time in individuals with type 2 diabetes : study protocol. Pilot and Feasibility Studies, 7 (1). 76. ISSN 2055-5784

Buksz, Dorian and Mujumdar, Anusha and Orlić, Marin and Mohalik, Swarup and Daoutis, Marios and Badrinath, Ramamurthy and Magazzeni, Daniele and Cashmore, Michael and Feljan, Anerta Vulgarakis; (2021) Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020. IEEE International Conference on Intelligent Robots and Systems . IEEE, Piscataway, N.J., pp. 6733-6740. ISBN 9781728162126

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu and Tang, Qiyi and van Breugel, Franck (2021) Computing probabilistic bisimilarity distances for probabilistic automata. Logical Methods in Computer Science, 17 (1). 9:1-9:36. 9. ISSN 1860-5974

Bongiovanni, Ivano and Renaud, Karen (2020) Universities are a juicy prize for cyber criminals. Here are 5 ways to improve their defences. The Conversation.

Bevan, David and Brignall, Robert and Elvey Price, Andrew and Pantone, Jay (2020) A structural characterisation of Av(1324) and new bounds on its growth rate. European Journal of Combinatorics, 88. 103115. ISSN 0195-6698

Bongiovanni, Ivano and Renaud, Karen and Aleisa, Noura (2020) The privacy paradox : we claim we care about our data, so why don't our actions match? The Conversation.

Buchanan, William and Imran, Muhammad and Pagliari, Claudia and Pell, Jill and Rimpiläinen, Sanna (2020) Use of Participatory Apps in Contact Tracing – Options and Implications for Public Health, Privacy and Trust. University of Strathclyde, Glasgow.

Bañón, Marta and Chen, Pinzhen and Haddow, Barry and Heafield, Kenneth and Hoang, Hieu and Esplà-Gomis, Miquel and Forcada, Mikel and Kamran, Amir and Kirefu, Faheem and Koehn, Philipp and Ortiz-Rojas, Sergio and Pla, Leopoldo and Ramírez-Sánchez, Gema and Sarrías, Elsa and Strelec, Marek and Thompson, Brian and Waites, William and Wiggins, Dion and Zaragoza, Jaume; (2020) ParaCrawl : web-scale acquisition of parallel corpora. In: ACL 2020 - 58th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Proceedings of the Annual Meeting of the Association for Computational Linguistics . Association for Computational Linguistics (ACL), USA, pp. 4555-4567. ISBN 9781952148255

Bailey, Daniel P. and Mugridge, Lucie H. and Dong, Feng and Zhang, Xu and Chater, Angel M. (2020) Randomised controlled feasibility study of the MyHealthAvatar-Diabetes smartphone app for reducing prolonged sitting time in Type 2 diabetes mellitus. International Journal of Environmental Research and Public Health, 17 (12). 4414. ISSN 1660-4601

Beaudrap, Niel de and Duncan, Ross and Horsman, Dominic and Perdrix, Simon (2020) Pauli Fusion : a computational model to realise quantum transformations from ZX terms. Electronic Proceedings in Theoretical Computer Science, 318. pp. 85-105. ISSN 2075-2180

Brettle, Alison and Pennington, Diane (2020) Good practice in NHS-funded library and knowledge services. Library and Information Research, 43 (127). pp. 1-3. ISSN 1756-1086

Borlund, Pia and Ruthven, Ian (2020) Information need : introduction to the special issue. Information Processing and Management, 57 (2). 102103. ISSN 0306-4573

Bongiovanni, Ivano and Renaud, Karen and Cairns, George (2020) Securing intellectual capital : an exploratory study in Australian universities. Journal of Intellectual Capital, 21 (3). pp. 481-505. ISSN 1469-1930

Berquand, Audrey and Moshfeghi, Yashar and Riccardi, Annalisa; (2020) Space mission design ontology : extraction of domain-specific entities and concepts similarity analysis. In: AIAA Scitech 2020 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, USA, pp. 1-13. ISBN 9781624105951

Beyene, Tariku Jibat and Fitzpatrick, Meagan C. and Galvani, Alison P. and Mourits, Monique C.M. and Revie, Crawford W. and Cernicchiaro, Natalia and Sanderson, Michael W. and Hogeveen, Henk (2019) Impact of One-Health framework on vaccination cost-effectiveness : a case study of rabies in Ethiopia. One Health, 8. 100103. ISSN 2352-7714

Bwalya, Tuesday and Akakandelwa, Akakandelwa and Dobreva-McPherson, Milena (2019) Adoption and use of free and open source software (foss) globally : an overview and analysis of selected countries. Zambia Journal of Library & Information Science (ZAJLIS), 3 (1-2). pp. 48-66. ISSN 2708-2695

Berquand, Audrey and McDonald, Iain and Riccardi, Annalisa and Moshfeghi, Yashar (2019) The automatic categorisation of space mission requirements for the Design Engineering Assistant. In: 70th International Astronautical Congress, 2019-10-21 - 2019-10-25.

Banerjee, Srijit and Semper, Kelly and Skarparis, Katy and Naisby, Jenni and Lewis, Liane and Cucato, Gabriel and Mills, Robert and Rochester, Mark and Saxton, John (2019) Patient perspectives of vigorous intensity aerobic interval exercise prehabilitation prior to radical cystectomy : a qualitative focus group study. Disability and Rehabilitation. pp. 1-26. ISSN 0963-8288

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu and Tang, Qiyi and van Breugel, Franck; Fokkink, Wan and van Glabbeek, Rob, eds. (2019) Computing probabilistic bisimilarity distances for probabilistic automata. In: 30th International Conference on Concurrency Theory, CONCUR 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, NLD. ISBN 9783959771214

Bourquard, Aurélien and Yan, Jeff (2019) Differential imaging forensics. Other. arXiv.org, Ithaca, N.Y..

Bouamrane, Matt-Mouley and Meiklem, Ramsay and Dunlop, Mark and Kingsmore, David and Thomson, Peter and Stevenson, Karen and Greenwood, Sharon (2019) Haemodialysis electronic patient portal : a design requirements analysis and feasibility study with domain experts. In: IEEE 32nd International Symposium on Computer-Based Medical Systems, 2019-06-05 - 2019-06-07.

Bello, Musa Ibrahim and Benson, Yusuf Baha and Hamman, Ibrahim (2019) Model for performance management system of corporate organizations in Nigeria. Journal of Polymer and Textile Engineering (IOSR-JPTE), 6 (3). pp. 38-46. ISSN 2348-019X

Bello, Musa Ibrahim and Ismail, Kabir and Adamu, Iliyasu (2019) Archiving framework : a hybrid of internal server-base and cloud-base digital system for ministries. Journal of Engineering Research and Application, 9 (5). pp. 55-66. ISSN 2248-9622

Barlocco, Simone and Kupke, Clemens and Rot, Jurriaan; Bojańczyk, Mikołaj and Simpson, Alex, eds. (2019) Coalgebra learning via duality. In: International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Cham, Switzerland, pp. 62-79. ISBN 9783030171278

Buchanan, Steven and Jardine, Cara and Ruthven, Ian (2019) Information behaviours in disadvantaged and dependent circumstances and the role of information intermediaries. Journal of the Association for Information Science and Technology, 70 (2). pp. 117-129. ISSN 2330-1643

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2019) Converging from branching to linear metrics on Markov chains. Mathematical Structures in Computer Science, 29 (Specia). pp. 3-37. ISSN 1469-8072

Buchanan, Steven and Nicol, Emma (2019) Developing health information literacy in disengaged at-risk populations : insights to inform interventions. Journal of Documentation, 75 (1). pp. 172-189. ISSN 0022-0418

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2018) A complete quantitative deduction system for the bisimilarity distance on Markov chains. Logical Methods in Computer Science, 14 (4). 15. ISSN 1860-5974

Biljon, Judy Van and Renaud, Karen; Baguma, Rehema and Sören Pettersson, John, eds. (2018) M4D reflections on the maturity of the Mobile Communication Technology for Development (M4D). In: Proceedings of the 6th International Conference on M4D Mobile Communication Technology for Development. Karlstad University Studies, UGA, pp. 7-18. ISBN 9789170639814

Bugaje, Maryam and Chowdhury, Gobinda; Žumer, Maja and Hinze, Annika and Dobreva, Milena, eds. (2018) Identifying design requirements of a user-centered research data management system. In: Maturity and Innovation in Digital Libraries - 20th International Conference on Asia-Pacific Digital Libraries, ICADL 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, NZL, pp. 335-347. ISBN 9783030042561

Buchanan, Steven and Nicol, Emma (2018) Developing health information literacy in disadvantaged and dependent circumstances : the everyday role of Family Nurses. In: European Conference on Information Literacy 2018, 2018-09-24 - 2018-09-27.

Borgo, Rita and Cashmore, Michael and Magazzeni, Daniele (2018) Towards Providing Explanations for AI Planner Decisions. In: IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI), 2018-07-13 - 2018-07-13, Stockholmsmässan.

Beyene, Tariku Jibat and Mindaye, Beakal and Leta, Samson and Cernicchiaro, Natalie and Revie, Crawford W. (2018) Understanding factors influencing dog owners' intention to vaccinate against rabies evaluated using health belief model constructs. Frontiers in Veterinary Science, 5. 159. ISSN 2297-1769

Bacci, Giorgio and Furber, Robert and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Scott, Dana; (2018) Boolean-valued semantics for the stochastic λ-calculus. In: LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, GBR, pp. 669-678. ISBN 9781450355834

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon; (2018) An algebraic theory of Markov processes. In: LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, GBR, pp. 679-688. ISBN 9781450355834

Beyene, T. J. and Mourits, M. C. M. and Revie, C. W. and Hogeveen, H. (2018) Determinants of health seeking behaviour following rabies exposure in Ethiopia. Zoonoses and Public Health, 65 (4). pp. 443-453. ISSN 1863-1959

Bott, Gregory J. and Renaud, Karen; Vance, Anthony, ed. (2018) Are 21st-century citizens grieving for their loss of privacy? In: 2018 IFIP 8.11/11.13 Dewald Roode Information Security Workshop, 2018-06-14 - 2018-06-15.

Bradley, Jay and Blom, Jeroen, Digital Health & Care Institute (DHI) Glasgow School of Art Crooks, George, ed. (2018) SCOTCAP. Digital Health & Care Institute, Glasgow.

Bevan, David (2018) Intervals of permutation class growth rates. Combinatorica, 38 (2). pp. 279-303. ISSN 1439-6912

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2018) Complete axiomatization for the total variation distance of Markov chains. Electronic Notes in Theoretical Computer Science, 336. pp. 27-39. ISSN 1571-0661

Bugaje, Maryam and Chowdhury, Gobinda; Chowdhury, Gobinda and McLeod, Julie and Gillet, Val and Willett, Peter, eds. (2018) Data retrieval = Text retrieval? In: Transforming Digital Worlds - 13th International Conference, iConference 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, GBR, pp. 253-262. ISBN 9783319781044

Budurushi, Jurlind and Neumann, Stephan and Renaud, Karen and Volkamer, Melanie (2018) Introduction to special issue on e-voting. Journal of Information Security and Applications, 38. pp. 122-123. ISSN 2214-2134

Bevan, David and Homberger, Cheyne and Tenner, Bridget Eileen (2018) Prolific permutations and permuted packings : downsets containing many large patterns. Journal of Combinatorial Theory Series A, 153. pp. 98-121. ISSN 0097-3165

Buchanan, Steven and Jardine, Cara and Ruthven, Ian; (2018) Developing information literacy in dependent and disadvantaged circumstances : a transitional approach in the digital health context. In: Fifth European Conference on Information Literacy (ECIL), Sep 18-21 2017, Saint-Malo, France. Communications in Computer and Information Science . Springer, Cham, Switzerland, pp. 409-418. ISBN 978-3-319-74333-2

Beyene, Tariku Jibat and Asfaw, Fentahun and Getachew, Yitbarek and Tufa, Takele Beyene and Collins, Iain and Beyi, Ashenafi Feyisa and Revie, Crawford W. (2018) A smartphone-based application improves the accuracy, completeness, and timeliness of cattle disease reporting and surveillance in Ethiopia. Frontiers in Veterinary Science, 5. ISSN 2297-1769

Bello, Musa Ibrahim and Adamu, Iliyasu and Watsilla, Hilary and Ismail Umar, Kabir (2017) Multi-layer perceptron network for English character recognition. American Journal of Engineering Research (AJER), 6 (6). pp. 86-92. ISSN 2320-0847

Barlocco, Simone and Kupke, Clemens; Artemov, Sergei and Nerode, Anil, eds. (2017) Angluin learning via logic. In: Logical Foundations of Computer Science. Lecture Notes in Computer Science . Springer, USA, pp. 72-90. ISBN 9783319720555

Banerjee, Srijit and Manley, Kate and Shaw, Barnabas and Lewis, Liane and Cucato, Gabriel and Mills, Robert and Rochester, Mark and Clark, Allan and Saxton, John M. (2017) Vigorous intensity aerobic interval exercise in bladder cancer patients prior to radical cystectomy: a feasibility randomised controlled trial. Supportive Care in Cancer. ISSN 1433-7339

Beyene, Tariku Jibat and Eshetu, Amanuel and Abdu, Amina and Wondimu, Etenesh and Beyi, Ashenafi Feyisa and Tufa, Takele Beyene and Ibrahim, Sami and Revie, Crawford W. (2017) Assisting differential clinical diagnosis of cattle diseases using smartphone-based technology in low resource settings : a pilot study. BMC Veterinary Research, 13 (1). 323. ISSN 1746-6148

Bevan, David (2017) Large butterfly Cayley graphs and digraphs. Discrete Mathematics, 340 (10). pp. 2432-2436. ISSN 0012-365X

Beattie, David and Baillie, Lynne and Halvey, Martin (2017) Exploring how drivers perceive spatial earcons in automated vehicles. IMWUT Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 1 (3). 36. ISSN 2474-9567

Bradley, Jay and Tulloch, Angela, Digital Health & Care Institute (DHI) Glasgow School of Art Crooks, George, ed. (2017) Nursing Records and Open Innovation. Digital Health & Care Institute, Glasgow.

Bevan, David and Brignall, Robert and Elvey Price, Andrew and Pantone, Jay (2017) Staircases, dominoes, and the growth rate of 1324-avoiders. Electronic Notes in Discrete Mathematics, 61. 123–129. ISSN 1571-0653

Beale, Andrew D. and Pedrazzoli, Mario and Gonçalves, Bruno da Silva B and Beijamini, Felipe and Duarte, Núbia E. and Egan, Kieren J. and Knutson, Kristen L. and Schantz, Malcolm von and Roden, Laura C. (2017) Comparison between an African town and a neighbouring village shows delayed, but not decreased, sleep during the early stages of urbanisation. Scientific Reports, 7. pp. 1-10. 5697. ISSN 2045-2322

Biljon, Judy Van and Renaud, Karen (2017) Harnessing both information and knowledge visualisation to represent a community of practice : depicting the ICT4D researcher community in South Africa. In: African Conference On Information Systems & Technology, 2017-07-10 - 2017-07-11.

Bacci, Giovanni and Bacci, Giorgio and Larsen, Kim G. and Mardare, Radu; Muscholl, Anca and Indyk, Piotr and Kuhn, Fabian and Chatzigiannakis, Ioannis, eds. (2017) On the metric-based approximate minimization of Markov chains. In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL. ISBN 9783959770415

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2017) On-the-fly computation of bisimilarity distances. Logical Methods in Computer Science, 13 (2). pp. 1-25. 13. ISSN 1860-5974

Beyene, TJ and Asfaw, F and Getachew, Y and Beyene, T and Collins, I and Beyi, FA and Revie, CW; (2017) Improving cattle disease reporting and surveillance in Ethiopia using smartphone-based application. In: Proceeding of the 3rd International Conference of Animal Health Surveillance. New Zealand Veterinary Association, Wellington, New Zealand, pp. 77-80.

Bevan, David (2017) The permutation class Av(4213,2143). Discrete Mathematics and Theoretical Computer Science, 18 (2). #10. ISSN 1365-8050

Barron, Simon and Clark, Ian and Jones, Rebecca and McDonald, SarahLouise and Smith, Lauren (2017) Radical librarians collective gathering 2016, Brighton. Journal of Radical Librarianship, 3. pp. 1-11. ISSN 2399-956X

Bevan, David and Erskine, Grahame and Lewis, Robert (2017) Large circulant graphs of fixed diameter and arbitrary degree. Ars Mathematica Contemporanea, 13 (2). 275–291. ISSN 1855-3966

Biswas, Arnab Kumar and Ghosal, Dipak and Nagaraja, Shishir (2017) A survey of timing channels and countermeasures. ACM Computing Surveys, 50 (1). 6. ISSN 1557-7341

Buchanan, Steven and Jardine, Cara and Ruthven, Ian; (2017) Meaningful digital health interventions : bridging digital divides via tailored design. In: 8th Annual Innovation in Healthcare Delivery Systems 2017 Symposium. McCombs School of Business, University of Texas at Austin, USA. (In Press)

Buchel, Olga and Pennington, Diane; Sloan, Luke and Quan-Haase, Anabel, eds. (2017) Geospatial analysis. In: The Sage Handbook of Social Media Research Methods. Sage, London. ISBN 9781473916326

Bradley, Jay and Johnson, Michael, Digital Health & Care Institute (DHI) Crooks, George, ed. (2017) Glimpse : Movement for Wellbeing in the Workplace. Digital Health & Care Institute, Glasgow.

Buivys, Martynas and Azzopardi, Leif (2016) Pienapple search : an integrated search interface to support finding, refinding and sharing. Proceedings of the Association for Information Science and Technology, 53 (1). pp. 1-5. ISSN 2373-9231

Beijamini, F. and Knutson, K. L. and Lorenzi-Filho, G. and Egan, K. J. and Taporoski, T. P. and De Paula, L. K. G. and Negrão, A. B. and Horimoto, A. R. V. R. and Duarte, N. E. and Vallada, H. and Krieger, J. E. and Pedrazzoli, M. and Pereira, A. C. and von Schantz, M. (2016) Timing and quality of sleep in a rural Brazilian family-based cohort, the Baependi Heart Study. Scientific Reports, 6. 39283. ISSN 2045-2322

Blignaut, Renette and Venter, Isabella and Renaud, Karen (2016) Granny gets smarter but Junior hardly notices. The Journal of Community Informatics, 12 (3). pp. 159-172.

Besharat, Jeries and Komninos, Andreas and Papadimitriou, George and Lagiou, Eirini and Garofalakis, John (2016) Augmented paper maps : design of POI markers and effects on group navigation. Journal of Ambient Intelligence and Smart Environments, 8 (5). pp. 515-530. ISSN 1876-1364

Buchanan, Steven (2016) Health information behaviours : insights informing health literacy interventions and practices. In: Making it Easy, 2016-10-26, The Grassmarket Centre.

Boyle, Joanne and Morrison, Ciarán and Rooney, Laura (2016) Emergency Information Services Exploratory. Digital Health & Care Institute, Glasgow.

Bezhanishvili, Nick and Kupke, Clemens; Cantone, Domenico and Delzanno, Giorgio, eds. (2016) Games for topological fixpoint logic. In: Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Electronic Proceedings in Theoretical Computer Science, ITA, pp. 46-60.

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu; Desharnais, Josee and Jagadeesan, Radha, eds. (2016) Complete axiomatization for the bisimilarity distance on Markov chains. In: 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, CAN. ISBN 9783959770170

Bevan, David and Levin, Derek and Nugent, Peter and Pantone, Jay and Pudwell, Lara and Riehl, Manda and Tlachac, ML (2016) Pattern avoidance in forests of binary shrubs. Discrete Mathematics and Theoretical Computer Science, 18 (2). ISSN 1365-8050

Byström, Katriina and Ruthven, Ian and Heinström, Jannica (2016) Work and information : which workplace models still work in modern digital workplaces? In: 9th International Conference on Conceptions of Library and Information Science (CoLIS 9), 2016-06-27 - 2016-06-29, Sweden. (In Press)

Buchanan, Steven and Tuckerman, Lauren (2016) The information behaviours of disadvantaged and disengaged adolescents. Journal of Documentation, 72 (3). pp. 527-548. ISSN 0022-0418

Bevan, David (2016) The permutation classes Av(1234,2341) and Av(1243,2314). Australasian Journal of Combinatorics, 64. 3–20. ISSN 1034-4942

Biljon, Judy Van and Renaud, Karen (2015) Postgraduate dissertation assessment : exploring extant use and potential efficacy of visualisations. The African Journal of Information and Communication, 15. pp. 25-37. ISSN 2077-7213

Breen, Sibilah and Ritchie, David and Schofield, Penelope and Hsueh, Ya-Seng and Gough, Karla and Santamaria, Nick and Kamateros, Rose and Maguire, Roma and Kearney, Nora and Aranda, Sanchia (2015) The Patient Remote Intervention and Symptom Management System (PRISMS) - a telehealth- mediated intervention enabling real-time monitoring of chemotherapy side-effects in patients with haematological malignancies : study protocol for a randomised controlled trial. Trials, 16. 472. ISSN 1745-6215

Beattie, David and Baillie, Lynne and Halvey, Martin; (2015) A comparison of artificial driving sounds for automated vehicles. In: UbiComp '15. ACM, JPN, pp. 451-462. ISBN 978-1-4503-3574-4

Buchanan, Steven and Loudon, Katherine Jane and Tuckerman, Lauren (2015) Reaching the disadvantaged and disengaged in times of crisis : towards an understanding of information behaviours to inform interventions. In: International Federation Library Associations World Library Information Congress (IFLA WLIC 2015), 2015-08-15 - 2015-08-21, Cape Town International Convention Centre.

Biljon, Judy Van and Renaud, Karen (2015) Do visualizations ease dissertation assessment? In: 44th SACLA Conference, 2015-07-02 - 2015-07-03.

Buchanan, Steven and Loudon, Katherine Jane (2015) "First-time mother syndrome"? First-time mothers' information practices and their relationships with healthcare professionals. In: i3 Information Interactions and Impact, 2015-04-23 - 2015-04-26, Robert Gordon University. (In Press)

Beattie, David and Baillie, Lynne and Halvey, Martin and McCall, Roderick (2015) Adapting SatNav to meet the demands of future automated vehicles. In: CHI 2015 Workshop on Experiencing Autonomous Vehicles: Crossing the Boundaries between a Drive and a Ride, 2015-04-19 - 2015-04-19, South Korea.

Berger, Ulrich and Lawrence, Andrew and Nordvall Forsberg, Fredrik and Seisenberger, Monika (2015) Extracting verified decision procedures : DPLL and resolution. Logical Methods in Computer Science, 11 (1). 6. ISSN 1860-5974

Barker, Lecia and Cooper, Stephen and McGettrick, Andrew and Thatcher, Jason and Topi, Heikki; (2015) Towards grand challenges in computing education across disciplines : setting an agenda for research and pedagogy. In: SIGCSE 2015 - Proceedings of the 46th ACM Technical Symposium on Computer Science Education. ACM, USA, pp. 438-439. ISBN 9781450329668

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim Guldstrand and Mardare, Radu; Pitts, Andrew, ed. (2015) On the total variation distance of semi-markov chains. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9034 . Springer-Verlag, GBR, pp. 185-199. ISBN 9783662466773

Bouamrane, M.-M. and Tao, C. and Sarkar, I. N. (2015) Managing interoperability and complexity in health systems. Methods of Information in Medicine, 54 (1). pp. 1-4. ISSN 0026-1270

Blom, Jeroen, Digital Health & Care Institute (DHI) Crooks, George, ed. (2015) Insole : Project Report. Digital Health & Care Institute, Glasgow.

Blom, Jeroen, Digital Health & Care Institute (DHI) Crooks, George, ed. (2015) LED. Digital Health & Care Institute, Glasgow.

Bevan, David (2014) Growth rates of geometric grid classes of permutations. The Electronic Journal of Combinatorics, 21 (4). pp. 1-17. ISSN 1077-8926

Bouamrane, Matt-Mouley and Mair, Frances S (2014) Implementation of an integrated preoperative care pathway and regional electronic clinical portal for preoperative assessment. BMC Medical Informatics and Decision Making, 14 (93).

Beattie, David and Baillie, Lynne and Halvey, Martin and McCall, Rod; (2014) What's around the corner? Enhancing driver awareness in autonomous vehicles via in-vehicle spatial auditory displays. In: NordiCHI '14 Proceedings of the 8th Nordic Conference on Human-Computer Interaction. ACM, FIN, pp. 189-198. ISBN 9781450325424

Byun, Jongbok and Pennington, Diane and Cardenas, Jorge and Dutta, Srabasti and Kirwan, Jeral (2014) Understanding student behaviors in online classroom : data scientific approach. In: 3rd IEEE International Congress on Big Data, BigData Congress 2014, 2014-06-27 - 2014-07-02.

Barthels, Sanne-Ree and French, Tara, Digital Health & Care Institute (DHI) Crooks, George, ed. (2014) Boys and their Toys. Digital Health & Care Institute, Glasgow.

Bouamrane, Matt-Mouley and Mair, Frances S. (2014) A qualitative evaluation of general practitioners’ views on protocol-driven eReferral in Scotland. BMC Medical Informatics and Decision Making, 14. 30. ISSN 1472-6947

Bouamrane, Matt-Mouley and Mair, Frances S. (2014) A study of clinical and information management processes in the surgical pre-assessment clinic. BMC Medical Informatics and Decision Making, 14. 22. ISSN 1472-6947

Bertot, Yves and Allais, Guillaume (2014) Views of pi : definition and computation. Journal of Formalized Reasoning, 7 (1). pp. 105-129. ISSN 1972-5787

Bjørneseth, Frøy Birte and Clarke, Loraine and Dunlop, Mark and Komandur, Sashidharan (2014) Towards an understanding of operator focus using eye-tracking in safety-critical maritime settings. In: International Conference on Human Factors in Ship Design & Operation, 2014-02-26 - 2014-02-27, RINA HQ.

Bonifati, Angela and Goodfellow, Martin and Manolescu, Ioana and Sileo, Dominica (2013) Algebraic incremental maintenance of XML views. ACM Transactions on Database Systems (TODS), 38 (3). 14. ISSN 0362-5915

Bluestein, Barry and Scotland, Susan and Nicoll, Gordon and Barclay, K. and Kim, Dongwoo and Lunts, Phillip and Baxter, Colin and Miller, George; Crooks, George, ed. (2013) Evaluation of Ambulance Based Troponin Measurements : A Feasibility and Impact Pilot Study of the Utility of pre-Hospital POC Testing of Cardiac Biomarkers on Patients Presenting with Acute Chest Pain. University of Strathclyde, Glasgow.

Barnum, Howard and Duncan, Ross and Wilce, Alexander (2013) Symmetry, compact closure and dagger compactness for categories of convex operational models. Journal of Philosophical Logic, 42 (3). pp. 501-523. ISSN 0022-3611

Bouamrane, Matt-Mouley and Mair, Frances S (2013) A study of general practitioners’ perspectives on electronic medical records systems in NHSScotland. BMC Medical Informatics and Decision Making, 13. 58. ISSN 1472-6947

Brown, Graeme Taylor and McMenemy, David (2013) The implementation of internet filtering in Scottish public libraries. Aslib Proceedings, 65 (2). pp. 182-202. ISSN 0001-253X

Bjorneseth, Froy Birte and Dunlop, Mark and Hornecker, Eva (2012) Assessing the effectiveness of direct gesture interaction for a safety critical maritime application. International Journal of Human Computer Studies, 70 (10). 729–745. ISSN 1071-5819

Balatsoukas, Panagiotis and Ruthven, Ian (2012) An eye-tracking approach to the analysis of relevance judgments on the web : the case of Google search engine. Journal of the American Society for Information Science and Technology, 63 (9). pp. 1728-1746. ISSN 1532-2890

Bezhanishvili, N. and Kupke, Clemens and Panangaden, Prakash; Ong, Luke and de Queiroz, Ruy, eds. (2012) Minimization via duality. In: Logic, Language, Information and Computation. Lecture Notes in Computer Science, 7456 . Springer, ARG, pp. 191-205. ISBN 9783642326202

Benton, Nick and Hur, Chung-Kil and Kennedy, Andrew and McBride, Conor (2012) Strongly typed term representations in Coq. Journal of Automated Reasoning, 49 (2). pp. 141-159. ISSN 0168-7433

Buchanan, Steven and Gibb, Forbes and Simmons, Susan and McMenemy, David (2012) Digital library collaboration : a service-oriented perspective. Library Quarterly, 82 (3). pp. 337-359. ISSN 0024-2519

Buchanan, Steven and McMenemy, David (2012) Digital service analysis and design : the role of process modelling. International Journal of Information Management, 32 (3). pp. 251-256. ISSN 0268-4012

Buchanan, Steven and Cousins, Fionnuala (2012) Evaluating the strategic plans of public libraries : an inspection-based approach. Library and Information Science Research, 34 (2). pp. 125-130. ISSN 0740-8188

Burstein, Alexander and Jelínek, Vít and Jelínková, Eva and Steingrimsson, Einar (2011) The Möbius function of separable and decomposable permutations. Journal of Combinatorial Theory Series A, 118 (8). 2346–2364.

Bache, R. and Crestani, F. (2011) A generative model of offenders' spatial behaviour. International Journal of Uncertainty, Fuzziness and Knowledge Based Systems, 19 (5). pp. 825-842. ISSN 0218-4885

Balatsoukas, P. and OBrien, A. and Morris, A. (2011) The effects of discipline on the application of learning object metadata in UK higher education : the case of the Jorum repository. Information Research, 16 (3). 481. ISSN 1368-1613

Brändén, Petter and Claesson, Anders (2011) Mesh patterns and the expansion of permutation statistics as sums of permutation patterns. The Electronic Journal of Combinatorics, 18 (2). P5.

Baillie, M. and Carman, M. and Crestani, F. (2011) A multi-collection latent topic model for federated search. Information Retrieval, 14. pp. 390-412. ISSN 1573-7659

Bernini, A. and Ferrari, L. and Steingrimsson, E. (2011) The Möbius function of the consecutive pattern poset. The Electronic Journal of Combinatorics, 18 (1). P146.

Bousquet-Melou, Mireille and Claesson, Anders and Dukes, Mark and Kitaev, Sergey (2010) (2+2)-free posets, ascent sequences and pattern avoiding permutations. Journal of Combinatorial Theory Series A, 117 (7). pp. 884-909.

Beresi, U. Cervino and Kim, Y. and Song, D. and Ruthven, I. and Baillie, M.; (2010) Relevance in technicolor. In: 14th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2010). UNSPECIFIED, GBR.

Blanke, T. and Candela, L. and Hedges, M. and Priddy, M. and Simeoni, F. (2010) Deploying general-purpose virtual research environments for humanities research. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 368 (1925). pp. 3813-3828. ISSN 1471-2962

Bjorneseth, F. B. and Dunlop, M. D. and Hornecker, E.; (2010) Assessing the effectiveness of multi-touch interfaces for DP operation. In: Proceedings of the International Conference on Human Performance At Sea (HPAS), Glasgow 2010. UNSPECIFIED, GBR. ISBN 9780947649739

Buchanan, S. and McMenemy, D.; Lalmas, M. and Jose, J. and Rauber, A. and Sebastiani, F. and Frommholz, I., eds. (2010) Towards a public library digital service taxonomy. In: Research and advanced technology for digital libraries. Lecture Notes in Computer Science . Springer-Verlag, GBR, pp. 425-428. ISBN 9783642154638

Buchanan, S. and McMenemy, D. and Ruthven, I. and Cousins, F. (2010) From strategy to information systems architecture: a review of public library strategic planning. In: UNSPECIFIED.

Buchanan, Steven; Woodsworth, Anne, ed. (2010) Planning strategically, designing architecturally : a framework for digital library services. In: Advances in librarianship. Advances in Librarianship . Emerald Publishing Limited, Bingley, UK, pp. 159-180. ISBN 9781849509787

Barry, Peter and Gardner, Susanne and Seal, David and Gettinby, George and Lees, Fiona and Peterson, Magnus and Revie, Crawford, ESCRS Endophthalmitis Study Group (2009) Clinical observations associated with proven and unproven cases in the ESCRS study of prophylaxis of postoperative endophthalmitis after cataract surgery. Journal of Cataract and Refractive Surgery, 35 (9). pp. 1523-1531. ISSN 0886-3350

Ballarini, Paolo and Mardare, Radu and Mura, Ivan (2009) Analysing biochemical oscillations through probabilistic model checking. Electronic Notes in Theoretical Computer Science, 229 (1). pp. 3-19. ISSN 1571-0661

Baillie, M. and Lees, F. and Gettinby, G. and Revie, C.W. (2009) The use of prevalence as a measure of lice burden: a case study of Lepeophtheirus salmonis on Scottish Atlantic salmon, Salmo salar L., farms. Journal of Fish Diseases, 32 (1). pp. 15-25. ISSN 0140-7775

Bell, K.R.W. and Smith, A.J. and Coles, A.I. and Fox, Maria and Long, Derek (2009) The role of AI planning as a decision support tool in power substation management. AI Communications, 22 (1). pp. 37-57. ISSN 0921-7126

Bache, R. and Baillie, M. and Crestani, F. (2009) Measuring the likelihood property of scoring functions in general retrieval models. Journal of the American Society for Information Science and Technology, 60 (6). pp. 1294-1297.

Bousquet-Melou, Mireille and Claesson, Anders and Dukes, Mark and Kitaev, Sergey (2009) Unlabeled (2+2)-free posets, ascent sequences and pattern avoiding permutations. In: 21st International Conference on Formal Power Series & Algebraic Combinatorics, 2009-07-20 - 2009-07-24.

Buchanan, S. and McMenemy, D. (2009) Evaluating digital library usefulness. In: UNSPECIFIED.

Buchanan, S. and Salako, A. (2009) Evaluating the usability and usefulness of a digital library. Library Review, 58 (9). pp. 638-651. ISSN 0024-2535

Bjorneseth, F. B. and Dunlop, M. D. and Strand, J. P.; (2008) Dynamic Positioning Systems - Usability and Interaction. In: Proceedings of NordiCHI 2008. Association for Computing Machinery (ACM). ISBN 978-1-59593-704-9

Bell, K.R.W. and Coles, A.I. and Fox, M. and Long, Derek and Smith, A.J. (2008) The application of planning to power substation voltage control. In: ICAPS Workshop on Scheduling and Planning (SPARK), 2008-09-14 - 2008-09-18.

Buchanan, S. and Gibb, F. (2008) The information audit : theory versus practice. International Journal of Information Management, 28 (3). pp. 150-160. ISSN 0268-4012

Baillie, Mark and Azzopardi, Leif and Ruthven, Ian (2008) Evaluating epistemic uncertainty under incomplete assessments. Information Processing and Management, 44 (2). pp. 811-837. ISSN 0306-4573

Buchanan, S. and Gibb, F. (2008) The information audit : methodology selection. International Journal of Information Management, 28 (1). pp. 3-11. ISSN 0268-4012

Brown, A.J. and Catterson, V.M. and Fox, M. and Long, D. and McArthur, S.D.J. IEEE , ed. (2008) Learning models of plant behavior for anomaly detection and condition monitoring. In: International Conference on Intelligent Systems Applications to Power Systems, 2007-11-05 - 2007-11-08.

Borlund, P. and Ruthven, I. (2008) Introduction to the special issue on evaluating interactive information retrieval systems. Information Processing and Management, 44 (1). pp. 1-3. ISSN 0306-4573

Boddy, M. and Fox, M. and Thiebaux, S. (2008) The seventeenth international conference on automated planning and scheduling (icaps-07). AI Magazine, 29 (3). pp. 116-119.

Burns, Susan and Weir, George; Jahankhani, Hamid and Revett, Kenneth and Palmer-Brown, Dominic, eds. (2008) Trends in smartcard fraud. In: Proceedings of the 4th International Conference on Global E-Security. Communications in Computer and Information Science . Springer-Verlag. ISBN 978-3-540-69403-8

Burstein, Alexander and Kitaev, Sergey (2008) Partially ordered patterns and their combinatorial interpretations. Pure Mathematics and Applications, 19 (2-3). pp. 27-38. ISSN 1218-4586

Burstein, Alexander and Kitaev, Sergey and Mansour, Toufik (2008) Counting independent sets in certain classes of (almost) regular graphs. Pure Mathematics and Applications, 19 (2-3). pp. 17-26. ISSN 1218-4586

Barry, P. and Seal, D. and Gettinby, G. and Lees, F. and Peterson, M. and Revie, C.W., ESCRS Endophthalmitis Study Group (2007) Prophylaxis of postoperative endophthalmitis following cataract surgery: Results of the ESCRS multicenter study and identification of risk factors. Journal of Cataract and Refractive Surgery, 33 (6). pp. 978-988. ISSN 0886-3350

Brown, A.J. and Catterson, V.M. and Fox, M. and Long, D. and McArthur, S.D.J. (2007) Learning models of plant behavior for anomaly detection and condition monitoring. Engineering Intelligent Systems for Electrical Engineering and Communications, 15 (2). pp. 61-67. ISSN 1472-8915

Buchanan, S. and Gibb, F. (2007) The information audit: role and scope. International Journal of Information Management, 27 (3). pp. 159-172. ISSN 0268-4012

Baillie, M. and Azzopardi, L. and Ruthven, I.; (2007) A retrieval evaluation methodology for incomplete relevance assessments. In: Advances in Information Retrieval: 29th European Conference on IR Research (ECIR 2007). Lecture Notes in Computer Science, 4425 . Springer. ISBN 978-3-540-71494-1

Brookens, A. and Poulter, A. (2007) Support for alternative publishing by public libraries in Scotland. Library Review, 36 (7). pp. 585-602.

Burton, P. (2007) On reading 'The banning of books in libraries'. Library Review, 56 (3). pp. 197-199. ISSN 0024-2535

Breslin, F. and McMenemy, D. (2006) The decline in book borrowing from Britain's public libraries : a small-scale Scottish study. Library Review, 55 (7). pp. 414-428. ISSN 0024-2535

Baillie, Mark and Azzopardi, Leif and Crestani, Fabio; (2006) Towards better measures : evaluation of estimated resource description quality for distributed IR. In: InfoScale '06 Proceedings of the 1st International Conference on Scalable Information Systems. InfoScale '06 . ACM, New York, NY, USA. ISBN 1-59593-428-6

Baillie, M. and Azzopardi, L. and Crestani, F.; (2006) An evaluation of resource description quality measures. In: Proceedings of the 2006 ACM symposium on Applied computing. ACM, FRA, pp. 1110-1111. ISBN 1595931082

Barry, P. and Seal, D.V. and Gettinby, G. and Lees, F. and Peterson, M. and Revie, C.W. (2006) ESCRS study of prophylaxis of postoperative endophthalmitis after cataract surgery: preliminary report of principal results from a European multicenter study. Journal of Cataract and Refractive Surgery, 32 (3). pp. 407-410. ISSN 0886-3350

Bevan, David (2006) Sets of points determining only acute angles and some related colouring problems. The Electronic Journal of Combinatorics, 13 (1). R12. ISSN 1077-8926

Baillie, M. and Azzopardi, L. and Crestani, F. (2006) Adaptive query-based sampling of distributed collections. In: 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), 2006-10-11 - 2006-10-13.

Baillie, M. and Azzopardi, L. and Crestani, F. (2006) Towards better measures: evaluation of estimated resource description quality for distributed IR. In: First International Conference on Scalable Information Systems, 2006-05-30 - 2006-06-01.

Baillie, M. and Crestani, F. and Landoni, M.; (2006) PENG: integrated search of distributed news archives. In: Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval. ACM, pp. 607-608. ISBN 1-59593-369-7

Baillie, Mark and Ruthven, Ian; (2006) Examining assessor attributes at HARD 2005. In: Proceedings of the 29th Annual ACM Conference on Research and Development in Information Retrieval (SIGIR '06). ACM Press, New York, NY., pp. 609-610. ISBN 1595933697

Balog, Krisztian and Azzopardi, Leif and de Rijke, Maarten; (2006) Formal models for expert finding in enterprise corpora. In: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. ACM, New York, NY, USA, pp. 43-50. ISBN 1-59593-369-7

Bouville, Christian and Damala, Areti; Niccolucci, Franco and Geser, Guntram and Varricchio, Teresa, eds. (2006) Converging towards broadband, augmented and platform independent "intelligent" cultural heritage applications. In: Digital Applications for Tangible Cultural Heritage. Archaeolingua, Hungary, pp. 88-92. ISBN 9638046686

Bradley, N.A. and Dunlop, M.D.; Johnson, M., ed. (2006) Navigation AT: context-aware computing. In: Assistive Technology for Vision-Impaired and Blind People. Springer. ISBN 978-1-84628-866-1

Bradley, N.A. and Dunlop, M.D. (2005) An experimental investigation into wayfinding directions for visually impaired people. Personal and Ubiquitous Computing, 9 (6). pp. 395-403. ISSN 1617-4909

Bailey, Alex and Ruthven, Ian and Azzopardi, Leif; (2005) Evaluating user studies in information access. In: Context. CoLIS'05, 3507 . Springer-Verlag, Berlin, Heidelberg, p. 251. ISBN 978-3-540-26178-0

Borriello, G. and LaMarca, A. and Chalmers, M. and Nixon, P. (2005) Delivering real-world ubiquitous location systems. Communications - ACM, 48 (3). pp. 36-41. ISSN 0001-0782

Burstein, Alexander and Kitaev, Sergey (2005) Partially ordered generalized patterns and their combinatorial interpretation. In: The Third International Conference on Permutation Patterns, 2005-03-07 - 2005-03-11, University of Florida.

Bennett, Linda and Landoni, Monica (2005) E-books in academic libraries. Electronic Library, 23 (1). pp. 9-16. ISSN 0264-0473

Baillie, M. and Elsweiler, D. and Nicol, E. and Ruthven, I. and Sweeney, S. and Yakici, M. and Crestani, F. and Landoni, M.; Voorhees, E.M. and Buckland, L.M., eds. (2005) University of Strathclyde at TREC HARD. In: Proceedings of the Fourteenth Text REtrieval Conference (TREC-14), 2005-11-15 - 2005-11-18.

Bradley, N.A. and Dunlop, M.D. (2005) Toward a multidisciplinary model of context to support context-aware computing. Human-Computer Interaction, 20 (4). pp. 403-446. ISSN 0737-0024

Burstein, Alexander and Kitaev, Sergey (2005) On unavoidable sets of word patterns. SIAM Journal on Discrete Mathematics, 19 (2). pp. 371-381. ISSN 1095-7146

Burton, P. and McMenemy, D. (2005) Future librarians digitising the past. Information Scotland, 3 (5). pp. 12-14. ISSN 1479-8441

Bradley, N.A. and Dunlop, M.D.; Indulska, J. and de Roure, D., eds. (2004) Towards a user-centric and multidisciplinary framework for designing context-aware applications. In: Proceedings of the International Conference on Ubiquitous Computing (Ubicomp 2004). Springer, Berlin, Germany. ISBN 9783540229551

Bradley, N.A. and Dunlop, M.D.; SchmidtBelz, B. and Cheverst, K., eds. (2004) Investigating design issues of context-aware mobile guides for people with visual impairments. In: Proceedings of the 6th International Conference on Human Computer Interaction with Mobile Devices and Services (Mobile HCI '04). ACM Press, London, UK. ISBN 3-540-23086-6

Baillie, M. and Jose, J.M. (2004) An Audio-based sports video segmentation and event detection algorithm. In: IEEE Workshop on Event Mining 2004: IEEE Computer Vision and Pattern Recognition, 2004-07-02.

Baillie, M. and Jose, J.M. and van Rijsbergen, C.J.; (2004) HMM model selection issues for soccer video. In: Lecture Notes in Computer Science. Springer. ISBN 0302-9743

Bell, David J. and Ruthven, Ian (2004) Searchers' assessments of task complexity for web searching. In: 26th European Conference on Information Retrieval (ECIR), 2004-04-05 - 2004-04-07.

Bell, David J. and Ruthven, Ian; McDonald, S and Tait, J., eds. (2004) Searchers' assessments of task complexity for web searching. In: Advances in information retrieval. Lecture Notes in Computer Science . Springer-Verlag, GBR, pp. 57-71. ISBN 3540213821

Bradley, N.A. and Dunlop, M.D.; (2003) A pathway to independence : wayfinding systems which adapt to a visually impaired person's context. In: Proceedings of IEEE Symposium on Assistive Technologies. AAATE, pp. 23-27.

Baillie, M. and Jose, J.M. (2003) Audio-based event detection for sports video. Lecture Notes in Computer Science. ISSN 0302-9743

Bradley, N.A. and Dunlop, M.D.; (2003) Towards a multidisciplinary user-centric design framework for context-aware applications. In: Proceedings of 1st UK-UbiNet Workshop. Springer.

Brändén, Petter and Claesson, Anders and Steingrimsson, Einar (2002) Catalan continued fractions and increasing subsequences in permutations. Discrete Mathematics, 258 (1-3). 275–287. ISSN 0012-365X

Bradley, N.A. and Dunlop, M.D. (2002) Investigating context-aware clues to assist navigation for visually impaired people. In: Proceedings of Workshop on Building Bridges: Interdisciplinary Context-Sensitive Computing, University of Glasgow, 2002-09-09.

Bradley, Nicholas. A. and Dunlop, Mark D.; Paterno, Fabio, ed. (2002) Understanding contextual interactions to design navigational context-aware applications. In: Proceedings of the 4th International Symposium on Human Computer Interaction with Mobile Devices and Services (Mobile HCI 2002). Lecture Notes in Computer Science, 2411/2002 . Springer, pp. 349-353. ISBN 978-3-540-44189-2

Brewster, Stephen and Dunlop, Mark (2000) Human computer interaction with mobile devices (editorial for special edition). Personal Technologies, 4 (2-3). pp. 71-72. ISSN 0949-2054

Buchanan, S. and Gibb, F. (1998) The information audit : an integrated strategic approach. International Journal of Information Management, 18 (1). pp. 29-48. ISSN 0268-4012

Baker, Sean and Cahill, Vinny and Nixon, Paddy (1997) Bridging boundaries: corba in perspective. IEEE Internet Computing, 1 (5). pp. 52-57. ISSN 1089-7801

C

Clark, Malcolm and Ruthven, Ian; (2024) Genre recognition : a model of behaviour. In: Wisdom, Well-Being, Win-Win. Lecture Notes in Computer Science . Springer, Cham. (In Press)

Collier, Ben and Stewart, James and Horgan, Shane and Thomas, Daniel R. and Wilson, Lydia (2024) Influence government, platform power and the patchwork profile : exploring the appropriation of targeted advertising infrastructures for government behaviour change campaigns. First Monday, 29 (2). ISSN 1396-0466

Cai, Yunqi and Li, Lantian and Abel, Andrew and Zhu, Xiaoyan and Wang, Dong (2024) Maximum Gaussianality training for deep speaker vector normalization. Pattern Recognition, 145. 109977. ISSN 0031-3203

Chen, Li and Zhu, Shaowei and Andrew, Abel and Yin, Zhaoxia (2024) Reversible attack based on local visible adversarial perturbation. Multimedia Tools and Applications, 83 (4). pp. 11215-11227. ISSN 1380-7501

Chavula, Catherine and Choi, Yujin and Rieh, Soo Young (2023) Searching for creativity : how people search to generate new ideas. Journal of the Association for Information Science and Technology, 75 (4). pp. 438-453. ISSN 2330-1635

Candela, Gustavo and Gabriëls, Nele and Chambers, Sally and Dobreva, Milena and Ames, Sarah and Ferriter, Meghan and Fitzgerald, Neil and Harbo, Victor and Hofmann, Katrine and Holownia, Olga and Irollo, Alba and Mahey, Mahendra and Manchester, Eileen and Pham, Thuy-An and Potter, Abigail and Van Keer, Ellen (2023) A checklist to publish collections as data in GLAM institutions. Global Knowledge, Memory and Communication. ISSN 2514-9342

Cooper, Lesley and Fuzesi, Peter and Jacob, Sabrina Anne and Kamalakannan, Sureshkumar and Lennon, Marilyn and Macaden, Leah and Smith, Annetta and Welsh, Tomas and Broadfoot, Kirsten and Watson, Margaret C. (2023) Assistive technologies and strategies to support the medication management of individuals with hearing and/or visual impairment : a scoping review. Disability and Health Journal, 16 (4). 101500. ISSN 1876-7583

Capucci, Matteo; Master, Jade and Lewis, Martha, eds. (2023) Diegetic representation of feedback in open games. In: Proceedings Fifth International Conference on Applied Category Theory. Electronic Proceedings in Theoretical Computer Science, 380 . Open Publishing Association, GBR, pp. 145-158.

Cirstoiu, Cristina and Dilkes, Silas and Mills, Daniel and Sivarajah, Seyon and Duncan, Ross (2023) Volumetric benchmarking of error mitigation with Qermit. Quantum, 7. 1059. ISSN 2521-327X

Carey, Nicola and Abathun, Ephrem and Maguire, Roma and Wodaje, Yohans and Royce, Catherine and Ayers, Nicola (2023) Co-design and prototype development of the 'Ayzot App' : a mobile phone based remote monitoring system for palliative care. Palliative Medicine, 37 (5). pp. 771-781. ISSN 1477-030X

Cîrstea, Corina and Kupke, Clemens; Klin, Bartek and Pimentel, Elaine, eds. (2023) Measure-theoretic semantics for quantitative parity automata. In: 31st EACSL Annual Conference on Computer Science Logic. Leibniz International Proceedings in Informatics . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Saarbrücken/Wadern, 14:1-14:20. ISBN 9783959772648

Capucci, Matteo and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik; Benini, Marco and Beyersdorff, Olaf and Rathjen, Michael and Schuster, Peter, eds. (2023) Infinite horizon extensive form games, coalgebraically. In: Mathematics for Computation. World Scientific Publishing Co. Pte Ltd, Singapore, pp. 195-222. ISBN 978-981-12-4523-7

Clark, Ruaridh A and Parra, Mario A and Smith, Keith and Escudero, Javier and Ibañez, Agustín and McGeown, William J and Macdonald, Malcolm (2022) Functional alignments in brain connectivity networks. In: Complex Networks 2022 : The 11th International Conference on Complex Networks and their Applications, 2022-11-08 - 2022-11-10, University of Palermo.

Cartwright, Barry and Frank, Richard and Weir, George and Padda, Karmvir (2022) Detecting and responding to hostile disinformation activities on social media using machine learning and deep neural networks. Neural Computing and Applications, 34 (18). pp. 15141-15163. ISSN 0941-0643

Chang, Miaomiao and Pennington, Diane (2022) Twitter users' sentiments toward mask wearing. In: 12th International Conference on Social Media & Society, 2022-07-18 - 2022-07-19, online.

Chowdhury, Gobinda (2022) Young informal carers' information needs communicated online : professional and personal growth, finance, health and relationships. Journal of Information Science. p. 1. ISSN 0165-5515 (In Press)

Clark, Ruaridh A. and Smith, Keith and Escudero, Javier and Ibáñez, Agustín and Parra, Mario A. (2022) Robust assessment of EEG connectivity patterns in mild cognitive impairment and Alzheimer's disease. Frontiers in Neuroimaging, 1. 924811. ISSN 2813-1193

Chute, Chaloner and French, Tara and Raman, Sneha and Bradley, Jay (2022) User requirements for comanaged digital health and care : review. Journal of Medical Internet Research, 24 (6). e35337. ISSN 1438-8871

Chen, Yuyang and Waites, William, CMMID COVID-19 Working Group (2022) Measuring the effects of COVID-19-related disruption on dengue transmission in southeast Asia and Latin America : a statistical modelling study. The Lancet Infectious Diseases, 22 (5). pp. 657-667. ISSN 1473-3099

Chhetri, Mohan Baruwal and Liu, Xiao and Grobler, Marthie and Hoang, Thuong and Renaud, Karen and McIntosh, Jennifer (2022) Report on the 2nd Workshop on Human Centric Software Engineering & Cyber Security (HCSE&CS 2021). ACM SIGSOFT Software Engineering Notes, 47 (2). pp. 12-14. ISSN 0163-5948

Chen, Joanna N. and Kitaev, Sergey (2022) On the 12-representability of induced subgraphs of a grid graph. Discussiones Mathematicae Graph Theory, 42 (2). pp. 383-403. ISSN 1234-3099

Collier, Ben and Flynn, Gemma and Stewart, James and Thomas, Daniel R. (2022) Influence government : exploring practices, ethics, and power in the use of targeted advertising by the UK state. Big Data & Society, 9 (1). pp. 1-13. ISSN 2053-9517

Cheatley, Lee and Ackerman, Margareta and Pease, Alison and Moncur, Wendy (2022) Musical creativity support tools for bereavement support. Digital Creativity, 33 (1). pp. 1-17. ISSN 1462-6268

Chiyangwa, Tawanda Blessing and van Biljon, Judy and Renaud, Karen (2021) Natural language processing techniques to reveal human-computer interaction for development research topics. In: 2021 International Conference on Artificial Intelligence and its Applications, 2021-12-09 - 2021-12-10.

Cheetham, Nathan and Waites, William and Ebyarimpa, Irene and Leber, Werner and Brennan, Katie and Panovska-Griffiths, Jasmina (2021) Determining the level of social distancing necessary to avoid future COVID-19 epidemic waves : a modelling study for North East London. Scientific Reports, 11 (1). 5806. ISSN 2045-2322

Chowdhury, Gobinda and McLeod, Julie and Lihoma, Paul and Teferra Abate, Solomon and Wato, Richard (2021) Promoting access to indigenous information in Africa : challenges and requirements. Information Development, 39 (3). pp. 611-623. ISSN 0266-6669

Collier, Ben and Flynn, Gemma and Stewart, James and Thomas, Daniel R. (2021) SCCJR Briefing Paper - Influence Government : Exploring Practices, Ethics, and Power in the Use of Targeted Advertising by the UK State. The Scottish Centre for Crime & Justice Research (SCCJR), Glasgow.

Canning, Cheryl and Buchanan, Steven; Garner, Jane, ed. (2021) Exploring the rehabilitative role of the prison library : addressing sensitive information needs via cultural activities. In: Exploring the Roles and Practices of Libraries in Prisons. Advances in Librarianship . Emerald Publishing Limited, Bingley. ISBN 9781800438613

Collier, Ben and Clayton, Richard and Hutchings, Alice and Thomas, Daniel R. (2021) Cybercrime is (often) boring : infrastructure and alienation in a deviant subculture. British Journal of Criminology, 61 (5). pp. 1407-1423. azab026. ISSN 0007-0955

Cranfield, Desireé and Tick, Andrea and Venter, Isabella M. and Blignaut, Renette J. and Renaud, Karen (2021) Higher education students' perceptions of online learning during Covid-19—a comparative study. Education Sciences, 11 (8). 403. ISSN 2227-7102

Capucci, Matteo and Gavranovic, Bruno and Hedges, Julian and Rischel, Eigil Fjeldgren (2021) Towards foundations of categorical cybernetics. In: Applied Category Theory 2021, 2021-07-12 - 2021-07-16, University of Cambridge.

Capucci, Matteo and Ghani, Neil and Ledent, Jérémy and Nordvall Forsberg, Fredrik; (2021) Translating extensive form games to open games with agency. In: Applied Category Theory 2021. University of Cambridge, Cambridge.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa; (2021) Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans. In: TIME 2021 - International Symposium on Temporal Representation and Reasoning. Dagstuhl Publishing. (In Press)

Clarke, Loraine and Hornecker, Eva and Ruthven, Ian; (2021) Fighting fires and powering steam locomotives : Distribution of control and its role in social interaction at tangible interactive museum exhibits. In: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems - CHI'21. ACM, New York, NY.. ISBN 9781450380966

Chowdhury, Gobinda and Koya, Kushwanth and Bugaje, Maryam (2021) A recommendation-based reading list system prototype for learning and resource management. Journal of Information Science, 49 (2). pp. 382-397. ISSN 0165-5515

Cantrell, Danielle and Vanderstichel, Raphael and Filgueira, Ramón and Grant, Jon and Revie, Crawford (2021) Validation of a sea lice dispersal model : principles from ecological agent-based models applied to aquatic epidemiology. Aquaculture Environment Interactions (AEI), 13. pp. 65-79. ISSN 1869-7534

Collier, Ben and Thomas, Daniel R. and Clayton, Richard and Hutchings, Alice and Chua, Yi Ting (2021) Influence, infrastructure, and recentering cybercrime policing : evaluating emerging approaches to online law enforcement through a market for cybercrime services. Policing and Society, 32 (1). pp. 103-124. ISSN 1477-2728

Clare, Kathleen and Cathcart, Jennifer and Patel, Manish (2020) Creating more than a directory : improving handover of information by renovating the induction app for University Hospital Wishaw. BMJ Open Quality, 9 (4). pp. 1-6. e000970. ISSN 2399-6641

Collier, Ben and Clayton, Richard and Hutchings, Alice and Thomas, Daniel R. (2020) Cybercrime is (often) boring : maintaining the infrastructure of cybercrime economies. In: Workshop on the Economics of Information Security, 2020-12-14 - 2020-12-15.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa (2020) Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans. In: Integrated Execution (IntEx) / Goal Reasoning (GR), 2020-10-19 - 2020-10-30, Virtual.

Cockram, Michael S. and Dulal, Ketan Jung and Stryhn, Henrik and Revie, Crawford W. (2020) Rearing and handling injuries in broiler chickens and risk factors for wing injuries during loading. Canadian Journal of Animal Science, 100 (3). pp. 402-410. ISSN 0008-3984

Cheatley, Lee and Ackerman, Margareta and Pease, Alison and Moncur, Wendy; Cardoso, F. Amilcar and Machado, Penousal and Veale, Tony and Cunha, Joao Miguel, eds. (2020) Co-creative songwriting for bereavement support. In: Proceedings of the 11th International Conference on Computational Creativity. Association for Computational Creativity (ACC), Portugal, pp. 33-40. ISBN 978-989-54160-2-8

Chen, Herman Z. Q. and Kitaev, Sergey (2020) On universal partial words for word-patterns and set partitions. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 54. 5. ISSN 1290-385X

Cheng, Peng and Bagci, Ibrahim Ethem and Roedig, Utz and Yan, Jeff (2020) SonarSnoop : active acoustic side-channel attacks. International Journal of Information Security, 19 (2). pp. 213-228. ISSN 1615-5270

Cantrell, Danielle and Filgueira, Ramón and Revie, Crawford W. and Rees, Erin and Vanderstichel, Raphael and Guo, Ming and Foreman, Michael G.G. and Wan, Di and Grant, Jon (2020) The relevance of larval biology on spatiotemporal patterns of pathogen connectivity among open-marine salmon farms. Canadian Journal of Fisheries and Aquatic Sciences, 77 (3). pp. 505-519. ISSN 1205-7533

Cantrell, Danielle L. and Groner, Maya L. and Ben-Horin, Tal and Grant, Jon and Revie, Crawford W. (2020) Modeling pathogen dispersal in marine fish and shellfish. Trends in Parasitology, 36 (3). pp. 239-249. ISSN 1471-4922

Convent, Lukas and Lindley, Sam and McBride, Conor and McLaughlin, Craig (2020) Doo bee doo bee doo. Journal of Functional Programming, 30. e9. ISSN 0956-7968

Cashmore, Michael and Magazzeni, Daniele and Zehtabi, Parisa (2020) Planning for hybrid systems via Satisfiability Modulo Theories. Journal of Artificial Intelligence Research, 67. pp. 235-283. ISSN 1076-9757

Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Horne, Ross (2020) Global types with internal delegation. Theoretical Computer Science, 807. 128 - 153. ISSN 0304-3975

Choong, Yee-Yin and Theofanos, Mary F. and Renaud, Karen and Prior, Suzanne (2019) "Passwords protect my stuff" - a study of children's password practices. Journal of Cybersecurity, 5 (1). tyz015. ISSN 2057-2093

Crooks, George, Digital Health & Care Institute , ed. (2019) The Digital Health & Care Institute  : Board Meeting : Wednesday 27th November 2019. Digital Health & Care Institute, Glasgow.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa (2019) Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. Preprint / Working Paper. arXiv.org, Ithica, N.Y..

Cheon, Gi-Sang and Kitaev, Sergey and Kim, Jinha and Kim, Minki (2019) Word-representability of Toeplitz graphs. Discrete Applied Mathematics, 270. pp. 96-105. ISSN 0166-218X

Collier, Ben and Thomas, Daniel R. and Clayton, Richard and Hutchings, Alice; (2019) Booting the booters : evaluating the effects of police interventions in the market for denial-of-service attacks. In: IMC 2019 - Proceedings of the 2019 ACM Internet Measurement Conference. ACM, NLD, pp. 50-64. ISBN 9781450369480

Cheon, Gi-Sang and Jung, Ji-Hwan and Kitaev, Sergey and Mojallal, Seyed Ahmad (2019) Riordan graphs I : structural properties. Linear Algebra and its Applications, 579. pp. 89-135. ISSN 0024-3795

Cheng, Peng and Bagci, Ibrahim Ethem and Yan, Jeff and Roedig, Utz; (2019) Smart speaker privacy control - acoustic tagging for personal voice assistants. In: 2019 IEEE Symposium on Security and Privacy Workshops (SPW). Proceedings - 2019 IEEE Symposium on Security and Privacy Workshops, SPW 2019 . IEEE, USA, pp. 144-149. ISBN 9781728135083

Crooks, George, Digital Health & Care Institute , ed. (2019) The Digital Health & Care Institute  : Board Meeting : Tuesday 3rd September 2019. Digital Health & Care Institute, Glasgow.

Cheon, Gi-Sang and Jung, Ji-Hwan and Kitaev, Sergey and Mojallal, Seyed Ahmad (2019) Riordan graphs II : spectral properties. Linear Algebra and its Applications, 575. pp. 174-215. ISSN 0024-3795

Cashmore, Michael and Collins, Anna and Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Smith, David (2019) Towards explainable AI planning as a service. In: 2nd ICAPS Workshop on Explainable Planning, 2019-07-12 - 2019-07-12.

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2019) Replanning for situated robots. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS) 2019. AAAI Press, USA.

Chute, Chaloner and French, Tara (2019) Introducing Care 4.0 : an integrated care paradigm built on Industry 4.0 capabilities. International Journal of Environmental Research and Public Health, 16 (12). 2247. ISSN 1660-4601

Collins, Joseph and Duncan, Ross (2019) Hopf-Frobenius algebras and a simpler Drinfeld double. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Cowtan, Alexander and Dilkes, Silas and Duncan, Ross and Simmons, Will and Sivarajah, Seyon; Coecke, Bob and Leifer, Matthew, eds. (2019) Phase gadget synthesis for shallow circuits. In: Proceedings 16th International Conference on Quantum Physics and Logic. Electronic Proceedings in Theoretical Computer Science, 318 . Open Publishing Association, USA, 213–228.

Cheon, Gi-Sang and Kim, Jinha and Kim, Minki and Kitaev, Sergey and Pyatkin, Artem (2019) On k-11-representable graphs. Journal of Combinatorics, 10 (3). pp. 491-513. ISSN 2156-3527

Crooks, George, Digital Health & Care Institute , ed. (2019) The Digital Health & Care Institute  : Board Meeting : Wednesday 22nd May 2019. Digital Health & Care Institute, Glasgow.

Digital Health & Care Institute (DHI); Cresswell, Kathrin and Callaghan, Margaret and Mozaffar, Hajar and Sheikh, Aziz. (2019) Creating and Applying an Evaluation Framework for the National Decision Support Programme in Scotland. Digital Health & Care Institute, Glasgow.

Chancellor, Stevie and Andalibi, Nazanin and Blackwell, Lindsay and Nemer, David and Moncur, Wendy; (2019) Sensitive research, practice, and design in HCI. In: CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. ACM, New York, pp. 1-8. ISBN 9781450359719

Cowtan, Alexander and Dilkes, Silas and Duncan, Ross and Krajenbrink, Alexandre and Simmons, Will and Sivarajah, Seyon; van Dam, Wim and Mancinska, Laura, eds. (2019) On the qubit routing problem. In: 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019). Leibniz International Proceedings in Informatics (LIPIcs), 135 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, USA, 5:1--5:32. ISBN 9783959771122

Cartwright, Barry and Weir, George R. S. and Frank, Richard; Chen, Lei and Takabi, Hassan and Le-Khac, Nhien-An, eds. (2019) Cyberterrorism in the cloud : through a glass darkly. In: Security, Privacy, and Digital Forensics in the Cloud. John Wiley & Sons Inc., Hoboken, N.J., pp. 217-237. ISBN 9781119053378

Canning, Cheryl and Buchanan, Steven (2019) The information behaviours of maximum security prisoners : insights into self-protective behaviours and unmet needs. Journal of Documentation, 75 (2). pp. 417-434. ISSN 0022-0418

Choong, Yee-Yin and Theofanos, Mary and Renaud, Karen and Prior, Suzanne; (2019) Case study – exploring children's password knowledge and practices. In: Proceedings 2019 Workshop on Usable Security (USEC). The Internet Society, USA. ISBN 1891562576

Crooks, George, Digital Health & Care Institute , ed. (2019) The Digital Health & Care Institute  : Board Meeting : Wednesday 13th February 2019. Digital Health & Care Institute, Glasgow.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa; (2019) Robustness envelopes for temporal plans. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. AAAI Press, USA.

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2019) Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29 (1). pp. 67-92. ISSN 1469-8072

Clairambault, Pierre and De Visme, Marc and Winskel, Glynn (2019) Game semantics for quantum programming. Proceedings of the ACM on Programming Languages (PACMPL), 3 (POPL). 32. ISSN 2475-1421

Cockram, Michael Stanley and Dulal, Ketan Jung and Mohamed, Radi A and Revie, Crawford W (2019) Risk factors for bruising and mortality of broilers during manual handling, module loading, transport and lairage. Canadian Journal of Animal Science, 99 (1). pp. 50-65. ISSN 0008-3984

Cheatley, Lee and Moncur, Wendy and Pease, Alison; Grace, Kazjon and Cook, Michael and Ventura, Dan and Maher, Mary Lou, eds. (2019) Opportunities for computational creativity in a therapeutic context. In: Proceedings of the 10th International Conference on Computational Creativity. Proceedings of the 10th International Conference on Computational Creativity, ICCC 2019 . Association for Computational Creativity (ACC), USA, pp. 341-345. ISBN 9789895416011

Crooks, George, Digital Health & Care Institute , ed. (2018) The Digital Health & Care Institute  : Board Meeting : Thursday 22nd November 2018. Digital Health & Care Institute, Glasgow.

Chute, Chaloner and Hepburn, Leigh Anne and Rooney, Laura (2018) Next Generation Asthma Care : Position Paper. Digital Health & Care Institute, Glasgow.

Cantrell, Danielle L. and Rees, Erin E. and Vanderstichel, Raphael and Grant, Jon and Filgueira, Ramón and Revie, Crawford W. (2018) The use of kernel density estimation with a bio-physical model provides a method to quantify connectivity among salmon farms : spatial planning and management with epidemiological relevance. Frontiers in Veterinary Science, 5. 269. ISSN 2297-1769

Cheng, Peng and Bagci, Ibrahim Ethem and Yan, Jeff and Roedig, Utz; (2018) Towards reactive acoustic jamming for personal voice assistants. In: MPS '18. Association for Computing Machinery, CAN, pp. 12-17. ISBN 9781450359887

Caidi, Nadia and Innocenti, Perla (2018) On being spiritual : pilgrimage as an information context. In: ISIC 2018, 2018-10-09 - 2018-10-11.

Cheng, Peng and Bagci, Ibrahim Ethem and Roedig, Utz and Yan, Jeff (2018) SonarSnoop : active acoustic side-channel attacks. Other. arXiv.org, Ithaca, N.Y..

Crooks, George, Digital Health & Care Institute , ed. (2018) The Digital Health & Care Institute  : Board Meeting : Wednesday 15th August 2018. Digital Health & Care Institute, Glasgow.

Crooks, George, Digital Health & Care Institute , ed. (2018) The Digital Health & Care Institute ("DHI") : Terms of Reference : DHI Strategic Advisory Group. Digital Health & Care Institute, Glasgow.

Crooks, George, Digital Health & Care Institute , ed. (2018) The Digital Health & Care Institute  : Board Meeting : Wednesday 16th May 2018. Digital Health & Care Institute, Glasgow.

Crooks, George (2018) Digital Health & Care Institute : overview. Digital Health & Care Institute, Glasgow.

Cassidy, Kathryn and Innocenti, Perla and Bürkner, Hans-Joachim (2018) Brexit and new autochthonic politics of belonging. Space and Polity, 22 (2). pp. 188-204. ISSN 1356-2576

Castellan, Simon and Clairambault, Pierre and Paquet, Hugo and Winskel, Glynn; (2018) The concurrent game semantics of Probabilistic PCF. In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Proceedings - Symposium on Logic in Computer Science . ACM, GBR, pp. 215-224. ISBN 9781450355834

Crooks, George, Digital Health & Care Institute , ed. (2018) The Digital Health & Care Institute ("DHI") : Terms of Reference for the DHI Innovation Centre Main Board. Digital Health & Care Institute, Glasgow.

Crooks, George, Digital Health & Care Institute , ed. (2018) The Digital Health & Care Institute : Code of Practice for Board Members of DHI (the "Code"). Digital Health & Care Institute, Glasgow.

Crooks, George, Digital Health & Care Institute , ed. (2018) The Digital Health & Care Institute  : Board Meeting : Wednesday 14th February 2018. Digital Health & Care Institute, Glasgow.

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2018) Temporal planning while the clock ticks. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling, ICAPS 2018. AAAI Press, NLD, pp. 39-46.

Crooks, George (2018) Thoughts on Citizen Empowerment and Person-centred Care. Digital Health & Care Institute, Glasgow.

Chute, Chaloner (2018) DHI's Key Areas of Exploration. Digital Health & Care Institute, Glasgow.

Chute, Chaloner (2018) Service Redesign Pillars. Digital Health & Care Institute, Glasgow.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram (2018) Opportunistic planning in autonomous underwater missions. IEEE Transactions on Automation Science and Engineering, 15 (2). pp. 519-530. ISSN 1545-5955

Chute, Chaloner (2018) Introduction to the Demonstration & Simulation Environment (DSE). Digital Health & Care Institute, Glasgow.

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2018) Situated planning for execution under temporal constraints. In: Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy. AAAI Press, USA.

Connor, Richard and Vadicamo, Lucia and Cardillo, Franco Alberto and Rabitti, Fausto (2018) Supermetric search. Information Systems. ISSN 0306-4379

Cox, R. and Groner, M. L. and Todd, C. D. and Gettinby, G. and Patanasatienkul, T. and Revie, C. W. (2017) Mate limitation in sea lice infesting wild salmon hosts : the influence of parasite sex ratio and aggregation. Ecosphere, 8 (12). e02040. ISSN 2150-8925

Crooks, George, Digital Health & Care Institute , ed. (2017) The Digital Health & Care Institute  : Board Meeting : Wednesday 22nd November 2017. Digital Health & Care Institute, Glasgow.

Crooks, George, Digital Health & Care Institute , ed. (2017) The Digital Health & Care Institute  : Board Meeting : Wednesday 16th August 2017. Digital Health & Care Institute, Glasgow.

Connor, Richard and Vadicamo, Lucia and Rabitti, Fausto; Beecks, Christian and Kröger, Peer and Seidl, Thomas, eds. (2017) High-dimensional simplexes for metric search. In: Similarity Search and Applications. Lecture Notes in Computer Science, 10609 . Springer, DEU, pp. 96-109. ISBN 9783319684734

Chowdhury, Gobinda and Koya, Kushwanth (2017) Information practices for sustainability : role of iSchools in achieving the UN Sustainable Development Goals (SDGs). Journal of the Association for Information Science and Technology, 68 (9). pp. 2128-2138. ISSN 2330-1643

Castellan, Simon and Clairambault, Pierre and Rideau, Silvain and Winskel, Glynn (2017) Games and strategies as event structures. Logical Methods in Computer Science, 13 (3). 35. ISSN 1860-5974

Chen, Long and Zhang, Huaizhi and Jose, Joemon M. and Yu, Haitao and Moshfeghi, Yashar and Triantafillou, Peter (2017) Topic detection and tracking on heterogeneous information. Journal of Intelligent Information Systems. ISSN 1573-7675

Crooks, George, Digital Health & Care Institute , ed. (2017) The Digital Health & Care Institute  : Board Meeting : Tuesday 30th May 2017. Digital Health & Care Institute, Glasgow.

Chen, Herman Z.Q. and Kitaev, Sergey and Mütze, Torsten and Sun, Brian Y. (2017) On universal partial words. Discrete Mathematics and Theoretical Computer Science, 19 (1). 16. ISSN 1365-8050 (In Press)

Chen, Herman Z.Q. and Kitaev, Sergey and Mutze, Torsten and Sun, Brian Y. (2017) On universal partial words. Electronic Notes in Discrete Mathematics. ISSN 1571-0653 (In Press)

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2017) Formalizing restriction categories. Journal of Formalized Reasoning, 10 (1). pp. 1-36. ISSN 1972-5787

Collins, Andrew and Kitaev, Sergey and Lozin, Vadim V. (2017) New results on word-representable graphs. Discrete Applied Mathematics, 216 (Part 1). pp. 136-141. ISSN 0166-218X

Cox, Anna and Lucas, Grace and Marcu, Afrodita and Piano, Marianne and Grosvenor, Wendy and Mold, Freda and Maguire, Roma and Ream, Emma (2017) Cancer survivors' experience with telehealth : a systematic review and thematic synthesis. Journal of Medical Internet Research, 19 (1). e11. ISSN 1438-8871

Connor, Richard and Cardillo, Franco Alberto and Vadicamo, Lucia and Rabitti, Fausto (2016) Hilbert Exclusion : improved metric search through finite isometric embeddings. ACM Transactions on Information Systems, 35 (3). 17. ISSN 1046-8188

Chowdhury, Gobinda G. (2016) How to improve the sustainability of digital libraries and information services? Journal of the Association for Information Science and Technology, 67 (10). pp. 2379-2391. ISSN 2330-1643

Connor, Richard; Amsaleg, Laurent and Houle, Michael E. and Shubert, Erich, eds. (2016) Reference point hyperplane trees. In: 9th International Conference on Similarity Search and Applications. Lecture Notes in Computing Science, 9939 . Springer-Verlag, JPN, pp. 65-78. ISBN 978-3-319-46758-0

Connor, Richard and Vadicamo, Lucia and Cardillo, Franco Alberto and Rabitti, Fausto; (2016) Supermetric search with the four-point property. In: 9th International Conference on Similiarty Search and Applications. Lecture Notes in Computing Science, 9939 . Springer-Verlag, JPN, pp. 51-64. ISBN 9783319467580

Cox, Ruth and Revie, Crawford W. and Hurnik, Daniel and Sanchez, Javier (2016) Use of Bayesian Belief Network techniques to explore the interaction of biosecurity practices on the probability of porcine disease occurrence in Canada. Preventive Veterinary Medicine, 131. pp. 20-30. ISSN 0167-5877

Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro (2016) A descriptive type foundation for RDF schema. Journal of Logical and Algebraic Methods in Programming, 85 (5, Pt.). pp. 681-706. ISSN 2352-2208

Ciobanu, Gabriel and Horne, Ross; Mazzara, Manuel and Voronkov, Andrei, eds. (2016) Behavioural analysis of sessions using the calculus of structures. In: Perspectives of System Informatics. Lecture Notes in Computer Science . Springer, Cham, pp. 91-106. ISBN 9783319415796

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; Finzi, Alberto and Karpas, Erez, eds. (2016) Opportunistic planning for increased plan utility. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [London].

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; (2016) Strategic planning for autonomous systems over long horizons. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, London, pp. 74-81.

Chowdhury, Gobinda and Koya, Kushwanth and Philipson, Pete (2016) Measuring the impact of research : lessons from the UK’s Research Excellence Framework 2014. PLOS One, 11 (6). e0156978. ISSN 1932-6203

Claesson, Anders and Tenner, Bridget Eileen and Ulfarsson, Henning (2016) Coincidence among families of mesh patterns. Preprint / Working Paper. arXiv.org, United States.

Chen, Herman Z.Q. and Kitaev, Sergey and Sun, Brian Y. (2016) Word-representability of triangulations of grid-covered cylinder graphs. Discrete Applied Mathematics. ISSN 0166-218X (In Press)

Charness, Neil and Dunlop, Mark and Munteanu, Cosmin and Nicol, Emma and Oulasvirta, Antti and Ren, Xiangshi and Sarcar, Sayan and Silpasuwanchai, Chaklam (2016) Rethinking mobile interfaces for older adults. In: ACM CHI 2016, 2016-05-07 - 2016-05-12.

Cockshott, William Paul and Renaud, Karen (2016) Humans robots and values. Technology in Society, 45. pp. 19-28. ISSN 0160-791X

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele; (2016) A compilation of the full PDDL+ language into SMT. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). AAAI Press, Menlo Park, US-CA., pp. 583-591.

Chen, Herman Z.Q. and Kitaev, Sergey and Sun, Brian Y. (2016) Word-representability of face subdivisions of triangular grid graphs. Graphs and Combinatorics. ISSN 0911-0119

Connor, Richard and Cardillo, Franco Alberto (2016) Quantifying the specificity of near-duplicate image classification functions. In: 11th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2016-02-27 - 2016-02-29.

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò; (2015) Quotienting the delay monad by weak bisimilarity. In: Theoretical Aspects of Computing - ICTAC 2015. Lecture Notes in Computer Science, 9399 . Springer, Switzerland, pp. 110-125. ISBN 978-3-319-25149-3

Christoffersen, Peter and Hansen, Mikkel and Mariegaard, Anders and Ringsmose, Julian Trier and Guldstrand Larsen, Kim and Mardare, Radu; André, Étienne and Frehse, Goran, eds. (2015) Parametric verification of weighted systems. In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Wadern, Germany, pp. 77-90. ISBN 9783939897828

Clarke, Loraine and Hornecker, Eva; (2015) Social activities with offline tangibles at an interactive painting exhibit in a children's cultural centre. In: British HCI 2015. ACM, GBR, pp. 82-90. ISBN 9781450336437

Ciolfi, Luigina and Damala, Areti and Hornecker, Eva and Lechner, Monika and Maye, Laura and Petrelli, Daniela; (2015) Cultural heritage communities : technologies and challenges. In: Proceedings of the 7th International Conference on Communities and Technologies (C&T '15). ACM, New York, NY, IRL, pp. 149-152. ISBN 9781450334600

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong; Chiribella, Giulio and Spekkens, Robert W., eds. (2015) Generalised compositional theories and diagrammatic reasoning. In: Quantum Theory. Fundamental Theories of Physics, 181 (1). Springer, Netherlands, pp. 1-55. ISBN 9789401773027

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and De Carolis, Valerio and Lane, David and Maurelli, Francesco; Finzi, Alberto and Ingrand, Felix and Orlandini, Andrea, eds. (2015) Dynamically extending planning models using an ontology. In: Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [Jerusalem], pp. 79-85.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and Carrera, Arnau and Palomeras, Narcis and Hurtós, Natalia and Carreras, Marc; Brafman, Ronen and Domshlak, Carmel and Haslum, Patrik and Zilberstein, Shlomo, eds. (2015) Rosplan : planning in the robot operating system. In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, ISR, pp. 333-241. ISBN 9781577357315

Clarke, Loraine and Nicol, Emma and Ruthven, Ian (2015) Involving the museum visitor community in designing exhibits. In: Cultural Heritage Communities: Technologies and Challenges, 2015-06-28 - 2015-06-28, 7th International Conference on Communities and Technologies. (In Press)

Clawson, James and Arif, Ahmed Sabbir and Brewster, Stephen and Dunlop, Mark and Kristensson, Per Ola and Oulasvirta, Antti; (2015) Text entry on the edge. In: CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. ACM, KOR, pp. 2381-2384. ISBN 978-1-4503-3146-3

Connor, Richard and MacKenzie-Leigh, Stewart and Cardillo, Franco Alberto and Moss, Robert (2015) Identification of MIR-Flickr near-duplicate images : a benchmark collection for near-duplicate detection. In: 10th International Conference on Computer Vision Theory and Applications (VISAPP 2015), 2015-03-11 - 2015-03-14.

Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro; Voronkov, Andrei and Virbitskaite, Irina, eds. (2015) Descriptive types for linked data resources. In: Perspectives of System Informatics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, SUN, pp. 1-25. ISBN 9783662468234

Claesson, Anders and Kitaev, Sergey and de Mier, Anna (2015) An involution on bicubic maps and β(0, 1)-trees. Australasian Journal of Combinatorics, 61 (1). pp. 1-18. ISSN 1034-4942

Cappellato, Linda and Clough, Paul and Ferro, Nicola and Hall, Mark and Halvey, Martin and Hanbury, Allan and Kanoulas, Evangelos and Kraaij, Wessel and Lupu, Mihai and Sanderson, Mark and Toms, Elaine and Villa, Robert (2014) CLEF 2014 : information access evaluation meets multilinguality, multimodality, and interaction. ACM SIGIR Forum, 48 (2). pp. 56-62. ISSN 1558-0229

Connor, Richard and MacKenzie-Leigh, Stewart and Moss, Robert; (2014) High dimensional search using polyhedral query. In: Similarity Search and Applications. Lecture Notes in Computer Science, 8821 . Springer-Verlag, pp. 176-188. ISBN 9783319119878

Claesson, Anders and Hannah, Stuart A. (2014) Decomposing labeled interval orders as pairs of permutations. The Electronic Journal of Combinatorics, 21 (4). P4.16. ISSN 1077-8926

Cappellato, Linda and Ferro, Nicola and Halvey, Martin and Kraaij, Wessel (2014) Preface : CLEF (working notes) 2014. CEUR Workshop Proceedings, 1180. ISSN 1613-0073

Castellan, Simon and Clairambault, Pierre and Winskel, Glynn; (2014) Symmetry in concurrent games. In: CSL-LICS '14 : Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, AUT, pp. 1-10. ISBN 9781450328869

Chowdhury, Sudatta and Gibb, Forbes and Landoni, Monica (2014) A model of uncertainty and its relation to information seeking and retrieval (IS&R). Journal of Documentation, 70 (4). pp. 575-604. ISSN 0022-0418

Connor, Richard and Mackenzie-Leigh, Stewart and Weir, George (2014) The forensic detection of very similar images. In: Cyberforensics 2014 - International Conference on Cybercrime, Security & Digital Forensics, 2014-06-23 - 2014-06-24, University of Strathclyde. (Unpublished)

Crawford, Heather and Renaud, Karen (2014) Understanding user perceptions of transparent authentication on a mobile device. Journal of Trust Management, 1 (1). pp. 1-28. 7.

Clark, Malcolm and Ruthven, Ian and O'Brian Holt, Partick and Song, Dawei and Watt, Stuart (2014) You have email, what happens next? Tracking the eyes for genre. Information Processing and Management, 50 (1). pp. 175-198. ISSN 0306-4573

Clawson, James and Brewster, Stephen and Dunlop, Mark and Kristensson, Per Ola and Isokoski, Poika and Oulasvirta, Antti and Vertanen, Keith and Waller, Annalu; (2014) The usability of text entry systems now and in the future. In: CHI '14 Extended Abstracts on Human Factors in Computing Systems. ACM, CAN, pp. 1139-1142. ISBN 9781450324748

Connor, Richard and Moss, Robert and Harvey, Morgan; Kurland, Orlen and Metzler, Donald and Lioma, Christina and Larsen, Birger and Ingwersen, Peter, eds. (2013) A new probabilistic ranking model. In: Proceeding ICTIR '13 Proceedings of the 2013 Conference on the Theory of Information Retrieval. ACM, DNK, pp. 109-112. ISBN 9781450321075

Connor, Richard and Cardillo, Franco Alberto and Moss, Robert and Rabitti, Fausto; Brisaboa, Nieves and Pedreira, Oscar and Zezula, Pavel, eds. (2013) Evaluation of Jensen-Shannon distance over sparse data. In: Similarity Search and Applications. Lecture Notes in Computer Science, 8199 . Springer, ESP, pp. 163-168. ISBN 9783642410611

Cox, Ruth and Sanchez, Javier and Revie, Crawford W. (2013) Multi-criteria decision analysis tools for prioritising emerging or re-emerging infectious diseases associated with climate change in Canada. PLoS ONE, 8 (8). e68338. ISSN 1932-6203

Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro (2013) Local type checking for linked data consumers. Electronic Proceedings in Theoretical Computer Science, EPTCS, 123. pp. 19-33. ISSN 2075-2180

Cuenca Grau, Bernardo and Horrocks, Ian and Krötzsch, Markus and Kupke, Clemens and Magka, Despoina and Motik, Boris and Wang, Zhe (2013) Acyclicity notions for existential rules and their application to query answering in ontologies. Journal of Artificial Intelligence Research, 47. pp. 741-808. ISSN 1076-9757

Cherry, Morag and McMenemy, David (2013) Freedom of information and ‘vexatious’ requests — The case of Scottish local government. Government Information Quarterly, 30 (3). 257–266. ISSN 0740-624X

Claesson, Anders and Kitaev, Sergey and Steingrimsson, Einar (2013) An involution on beta(1,0)-trees. Advances in Applied Mathematics, 51 (2). pp. 276-284. ISSN 0196-8858

Clarke, Loraine and Hornecker, Eva; (2013) Experience, engagement and social interaction at a steam locomotive multimodal interactive museum exhibit. In: CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems. ACM, New York, pp. 613-618. ISBN 978-1-4503-1952-2

Clarke, Loraine and Hornecker, Eva (2013) Studying multimodal interaction at an interactive museum exhibit on steampower locomotive. In: TEI'13 Seventh International Conference on Tangible, Embedded, and Embodied Interaction, 2013-02-10 - 2013-02-13.

Coecke, Bob and Duncan, Ross; Glück, Robert and Yokoyama, Tetsuo, eds. (2013) Tutorial : Graphical calculus for quantum circuits. In: Reversible Computation. Lecture Notes in Computer Science, 7581 . Springer, DNK, pp. 1-13. ISBN 9783642363146

Claesson, Anders and Jelínek, Vít and Steingrimsson, Einar (2012) Upper bounds for the Stanley–Wilf limit of 1324 and other layered patterns. Journal of Combinatorial Theory Series A, 119 (8). pp. 1680-1691. ISSN 0097-3165

Cashmore, Michael and Fox, Maria and Giunchiglia, Enrico; (2012) Planning as quantified boolean formula. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI) 2012. IOS Press, FRA, pp. 217-222. ISBN 9781614990970

Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. EPTCS, 91. pp. 31-44.

Cox, Ruth and Revie, Crawford W. and Sanchez, Javier (2012) The use of expert opinion to assess the risk of emergence or re-emergence of infectious diseases in Canada associated with climate change. PLoS ONE, 7 (7). e41590. ISSN 1932-6203

Claesson, Anders and Úlfarsson, Henning; (2012) Sorting and preimages of pattern classes. In: 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012). Discrete Mathematics & Theoretical Computer Science, Nancy, France, pp. 595-606.

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong; (2012) Strong complementarity and non-locality in categorical quantum mechanics. In: Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. IEEE, HRV, pp. 245-254. ISBN 9781467322638

Connor, Richard and Moss, Robert George; Nararro, Gonzalo and Pestov, Vladimir, eds. (2012) A multivariate correlation distance for vector spaces. In: Similarity search and applications. Lecture Notes in Computer Science . Springer-Verlag, CAN, pp. 209-225. ISBN 9783642321528

Cirstea, Corina and Kupke, Clemens and Pattinson, Dirk (2011) EXPTIME tableaux for the coalgebraic mu-calculus. Logical Methods in Computer Science, 7 (3). 3. ISSN 1860-5974

Cao, Jianing and Bell, Keith and Coles, Amanda and Coles, Andrew Ian (2011) Voltage control of distribution network using an artificial intelligence planning method. In: CIRED 2011 - The 21st International Conference and Exhibition on Electricity Distribution, 2011-06-06 - 2011-06-09.

Cassidy, Claire and Rimpiläinen, Sanna (2011) Virtual carrots, sticks and student engagement : supporting student researchers. Technology, Pedagogy and Education, 20 (2). pp. 209-225. ISSN 1475-939X

Claesson, Anders and Dukes, Mark and Kubitzke, Martina (2011) Partition and composition matrices. Journal of Combinatorial Theory Series A, 118 (5). pp. 1624-1637.

Connor, Richard and Simeoni, Fabio and Iakovos, Michael and Moss, Robert George; Ferro, Alfredo, ed. (2011) Towards a universal information distance for structured data. In: SISAP '11 Proceedings of the Fourth International Conference on SImilarity Search and APplications. ACM Press, pp. 69-77. ISBN 978-1-4503-0795-6

Connor, R. and Simeoni, F. and Iakovos, M. and Moss, R. (2011) A bounded distance metric for comparing tree structure. Information Systems, 36 (4). pp. 748-764. ISSN 0306-4379

Cress, U. and Wodzicki, K. and Bientzle, M. and Lingnau, A. (2011) CSCL for intellectually disabled pupils : stimulating interaction by using a floor control mechanism. International Journal of Computer-Supported Collaborative Learning, 6 (2). pp. 307-321. ISSN 1556-1607

Candela, L. and Athanasopoulos, G. and Castelli, D. and Raheb, K. El and Innocenti, P. and Ioannidis, Y. and Katifori, A. and Nika, A. and Vullo, G. and Ross, S. (2011) DL.org Digital Library Manifesto. Preprint / Working Paper. DL.org, Italy.

Candela, L. and Athanasopoulos, G. and Castelli, D. and Raheb, K. El and Innocenti, P. and Ioannidis, Y. and Katifori, A. and Nika, A. and Vullo, G. and Ross, S. (2011) Digital Library Reference Model - In a Nutshell. Preprint / Working Paper. DL.org, Italy.

Coecke, Bob and Duncan, Ross (2011) Interacting quantum observables : categorical algebra and diagrammatics. New Journal of Physics, 13 (April). 043016. ISSN 1367-2630

Chowdhury, S. and Gibb, F. and Landoni, M. (2011) Uncertainty in information seeking and retrieval : a study in an academic environment. Information Processing and Management, 47 (2). pp. 157-175. ISSN 0306-4573

Claesson, Anders and Dukes, Mark and Kitaev, Sergey (2011) A direct encoding of Stoimenow's matchings as ascent sequences. Australasian Journal of Combinatorics, 49. pp. 47-59.

Cipolla Ficarra, Francisco V. and Nicol, Emma and Cipolla Ficarra, Miguel; Robert, Howlett, ed. (2011) Vademecum for innovation through knowledge transfer : continuous training in universities, enterprises and industries. In: Innovation through Knowledge Transfer 2010. Smart Innovation, Systems and Technologies. Smart Innovation, Systems and Technologies . Springer, Berlin, pp. 139-149. ISBN 9783642205071

Cipolla Ficarra, Francisco V. and Nicol, Emma and Cipolla-Ficarra, Miguel; (2011) Usability, communicability and cultural tourism in interactive systems : trends, economic effects and social impact. In: Human-Computer Interaction, Tourism and Cultural Heritage - First International Workshop, HCITOCH 2010, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6529 . Springer, ITA, pp. 100-114. ISBN 9783642183478

Cipolla Ficarra, Francisco V. and Nicol, Emma and Cipolla-Ficarra, Miguel and Richardson, Lucy; (2011) Advances in human-computer interaction : graphics and animation components for interface design. In: Human-Computer Interaction, Tourism and Cultural Heritage - First International Workshop, HCITOCH 2010, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6529 . Springer, ITA, pp. 73-86. ISBN 9783642183478

Claesson, A. and Jelinek, V. and Jelinkova, E. and Kitaev, S. (2011) Pattern avoidance in partial permutations. The Electronic Journal of Combinatorics, 18 (1). ISSN 1077-8926

Claesson, Anders and Dukes, Mark and Kubitzke, Martina; (2011) Partition and composition matrices : two matrix analogues of set partitions. In: DMTCS Proceedings. Discrete Mathematics & Theoretical Computer Science, Nancy, France, pp. 221-232.

Claesson, Anders and Linusson, Svante (2011) n! matchings, n! posets. Proceedings of the American Mathematical Society, 139 (2). 435–449. ISSN 0002-9939

Clark, Malcolm and Ruthven, Ian and Holt, Patrik O'Brian (2010) Perceiving and using genre by form - an eye-tracking study. Libri, 60 (3).

Chung, Fan and Claesson, Anders and Dukes, Mark and Graham, Ronald (2010) Descent polynomials for permutations with bounded drop size. European Journal of Combinatorics, 31 (7). pp. 1853-1867.

Claesson, Anders and Kitaev, Sergey and Ragnarsson, Kari and Tenner, Bridget Eileen (2010) Boolean complexes for Ferrers graphs. Australasian Journal of Combinatorics, 48. pp. 159-173. ISSN 1034-4942

Coles, A. J. and Coles, A. I. and Fox, M. and Long, D.; Brafman, Ronen and Geffner, Hector and Hoffmann, Jorg and Kautz, Henry, eds. (2010) Forward-chaining partial-order planning. In: Proceedings of the 20th international conference on automated planning and scheduling, ICAPS 2010. AAAI Press, CAN. ISBN 9781577354499

Chapman, James and Dagand, Pierre-Evariste and Mcbride, Conor and Morris, Peter; Hudak, Paul, ed. (2010) The gentle art of levitation. In: ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming. ACM, New York, NY, USA, pp. 3-14. ISBN 9781605587943

Chung, Fan and Claesson, Anders and Dukes, Mark and Graham, Ronald; (2010) Descent polynomials for permutations with bounded drop size. In: DMTCS Proceedings. Discrete Mathematics & Theoretical Computer Science, Nancy, France, pp. 247-258.

Claesson, Anders and Jelínek, Vit and Jelinkova, Eva and Kitaev, Sergey (2010) Pattern avoidance in partial permutations. In: 22nd International Conference on Formal Power Series & Algebraic Combinatorics, 2010-08-02 - 2010-08-06, San Francisco State University.

Claesson, Anders and Kitaev, Sergey and Steingrimsson, Einar (2009) Decompositions and statistics for β(1,0)-trees and nonseparable permutations. Advances in Applied Mathematics, 42 (3). 313–328. ISSN 0196-8858

Coles, A.I. and Fox, M. and Halsey, K. and Long, D. and Smith, A. (2009) Managing concurrency in temporal planning using planner-scheduler interaction. Artificial Intelligence, 173 (1). pp. 1-44.

Chowdhury, S. and Gibb, F. (2009) Relationship among activities and problems causing uncertainty in information seeking and retrieval. Journal of Documentation, 65 (3). pp. 470-499. ISSN 0022-0418

Connor, R. and Simeoni, F. and Iakovos, M.; (2009) Structural entropic difference: a bounded distance metric for unordered trees. In: SISAP '09: Proceedings of the 2009 Second International Workshop on Similarity Search and Applications. UNSPECIFIED, pp. 21-29.

Claesson, Anders and Kitaev, Sergey (2008) Classification of bijections between 321- and 132-avoiding permutations. Séminaire Lotharingien de Combinatoire, 60. B60d.

Curry, G.B. and Connor, R.C.H. (2008) Automated extraction of data from text using an xml parser: an earth science example using fossil descriptions. Geosphere, 4 (1). pp. 159-169.

Claesson, Anders and Kitaev, Sergey (2008) Classification of bijections between 321- and 132-avoiding permutations. In: 20th International Conference on Formal Power Series & Algebraic Combinatorics, 2008-06-23 - 2008-06-27.

Chowdhury, G.G. and Burton, Paul F. and McMenemy, David and Poulter, Alan (2007) Librarianship: an introduction. Facet Publishing, London, UK. ISBN 978-1-85604-617-6

Coles, A. I. and Fox, M. and Long, D. and Smith, A. J.; (2007) Planning with respect to an existing schedule of events. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). UNSPECIFIED.

Coles, A. I. and Fox, M. and Smith, A. J.; (2007) Online identification of useful macro-actions for planning. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). UNSPECIFIED.

Coles, A. I. and Fox, M. and Smith, A. J.; (2007) A new local-search algorithm for forward-chaining planning. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). UNSPECIFIED.

Cassidy, Claire and Christie, Donald and Skinner, D. and Rimpilainen, Sanna and Coutts, N. and Wilson, A and Sinclair, C (2007) Collaborative communities of enquiry : new partnerships in educational research. In: ECER 2007, 2007-09-19 - 2007-09-21.

Carter, R. G. and Levine, J.; (2007) An investigation into tournament poker strategy using evolutionary algorithms. In: Proceedings of the 2007 IEEE Symposium on Computational Intelligence and Games (CIG 2007). IEEE, New York, pp. 177-124. ISBN 1424407095

Claesson, Anders (2007) Conway's napkin problem. American Mathematical Monthly, 114 (3). 217–231. ISSN 0002-9890

Chowdhury, G. and Chowdhury, S. (2007) Organizing information: from the shelf to the web. Facet Publishing. ISBN 978-1-85604-578-0

Coles, A.I. and Smith, A.J. (2007) Marvin: a heuristic search planner with online macro-action learning. Journal of Artificial Intelligence Research, 28. pp. 119-156.

Crestani, Fabio and Ruthven, Ian (2007) Introduction to special issue on contextual information retrieval systems. Information Retrieval, 10 (2). pp. 111-113. ISSN 1573-7659

Coles, A.I. and Smith, A.J. (2006) Simulating the use of macro-actions through action reordering. In: 25th Workshop of the UK Planning and Scheduling Special Interest Group, 2006-12-14 - 2006-12-15.

Chowdhury, G. and McMenemy, D. and Poulter, A. (2006) Digital library evaluation: how to assess value for money? In: ICDL2006, 2006-12-05 - 2006-12-08.

Chowdhury, G. and Chowdhury, S.; McAlister, G., ed. (2006) e-learning support for LIS education in UK. In: Proceedings of the 7th annual conference on the subject centre for information and computer science. HE Academy, Dublin, Ireland, pp. 75-80.

Chowdhury, G. and Chowdhury, S.; Steede, H. and Hackett, J., eds. (2006) e-learning support for LIS education in UK. In: 7th Annual Conference of the Subject Centre for Information and Compuetr Sciences, 2006-08-29 - 2006-08-31, Dublin, Ireland.

Coles, A.I. (2006) Generic types and their use in improving the quality of search heuristics. In: ICAPS 2006, 2006-06-06 - 2006-06-10.

Campbell, G. and Weir, G.R.S. (2006) Matching readers to texts with the Strathclyde readability measure. In: ICT in the Analysis, Teaching and Learning of Languages, Preprints of the ICTATLL Workshop 2006, 2006-08-21 - 2006-08-22.

Chowdhury, G. and McMenemy, D. and Poulter, A.; (2006) Large-scale impact of digital library services: findings from a major evaluation of SCRAN. In: Proceedings of the 10th ECDL Conference. Lecture Notes in Computer Science, 4172 . Springer, pp. 256-266. ISBN 978-3-540-44636-1

Chowdhury, G. and McMenemy, D. and Poulter, A. (2006) The role of national libraries in digitization: from hub to people's gateway. In: American Library Association Annual Conference: New Orleans, LA. 22nd-28th June 2006, 2006-06-22 - 2006-06-28.

Chowdhury, G. and Poulter, A. and McMenemy, D. (2006) Public library 2.0 : towards a new mission for public libraries as a network of community knowledge. Online Information Review, 30 (4). pp. 454-460. ISSN 1468-4527

Chowdhury, S. and Landoni, M.; (2006) Desired features of a news aggregator service: an end-user perspective. In: Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science (4172). Springer, Berlin, Germany, pp. 481-484.

Chowdhury, S. and Landoni, M. (2006) News aggregator services : user expectations and experience. Online Information Review, 30 (2). pp. 100-115. ISSN 1468-4527

Chowdhury, S. and Landoni, M. and Gibb, F. (2006) Usability and impact of digital libraries: a review. Online Information Review, 30 (6). pp. 656-680. ISSN 1468-4527

Cranston, C. and Weir, G.R.S. (2006) Anti-phishing as a web-based user service. In: Proceedings of e-commerce 2006, 2006-12-09 - 2006-12-11.

Crestani, F. and Du, H.H. (2006) Written versus spoken queries: a qualitative and quantitative comparative analysis. Journal of the American Society for Information Science and Technology, 57 (7). pp. 881-890. ISSN 1532-2882

Crestani, F. and Dunlop, M. and Jones, M. and Jones, S. and Mizzaro, S. (2006) Theme issue on interactive mobile information access. Personal and Ubiquitous Computing, 10 (4). pp. 193-194. ISSN 1617-4909

Coles, Andrew and Smith, Amanda; Tuson, A., ed. (2005) On the inference and management of macro-actions in forward-chaining planning. In: Twenty-fourth UK Planning and Scheduling SIG, 2005-12-15 - 2005-12-16.

Claesson, Anders and Mansour, Toufik (2005) Enumerating permutations avoiding a pair of Babson-Steingrímsson patterns. Ars Combinatoria, 77.

Claesson, Anders (2005) Counting segmented permutations using bicoloured Dyck paths. The Electronic Journal of Combinatorics, 12. R39. ISSN 1077-8926

Cheung, A. and Culshaw, B. and Duffin, K. and Johnstone, W. and McGettrick, A.D. and Mauchline, I.S. and Moodie, D. (2005) Gas spectroscopy in the near infrared optical fibre network. In: Australasian Conference on Optics, Lasers and Spectroscopy, 2005-12-08.

Crestani, F. and Landoni, M. and Melucci, M. (2005) Appearance and functionality of electronic books lessons from the visual book and the hyper-textbook projects. International Journal on Digital Libraries, 6 (2). pp. 192-209. ISSN 1432-5012

Cuesta, L and Hevia, E and Morales, D and Perez, J and Riera, V and Rodriguez, E and Miguel, D (2005) Activation of a 1,10-phenanthroline ligand on a rhenium tricarbonyl complex. Chemical Communications (1). pp. 116-117. ISSN 1359-7345

Chowdhury, G.; Gorman, G. and Rowland, F., eds. (2004) Access and usability issues of scholarly electronic publications. In: Scholarly Publishing in an Electronic Era. International Yearbook of Library and Information Management, 5 . Facet Publishing, UK, pp. 77-98. ISBN 9781856045360

Chowdhury, S. and Chowdhury, G. (2004) Using DDC to create a visual knowledge map as an aid to online information retrieval. In: 8th International ISKO Conference: Knowledge organization and the Global Information Society, 2004-07-13 - 2004-07-16.

Crestani, Fabio and de Campos, Luis M. and Fernandez Luna, Juan M. and Huete, Juan F. (2004) A multi-layered Bayesian network model for structured document retrieval. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, 2003-07-02 - 2003-07-05.

Crisciani, Corrado Maria and Gaiani, Marco and Innocenti, Perla (2004) From analog to digital Palladio : a project methodology. Politecnico, 8. pp. 128-137.

Chowdhury, G. (2004) Classic concepts of IR in the context of the Internet. Update, 3 (4).

Crestani, F. and Vegas, J. and de la Fuente, P. (2004) A graphical user interface for the retrieval of hierarchically structured documents. Information Processing and Management, 40 (2). pp. 269-289. ISSN 0306-4573

Chowdhury, G. (2004) Knowledge organization or information organization : a key component of knowledge management activities. In: ICDL 2004: International Conference on Digital Libraries, 2004-02-24 - 2004-02-27.

Chowdhury, G. and Margariti, S. (2004) Digital reference services : a snapshot of the current practices in scottish libraries. Library Review, 53 (1). pp. 50-60. ISSN 0024-2535

Chowdhury, G. (2004) Access to information in digital libraries : users and digital divide. In: International Conference on Digital Libraries, 2004-02-27 - 2004-02-27.

Chowdhury, G. (2004) Introduction to modern information retrieval. Facet Publishing. ISBN 1-85604-480-7

Chowdhury, G. and Joint, Nicholas (2004) Digital reference services. Library Review, 53 (1). ISSN 0024-2535

Chowdhury, Gobinda and Meyyappan, N. and Foo, Schubert (2004) Design and evaluation of a task-based digital library for the academic community. Journal of Documentation, 60 (4). pp. 449-475. ISSN 0022-0418

Coddington, A. and Cresswell, S.; Lopez de Mantaras, R. and Saitta, L., eds. (2004) Adapting LPGP to plan with deadlines. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), 2004-01-01, Amsterdam.

Coles, Andrew and Smith, Amanda (2004) Marvin : macro-actions from reduced versions of the instance. Preprint / Working Paper. University of Strathclyde, Glasgow, Scotland.

Currier, S. and Revie, C.W. and Tennis, J.; (2004) Who says words are neutral and value free?: User-centred design of a web-based Library for human services educators. In: HUSITA7 - The 7th International Conference of Human Services Information Technology Applications. Haworth Press. ISBN 978-0-7890-3371-0

Crestani, Fabio and de Campos, Luis M. and Fernandez Luna, Juan M. and Huete, Juan F. (2003) Ranking structured documents using utility theory in the Bayesian network retrieval model. In: Proceedings of the SPIRE 2003, 2003-10-08 - 2003-10-19.

Claesson, Anders and Godsil, Chris D. and Wagner, David G. (2003) A permutation group determined by an ordered set. Discrete Mathematics, 269 (1-3). 273–279. ISSN 0012-365X

Chowdhury, Gobinda G. (2003) Natural language processing. Annual Review of Information Science and Technology, 37 (1). pp. 51-89. ISSN 0066-4200

Cahill, V. and Gray, E. and Seigneur, J.M. and Jensen, C. and Chen, Y. and Shand, B. and Dimmock, N. and Twigg, A. and Bacon, J. and English, C. and Wagealla, W. and Terzis, S. and Nixon, P. and Serugendo, G. and Bryce, C. and Carbone, M. and Krukow, K. and Nielsen, M. (2003) Using trust for secure collaboration in uncertain environments. IEEE Pervasive Computing, 2 (3). pp. 52-61. ISSN 1536-1268

Clarke, J. and Dolado, J. J. and Harman, M. and Hierons, R. and Jones, B. and Lumkin, M. and Mitchell, B. and Mancoridis, S. and Rees, K. and Roper, M. and Shepperd, M. (2003) Reformulating Software Engineering as a Search Problem. IEE Proceedings Software, 150 (3). pp. 161-175. ISSN 1462-5970

Crestani, F. (2003) Combination of Similarity Measures for Effective Spoken Document Retrieval. Journal of Information Science, 29 (2). pp. 87-96. ISSN 0165-5515

Crestani, F. (2003) Vocal access to a newspaper archive: assessing the limitations of current voice information access technology. Journal of Intelligent Information Systems, 20 (2). pp. 161-180. ISSN 0925-9902

Crestani, F. and Melucci, M. (2003) Automatic Construction of Hypertexts for Self-Referencing: the Hyper-TextBook Project. Information Systems, 28 (7). pp. 769-790. ISSN 0306-4379

Crestani, F. and Pasi, G. (2003) Handling vagueness, subjectivity and imprecision in information retrieval. Information Processing and Management, 39 (2). pp. 161-165. ISSN 0306-4573

Connor, Richard and Lievens, David and Simeoni, Fabio and Neely, Steve and Russell, George (2002) Projector - a partially typed language for querying XML. In: PlanX Workshop on Programming Language Technologies for XML, 2002-10-03 - 2002-10-08.

Claesson, Anders and Mansour, Toufik (2002) Counting occurrences of a pattern of type (1,2) or (2,1) in permutations. Advances in Applied Mathematics, 29 (2). 293–310. ISSN 0196-8858

Cresswell, S. and Fox, M. and Long, D.; McCluskey, T.L., ed. (2002) Extending {TIM} domain analysis to handle {ADL} constructs. In: AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, 2002-04-23 - 2002-04-27.

Chowdhury, G.; Lim, E.P. and Foo, S. and Khoo, C. and Urs, S. and Costantino, T. and Fox, E. and Chen, H., eds. (2002) Digital divide : how can digital libraries bridge the gap? In: Digital libraries. Lecture Notes in Computer Science . Springer-Verlag, Singapore, pp. 379-391. ISBN 3540002618

Chowdhury, G. (2002) Digital libraries and reference services: present and future. Journal of Documentation, 58 (3). pp. 258-283. ISSN 0022-0418

Chowdhury, G. and Chowdhury, S. (2002) Introduction to digital libraries. Facet Publishing, UK. ISBN 1-85604-465-3

Chowdhury, G.; Peng, E., ed. (2002) Digital divide: how can digital libraries bridge the gap? In: Digital Libraries: people, knowledge and technology - 5th International Conference on Asian Digital Libraries, 2002-12-11 - 2002-12-14, Singapore.

Cresswell, S. and Fox, M. and Long, D.; McCluskey, T. L., ed. (2002) Extending TIM domain analysis to handle ADL constructs. In: UNSPECIFIED.

Crestani, F. (2002) Spoken query processing for interactive information retrieval. Data and Knowledge Engineering, 41 (1). pp. 105-124. ISSN 0169-023X

Claesson, Anders (2001) Generalized Pattern Avoidance. European Journal of Combinatorics, 22 (7). 961–971. ISSN 0195-6698

Connor, R. and Lievens, D. and Manghi, P. and Neely, S. and Simeoni, F. (2001) Extracting typed values from XML data. In: OOPSLA 2001 Workshop on Objects, XML and Databases publications, 2001-10-14 - 2001-10-18.

Crestani, Fabio and de la Fuente, Pablo and Vegas, Jesus (2001) Disegno de una Interfaz de Consulta para la Recuperacion de Documentos Estructurados. Revista Interamericana de Nuevas Tecnologias de la Informacion, 6 (3). pp. 8-23. ISSN 0122-3356

Chowdhury, G.; Naidu, M., ed. (2001) How to make best use of the intellectual output of a country? a simple approach to the design of a digital library of theses and dissertations in Indian universities. In: 8th national conference for automation of libraries in education and research institutes, 2001-03-15 - 2001-03-16.

Chowdhury, G. and Chowdhury, S. (2001) Information sources and searching on the world wide web. Facet Publishing, UK. ISBN 1-85604-394-0

Chowdhury, G. and Chowdhury, S. (2001) Searching CD-ROM and online information sources. Facet Publishing, UK. ISBN 1-85604-388-6

Crestani, F. and Ntioudis, S. (2001) User centred evaluation of an automatically constructed hyper-textbook. Journal of Educational Multimedia and Hypermedia, 11 (1). pp. 3-19. ISSN 1055-8896

Crestani, F. and Lalmas, M. (2000) Logical and uncertainty models for information access : current trends. Knowledge Engineering Review, 15 (2). pp. 171-179. ISSN 0269-8889

Crestani, F. (2000) Exploiting the similarity of non-matching terms at retrieval time. Information Retrieval, 2 (1). pp. 23-43. ISSN 1573-7659

Crestani, F. and Lee, P.L. (2000) Searching the Web by constrained spreading activation. Information Processing and Management, 36 (4). pp. 585-605. ISSN 0306-4573

Cresswell, Stephen and Smaill, Alan and Richardson, Julian (1999) Deductive synthesis of recursive plans in linear logic. In: 5th European Conference on Planning (ECP 99), 1999-09-08 - 1999-09-10.

Crestani, F. (1999) Vocal access to a newspaper archive : design issues and preliminary investigation. In: Proceedings of the ACM Digital Libraries Conference, 1999-01-01.

Cahill, Vinny and Nixon, Paddy and Tangney, Brendan and Rabhi, Fethi (1997) Object models for distributed or persistent programming. Computer Journal, 40 (8). pp. 513-527. ISSN 0010-4620

Crestani, F. and Ruthven, I. and Sanderson, M. and van Rijsbergen, C.J.; Harman, D.K., ed. (1995) The troubles with using a logical model of IR on a large collection of documents. In: Proceedings of the Fourth Text Retrieval Conference (TREC-4), 1995-11-01 - 1995-11-03.

Cockton, G. and Draper, S. and Weir, G.R.S. (1994) People and Computers IX: Proceedings of the HCI' 94 Conference. Proceedings of HCI . Cambridge University Press, Cambridge, UK. ISBN 052148557-6

Campbell, A. and Revie, C. (1994) Re-engineering the executive information system. Journal of the Association for Global Strategic Information, 3. pp. 16-23. ISSN 0965-4380

D

Dong, Zhongping and Xu, Yan and Abel, Andrew and Wang, Dong (2024) Lip2Speech : lightweight multi-speaker speech reconstruction with Gabor features. Applied Sciences, 14 (2). 798. ISSN 2076-3417

de Muijnck-Hughes, Jan and Noble, James (2024) Colouring flags with Dafny & Idris. In: Dafny 2024, 2024-01-14 - 2024-01-14, Institution of Engineering and Technology.

Davidson, Jennifer C. and Karadzhov, Dimitar and Wilson, Graham (2024) Short take: designing a multinational smartphone app survey during COVID-19 : rewards, risks and recommendations. Field Methods.

Douha, N’guessan Yves-Roland and Renaud, Karen and Taenaka, Yuzo and Kadobayashi, Youki (2023) Smart home cybersecurity awareness and behavioral incentives. Information and Computer Security, 31 (5). pp. 545-575. ISSN 2056-4961

Das Chowdhury, Partha and Renaud, Karen V. (2023) 'Ought' should not assume 'can' ... : basic capabilities in cybersecurity to ground sen's capability approach. In: New Security Paradigms Workshop, 2023-09-18 - 2023-09-21, Segovia.

de Muijnck-Hughes, Jan and Vanderbauwhede, Wim; Ali, Karim and Salvaneschi, Guido, eds. (2023) Wiring circuits is easy as {0,1,w}, or is it... In: 37th European Conference on Object-Oriented Programming, ECOOP 2023. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, USA. ISBN 9783959772815

de Jong, Tom and Kraus, Nicolai and Nordvall Forsberg, Fredrik and Xu, Chuangjie (2023) Set-theoretic and type-theoretic ordinals coincide. In: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, 2023-06-26 - 2023-06-29.

De Visme, Marc and Winskel, Glynn (2023) Causal unfoldings and disjunctive causes. Logical Methods in Computer Science, 19 (2). 4:1-4:30. ISSN 1860-5974

de Muijnck-Hughes, Jan and Allais, Guillaume and Brady, Edwin; Lämmel, Ralf and Mosses, Peter and Steimann, Friedrich, eds. (2023) Type theory as a language workbench. In: Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), 109 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany. ISBN 9783959772679

Dórea, Fernanda C. and Vial, Flavi and Revie, Crawford W. (2023) Data-fed, needs-driven : designing analytical workflows fit for disease surveillance. Frontiers in Veterinary Science, 10. 1114800. ISSN 2297-1769

Darley, Andrew and Coughlan, Barbara and Maguire, Roma and McCann, Lisa and Furlong, Eileen (2023) A bridge from uncertainty to understanding : the meaning of symptom management digital health technology during cancer treatment. Digital Health, 9. ISSN 2055-2076

Daggitt, Matthew L. and Atkey, Robert and Kokke, Wen and Komendantskaya, Ekaterina and Arnaboldi, Luca; Krebbers, Robbert and Traytel, Dmitriy and Pientka, Brigitte and Zdancewic, Steve, eds. (2023) Compiling higher-order specifications to SMT solvers : how to deal with rejection constructively. In: CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, New York, NY., pp. 102-120. ISBN 9798400700262

Daronnat, Sylvain and Azzopardi, Leif and Halvey, Martin (2022) Comparing levels and types of situational-awareness based agent transparency in human-agent collaboration. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 66 (1). pp. 1169-1173. ISSN 2169-5067

de Castro, Pablo and Macgregor, George (2022) "Common unique PIDs for research management information are strongly encouraged" : what are these? In: UKRI OA policy PIDs - WS #2, 2022-10-05 - 2022-10-05, Online.

Dubiel, Mateusz and Daronnat, Sylvain and Leiva, Luis A.; Halvey, Martin and Foster, Mary Ellen and Dalton, Jeff and Munteanu, Cosmin and Trippas, Johanne, eds. (2022) Conversational agents trust calibration. In: Proceedings of the 4th International Conference on Conversational User Interfaces, CUI 2022. ACM International Conference Proceeding Series . Association for Computing Machinery, GBR. ISBN 9781450397391

Di Lorito, Claudio and Bosco, Alessandro and Rai, Harleen and Craven, Michael and McNally, Donal and Todd, Chris and Booth, Vicky and Cowley, Alison and Howe, Louise and Harwood, Rowan H. (2022) A systematic literature review and meta‐analysis on digital health interventions for people living with dementia and Mild Cognitive Impairment. International Journal of Geriatric Psychiatry, 37 (6). GPS5730. ISSN 1099-1166

da Veiga, Adele and Loock, Mariaane and Renaud, Karen (2022) Cyber4Dev-Q : calibrating cyber awareness in the developing country context. The Electronic Journal of Information Systems in Developing Countries, 88 (1). e12198. ISSN 1681-4835

Dupuis, Marc and Renaud, Karen and Jennings, Anna (2022) Fear might motivate secure password choices in the short term, but at what cost? In: Hawaii International Conference on System Sciences, 2022-01-04 - 2022-01-07.

Dórea, Fernanda C. and Revie, Crawford W. (2021) Corrigendum : data-driven surveillance: effective collection, integration, and interpretation of data to support decision making. Frontiers in Veterinary Science, 8. 789696. ISSN 2297-1769

Dupuis, Marc and Jennings, Anna and Renaud, Karen; (2021) Scaring people is not enough : an examination of fear appeals within the context of promoting good password hygiene. In: SIGITE '21: Proceedings of the 22st Annual Conference on Information Technology Education. SIGITE 2021 - Proceedings of the 22nd Annual Conference on Information Technology Education . ACM, USA, pp. 35-40. ISBN 9781450383554

Dobreva, Milena (2021) Disinformation research in Bulgarian. Datasets and tools. CEUR Workshop Proceedings, 3061. pp. 54-63. ISSN 1613-0073

Davidson, Jennifer C and Karadzhov, Dimitar and Wilson, Graham (2021) Practitioners' and policymakers' successes, challenges, innovations, and learning in promoting children's well-being during COVID-19 : protocol for a multinational smartphone app survey. JMIR Research Protocols, 10 (7). e31013. ISSN 1929-0748

Dodson, Michael and Beresford, Alastair R. and Thomas, Daniel R.; (2021) When will my PLC support Mirai? The security economics of large-scale attacks against internet-connected ICS devices. In: Proceedings of the 2020 APWG Symposium on Electronic Crime Research, eCrime 2020. eCrime Researchers Summit, eCrime . IEEE, Piscataway, N.J.. ISBN 9781665425391

Daronnat, Sylvain and Azzopardi, Leif and Halvey, Martin and Dubiel, Mateusz (2021) Inferring trust from users' behaviours; agents' predictability positively affects trust, task performance and cognitive load in human-agent real-time collaboration. Frontiers in Robotics and AI, 8. 642201. ISSN 2296-9144

de Amorim, Pedro H. Azevedo and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Roberts, M.; (2021) Universal semantics for the stochastic λ-calculus. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, ITA. ISBN 9781665448956

Dubiel, Mateusz and Nakayama, Minoru and Wang, Xin; Spencer, Stephen N., ed. (2021) Combining oculo-motor indices to measure cognitive load of synthetic speech in noisy listening conditions. In: ETRA '21 Short Papers : ACM Symposium on Eye Tracking Research and Applications. Eye Tracking Research and Applications Symposium (ETRA) . ACM, DEU. ISBN 9781450383455

Dubiel, Mateusz and Halvey, Martin and Azzopardi, Leif (2021) Exploring the Impact of Conversational Strategies on User Search Experience in Goal-Oriented Tasks in a Voice-Only Domain. PhD thesis, University Of Strathclyde.

Dórea, Fernanda C. and Revie, Crawford W. (2021) Data-driven surveillance : effective collection, integration, and interpretation of data to support decision making. Frontiers in Veterinary Science, 8. 633977. ISSN 2297-1769

Dubiel, Mateusz and Nakayama, Minoru and Wang, Xin (2021) Evaluating synthetic speech workload with oculo-motor indices : preliminary observations for Japanese speech. In: BIOSIGNALS 2021, 2021-02-11 - 2021-02-13, Online Event.

Daronnat, Sylvain and Azzopardi, Leif and Halvey, Martin (2021) Impact of agents' errors on performance, reliance and trust in human-agent collaboration. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 64 (1). pp. 405-409. ISSN 1071-1813

Di Lavore, Elena and Hedges, Jules and Sobociński, Paweł; Baier, Christel and Goubault-Larrecq, Jean, eds. (2021) Compositional modelling of network games. In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, SVN. ISBN 9783959771757

Daronnat, Sylvain; (2020) Human-agent trust relationships in a real-time collaborative game. In: CHI PLAY '20. ACM, New York, pp. 18-20. ISBN 9781450375870

Daronnat, Sylvain and Azzopardi, Leif and Halvey, Martin and Dubiel, Mateusz; (2020) Impact of agent reliability and predictability on trust in real time human-agent collaboration. In: HAI '20: Proceedings of the 8th International Conference on Human-Agent Interaction. ACM, AUS, pp. 131-139. ISBN 978-1-4503-8054-6

de Muijnck-Hughes, Jan and Brady, Edwin and Vanderbauwhede, Wim; Hirschfeld, Robert and Pape, Tobias, eds. (2020) A framework for resource dependent EDSLs in a dependently typed language. In: 34th European Conference on Object-Oriented Programming, ECOOP 2020. Leibniz International Proceedings in Informatics, LIPIcs, 166 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU. ISBN 9783959771542

Dupuis, Marc and Renaud, Karen (2020) Scoping the ethical principles of cybersecurity fear appeals. Ethics and Information Technology. ISSN 1388-1957

Dupuis, Marc J. and Renaud, Karen; (2020) Conducting "in-person" research during a pandemic. In: Proceedings of the 21st Annual Conference on Information Technology Education. Association for Computing Machinery (ACM), New York, pp. 320-323. ISBN 9781450370455

Dubiel, Mateusz and Halvey, Martin and Azzopardi, Leif and Daronnat, Sylvain; (2020) Interactive evaluation of conversational agents : reflections on the impact of search task design. In: ICTIR 2020 - Proceedings of the 2020 ACM SIGIR International Conference on Theory of Information Retrieval. ACM, NOR, 85–88. ISBN 9781450380676

Dubiel, Mateusz and Oplustil Gallegos, Pilar and Halvey, Martin and King, Simon (2020) Persuasive synthetic speech : voice perception and user behaviour. In: 2nd International Conference on Conversational User Interfaces, 2020-07-22 - 2020-07-24.

Dermody, Gordana and Whitehead, Lisa and Wilson, Graham and Glass, Courtney (2020) The role of virtual reality in improving health outcomes for community-dwelling older adults : systematic review. Journal of Medical Internet Research, 22 (6). e17331. ISSN 1438-8871

Duncan, Ross and Kissinger, Aleks and Perdrix, Simon and van de Wetering, John (2020) Graph-theoretic simplification of quantum circuits with the ZX-calculus. Quantum, 4. 279. ISSN 2521-327X

Dubiel, Mateusz and Halvey, Martin and Azzopardi, Leif and Anderson, Damien and Daronnat, Sylvain (2020) Conversational strategies : impact on search performance in a goal-oriented task. In: The Third International Workshop on Conversational Approaches to Information Retrieval, 2020-03-18 - 2020-03-18.

Dukes, Mark and Selig, Thomas and Smith, Jason P. and Steingrímsson, Einar (2019) The Abelian sandpile model on Ferrers graphs — a classification of recurrent configurations. European Journal of Combinatorics, 81. pp. 221-241. ISSN 0195-6698

Dubiel, Mateusz and Cervone, Alessandra and Riccardi, Giuseppe (2019) Inquisitive Mind : A conversational news companion. In: 1st International Conference on Conversational User Interfaces, 2019-08-22 - 2019-08-23, Science Gallery Dublin.

Dukes, Mark and Selig, Thomas and Smith, Jason P. and Steingrímsson, Einar (2019) Permutation graphs and the Abelian sandpile model, tiered trees and non-ambiguous binary trees. The Electronic Journal of Combinatorics, 26 (3). P3.29. ISSN 1077-8926

de Muijnck-Hughes, Jan and Vanderbauwhede, Wim; Donaldson, Alastair F., ed. (2019) A typing discipline for hardware interfaces. In: 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, GBR. ISBN 9783959771115

Ducheva, Dilyana P and Pennington, Diane Rasmussen (2019) RDA in Europe : Implementations and perceptions. Journal of Librarianship and Information Science, 51 (2). pp. 387-402. ISSN 0961-0006