Items where subject is "Electronic computers. Computer science"

Amato, Giuseppe and Connor, Richard and Falchi, Fabrizio and Gennaro, Claudio, eds. (2015) Similarity Search and Applications : 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings. Lecture Notes in Computer Science . Springer, Cham, Switzerland. ISBN 9783319250861

Terzis, S. and Neely, S. and Narasimhan, N., eds. (2007) 5th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2007). ACM Proceedings Series . ACM, New York. ISBN 978-1-59593-930-2

Terzis, S., ed. (2008) 6th International Workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC 2008). ACM Proceedings Series . ACM, New York, NY, USA. ISBN 978-1-60558-364-8

Digital Health & Care Institute; (2019) Baseline Workforce Survey [Appendix 4]. Digital Health & Care Institute, Glasgow.

FUTUREquipped Project; (2019) A College–Innovation Centre Pilot Programme : End of Programme Report. March 2019. Digital Health & Care Institute, Glasgow.

Digital Health & Care Institute (DHI); Crooks, George, ed. (2020) Community Mental Health and Wellbeing : What Does Gold Standard Look Like? [Design Workshop Report]. University of Strathclyde, Glasgow.

FUTUREquipped Project, Jordan, Catriona and Rimpiläinen, Sanna and Morrison, Douglas, eds. (2019) Construction Sector : [Learning Materials - FUTUREquipped Project]. Digital Health & Care Institute, Glasgow.

Weir, George and Ishikawa, S. and Poonpol, K., eds. (2011) Corpora and language technologies in teaching, learning and research. University of Strathclyde, Glasgow. ISBN 9780947649821

Digital Health & Care Institute (DHI); Crooks, George, ed. (2020) Creation of a Universal Health & Wellbeing Service : What is the Offer to Citizens in Distress? [Design Workshop Report]. University of Strathclyde, Glasgow.

Weir, George, ed. (2011) Cyberforensics : issue and perspectives. University of Strathclyde, Glasgow. ISBN 9780947649784

Weir, George and Daley, Michael, eds. (2013) Cyberforensics Perspectives : Proceedings of the 3rd International Conference on Cybercrime, Security and Digital Forensics (Cyberforensics 2013). University of Strathclyde Publishing, Glasgow.

Digital Health & Care Institute; (2019) DHI Demonstration & Simulation Environment : DHI Phase 1b Report - Lessons Learned. University of Strathclyde, Glasgow.

McDonald, D., ed. (2008) DIFUSE handbook : a guide to transnational collaboration in knowledge. Unknown Publisher.

Digital Health & Care Institute (DHI), Hughes, Janette, ed. (2022) Digital Health & Care Innovation Centre Phase 2 – Year 3 Annual Report (August 2021 to July 2022). Digital Health & Care Institute, Glasgow.

Digital Health & Care Institute (DHI); (2023) Digital Health & Care Innovation Centre Phase 2 – Year 4 Annual Report (Aug 2022 to July 2023). Digital Health & Care Institute, Glasgow.

Meier, R. and Terzis, S., eds. (2008) Distributed Applications and Interoperable Systems (DAIS 2008). LNCS, 5053 . Springer. ISBN 978-3-540-68639-2

Callan, Jamie and Crestani, F. and Sanderson, Mark, eds. (2004) Distributed multimedia information retrieval. Lecture Notes in Computer Science . Springer-Verlag, Heidelberg. ISBN 9783540208754

Digital Health & Care Institute; (2019) Emergent Themes from Consultation with Strategic Stakeholders [Appendix 3]. Digital Health & Care Institute, Glasgow.

FUTUREquipped Project, Young, Vivian, ed. (2019) Health and Care Sector : [Learning Materials - FUTUREquipped Project]. Digital Health & Care Institute, Glasgow.

Digital Health & Care Institute; (2019) High Level Mapping of Relevant Existing Capability/Competency/Career Frameworks [Appendix 2]. Digital Health & Care Institute, Glasgow.

FUTUREquipped Project, Davie, Carol, ed. (2019) ICT Sector : [Learning Materials - FUTUREquipped Project]. Digital Health & Care Institute, Glasgow.

Veiga, L. and Donsez, D. and Riva, O. and Terzis, S., eds. (2009) International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009). ACM Proceedings Series . ACM, New York, NY, USA.

Weir, George and Al-nemrat, Ameer, eds. (2012) Issues in Cybercrime, Security and Digital Forensics. University of Strathclyde Publishing. ISBN 9780947649852

Agosti, M. and Crestani, F. and Pasi, G., eds. (2001) Lectures in information retrieval. LNCS, 1980 . Springer-Verlag, Heidelberg, Germany. ISBN 3540419330

Lindley, Sam and McBride, Conor and Trinder, Phil and Sannella, Don, eds. (2016) A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer. ISBN 9783319309354

FUTUREquipped Project, Gale, Lewis, ed. (2019) Metaskills : [Learning Materials - FUTUREquipped Project]. Digital Health & Care Institute, Glasgow.

(1995) Miro final workshop on multimedia information retrieval (Miro-95). In: Electronic Workshops in Computing - MIRO 95, 1995-09-18 - 1995-09-20.

Brewster, Stephen and Dunlop, Mark, eds. (2004) Mobile Human-Computer Interaction - Mobile HCI 2004 : 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings. Lecture Notes in Computer Science . Springer, Heidelberg. ISBN 3540230866

Digital Health & Care Institute; (2019) Our Time to Shine : Empowering the Data, Information and Knowledge Workforce as a Driving Force for Digital Health and Care. Digital Health & Care Institute, Glasgow.

Dunlop, Mark and Brewster, S.A., eds. (2001) Proceedings of mobile HCI 01 : third international workshop on human computer interaction with mobile devices. University of Strathclyde.

(2003) Proceedings of the 1st international workshop on middleware for pervasive and ad hoc computing (MPAC). In: 1st international workshop on middleware for pervasive and ad hoc computing (MPAC), 2003-01-01 - 2003-01-01.

(2003) Proceedings of the 22nd workshop of the UK planning and scheduling special interest group (PlanSig 03). In: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10.

Terzis, Sotirios and Veiga, L., eds. (2010) Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010). ACM Press. ISBN 978-1-4503-0451-1

Digital Health & Care Institute; (2019) Scoping Review of the Literature on Workforce Models, Workforce Planning and Development Approaches [Appendix 1]. Digital Health & Care Institute, Glasgow.

Tripathi, A. and Iftode, L. and Nahrstedt, K. and Nixon, Patrick, eds. (2004) Second IEEE annual conference on pervasive computing and communications (PerCom'04) : proceedings, workshops: Orlando, Florida, March 14-17, 2004. IEEE, Washington. ISBN 9780769521060

Crestani, F. and Pasi, Gabriella, eds. (2000) Soft computing in information retrieval : techniques and applications. Studies in fuzziness and soft computing . Physica-Verlag, Heidelberg, Germany. ISBN 9783790824735

Al-nemrat, Ameer and Weir, George, eds. (2013) Special Issue : on cybercrime prevention, detection and response. International Journal of Electronic Security and Digital Forensics, 5 (2). ISSN 1751-911X

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.

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

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

Abdullah, A. and Hussein, A. and Ordys, A.W. (2005) Biclustering noisy gene expression data. In: ICBA '04 - International Conference on Bioinformatics and its Applications, 2004-12-16 - 2004-12-19.

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

Abrishami, Sepehr and Goulding, Jack Steven and Rahimian, Farzad Pour and Ganah, Abdulkadir (2014) Integration of BIM and generative design to exploit AEC conceptual design innovation. Journal of Information Technology in Construction, 19 (Specia). pp. 350-359. ISSN 1874-4753

Aburaed, Nour and Al-Saad, Mina and Panthakkan, Alavikunhu and al Mansoori, Saeed and Al-Ahmad, Hussain and Marshall, Stephen; (2022) A hybrid rexception network for COVID-19 classification from chest X-ray images. In: 2021 28th IEEE International Conference on Electronics, Circuits, and Systems, (ICECS), 2021. 2021 28th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2021 - Proceedings . Institute of Electrical and Electronics Engineers Inc., ARE, pp. 1-5. ISBN 9781728182810

Aburaed, Nour and Alkhatib, Mohammed Q. and Marshall, Stephen and Zabalza, Jaime and Ahmad, Hussain Al; Barnett, Nick J. and Gowen, Aoife A. and Liang, Haida, eds. (2023) Complex-valued neural network for hyperspectral single image super resolution. In: Proc. SPIE 12338, Hyperspectral Imaging and Applications II. Proc. of SPIE, 12338 . SPIE, GBR. ISBN 9781510657489

Aburaed, Nour and Alkhatib, Mohammed Q. and Marshall, Stephen and Zabalza, Jaime and Ahmad, Hussain Al (2023) A review of spatial enhancement of hyperspectral remote sensing imaging techniques. IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 16. pp. 2275-2300. ISSN 2151-1535

Acciarini, Giacomo and Pinto, Francesco and Letizia, Francesca and Martinez-Heras, José A. and Merz, Klaus and Bridges, Christopher and Baydin, Atılım Güneş (2021) Kessler : A machine learning library for spacecraft collision avoidance. In: 8th European Conference on Space Debris, 2021-04-20 - 2021-04-23, ESA/ESOC.

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

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

Ackermann, F. (2005) Discussion on article 3: Kelly's contribution to information systems. International Journal of Technology and Human Interaction, 1 (4). pp. 57-58.

Ackermann, F. and Belton, V. and Morton, Alec (2003) Technology-driven and model-driven approaches to group decision support: Focus, research philosophy, and key concepts. European Journal of Information systems, 12 (2). pp. 110-126. ISSN 0960-085X

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

Adams, Paul (2011) ICT and pedagogy : opportunities missed? Education 3-13, 39 (1). pp. 21-33. ISSN 0300-4279

Adegbite, Saheed A. and McMeekin, Scott G. and Stewart, Brian G. (2016) A joint OFDM PAPR reduction and data decoding scheme with no SI estimation. EURASIP Journal on Wireless Communications and Networking, 2016 (1). 108. ISSN 1687-1472

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

Afrasiabi, Mousa and Mohammadi, Mohammad and Rastegar, Mohammad and Stankovic, Lina and Afrasiabi, Shahabodin and Khazaei, Mohammad (2020) Deep-based conditional probability density function forecasting of residential loads. IEEE Transactions on Smart Grid, 11 (4). pp. 3746-3757. 8988175. ISSN 1949-3053

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

Ahmad, Rufai and Terzis, Sotirios and Renaud, Karen (2024) Getting users to click : a content analysis of phishers’ tactics and techniques in mobile instant messaging phishing. Information and Computer Security, 32 (4). pp. 420-435. ISSN 2056-4961

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

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

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

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

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

Ahmed, Mohamed and Kamel, Sara H. and Abbasy, Nabil H. and Abouelseoud, Yasmine (2023) A Gaussian random walk salp swarm algorithm for optimal dynamic charging of electric vehicles. Applied Soft Computing, 147. 110838. ISSN 1568-4946

Ahmed, Sarfraz and Al Bazi, Ammar and Saha, Chitta and Rajbhandari, Sujan and Huda, M. Nazmul (2023) Multi-scale pedestrian intent prediction using 3D joint information as spatio-temporal representation. Expert Systems with Applications, 225. 120077. ISSN 0957-4174

Ahn, Ki Yung and Horne, Ross and Tiu, Alwen (2021) A characterisation of open bisimilarity using an intuitionistic modal logic. Logical Methods in Computer Science, 17 (3). 2:1-2:40. ISSN 1860-5974

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.

Ainsworth, M. and Rankin, R. (2008) Robust a posteriori error estimation for the nonconforming fortin-soulie finite element approximation. Mathematics of Computation, 77 (264). pp. 1917-1939. ISSN 0025-5718

Air, A. and Wodehouse, A. (2022) Deformation taxonomy of additively manufactured lattice structures. Proceedings of the Design Society, 2. pp. 1361-1370. ISSN 2732-527X

Ait Laasri, El Hassan and Akhouayri, Es-Saïd and Agliz, Dris and Zonta, Daniele and Atmani, Abderrahman (2015) A fuzzy expert system for automatic seismic signal classification. Expert Systems with Applications, 42 (3). pp. 1013-1027. ISSN 0957-4174

Aizpurua, Jose Ignacio and Stewart, Brian G. and McArthur, Stephen D. J. (2022) Prognostics & health management oriented data analytics suite for transformer health monitoring. Transformers Magazine. pp. 1-9.

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

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

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

Akbari, Vahid and Simpson, Morgan and Maharaj, Savitri and Marino, Armando and Bhowmik, Deepayan and Prabhu, G. Nagendra and Rupavatharam, Srikanth and Datta, Aviraj and Kleczkowski, Adam and Sujeetha, J. R.P.Alice; (2021) Monitoring aquatic weeds in Indian wetlands using multitemporal remote sensing data with machine learning techniques. In: IGARSS 2021 - 2021 IEEE International Geoscience and Remote Sensing Symposium, Proceedings. International Geoscience and Remote Sensing Symposium (IGARSS) . Institute of Electrical and Electronics Engineers Inc., BEL, pp. 6847-6850. ISBN 9781665403696

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

Akçay, Fuzuli Ağri and Oterkus, Erkan (2023) Prediction of fracture toughness of metallic materials. Engineering with Computers, 39. 81–88. ISSN 0177-0667

Al Ani, Saja and Cleland, Joanne and Zoha, Ahmed; Guarino, Maria Pedro and Hotta, Kazuhiro and Yousef, Malik and Liu, Hui and Saggio, Giovanni and Fred, Ana and Gamboa, Hugo, eds. (2024) Automated classification of phonetic segments in child speech using raw ultrasound imaging. In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. BIOSTEC . SCITEPRESS, ITA, pp. 326-331. ISBN 9789897586880

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

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

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.

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

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

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

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

Al-Mahruqi, Ali Abdullah Hamed and Stewart, Brian G. and Hainey, Brian and Vallavaraj, Athinarayanan (2016) A review of performance and energy aware improvement methods for future green cloud computing. International Journal of Computer Applications, 144 (11). pp. 18-24. ISSN 0975-8887

Al-Saad, Mina and Aburaed, Nour and Mansoori, Saeed Al and Ahmad, Hussain Al; (2022) Autonomous palm tree detection from remote sensing images-UAE dataset. In: IGARSS 2022 - 2022 IEEE International Geoscience and Remote Sensing Symposium. International Geoscience and Remote Sensing Symposium (IGARSS) . Institute of Electrical and Electronics Engineers Inc., MYS, pp. 2191-2194. ISBN 9781665427920

AlKhateeb, J. H. and Jiang, J. and Ren, Jinchang and Ipson, S. (2009) Component-based Segmentation of words from handwritten Arabic text. International Journal of Computer Systems Science and Engineering, 5 (1).

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

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

Alajmi, Abdalrahman R E and Kelly, Nick; (2024) Implementing Industry 4.0 tools for enhancing residential energy management : a case study of Kuwait. In: 2024 IEEE 18th International Conference on Application of Information and Communication Technologies (AICT). International Conference on Application of Information and Communication Technologies (AICT) . IEEE, ITA. ISBN 979-8-3503-8753-7

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

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

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

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.

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

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

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

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.

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

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

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.

Alexiadis, A. and Simmons, M. J. H. and Stamatopoulos, K. and Batchelor, H. K. and Moulitsas, I. (2020) The duality between particle methods and artificial neural networks. Scientific Reports, 10 (1). 16247. ISSN 2045-2322

Alexiadis, A. and Simmons, M.J.H. and Stamatopoulos, K. and Batchelor, H. K. and Moulitsas, I. (2021) Publisher correction : The duality between particle methods and artificial neural networks. Scientific Reports, 11. 5726. ISSN 2045-2322

Alharbi, Adel R. and Ahmad, Jawad and Arshad and Jamal, Sajjad Shaukat and Masood, Fawad and Ghadi, Yazeed Yasin and Pitropakis, Nikolaos and J Buchanan, William (2022) A new multistage encryption scheme using linear feedback register and chaos-based quantum map. Complexity, 2022. 7047282. ISSN 1099-0526

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.

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.

Ali, Haider and Faisal, Shah and Chen, Ke and Rada, Lavdie (2021) Image-selective segmentation model for multi-regions within the object of interest with application to medical disease. Visual Computer, 37 (5). pp. 939-955. ISSN 1432-2315

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

Alicino, Simone and Vasile, Massimiliano; (2014) An evolutionary approach to the solution of multi-objective min-max problems in evidence-based robust optimization. In: Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers Inc., GBR, pp. 1179-1186. ISBN 9781479914883

Alicino, Simone and Vasile, Massimiliano; (2014) An evolutionary approach to the solution of multi-objective min-max problems in evidence-based robust optimization. In: Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers Inc., pp. 1179-1186. ISBN 9781479914883

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.

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

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

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

Alkhateeb, Jawad H. and Pauplin, Olivier and Ren, Jinchang and Jiang, Jianmin (2011) Performance of hidden Markov model and dynamic Bayesian network classifiers on handwritten Arabic word recognition. Knowledge Based Systems, 24 (5). pp. 680-688. ISSN 0950-7051

Alkhateeb, Jawad H. and Ren, Jinchang and Jiang, Jianmin and Al-Muhtaseb, Husni (2011) Offline handwritten Arabic cursive text recognition using hidden markov models and re-ranking. Pattern Recognition Letters, 32 (8). pp. 1081-1088. ISSN 0167-8655

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

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

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

Allais, Guillaume (2024) Scoped and typed staging by evaluation. Other. arXiv, Ithaca, N.Y..

Allais, Guillaume; Keller, Gabriele and Wang, Meng, eds. (2024) Scoped and typed staging by evaluation. In: PEPM 2024. Association for Computing Machinery, Inc, GBR, pp. 83-93. ISBN 9798400704871

Allais, Guillaume (2023) Seamless, correct, and generic programming over serialised data. Other. arXiv, Ithaca, NY.

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

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

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

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

Almheiri, Moza S. M. A. and Bashir, Handi and Ojiako, Udechukwu and Haridy, Salah and Shamsuzzaman, Mohammed (2024) Examining the challenges of implementing artificial intelligence in the water supply sector : a case study. Water, 16 (23). 3539. ISSN 2073-4441

Alotaibi, Sultan and Grimble, Michael; (2019) Optimal generalized predictive functional control with applications to extended PID control for quadruple tank. In: 25th International Conference on Automation and Computing (ICAC). IEEE, GBR. ISBN 9781728125183

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.

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.

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.

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.

Alozie, Glory Uche and Arulselvan, Ashwin and Akartunali, Kerem and Pasiliao Jr, Eduardo l. (2021) Efficient methods for the distance-based critical node detection problem in complex networks. Computers & Operations Research, 131. 105254. ISSN 0305-0548

Alpern, Steve and Lidbetter, Thomas and Morton, Alec and Papadaki, Katerina; (2016) Patrolling a pipeline. In: Proceedings of GameSec 2016. Lecture Notes in Computer Science . Springer, USA. (In Press)

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.

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

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

Alsayegh, Ali and Masood, Tariq (2024) Leveraging generative AI for knowledge-driven information retrieval in the energy sector. MATEC Web of Conferences, 401. 10008. ISSN 2261-236X

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..

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

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

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

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

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

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

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

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

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

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

Ameyaw, Ernest E. and Edwards, David J. and Kumar, Bimal and Thurairajah, Niraj and Owusu-Manu, De-Graft and Oppong, Goodenough D. (2023) Critical factors influencing adoption of blockchain-enabled smart contracts in construction projects. ASCE Jounral of Construction Engineering and Managment, 149 (3). 04023003. ISSN 0402-3003

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.

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

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.

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

Anderson, Euan and Lennon, Marilyn and Kavanagh, Kimberley and Weir, Natalie and Kernaghan, David and Roper, Marc and Dunlop, Emma and Lapp, Linda (2024) Predictive data analytics in telecare and telehealth : systematic scoping review. Online Journal of Public Health Informatics, 16. pp. 37-50. ISSN 1947-2579

Andres-Martinez, Pablo and Forrer, Tim and Mills, Daniel and Wu, Jun-Yi and Henaut, Luciana and Yamamoto, Kentaro and Murao, Mio and Duncan, Ross (2024) Distributing circuits over heterogeneous, modular quantum computing network architectures. Quantum Science and Technology, 9 (4). 045021. ISSN 2058-9565

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.

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.

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

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.

Antoniadis, Antonis F. and Tsoutsanis, Panagiotis and Drikakis, Dimitris (2017) Assessment of high-order finite volume methods on unstructured meshes for RANS solutions of aeronautical configurations. Computers and Fluids, 146. pp. 86-104. ISSN 0045-7930

Antunes, Dinler A. and Devaurs, Didier and Moll, Mark and Lizée, Gregory and Kavraki, Lydia E. (2018) General prediction of peptide-MHC binding modes using incremental docking : a proof of concept. Scientific Reports, 8. 4327. ISSN 2045-2322

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.

Araldi, Alessandro and Venerandi, Alessandro and Fusco, Giovanni; Gervasi, Osvaldo and Murgante, Beniamino and Misra, Sanjay and Garau, Chiara and Blecic, Ivan and Taniar, David and Apduhan, Bernady O. and Rocha, Ana Maria A.C. and Tarantino, Eufemia and Torre, Carmelo Maria and Karaca, Yeliz, eds. (2020) Count regression and machine learning approach for zero-inflated over-dispersed count data. Application to micro-retail distribution and urban form. In: Computational Science and Its Applications – ICCSA 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH, ITA, pp. 550-565. ISBN 9783030588106

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

Archibald, Robert and Gibson, Graham M. and Westlake, Samuel and Kallepalli, Akhil; Mahajan, Sumeet and Reichelt, Stefanie, eds. (2021) Open-source microscopic solution for classification of biological samples. In: Frontiers in Biophotonics and Imaging. Proceedings of SPIE . SPIE, GBR. ISBN 9781510646032

Arnott, Lorna and Grogan, Deirdre and Duncan, Pauline (2016) Lessons from using iPads to understand young children's creativity. Contemporary Issues in Early Childhood, 17 (2). pp. 157-173. ISSN 1463-9491

Arrigo, Francesca and Higham, Desmond J.; Cherifi, Hocine and Gaito, Sabrina and Quattrociocchi, Walter and Sala, Alessandra, eds. (2016) Preserving sparsity in dynamic network computation. In: Complex Networks & Their Applications V. Studies in Computational Intelligence, 693 . Springer, ITA, pp. 147-157. ISBN 9783319509013

Arrigo, Francesca and Higham, Desmond J. and Noferini, Vanni (2019) Non-backtracking PageRank. Journal of Scientific Computing, 80 (3). pp. 1419-1437. ISSN 0885-7474

Arulselvan, Ashwin and Bley, Andreas and Ljubić, Ivana (2019) The incremental connected facility location problem. Computers & Operations Research, 112. pp. 1-17. 104763. ISSN 0305-0548

Arulselvan, Ashwin and Cseh, Ágnes and Groß, Martin and Manlove, David F. and Matuschke, Jannik; (2015) Many-to-one matchings with lower quotas : algorithms and complexity. In: Algorithms and Computation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9472 . Springer-Verlag, JPN, pp. 176-187. ISBN 9783662489703

Arulselvan, Ashwin and Groß, Martin and Skutella, Martin (2015) Graph orientation and flows over time. Networks, 66 (3). pp. 196-209. ISSN 1097-0037

Arulselvan, Ashwin and Groß, Martin and Skutella, Martin; Ahn, Hee-Kap and Shin, Chan-Su, eds. (2014) Graph orientations and flows over time. In: Algorithms and Computation. Lecture Notes in Computer Science . Springer, KOR, pp. 741-752. ISBN 9783319130743

Arulselvan, Ashwin and Maurer, Olaf and Skutella, Martin (2015) An incremental algorithm for uncapacitated facility location problem. Networks, 65 (4). 306–311. ISSN 1097-0037

Ashouri, Sajad and Suominen, Arho and Hajikhani, Arash and Pukelis, Lukas and Schubert, Torben and Türkeli, Serdar and Van Beers, Cees and Cunningham, Scott (2022) Indicators on firm level innovation activities from web scraped data. Data in Brief, 42. 108246. ISSN 2352-3409

Asif, Rameez (2021) Post-quantum cryptosystems for Internet-of-Things : a survey on lattice-based algorithms. IoT, 2 (1). pp. 71-91. ISSN 2624-831X

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

Ates, Aylin and Acur, Nuran; Kim, Duck Young and von Cieminski, Gregor and Romero, David, eds. (2022) Managing technological obsolescence in a digitally transformed SME. In: Advances in Production Management Systems. Smart Manufacturing and Logistics Systems:. IFIP Advances in Information and Communication Technology, 664 . Springer, Cham, Switzerland, pp. 133-139. ISBN 9783031164118

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

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 (2011) Amortised resource analysis with separation logic. Logical Methods in Computer Science, 7 (2). 17.

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.

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

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

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.

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

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 (2024) Polynomial time and dependent types. Proceedings of the ACM on Programming Languages (PACMPL), 8 (POPL). 2288–2317. 76. ISSN 2475-1421

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

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.

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 (2011) What is a categorical model of arrows? Electronic Notes in Theoretical Computer Science, 229 (5). pp. 19-37. ISSN 1571-0661

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 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.

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.

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 and Johann, Patricia (2015) Interleaving data and effects. Journal of Functional Programming, 25. e20. ISSN 0956-7968

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

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

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

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

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

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)

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

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

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

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

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.

Aves, M.A. and Davies, P.J. and Higham, D.J. (2000) The effect of quadrature on the dynamics of a discretised nonlinear integro-differential equation. Applied Numerical Mathematics, 32 (1). pp. 1-20. ISSN 0168-9274

Aves, M.A. and Griffiths, D.F. and Higham, D.J. (2000) Runge-Kutta solutions of a hyperbolic conservation law with source term. SIAM Journal on Scientific Computing, 22 (1). pp. 20-38. ISSN 1064-8275

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

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

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

Ayoub, Misbah and Abel, Andrew and Zhang, Haiyang; Arai, Kohei, ed. (2024) Optimization of lacrimal aspect ratio for explainable eye blinking. In: Intelligent Systems and Applications. Lecture Notes in Networks and Systems, 3 . Springer, NLD, pp. 175-192. ISBN 9783031477157

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, 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

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 (2015) A game of search. CEUR Workshop Proceedings, 1345. pp. 4-6. ISSN 1613-0073

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.

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, 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

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.

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

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.

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

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 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

Azzopardi, Leif and Moshfeghi, Yashar (2024) PRISM : a methodology for auditing biases in large language models. Other. arXiv, Ithaca, NY.

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.

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 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

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

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

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

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

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

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

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

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

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

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

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

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2024) Sum and tensor of quantitative effects. Logical Methods in Computer Science, 20 (4). 9:1-9:62. 9. ISSN 1860-5974

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.

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

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

Bagalkot, Naveen and Akbar, Syeda Zainab and Sharma, Swati and Mackintosh, Nicola and Harrington, Deirdre and Griffiths, Paula and Noronha, Judith Angelitta and Verdezoto, Nervo; Barbosa, Simone and Lampe, Cliff and Appert, Caroline and Shamma, David A. and Drucker, Steven and Williamson, Julie and Yatani, Koji, eds. (2022) Embodied negotiations, practices and experiences interacting with pregnancy care infrastructures in South India. In: CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. Conference on Human Factors in Computing Systems - Proceedings . Association for Computing Machinery (ACM), New York, N.Y.. ISBN 9781450391573

Bagheri-Moghaddam, Faezeh and Oliveira, Sonja and Atkins, Ed and Chatzimichali, Anna; (2023) A socially intelligent approach to consumers’ collective capabilities in smart grids. In: 2023 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm). IEEE International Conference on Smart Grid Communications (SmartGridComm) . Institute of Electrical and Electronics Engineers Inc., GBR. ISBN 9781665455565

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 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

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

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

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, 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.

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

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

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

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

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

Bakhit, Mohammed A. and Khattak, Faizan A. and Proudler, Ian K. and Weiss, Stephan (2024) Impact of estimation errors of a matrix of transfer functions onto its analytic singular values and their potential algorithmic extraction. In: IEEE High Performance Extreme Computing Conference, 2024-09-23 - 2024-09-27.

Bal, Sukhdeep Singh and Yang, Fan-pei Gloria and Chi, Nai-Fang and Yin, Jiu Haw and Wang, Tao-Jung and Peng, Giia Sheun and Chen, Ke and Hsu, Ching-Chi and Chen, Chang-I (2023) Core and penumbra estimation using deep learning-based AIF in association with clinical measures in computed tomography perfusion (CTP). Insights into Imaging, 14 (1). 161. ISSN 1869-4101

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

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

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

Bamaga, Arwa and Zafar, Bassam and Terzis, Sotirios; Schlippe, T. and Cheng, E.C.K. and Wang, T., eds. (2025) Assessing the quality factors affecting e-Learning : a comparative study of South African Universities and Saudi Higher Education. In: Artificial Intelligence in Education Technologies. Lecture Notes on Data Engineering and Communications Technologies . Springer, ESP, 570–580. ISBN 978-981-97-9255-9

Bamaga, Arwa and Zafar, Bassam and Terzis, Sotirios (2024) An empirical study comparing social media tools on e-learning. WSEAS Transaction on Computer Research. ISSN 1991-8755 (In Press)

Bamoallem, B. S. and Wodehouse, A. J. and Mair, Gordon (2014) Design for an optimal social presence experience when using telepresence robots. In: 13th International Design Conference (Design 2014), 2014-05-19 - 2014-05-22, Croatia.

Bamoallem, Banan S. and Wodehouse, Andrew J.; (2016) The role of the vocal stream in telepresence communication. In: PETRA'16. ACM, GRC. ISBN 9781450343374

Barclay, G.J. and Griffiths, D.F. and Higham, D.J. (2000) Theta method dynamics. LMS Journal of Computation and Mathematics, 3. pp. 27-43. ISSN 1461-1570

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

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

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

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

Barrenechea, Gabriel R. and Poza, Abner H. and Yorston, Heather (2018) A stabilised finite element method for the convection-diffusion-reaction equation in mixed form. Computer Methods in Applied Mechanics and Engineering, 339. pp. 389-415. ISSN 0045-7825

Barrington, H. and McCabe, T. J.D. and Donnachie, K. and Fyfe, Calum and McFall, A. and Gladkikh, M. and McGuire, J. and Yan, C. and Reid, M. (2025) Parallel and high throughput reaction monitoring with computer vision. Angewandte Chemie International Edition, 64 (1). e202413395. ISSN 1521-3773

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

Bas, Alina and Dörfler, Viktor (2024) Can AI have intuition? In: 84th Annual Meeting of the Academy of Management, 2024-08-09 - 2024-08-13.

Basoglu, Muhammed Fatih and Zerin, Zihni and Kefal, Adnan and Oterkus, Erkan (2019) A computational model of peridynamic theory for deflecting behavior of crack propagation with micro-cracks. Computational Materials Science, 162. pp. 33-46. ISSN 0927-0256

Basu, Amlan and Kaewrak, Keerati and Petropoulakis, Lykourgos and Di Caterina, Gaetano and Soraghan, John (2022) 3-Dimensional object recognition using 1-dimensional capsule neural networks. In: IEEE 2nd International Conference on Electronic Technology, Communication and Information (ICETCI), 2022-08-25 - 2022-08-27, Mahindra University.

Batic, Djordje and Stankovic, Vladimir and Stankovic, Lina (2024) Towards transparent load disaggregation – a framework for quantitative evaluation of explainability using explainable AI. IEEE Transactions on Consumer Electronics, 70 (1). pp. 4345-4356. ISSN 0098-3063

Batic, Djordje and Stankovic, Vladimir and Stankovic, Lina (2025) XNILMBoost : explainability-informed load disaggregation training enhancement using attribution priors. Engineering Applications of Artificial Intelligence, 141. 109766. ISSN 0952-1976

Bayram, Islam Safak and Zamani, Vahraz and Hanna, Ryan and Kleissl, Jan; (2016) On the evaluation of plug-in electric vehicle data of a campus charging network. In: 2016 IEEE International Energy Conference, ENERGYCON 2016. Institute of Electrical and Electronics Engineers Inc., BEL. ISBN 9781467384636

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

Başaran, Seren and Ighagbon, Odianosen Anthony (2024) Enhanced FMEA methodology for evaluating mobile learning platforms using grey relational analysis and fuzzy AHP. Applied Sciences, 14 (19). 8844. ISSN 2076-3417

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

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

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

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.

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

Bedford, T.J. and Cooke, R. (2002) Reliability databases in perspective. IEEE Transactions on Reliability, 51 (3). pp. 294-310. ISSN 0018-9529

Beesley, Ross and Chen, Haofeng and Hughes, Martin (2017) A novel simulation for the design of a low cycle fatigue experimental testing programme. Computers and Structures, 178. 105–118. ISSN 0045-7949

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

Bellekens, Xavier and Jayasekera, Gayan and Hindy, Hanan and Bureš, Miroslav and Brosset, David and Tachtatzis, Christos and Atkinson, Robert (2019) From cyber-security deception to manipulation and gratification through gamification. In: 21st International Conference on Human-Computer Interaction, 2019-07-26 - 2019-07-31, Walt Disney World Swan and Dolphin Resort.

Bellekens, Xavier J.A. and Tachtatzis, Christos and Atkinson, Robert C. and Renfrew, Craig and Kirkham, Tony; (2014) GLoP : Enabling Massively Parallel Incident Response Through GPU Log Processing. In: SIN '14 Proceedings of the 7th International Conference on Security of Information and Networks. ACM Press, GBR. ISBN 978-1-4503-3033-6

Bellekens, Xavier J.A. and Tachtatzis, Christos and Atkinson, Robert C. and Renfrew, Craig and Kirkham, Tony; (2014) A highly-efficient memory-compression scheme for GPU-accelerated intrusion detection systems. In: SIN '14 Proceedings of the 7th International Conference on Security of Information and Networks. ACM Press, GBR. ISBN 978-1-4503-3033-6

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

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

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

Ben Farah, Mohamed Amine and Ukwandu, Elochukwu and Hindy, Hanan and Brosset, David and Bures, Miroslav and Andonovic, Ivan and Bellekens, Xavier (2022) Cyber security in the maritime industry : a systematic survey of recent advances and future trends. Information, 13 (1). 22. ISSN 2078-2489

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

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.

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.

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

Beshr, Mahmoud and Michie, Craig and Andonovic, Ivan; (2015) Evaluation of Visible Light Communication system performance in the presence of sunlight irradiance. In: 17th International Conference on Transparent Optical Networks. IEEE, HUN, pp. 1-4. ISBN 9781467378802

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

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

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.

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

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

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.

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.

Bhowmik, Deepayan and Elawady, Mohamed and Nogueira, Keiller; (2022) Security and forensics exploration of learning-based image coding. In: 2021 International Conference on Visual Communications and Image Processing (VCIP). IEEE International Conference on Visual Communications and Image Processing (VCIP) . IEEE, Piscataway, NJ, pp. 1-5. ISBN 9781728185514

Bihl, Trevor J. and Farr, Patrick and Di Caterina, Gaetano and Kirkland, Paul and Vicente Sola, Alex and Manna, Davide and Liu, Jundong and Combs, Kara; Bui, Tung X., ed. (2024) Exploring spiking neural networks (SNN) for low Size, Weight, and Power (SWaP) benefits. In: Proceedings of the 57th Annual Hawaii International Conference on System Sciences, HICSS 2024. Proceedings of the Annual Hawaii International Conference on System Sciences . Shidler College of Business, University of Hawaii at Manoa, USA, pp. 7561-7570. ISBN 9780998133171

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

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.

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

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

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

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

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.

Blair, Steven Macpherson (2015) Beckhoff and TwinCAT 3 System Development Guide. University of Strathclyde, Glasgow.

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

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.

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.

Bolbot, Victor and Theotokatos, Gerasimos and Hamann, Rainer and Psarros, George and Boulougouris, Evangelos (2021) Dynamic blackout probability monitoring system for cruise ship power plants. Energies, 14 (20). 6598. ISSN 1996-1073

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

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

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.

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

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

Bontrager, Philip and Khalifa, Ahmed and Anderson, Damien and Stephenson, Matthew and Salge, Christoph and Togelius, Julian (2019) "Superstition" in the network : Deep reinforcement learning plays deceptive games. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 15 (1). pp. 10-16. ISSN 2334-0924

Bootland, Niall and Dolean, Victorita and Jolivet, Pierre and Tournier, Pierre-Henri (2021) A comparison of coarse spaces for Helmholtz problems in the high frequency regime. Computers and Mathematics with Applications, 98. pp. 239-253. ISSN 0898-1221

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.

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

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

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

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.

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

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.

Bouchlaghem, D. and Rezgui, Y. and Hassanen, M.A.H. and Cooper, G. and Rose, D.; Gudnason, G., ed. (2000) IT tools and support for improved briefing. In: Construction Information Technology 2000. Taking the construction industry into the 21st century. Icelandic Building Research Institute, Reykjavik, Iceland. ISBN 9789979917434

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

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

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.

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.

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

Bowles, Micah and Tang, Hongming and Vardoulaki, Eleni and Luo, Yan and Rudnick, Lawrence and Walmsley, Mike and Porter, Fiona and Scaife, Anna M. M. and Slijepcevic, Inigo Val and Segal, Gary (2022) A new task : deriving semantic class targets for the physical sciences. In: Advances in Neural Information Processing Systems, 2023-12-10 - 2023-12-16.

Boyle, Elizabeth and Connolly, Thomas and Hainey, Thomas and Boyle, Jim (2012) Engagement in digital entertainment games : a systematic review. Computers in Human Behaviour, 28 (3). pp. 771-780. ISSN 0747-5632

Boyle, Elizabeth and Hainey, Thomas and Boyle, Jim; Yan, Zheng, ed. (2020) Serious games and cyber behavior. In: Cambridge Handbook of Cyber Behavior. Cambridge University Press, Cambridge. (In Press)

Boyle, James and Tomlie, A. and Stobie, I. (2003) Bridging the gap: probationer EPs use of computer-mediated conferencing. Educational Psychology in Practice, 19 (3). pp. 189-197. ISSN 0266-7363

Boyle, Joanne (2023) Digital Mental Health Innovation Cluster : Annual Report 2022-2023. Digital Health & Care Institute, Glasgow.

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

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.

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.

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, 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

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) Toward a multidisciplinary model of context to support context-aware computing. Human-Computer Interaction, 20 (4). pp. 403-446. ISSN 0737-0024

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. UNSPECIFIED.

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. (2005) An experimental investigation into wayfinding directions for visually impaired people. Personal and Ubiquitous Computing, 9 (6). pp. 395-403. ISSN 1617-4909

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.

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

Braun, Christoph H.-J. and Horne, Ross and Käfer, Tobias and Mauw, Sjouke; (2024) SSI, from specifications to protocol? : Formally verify security! In: WWW '24: Proceedings of the ACM on Web Conference 2024. ACM, Singapore, 1620–1631. ISBN 9798400701719

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

Bridges, A.H. and Charitos, D. (2001) The impact of form on movement within virtual environments. Automation in Construction, 10 (5). pp. 589-596. ISSN 0926-5805

Broby, Daniel and Karkkainen, Tatja (2016) FINTECH in Scotland : building a digital future for the financial sector. In: Future of Fintech, 2016-09-02 - 2016-09-02, Technology Innovation Centre.

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

Brougham, T. and Oi, D. K. L.; Padgett, Miles J. and Bongs, Kai and Fedrizzi, Alessandro and Politi, Alberto, eds. (2021) Medium-range terrestrial free-space QKD performance modelling and analysis. In: Quantum Technology. Proceedings of SPIE - The International Society for Optical Engineering, 11881 . SPIE, GBR. ISBN 9781510646063

Bryant, Rebecca and Fransen, Jan and de Castro, Pablo and Helmstutler, Brenna and Scherer, David (2021) Research Information Management in the United States : Part 1—Findings and Recommendations. Part 2—Case Studies. OCLC Research, Dublin, OH..

Bryant, Rebecca and de Castro, Pablo and Dortmund, Annette and Mennielli, Michele (2019) Practices and patterns : the convergence of repository and CRIS functions. In: 14th International Conference on Open Repositories (OR2019), 2019-06-10 - 2019-06-13, Universität Hamburg.

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

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

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 Salako, A. (2009) Evaluating the usability and usefulness of a digital library. Library Review, 58 (9). pp. 638-651. ISSN 0024-2535

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

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 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

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 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.

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.

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

Bueno, Julián and Robertson, Joshua and Hejda, Matĕj and Hurtado, Antonio; (2020) Experimental implementation of a photonic neural network with a 1550nm-vcsel subject to optical injection and delayed optical feedback. In: 2020 IEEE Photonics Conference (IPC). 2020 IEEE Photonics Conference (IPC) . Institute of Electrical and Electronics Engineers Inc., CAN, pp. 1-2. ISBN 978-1-7281-5891-4

Bufardi, Ahmed and Akten, Olcay and Arif, Muhammad and Xirouchakis, Paul and Perez, Roberto (2017) A multiple-input multiple-output (MIMO) fuzzy nets framework for part quality prediction and planning. WSEAS Transactions on Systems, 16. pp. 242-253. ISSN 2224-2678

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

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

Burrows, Liam and Chen, Ke and Torella, Francesco (2021) Selective segmentation of a feature that has two distinct intensities. Journal of Algorithms and Computational Technology, 15. ISSN 1748-3026

Burrows, Liam and Chen, Ke and Torella, Francesco; Romero, Eduardo and Costa, Eduardo Tavares and Brieva, Jorge and Rittner, Leticia and Linguraru, Marius George and Lepore, Natasha, eds. (2021) Using deep image prior to assist variational selective segmentation deep learning algorithms. In: 17th International Symposium on Medical Information Processing and Analysis. Proceedings of SPIE - The International Society for Optical Engineering, 12088 . SPIE, BRA. ISBN 9781510650527

Burrows, Liam and Theljani, Anis and Chen, Ke (2021) On a variational and convex model of the Blake–Zisserman type for segmentation of low-contrast and piecewise smooth images. Journal of Imaging, 7 (11). 228. ISSN 2313-433X

Burstein, Alexander and Han, Tian and Kitaev, Sergey and Zhang, Philip B. (2025) On (shape-)Wilf-equivalence of certain sets of (partially ordered) patterns. The Electronic Journal of Combinatorics, 32 (1). P1.7. ISSN 1077-8926

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.

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

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.

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

Bursuc, Sergiu and Horne, Ross and Mauw, Sjouke and Yurkov, Semen; (2023) Provably unlinkable smart card-based payments. In: CCS '23. Association for Computing Machinery, Inc, DNK, pp. 1392-1406. ISBN 9798400700507

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

Byrne, Thomas and Fekete, Sándor P. and Kalcsics, Jörg and Kleist, Linda; Uehara, Ryuhei and Hong, Seok-Hee and Nandy, Subhas C., eds. (2021) Competitive location problems : balanced facility location and the one-round Manhattan Voronoi game. In: WALCOM. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Virtual, Online, pp. 103-115. ISBN 9783030682118

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

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

Calder, Muffy and Gilmore, S. and Hillston, Jane and Vyshemirsky, Vladislav; Boca, Paul and Bowen, Jonathan P. and Siddiqi, Jawed, eds. (2010) Formal methods for biochemical signalling pathways. In: Formal Methods: State of the Art and New Directions. Springer, London, pp. 185-215. ISBN 9781848827363

Calvo, M.C. and Higham, D.J. and Montijano, J.M. and Rández, L. (1997) Stepsize selection for tolerance proportionality in explicit Runge-Kutta codes. Advances in Computational Mathematics, 7 (3). pp. 361-382. ISSN 1019-7168

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.

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

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

Cao, Li and Wang, Maocai and Vasile, Massimiliano and Dai, Guangming and Wu, Huanqin (2023) An adaptive many-objective evolutionary algorithm based on decomposition with two archives and an entropy trigger. Engineering Optimization, 56 (11). pp. 1707-1747. ISSN 0305-215X

Capozucca, Alfredo and Cristiá, Maximiliano and Horne, Ross and Katz, Ricardo (2024) Brewer-Nash scrutinised : mechanised checking of policies featuring write revocation. Other. arXiv.

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

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.

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 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

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.

Carmichael, Alex and Rice, Mark and MacMillan, Freya and Kirk, Alison; McEwan, Tom and McKinnon, Lachlan M., eds. (2010) Investigating a DTV-based physical activity application to facilitate wellbeing in older adults. In: People and Computers XXIV Games are a Serious Business. Electronic Workshops in Computing . British Computer Society, GBR, pp. 278-288. ISBN 9781780171302

Carneiro, Ivens and Loo, Meng and Xu, Xibai and Girerd, Mathieu and Kendon, Viv and Knight, Peter L (2005) Entanglement in coined quantum walks on regular graphs. New Journal of Physics, 7. 156. ISSN 1367-2630

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

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

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)

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.

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.

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.

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.

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.

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 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

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.

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 (2018) Opportunistic planning in autonomous underwater missions. IEEE Transactions on Automation Science and Engineering, 15 (2). pp. 519-530. ISSN 1545-5955

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.

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

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 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

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

Cassidy, Maria and Brown, Blair and McArthur, Stephen D.J. and Vidhyasankar, Sakuntala Devi and Kirk, Damon and Stephen, Bruce; (2024) Towards explainable and trustworthy autonomous models for power systems : a retrospective case study analysis. In: 2024 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE). IEEE, HRV. (In Press)

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

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

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

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

Cebeci, Zeynel and Cebeci, Cagatay and Tahtali, Yalcin and Bayyurt, Lutfi (2022) Two novel outlier detection approaches based on unsupervised possibilistic and fuzzy clustering. Peer J Computer Science, 8. e1060.

Celletti, Alessandra and Gales, Catalin and Rodriguez-Fernandez, Victor and Vasile, Massimiliano (2022) Classification of regular and chaotic motions in Hamiltonian systems with deep learning. Scientific Reports, 12. 1890. ISSN 2045-2322

Chakareski, Jacob and Velisavljevic, Vladan and Stankovic, Vladimir (2013) User-action-driven view and rate scalable multiview video coding. IEEE Transactions on Image Processing, 22 (9). pp. 3473-3484. 6542763. ISSN 1057-7149

Chan, Joshua C.C. and Koop, Gary (2014) Modelling Breaks and Clusters in the Steady States of Macroeconomic Variables. Computational Statistics and Data Analysis, 76. pp. 186-193. ISSN 0167-9473

Chan, Kit Yan and Kwong, C.K. and Clark, Ponnie and Jiang, Huimin and Fung, Chris K.Y. and Abu Salih, Bilal and Liu, Zhixin and Wong, Andy T.C. and Jain, Pratima (2018) Affective design using machine learning : a survey and its prospect of conjoining big data. International Journal of Computer Integrated Manufacture. ISSN 1362-3052

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

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.

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

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

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

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

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.

Chase, Scott and Schultz, Ryan and Brouchoud, Jon; Muylle, M., ed. (2008) Gather round the wiki-tree : virtual worlds as an open platform for architectural collaboration. In: ARCHITECTURE 'in computro'. eCAADe, Antwerp, pp. 809-815. ISBN 9780954118372

Chase, Scott C. (2005) Generative design tools for novice designers : issues for selection. Automation in Construction, 14 (6). pp. 689-698. ISSN 0926-5805

Chase, Scott C. (2002) A model for user interaction in grammar-based systems. Automation in Construction, 11 (2). pp. 161-172. ISSN 0926-5805

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

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

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

Chen, Baoju and Yu, Simin and Li, David Day-Uei and Lü, Jinhu (2021) Cryptanalysis of some self-synchronous chaotic stream ciphers and their improved schemes. International Journal of Bifurcation and Chaos, 31 (8). 2150142. ISSN 0218-1274

Chen, Da and Spencer, Jack and Mirebeau, Jean-Marie and Chen, Ke and Shu, Minglei and Cohen, Laurent D. (2021) A generalized asymmetric dual-front model for active contours and image segmentation. IEEE Transactions on Image Processing, 30. pp. 5056-5071. ISSN 1057-7149

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

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 Sun, Brian Y. (2020) Lower bounds, and exact enumeration in particular cases, for the probability of existence of a universal cycle or a universal word for a set of words. Mathematics, 8 (5). 778.

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

Chen, J. and Ren, Jinchang and Jiang, J. (2010) Modelling of content-aware indicators for effective determination of shot boundaries in compressed MPEG videos. Multimedia Tools and Applications, 54 (2). pp. 219-239. ISSN 1380-7501

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

Chen, K. and Piccolomini, E. Loli and Zama, F. (2015) An iterative algorithm for L1-TV constrained regularization in image restoration. Journal of Physics: Conference Series, 657. 012009. ISSN 1742-6588

Chen, Ke and Han, Huan (2024) Three-stage approach for 2D/3D diffeomorphic multimodality image registration with textural control. SIAM Journal on Imaging Sciences, 17 (3). 1690 - 1728. ISSN 1936-4954

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

Chen, Rongjun and Zheng, Yani and Xu, Xiansheng and Zhao, Huimin and Ren, Jinchang and Tan, Hong Zhou (2020) STEM teaching for the Internet of Things maker course : a teaching model based on the iterative loop. Sustainability, 12 (14). 5758. ISSN 2071-1050

Chen, Ruey-Cheng and Azzopardi, Leif and Scholer, Falk; (2017) An empirical analysis of pruning techniques performance, retrievability and bias. In: CIKM 2017 - Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, SGP, pp. 2023-2026. ISBN 9781450349185

Chen, Wei and Cao, Yingying and Cheng, Shi and Sun, Yifei and Liu, Qunfeng and Li, Yun (2018) Simplex search-based brain storm optimization. IEEE Access, 6. pp. 75997-76006. ISSN 2169-3536

Chen, Xingkai and Shao, Haidong and Xiao, Yiming and Yan, Shen and Cai, Baoping and Liu, Bin (2023) Collaborative fault diagnosis of rotating machinery via dual adversarial guided unsupervised multi-domain adaptation network. Mechanical Systems and Signal Processing, 198. 110427. ISSN 0888-3270

Chen, Yi and Wang, Zhonglai and Yang, Erfu and Li, Yun (2016) Pareto-optimality solution recommendation using a multi-objective artificial wolf-pack algorithm. In: The 10th International Conference on Software, Knowledge, Information Management and Application (SKIMA 2016), 2016-12-15 - 2016-12-17, Sichuan Province.

Chen, Yixin and Clemente, Carmine and Soraghan, John and Weiss, Stephen; (2016) Fractional fourier based sparse channel estimation for multicarrier underwater acoustic communication system. In: 2016 Sensor Signal Processing for Defence, SSPD 2016. Institute of Electrical and Electronics Engineers Inc., GBR. ISBN 9781509003266

Chen, Yu and Patelli, Edoardo and Yang, Zhen and Lye, Adolphus (2024) Towards robust prediction of material properties for nuclear reactor design under scarce data : a study in creep rupture property. Other. arXiv, Ithaca, NY.

Chen, Zhen and Kong, Stephen and Li, Heng and Xu, Qian; (2004) Evaluating IT applications for innovative construction management. In: Proceedings of the International Conference on Computing in Civil and Building Engineering. Bauhaus University, Weimar, DEU.

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

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..

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

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

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

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

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

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

Chiachío, Manuel and Chiachío, Juan and Prescott, Darren and Andrews, John (2018) Plausible Petri nets as self-adaptive expert systems : a tool for infrastructure asset monitoring. Computer-Aided Civil and Infrastructure Engineering. pp. 1-18. ISSN 1467-8667

Chiachío, Manuel and Chiachío, Juan and Prescott, Darren and Andrews, John (2018) A new paradigm for uncertain knowledge representation by Plausible Petri nets. Information Sciences, 453. pp. 323-345. ISSN 0020-0255

Chinomi, Nutthaka and Tian, Zhongbei and Yang, Ning and Kano, Nakaret and Jiang, Lin (2024) Analysis of energy efficiency and resilience for AC railways with solar PV and energy storage systems. IEEE Transactions on Industrial Cyber-Physical Systems, 2. pp. 519-530. ISSN 2832-7004

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.

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

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

Choorod, Pitpimon and Weir, George and Fernando, Anil (2024) Classifying Tor traffic encrypted payload using machine learning. IEEE Access, 12. 19418 - 19431. ISSN 2169-3536

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, 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) Classic concepts of IR in the context of the Internet. Update, 3 (4).

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

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. (2004) Introduction to modern information retrieval. Facet Publishing. ISBN 1-85604-480-7

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 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. (2002) Introduction to digital libraries. Facet Publishing, UK. ISBN 1-85604-465-3

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

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 Joint, Nicholas (2004) Digital reference services. Library Review, 53 (1). ISSN 0024-2535

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, Gobinda G. (2003) Natural language processing. Annual Review of Information Science and Technology, 37 (1). pp. 51-89. ISSN 0066-4200

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.

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

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.

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

Chumchob, Noppadol and Chen, Ke (2020) An augmented Lagrangian method for solving total variation (TV)-based image registration model. Journal of Algorithms and Computational Technology, 14. ISSN 1748-3026

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.

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.

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

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

Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. Electronic Proceedings in Theoretical Computer Science, 91. pp. 31-44.

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

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

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-2216

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

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

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

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 (2005) Counting segmented permutations using bicoloured Dyck paths. The Electronic Journal of Combinatorics, 12. R39. ISSN 1077-8926

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

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.

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

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 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

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

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

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

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

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

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

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

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

Clark, D. and Corney, J.R. and Mill, F. and Rea, H. and Sherlock, A. and Taylor, N.K. (2006) Benchmarking shape signatures against human perceptions of geometric similarity. Computer-Aided Design, 38 (9). pp. 1038-1051. ISSN 0010-4485

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

Clark, Ruaridh and Macdonald, Malcolm and Lu, Szu-Ching and Delafield-Butt, Jonathan (2024) Characterising gameplay development in autism with swipe pattern networks. In: CompleNet 2024, 2024-04-23 - 2024-04-26.

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.

Clarke, J V and Deakin, A H and Nicol, A C and Picard, F (2010) Measuring the positional accuracy of computer assisted surgical tracking systems. Computer Aided Surgery, 15 (1-3). pp. 13-18. ISSN 1097-0150

Clarke, J.A. and Johnstone, C. and Kim, J. and Strachan, P.A.; (2002) On-line energy services for smart homes. In: Proceedings of EPIC 02 Conference. Air Infiltration and Ventilation Centre, FRA.

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

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

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

Clift, Lee and Tiwari, Divya and Scraggs, Chris and Hutabarat, Windo and Tinkler, Lloyd and Aitken, Jonathan M. and Tiwari, Ashutosh (2022) Implementation of a flexible and lightweight depth-based visual servoing solution for feature detection and tracing of large, spatially-varying manufacturing workpieces. Robotics, 11 (1). 25. ISSN 2218-6581

Coates, G. and Duffy, A.H.B. and Whitfield, R.I. and Hills, W. (2003) Real-time co-ordinated resource management in a computational enviroment. In: 14th International Conference on Engineering Design (ICED '03), 2003-08-19 - 2003-08-21.

Coates, G. and Duffy, A.H.B. and Whitfield, R.I. and Hills, W. (1999) A generic coordination methodology applied to a manufacturing enviroment. In: Proceedings of the 15th International Conference on Computer Aided Production Engineering (CAPE'99), 1999-04-19 - 1999-04-21.

Coates, G. and Duffy, A.H.B. and Whitfield, R.I. and Hills, W. and Sen, P.; Parmee, I. C., ed. (2002) Real-time co-ordinated scheduling using a genetic algorithm. In: Adaptive Computing in Design and Manufacture V. Springer, GBR, 381–392. ISBN 978-0-85729-345-9

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

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

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.

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

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

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

Cogalan, T. and Camps-Mur, D. and Gutiérrez, J. and Videv, S. and Sark, V. and Prados-Garzon, J. and Ordonez-Lucena, J. and Khalili, H. and Cañellas, F. and Fernández-Fernández, A. and Goodarzi, M. and Yesilkaya, A. and Bian, R. and Raju, S. and Ghoraishi, M. and Haas, H. and Adamuz-Hinojosa, O. and Garcia, A. and Colman-Meixner, C. and Mourad, A. and Aumayr, E. (2022) 5G-CLARITY : 5G-advanced private networks integrating 5GNR, WiFi, and LiFi. IEEE Communications Magazine, 60 (2). pp. 73-79. ISSN 0163-6804

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

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.

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.

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

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.

Coli, Vanna Lisa and Tournier, Pierre-Henri and Dolean, Victorita and El Kanfoud, Ibtissam and Pichot, Christian and Migliaccio, Claire and Blanc-Féraud, Laure; (2019) Detection of brain strokes using microwave tomography. In: 2018 IEEE Antennas and Propagation Society International Symposium and USNC/URSI National Radio Science Meeting - Proceedings. IEEE, USA, pp. 223-224. ISBN 9781538671023

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

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.

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

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

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

Condie, Rae and Simpson, Mary (2004) The impact of ICT initiatives in Scottish schools: cultural issues. European Journal of Teacher Education, 27 (1). pp. 73-82. ISSN 0261-9768

Conen, Lea and Dolean, Victorita and Krause, Rolf and Nataf, Frédéric (2014) A coarse space for heterogeneous Helmholtz problems based on the Dirichlet-to-Neumann operator. Journal of Computational and Applied Mathematics, 271. pp. 83-99. ISSN 0377-0427

Conev, Anja and Devaurs, Didier and Rigo, Mauricio Menegatti and Antunes, Dinler Amaral and Kavraki, Lydia E. (2022) 3pHLA-score improves structure-based peptide-HLA binding affinity prediction. Scientific Reports, 12 (1). 10749. ISSN 2045-2322

Conev, Anja and Rigo, Mauricio Menegatti and Devaurs, Didier and Fonseca, André Faustino and Kalavadwala, Hussain and de Freitas, Martiela Vaz and Clementi, Cecilia and Zanatta, Geancarlo and Antunes, Dinler Amaral and Kavraki, Lydia E. (2023) EnGens : a computational framework for generation and analysis of representative protein conformational ensembles. Briefings in Bioinformatics, 24 (4). bbad242. ISSN 1467-5463

Conn, Jonathan G. M. and Carter, James W. and Conn, Justin J. A. and Subramanian, Vigneshwari and Baxter, Andrew and Engkvist, Ola and Llinas, Antonio and Ratkova, Ekaterina L. and Pickett, Stephen D. and McDonagh, James L and Palmer, David S. (2023) Blinded predictions and post-hoc analysis of the second solubility challenge data : exploring training data and feature set selection for machine and deep learning models. Journal of Chemical Information and Modeling, 63 (4). pp. 1099-1113. ISSN 1549-9596

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.

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.

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

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 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.

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

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.

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.

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

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)

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

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, 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

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

Cooper, B. (2004) Reflections on the role and value of design in computer based learning materials in higher education. In: EdMedia, 2004-07-01.

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

Corne, David and Dissanayake, Manjula and Peacock, Andrew and Galloway, Stuart and Owens, Eddie (2015) Accurate localized short term weather prediction for renewables planning. In: IEEE Symposium on Computational Intelligence Applications in Smart Grid, 2014-12-09 - 2014-12-12.

Cowlishaw, Robert and Riccardi, Annalisa and Arulselvan, Ashwin; Soille, P. and Lumnitz, S. and Albani, S., eds. (2023) Proof of optimality for a decentralised EO data processing architecture. In: Proceedings of the 2023 conference on Big Data from Space (BiDS’23). Publications Office of the European Union, AUT, pp. 389-392. ISBN 9789268086964

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

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.

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

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

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.

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

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.

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.

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. (2003) Combination of Similarity Measures for Effective Spoken Document Retrieval. Journal of Information Science, 29 (2). pp. 87-96. ISSN 0165-5515

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.

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

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. 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.

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

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

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.

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.

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

Crockett, Louise Helen and Elliot, Ross and Enderwitz, Martin and Stewart, Robert (2014) The Zynq Book : Embedded Processing with the Arm Cortex-A9 on the Xilinx Zynq-7000 All Programmable SoC. Strathclyde Academic Media. ISBN 9780992978709

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 ("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 (2018) Digital Health & Care Institute : overview. Digital Health & Care Institute, Glasgow.

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

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

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

Crooks, George, Digital Health & Care Institute , ed. (2019) The Digital Health & Care Institute  : Board Meeting : Wednesday 13th February 2019. 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.

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. (2017) The Digital Health & Care Institute  : Board Meeting : Wednesday 16th August 2017. 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, Digital Health & Care Institute , ed. (2019) The Digital Health & Care Institute  : Board Meeting : Wednesday 22nd May 2019. Digital Health & Care Institute, Glasgow.

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. (2019) The Digital Health & Care Institute  : Board Meeting : Wednesday 27th November 2019. Digital Health & Care Institute, Glasgow.

Cross, A. W. and He, W. and Zhang, L. and Yin, H. and Bowes, D. and Ronald, K. and Phelps, A. D R and Yin, Y and Liu, G. and Li, D. and Chen, X.; (2016) Applications of Pseudospark produced electron beams in millimetre wave radiation sources. In: 2015 8th UK, Europe, China Millimeter Waves and THz Technology Workshop, UCMMT 2015. Institute of Electrical and Electronics Engineers Inc., GBR. ISBN 9781467374347

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

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

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.

Czerkawski, Mikolaj and Cardona, Javier and Atkinson, Robert and Michie, Craig and Andonovic, Ivan and Clemente, Carmine and Tachtatzis, Christos (2024) Neural knitworks : patched neural implicit representation networks. Pattern Recognition, 151. 110378. ISSN 0031-3203

D. Elsweiler, M. Baillie and Ruthven, I.; (2011) What makes re-finding information difficult? A study of email re-finding. In: 33rd European Conference on Information Retrieval (ECIR 2011). Springer-Verlag.

Daeid, N N (2001) The development of interactive World Wide Web based teaching material in Forensic Science. British Journal of Educational Technology, 32 (1). pp. 105-108. ISSN 0007-1013

Dagand, Pierre-Evariste and McBride, Conor; (2012) Transporting functions across ornaments. In: ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, NY, New York, pp. 104-113. ISBN 978-1-4503-1054-3

Dahal, Keshav and Galloway, Stuart and Burt, Graeme and McDonald, Jim and Hopkins, Ian (2003) A port system simulation facility with an optimisation capability. International Journal of Computational Intelligence and Applications (IJCIA), 3 (4). pp. 395-410. ISSN 1469-0268

Dai, Yanwei and Liu, Yinghua and Chen, Haofeng (2019) Numerical investigations on the effects of T-stress in mode I creep crack. International Journal of Computational Methods, 16 (8). 1841002. ISSN 1793-6969

Daley, Andrew J. and Bloch, Immanuel and Kokail, Christian and Flannigan, Stuart and Pearson, Natalie and Troyer, Matthias and Zoller, Peter (2022) Practical quantum advantage in quantum simulation. Nature, 607 (7920). pp. 667-676. ISSN 0028-0836

Daly, Angela (2018) The introduction of data breach notification legislation in Australia : a comparative view. Computer Law and Security Review, 34 (3). pp. 477-495. ISSN 0267-3649

Daly, Angela and Hagendorff, Thilo and Hui, Li and Mann, Monique and Marda, Vidushi and Wagner, Ben and Wang, Wei and Witteborn, Saskia (2019) Artificial Intelligence Governance and Ethics : Global Perspectives. Chinese University of Hong Kong, Hong Kong.

Daly, J. (1996) Replication and a multi-method approach to empirical software engineering research. PhD thesis, University Of Strathclyde.

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M. (1996) Evaluating inheritance depth on the maintainability of object-oriented software. Empirical Software Engineering, 1 (2). pp. 109-132. ISSN 1382-3256

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M.; (1994) Verification of results in software maintenance through external replication. In: Proceedings of the IEEE International Conference on Software Maintenance. IEEE, Victoria, Canada, pp. 50-57.

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M.; (1995) The effect of inheritance on the maintainability of object-oriented software: an empirical study. In: Proceedings of the IEEE International Conference on Software Maintenance. IEEE, pp. 20-29.

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M.; (1996) An empirical study evaluating depth of inheritance on the maintainability of object-oriented software. In: Empirical Studies of Programmers: Sixth Workshop. Intellect, pp. 39-58. ISBN 9781567502626

Daly, J. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1996) An empirical evaluation of object-oriented practioners' experiences. In: Empirical studies of programmers: sixth workshop, 1996-01-05 - 1996-01-07.

Damala, A. and Marchal, I. and Houlier, P.; (2007) Merging augmented reality based features in mobile multimedia museum guides. In: Proceedings of the XXI International Symposium CIPA 2007. CIPA, GRC, pp. 259-264.

Damala, Areti; Natkin, Stéphane and Dupire, Jérôme, eds. (2009) Edutainment games for mobile multimedia museum guidance systems : a classification approach. In: Entertainment Computing – ICEC 2009. Lecture Notes in Computer Science . Springer Berlin Heidelberg, FRA, pp. 307-308. ISBN 9783642040511

Damala, Areti and Astic, Isabelle and Aunis, Coline (2010) PLUG, Université Paris Nuit : a design reiteration of a mobile museum edutainment application. In: VAST'10, Virtual Reality, Archaeology and Cultural Heritage, The 8th EUROGRAPHICS Workshop on Graphics and Cultural Heritage, 2010-09-21 - 2010-09-24.

Damala, Areti and Cubaud, Pierre and Bationo, Anne and Houlier, Pascal and Marchal, Isabelle; (2008) Bridging the gap between the digital and the physical : design and evaluation of a mobile augmented reality guide for the museum visit. In: Proceedings of the 3rd International Conference on Digital Interactive Media in Entertainment and Arts (DIMEA '08). ACM, GRC, pp. 120-127. ISBN 9781605582481

Damala, Areti and Schuchert, Tobias and Rodriguez, Isabel and Moragues, Jorge and Gilleade, Kiel and Stojanovic, Nenad (2013) Exploring the affective museum visiting experience: adaptive augmented reality (A²R) and cultural heritage. International Journal of Heritage in the Digital Era, 2 (1). pp. 117-141.

Damala, Areti and Stojanovic, Nenad; (2012) Tailoring the adaptive augmented reality (A2R) museum visit : ientifying cultural heritage professionals’ motivations and needs. In: 2012 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-AMH). IEEE, USA, pp. 71-80. ISBN 978-1-4673-4663-4

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 (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

Daronnat, Sylvain and Azzopardi, Leif and Halvey, Martin and Dubiel, Mateusz (2019) Human-agent collaborations : trust in negotiating control. In: CHI 2019, 2019-05-05 - 2019-05-05, Glasgow SEC.

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

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

Darroch, Katherine and Weir, George (2014) Measuring sexually explicit content. In: Cyberforensics 2014 - International Conference on Cybercrime, Security & Digital Forensics, 2014-06-23 - 2014-06-24, University of Strathclyde.

Das, Barnali and Couceiro, Micael S. and Vargas, Patricia A. (2016) MRoCS : a new multi-robot communication system based on passive action recognition. Robotics and Autonomous Systems, 82. pp. 46-60. ISSN 0921-8890

Das Chowdhury, Partha and Renaud, Karen (2024) Advocating a policy push towards inclusive and secure "Digital-First" societies. IEEE Security and Privacy, 22 (5). pp. 23-31. ISSN 1540-7993

Dauenhauer, Peter and Shields, Matt and McLean Sloughter, J. and Stewart, AJ and Lacrampe, Christopher and Magness, Elsa and Ochavillo, Jeffrey and Limfueco, Jason and Mendoza, Alyssa; (2019) Improving shoestring surveys for off-grid humanitarian power projects : kilowatts for humanity and KoboCollect. In: 2018 IEEE Global Humanitarian Technology Conference (GHTC). IEEE, USA, pp. 1-6. ISBN 9781538655665

Davenport, C. and Weir, G.R.S.; Harrison, M.D. and Monk, A.F., eds. (1986) Plan recognition for intelligent advice and monitoring. In: People and Computers II: Designing for Usability, 1986-09-23 - 1986-09-26.

Davidson, Matthew and Renaud, Karen and Li, Shujun (2014) jCaptcha : Accessible human validation. In: 14th International Conference on Computers Helping People with Special Needs, 2014-07-09 - 2014-07-11.

Davies, John B. and Wallace, Brendan and Ross, Alastair and Wright, L. and White, M. (2002) The creation of a new minor event coding system. Cognition, Technology and Work, 4 (1). pp. 1-8. ISSN 1435-5558

Davies, Steven and Roper, Marc; (2014) What's in a bug report? In: ESEM '14 : Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. ACM, GBR, pp. 1-10. ISBN 9781450327749

Davies, Steven and Roper, Marc and Wood, Murray (2014) Comparing text-based and dependence-based approaches for determining the origins of bugs. Journal of Software: Evolution and Process, 26 (1). pp. 107-139.

Davies, Steven and Roper, Marc and Wood, Murray (2012) Using bug report similarity to enhance bug localisation. In: 19th Working Conference on Reverse Engineering, 2012-10-15 - 2012-10-18.

Davies, Steven and Roper, Marc and Wood, Murray; (2011) A preliminary evaluation of text-based and dependency-based techniques for determining the origins of bugs. In: 18th Working Conference on Reverse Engineering (WCRE 2011). IEEE, IRL, pp. 201-210. ISBN 978-1-4577-1948-6

Dawson, Alan and Hamilton, Val (2006) Optimising metadata to make high-value content more accessible to Google users. Journal of Documentation, 62 (3). pp. 307-327. ISSN 0022-0418

De Angeli, A and Coventry, L and Johnson, Graham and Renaud, K (2005) Is a picture really worth a thousand words? Exploring the feasibility of graphical authentication systems. International Journal of Human Computer Studies, 63 (1-2). pp. 128-152. ISSN 1071-5819

De Muijnck-Hughes, Jan and Vanderbauwhede, Wim and Brady, Edwin (2019) Value-dependent session design in a dependently typed language. Electronic Proceedings in Theoretical Computer Science, EPTCS, 291. pp. 47-59. ISSN 2075-2180

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

Digital Health & Care Institute Exploratory Team; Dedeu, Toni. Crooks, George, ed. (2014) Medicine Adherence & Augmented Reality. Digital Health & Care Institute, Glasgow.

DHI Exploratory Team; Dedeu, Toni. Crooks, George, ed. (2014) Project Macmillan Exploratory Report. Digital Health & Care Institute, Glasgow.

Deeney, Peter and Cummins, Mark and Heintz, Katharina and Pryce, Mary T. (2021) A real options based decision support tool for R&D investment : Application to CO2 recycling technology. European Journal of Operational Research, 289 (2). pp. 696-711. ISSN 0377-2217

Deng, Zelin and Zhou, Bo and He, Pei and Huang, Jianfeng and Alfarraj, Osama and Tolba, Amr (2021) A position-aware transformer for image captioning. Computers, Materials and Continua, 70 (1). pp. 2005-2021. ISSN 1546-2218

Denning, P. and McGettrick, A.D. (2005) Recentering Computer Science. Communications - ACM, 48 (11). pp. 15-19. ISSN 0001-0782

Devaurs, Didier and Antunes, Dinler A. and Borysik, Antoni J. (2022) Computational modeling of molecular structures guided by hydrogen-exchange data. Journal of the American Society for Mass Spectrometry, 33 (2). pp. 215-237. ISSN 1044-0305

Devaurs, Didier and Bouard, Léa and Vaisset, Marc and Zanon, Christophe and Al-Bluwi, Ibrahim and Iehl, Romain and Siméon, Thierry and Cortés, Juan (2013) MoMA-LigPath : a web server to simulate protein-ligand unbinding. Nucleic Acids Research, 41 (W1). W297-W302. ISSN 1362-4962

Devaurs, Didier and Molloy, Kevin and Vaisset, Marc and Shehu, Amarda and Siméon, Thierry and Cortés, Juan (2015) Characterizing energy landscapes of peptides using a combination of stochastic algorithms. IEEE Transactions on NanoBioscience, 14 (5). pp. 545-552. ISSN 1536-1241

Devi, Archana Sulekha and Britto, Milagres Mary John and Fang, Zian and Gopan, Renjith and Jassal, Pawan Singh and Qazzaz, Mohammed M. H. and Rajbhandari, Sujan and Al-Sallami, Farah Mahdi (2024) Internet-of-vehicles network for CO₂ emission estimation and reinforcement learning-based emission reduction. IEEE Access, 12. pp. 110681-110690. ISSN 2169-3536

Dhami, Sam and Brisco, Ross; Kim, Jisun and Storer, Ian and Whitehead, Timothy and Buck, Lyndon and Grierson, Hilary and Bohemia, Erik, eds. (2024) A comparison of artificial intelligence image generation tools in product design. In: Proceedings of the 26th International Conference on Engineering and Product Design Education (E&PDE 2024). Proceedings of the International Conference on Engineering and Product Design Education . The Design Society, GBR, pp. 13-18. ISBN 9781912254200

Di Carlo, Marilena and Vasile, Massimiliano and Minisci, Edmondo (2019) Adaptive multi-population inflationary differential evolution. Soft Computing. ISSN 1433-7479

Di Caterina, Gaetano and Doshi, Trushali and Soraghan, John J. and Petropoulakis, Lykourgos; (2016) A novel decentralised system architecture for multi-camera target tracking. In: Advanced Concepts for Intelligent Vision Systems (ACIVS2016). Lecture Notes in Computer Science, 10016 . Springer Berlin Heidelberg, ITA, pp. 92-104. ISBN 978-3-319-48679-6

Di Caterina, Gaetano and Hunter, Iain and Soraghan, John J.; Blanc-Talon, Jacques and Philips, Wilfried and Popescu, Dan and Scheunders, Paul and Zemčík, Pavel, eds. (2012) DSP embedded smart surveillance sensor with robust SWAD-based tracker. In: Advanced Concepts for Intelligent Vision Systems. Lecture Notes in Computer Science, 7517 . Springer Berlin Heidelberg, CZE, pp. 48-58. ISBN 9783642331398

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

Ding, Feng and Ma, Hao and Pan, Jian and Yang, Erfu (2021) Hierarchical gradient- and least squares-based iterative algorithms for input nonlinear output-error systems using the key term separation. Journal of the Franklin Institute, 358 (9). pp. 5113-5135. ISSN 0016-0032

Ding, Sheng and Ding, Rui and Yang, Erfu (2014) A filtering based recursive least squares estimation algorithm for pseudo-linear auto-regressive systems. Journal of the Franklin Institute, 351 (3). pp. 1801-1809. ISSN 0016-0032

Ding, Y. and Chowdhury, G. and Foo, S. (2001) Bibliometric cartography of information retrieval research by using co-word analysis. Information Processing and Management, 37 (6). pp. 817-842. ISSN 0306-4573

Dixon, Lucas and Duncan, Ross (2009) Graphical reasoning in compact closed categories for quantum computation. Annals of Mathematics and Artificial Intelligence, 56 (1). pp. 23-43. ISSN 1012-2443

Dobson, S. and Nixon, P.; (2004) More principled design of pervasive computing systems. In: Engineering Human Computer Interaction and Interactive Systems. Lecture Notes in Computer Science, 3425 . Springer, pp. 292-305. ISBN 978-3-540-26097-4

Dodds, A. Ben and Kendon, Viv and Adams, Charles S. and Chancellor, Nicholas (2019) Practical designs for permutation-symmetric problem Hamiltonians on hypercubes. Physical Review A, 100 (3). 032320. ISSN 2469-9926

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

Dominguez, Raul and Post, Mark and Fabisch, Alexander and Michalec, Romain and Bissonnette, Vincent and Govindaraj, Shashank (2020) Common Data Fusion Framework : an open-source common data fusion framework for space robotics. International Journal of Advanced Robotic Systems, 17 (2). pp. 1-15. ISSN 1729-8814

Donaldson, A. and Gregory, P. and Petrie, K.; Benhamou, Frédéric and Jussien, Narendra and O'Sullivan, Barry A., eds. (2007) Symmetry in constraint satisfaction problems. In: Trends in Constraint Programming. ISTE - John Wiley & Sons, London, UK, pp. 183-218.

Donaldson, A.F. and Gregory, P. (2005) Almost-Symmetry in Search. University of Glasgow.

Donaldson, C. R. and McElhinney, P. and Zhang, L. and He, W.; (2016) Multilayer microwave windows for wideband gyro-amplifiers. In: 2015 8th UK, Europe, China Millimeter Waves and THz Technology Workshop, UCMMT 2015. Institute of Electrical and Electronics Engineers Inc., GBR. ISBN 9781467374347

Dong, Changyu; Christianson, Bruce and Švenda, Petr and Matyáš, Vashek and Malcolm, James and Stajano, Frank and Anderson, Jonathan, eds. (2015) Efficient data intensive secure computation : fictional or real. In: Security Protocols XXIII. Security and Cryptology, 9379 (1). Springer International Publishing AG, pp. 1-11. ISBN 978-3-319-26095-2

Dong, Changyu and Chen, Liqun; Tseng, Vincent S. and Ho, Tu Bao and Zhou, Zhi-Hua and Chen, Arbee L. P. and Kao, Hung-Yu, eds. (2014) A fast secure dot product protocol with application to privacy preserving association rule mining. In: Advances in Knowledge Discovery and Data Mining. Lecture Notes in Computer Science . Springer, pp. 606-617. ISBN 9783319066073

Dong, Changyu and Chen, Liqun and Camenisch, Jan and Russello, Giovanni; Wang, Lingyu and Shafiq, Basit, eds. (2013) Fair private set intersection with a semi-trusted arbiter. In: Data and Applications Security and Privacy XXVII. Lecture Notes in Computer Science, 7964 . Springer, pp. 128-144.

Dong, Changyu and Chen, Liqun and Wen, Zikai; (2013) When private set intersection meets big data : an efficient and scalable protocol. In: Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security. ACM, DEU, pp. 789-800. ISBN 9781450324779 (In Press)

Dong, Changyu and Dulay, Naranker (2011) Argumentation-based fault diagnosis for home networks. In: 2nd ACM SIGCOMM workshop on Home networks, 2011-08-15.

Dong, Changyu and Dulay, Naranker; Nishigaki, Masakatsu and Jøsang, Audun and Murayama, Yuko and Marsh, Stephen, eds. (2010) Shinren : Non-monotonic trust management for distributed systems. In: Trust Management IV. Springer, JPN, pp. 125-140. ISBN 9783642134463

Dong, Changyu and Kiefer, Franziskus; Reiter, Michael and Naccache, David, eds. (2015) Secure set-based policy checking and its application to password registration. In: Cryptology and Network Security. Security and Cryptology . Springer-Verlag Berlin, pp. 59-74. ISBN 978-3-319-26823-1

Dong, Changyu and Russello, Giovanni and Dulay, Naranker (2011) Shared and searchable encrypted data for untrusted servers. Journal of Computer Security, 19 (3). pp. 367-397. ISSN 0926-227X

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

Doshi, Trushali and Soraghan, John and Grose, Derek and MacKenzie, Kenneth and Petropoulakis, Lykourgos; Hadjiiski, Lubomir M. and Tourassi, Georgia D., eds. (2015) Automatic detection of larynx cancer from contrast-enhanced magnetic resonance images. In: Medical Imaging 2015. Proceedings of SPIE . SPIE, USA. ISBN 9781628415049

Du, H. and Crestani, F. (2004) Spoken versus written queries for mobile information access. Lecture Notes in Computer Science, 2954. pp. 67-78. ISSN 0302-9743

Du, Heather and Crestani, Fabio; Christiansen, Henning, ed. (2004) Retrieval effectiveness of written and spoken queries : an experimental evaluation. In: Flexible Query Answering Systems. Springer, Lyon, France, pp. 376-389. ISBN 9783540259572

Du, Heather and Crestani, Fabio; Crestani, F. and Girolami, M. and van Rijsbergen, C.J., eds. (2004) Spoken versus written queries for mobile information access. In: 1st International Joint Conference on Natural Language Processing, 2004-03-22 - 2004-03-24.

Du, H. and Crestani, F. (2004) Retrieval effectiveness of written and spoken queries: an experimental evaluation. In: 6th International Conference On Flexible Query Answering Systems, 2004-06-24 - 2004-06-26.

Dubai, A.A. and Ould-Khaoua, M. and Ferguson, J.D. (2004) QoS aware broadcast communication algorithm for multicomputer interconnections. In: Proceedings of the 5th Annual PostGraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting, 2004-06-28 - 2004-06-29.

Dubiel, Mateusz; (2018) Towards human-like conversational search systems. In: CHIIR '18 Proceedings of the 2018 Conference on Human Information Interaction & Retrieval. ACM, New York, pp. 348-350. ISBN 9781450349253

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.

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.

Dubiel, Mateusz and Halvey, Martin and Azzopardi, Leif and Aylett, Matthew and Wester, Miriam and Braude, David A. (2018) Improving conversational dynamics with reactive speech synthesis. In: Voice-based Conversational UX Studies and Design Workshop, 2018-04-22 - 2018-04-22.

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 Halvey, Martin and Azzopardi, Leif and Daronnat, Sylvain (2018) Investigating how conversational search agents affect user's behaviour, performance and search experience. In: The Second International Workshop on Conversational Approaches to Information Retrieval, 2018-07-12 - 2018-07-12.

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 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.

Dubouilh, Pierre-Louis and Paul, Greig and Irvine, James (2015) Performance of WebRTC in the context of a decentralised storage solution. In: Wireless World Research Forum Meeting 35 (WWRF35), 2015-10-14 - 2015-10-16, Aalborg University, Copenhagen Campus.

Dugan, William and Glennon, Sam and Gunnells, Paul E. and Steingrimsson, Einar (2019) Tiered trees, weights, and q-Eulerian numbers. Journal of Combinatorial Theory Series A, 164. pp. 24-49. ISSN 0097-3165

Dukes, Mark and Gardi, Einan and McAslan, Heather and Scott, Darren and White, Chris D. (2014) Webs and posets. Journal of High Energy Physics, 2014 (1). 24. ISSN 1029-8479

Dukes, Mark and Gardi, Einan and Steingrimsson, Einar and White, Chris (2013) Web worlds, web-colouring matrices, and web-mixing matrices. Journal of Combinatorial Theory Series A, 120 (5). pp. 1012-1037. ISSN 0097-3165

Dukes, Mark and Jelinek, Vıt and Mansour, Toufik and Reifegerste, Astrid; (2008) Equivalences for pattern avoiding involutions and classification. In: DMTCS Proceedings. Discrete Mathematics & Theoretical Computer Science, Nancy, France, pp. 181-188.

Dukes, Mark and Jelínek, Vit and Kubitzke, Martina (2011) Composition matrices, (2+2)-free posets and their specializations. The Electronic Journal of Combinatorics, 18 (1). P44.

Dukes, Mark and Kitaev, Sergey and Remmel, Jeffrey and Steingrimsson, Einar (2011) Enumerating (2+2)-free posets by indistinguishable elements. Journal of Combinatorics, 2 (1). pp. 139-163.

Dukes, Mark and Le Borgne, Yvan (2013) Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial. Journal of Combinatorial Theory Series A, 120 (4). pp. 816-842. ISSN 0097-3165

Dukes, Mark and Le Borgne, Yvan; (2012) The sandpile model on a bipartite graph, parallelogram polyominoes, and a q,t-Narayana polynomial. In: DMTCS Proceedings. Discrete Mathematics & Theoretical Computer Science, Nancy, France, pp. 337-348.

Dukes, Mark and Parviainen, Robert (2010) Ascent sequences and upper triangular matrices containing non-negative integers. The Electronic Journal of Combinatorics, 17. R53.

Dukes, Mark and Reifegerste, Astrid (2010) The area above the Dyck path of a permutation. Advances in Applied Mathematics, 45 (1). pp. 15-23. ISSN 0196-8858

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

Dukes, Mark and White, Chris D. (2016) Web matrices : structural properties and generating combinatorial identities. The Electronic Journal of Combinatorics, 23 (1). P1.45. ISSN 1077-8926

Dukes, W. M. B. (2003) Bounds on the number of generalized partitions and some applications. Australasian Journal of Combinatorics, 28. pp. 257-262. ISSN 1034-4942

Dukes, W. M. B. and Mansour, Toufik (2007) Involutions avoiding the class of permutations in Sk with prefix 12. In: 19th International Conference on Formal Power Series & Algebraic Combinatorics, 2007-07-02 - 2007-07-06, Nankai University.

Dukes, W.M.B. (2002) On a unimodality conjecture in matroid theory. Discrete Mathematics and Theoretical Computer Science, 5 (1). pp. 181-190. ISSN 1365-8050

Dukes, W.M.B. (2004) On the number of matroids on a finite set. Séminaire Lotharingien de Combinatoire, 51. B51g. ISSN 1286-4889

Dukes, W.M.B. and Deng, Eva and Mansour, Toufik and Wu, Susan (2009) Symmetric Schröder paths and restricted involutions. Discrete Mathematics, 309 (12). pp. 4108-4115. ISSN 0012-365X

Dukes, W.M.B. and Dorlas, Tony (2004) Fluctuations of the local magnetic field in frustrated mean-field Ising models. Markov Processes and Related Fields, 10 (4). pp. 585-606. ISSN 1024-2953

Dukes, W.M.B. and Duffy, Ken (2004) On Knuth's generalization of Banach's matchbox problem. Mathematical Proceedings of the Royal Irish Academy, 104 (1). pp. 107-118. ISSN 2009-0021

Dukes, W.M.B. and Jelínek, Vit and Mansour, Toufik and Reifegerste, Astrid (2009) New equivalences for pattern avoidance for involutions. Proceedings of the American Mathematical Society, 137 (2). pp. 457-465. ISSN 0002-9939

Duncan, H. and Bundy, A. and Levine, J. and Storkey, A. and Pollet, M.; (2004) The use of data-mining for the automatic formation of tactics. In: Proceedings of the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR 2004. UNSPECIFIED.

Duncan, PM and Cardona-Amengual, J and Lue, L (2018) Structure and cluster formation in size asymmetric soft electrolyte systems. In: 32nd Conference of the European Colloid and Interface Society, 2018-09-02 - 2018-09-07, University of Ljubljana.

Duncan, Paul and Steingrimsson, Einar (2011) Pattern avoidance in ascent sequences. The Electronic Journal of Combinatorics, 18 (1). P226. ISSN 1077-8926

Duncan, Ross (2015) Strong complementarity in quantum computing. In: 31st British Colloquium of Theoretical Computer Science, 2015-09-14 - 2015-09-18, Middlesex University.

Duncan, Ross; Heunen, Chris and Sadrzadeh, Mehrnoosh and Grefenstette, Edward, eds. (2013) A graphical approach to measurement-based quantum computing. In: Quantum Physics and Linguistics. OUP. ISBN 978-0-19-964629-6

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

Duncan, Ross and Lucas, Maxime (2014) Verifying the Steane code with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 171. pp. 33-49. ISSN 2075-2180

Duncan, Ross and Perdrix, Simon (2014) Pivoting makes the ZX-calculus complete for real stabilizers. Electronic Proceedings in Theoretical Computer Science, 171. pp. 50-62. ISSN 2075-2180

Duncan, Ross and Perdrix, Simon; Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G., eds. (2010) Rewriting measurement-based quantum computations with generalised flow. In: Automata, languages and programming. Lecture Notes in Computer Science . Springer, FRA, pp. 285-296. ISBN 9783642141614

Dunlop, M. D. and Baillie, M. (2009) Paper Rejected (p>0.05): An introduction to the debate on appropriateness of null-hypothesis testing. International Journal of Mobile Human Computer Interaction, 1 (3).

Dunlop, M.D.; (2000) Development and evaluation of clustering techniques for finding people. In: Proceedings of the Third International on Practical Aspects of Knowledge Management. CEUR Workshop Proceedings . CEUR-WS.org, Basel, Switzerland.

Dunlop, M.D. (2000) Reflections on Mira : interactive evaluation in information retrieval. Journal of the American Society for Information Science and Technology, 51 (14). pp. 1269-1274. ISSN 1532-2882

Dunlop, M.D. and Davidson, N.; McDonald, S. and Waern, Y., eds. (2000) Visual information seeking on palmtop devices. In: People and Computers XIV - Usability or Else!: Proceedings of HCI 2000. Springer, London, United Kingdom, pp. 19-20. ISBN 1852333189

Dunlop, M.D. and Lalmas, M. (2000) Formal models, usability and related work in IR (editorial for special edition). Information Retrieval, 2 (1). ISSN 1573-7659

Dunlop, M.D. and Masters, M. Montgomery (2009) Pickup usability dominates: a brief history of mobile text entry research and adoption. International Journal of Mobile Human Computer Interaction, 1 (1). pp. 42-59. ISSN 1942-390X

Dunlop, M.D. and McDonald, K.; (2000) Supporting different search strategies in a video query interface. In: Proceedings of RIAO 2000 on Content-Based Multimedia Information Access. Kluwer. ISBN 2-905450-07-X

Dunlop, M.D. and Morrison, Alison and McCallum, Stephen and Ptaskinski, Piotr and Risbey, Chris and Stewart, Fraser; Crestani, F. and Jones, M. and Mizzaro, S., eds. (2004) Focussed palmtop information access combining starfield displays and profile-based recommendations. In: Proceedings of workshop on Mobile and Ubiquitous Information Access. Lecture Notes in Computer Science, 2954 . Springer, ITA, pp. 79-89. ISBN 9783540210030

Dunlop, M.D. and Taylor, F.; (2009) Tactile feedback for predictive text entry. In: CHI '09 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, Boston, MA, USA, pp. 2257-2260. ISBN 978-1-60558-246-7

Dunlop, Mark and Brewster, Stephen (2002) The challenges of mobile devices for human computer interaction. Personal and Ubiquitous Computing, 6 (4). pp. 235-236. ISSN 1617-4909

Dunlop, Mark and Komninos, Andreas and Durga, Naveen (2014) Towards high quality text entry on smartwatches. In: CHI 2014, 2014-04-26 - 2014-05-01, Convention Centre.

Dunlop, Mark and Komninos, Andreas and Nicol, Emma and Hamilton, Iain; (2014) Shake 'n' Tap : a gesture enhanced keyboard for older adults. In: MobileHCI '14. ACM, New York, pp. 525-530. ISBN 9781450330046

Dunlop, Mark and Levine, John; (2012) Multidimensional Pareto optimization of touchscreen keyboards for speed, familiarity and improved spell checking. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, CAN, pp. 2669-2678. ISBN 978-1-4503-1015-4

Dunlop, Mark and Morrison, Alison and McCallum, Stephen and Ptaskinski, Piotr and Risbey, Chris and Stewart, Fraser; Dunlop, M.D., ed. (2004) Focussed palmtop information access combining starfield displays with profile-based recommendations. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science, 2954 . Springer Berlin / Heidelberg, pp. 352-355. ISBN 978-3-540-21003-0

Dunlop, Mark and Motaparti, Sunil and Dona, Prima and Durga, naveen and De Meo, Roberto (2012) OpenAdaptxt: an open source enabling technology for high quality text entry. In: CHI 2012 Workshop on Designing and Evaluating Text Entry Methods, 2012-05-05 - 2012-05-05.

Dunlop, Mark D and Roper, Marc and Elliott, Mark and McCartan, Rebecca and McGregor, Bruce; (2016) Using smartphones in cities to crowdsource dangerous road sections and give effective in-car warnings. In: Proceedings of the SEACHI 2016 on Smart Cities for Better Living with HCI and UX. ACM, USA, pp. 14-18. ISBN 978-1-4503-4194-3

Dunlop, Mark D and Roper, Marc and Imperatore, Gennaro; (2017) Text entry tap accuracy and exploration of tilt controlled layered interaction on smartwatches. In: MobileHCI '17. ACM, AUT. ISBN 9781450350754

Dunlop, Mark D.; Brewster, Stephen and Dunlop, Mark, eds. (2004) Watch-top text-entry : can phone-style predictive text-entry work with only 5 buttons? In: Proceedings of the 6th International Symposium on Human Computer Interaction with Mobile Devices and Services (Mobile HCI 2004). Lecture Notes in Computer Science, 3160/2004 . Springer, pp. 342-346. ISBN 978-3-540-23086-1

Dunlop, Mark D. and Crossan, Andrew (2000) Predictive text entry methods for mobile phones. Personal Technologies, 4 (2-3). pp. 134-143. ISSN 0949-2054

Dunlop, Mark D. and Glen, Andrew and Motaparti, Sunil and Patel, Sanjay (2006) AdapTex : contextually adaptive text entry for mobiles. In: Proceedings of the 8th Conference on Human-Computer interaction with Mobile Devices and Services: MobileHCI 06, 2006-09-12 - 2006-09-15.

Dunlop, Mark D. and Masters, Michelle Montgomery (2008) Investigating five key predictive text entry with combined distance and keystroke modelling. Personal and Ubiquitous Computing, 12 (8). pp. 589-598. ISSN 1617-4909

Dunlop, Mark D. and Ptaskinski, Piotr and Morrison, Alison and McCallum, Stephen and Risbey, Chris and Stewart, Fraser; Frew, A.J., ed. (2004) Design and development of Taeneb City Guide - from paper maps and guidebooks to electronic guides. In: Proceedings of Enter 2004. Springer.