Search results

  • Conference contribution book

    Games for topological fixpoint logic

    Bezhanishvili, N. & Kupke, C., 13 Sep 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Cantone, D. & Delzanno, G. (eds.). p. 46-60 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    23 Downloads (Pure)
  • Gender impact on information security in the Arab world

    Al Izki, F. H. S. & Weir, G., 2015, Global Security, Safety and Sustainability: Tomorrow's Challenges of Cyber Security: Proceedings of ICGS3 2015, 10th International Conference on Global Security, Safety & Sustainability.. Jahankhani, H., Carlile, A., Akhgar, B., Hessami, A. G. & Hosseinian-Far, A. (eds.). 1 ed. Switzerland: Springer International Publishing AG, Vol. 534. p. 200-207 8 p. (Communications in Computer and Information Science; vol. 534).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    137 Downloads (Pure)
  • Genre-based information hiding

    Ogilvie, R. & Weir, G. R. S., 12 Sep 2012, Global Security, Safety and Sustainability & e-Democracy: 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011, Revised Selected Papers. Georgiadis, C. K., Jahankhani, H., Pimenidis, E., Bashroush, R. & Al-Nemrat, A. (eds.). Berlin: Springer, Vol. 99. p. 104-111 8 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 99).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    21 Downloads (Pure)
  • Graphs capturing alternations in words

    Halldorsson, M., Kitaev, S. & Pyatkin, A., 2010, Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings. Gao, Y., Lu, H., Seki, S. & Yu, S. (eds.). p. 436-437 2 p. (Lecture Notes in Computer Science; vol. 6224).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    16 Citations (Scopus)
  • Grieving online: the use of search engines in times of grief and bereavement

    Ruthven, I., 2012, Proceedings of the 4th Information Interaction in Context Symposium (IIIX '12). New York, p. 120-128 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    File
    2 Citations (Scopus)
    117 Downloads (Pure)
  • High dimensional search using polyhedral query

    Connor, R., MacKenzie-Leigh, S. & Moss, R., 20 Oct 2014, Similarity Search and Applications: 7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2014. Proceedings. Springer-Verlag, Vol. 8821. p. 176-188 13 p. (Lecture Notes in Computer Science; vol. 8821).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    1 Citation (Scopus)
  • High-dimensional simplexes for metric search

    Connor, R., Vadicamo, L. & Rabitti, F., 4 Oct 2017, Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings. Beecks, C., Kröger, P. & Seidl, T. (eds.). Cham: Springer, Vol. 10609. p. 96-109 14 p. (Lecture Notes in Computer Science; vol. 10609).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    10 Citations (Scopus)
    71 Downloads (Pure)
  • How can we better support users with non-uniform information access in collaborative information retrieval?

    Htun, N. N., Halvey, M. & Baillie, L., Mar 2017, ACM SIGIR Conference on Human Information Interaction & Retrieval 2017. New York

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Citations (Scopus)
    52 Downloads (Pure)
  • I got plenty o’ nuttin’

    McBride, C., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer, p. 207-233 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9600).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    23 Citations (Scopus)
  • Impact of agent reliability and predictability on trust in real time human-agent collaboration

    Daronnat, S., Azzopardi, L., Halvey, M. & Dubiel, M., 10 Nov 2020, HAI '20: Proceedings of the 8th International Conference on Human-Agent Interaction. New York, p. 131-139 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    21 Downloads (Pure)
  • Implicit Learning of Macro-Actions for Planning

    Newton, M. A. H. & Levine, J., 1 Aug 2010, Proceedings of the 2010 conference on ECAI 2010 : 19th European Conference on Artificial Intelligence. New York, p. 323-328 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    2 Citations (Scopus)
  • Indexed induction and coinduction, fibrationally.

    Ghani, N., Johann, P. & Fumex, C., 2011, Algebra and coalgebra in computer science : Proceedings of the 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Corradini, A., Klin, B. & Cirstea, C. (eds.). Springer, p. 176-191 15 p. (Lecture Notes in Computer Science; vol. 6859 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    File
    11 Citations (Scopus)
    131 Downloads (Pure)
  • Inductive-inductive definitions

    Nordvall Forsberg, F. & Setzer, A., 11 Aug 2010, Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Dawar, A. & Veith, H. (eds.). Berlin, p. 454-468 15 p. (Lecture Notes in Computer Science; vol. 6247).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    14 Citations (Scopus)
  • Interacting Frobenius algebras are Hopf

    Duncan, R. & Dunne, K., 17 Dec 2018, Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, NY, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    14 Citations (Scopus)
    133 Downloads (Pure)
  • Interactions around a contextually embedded system

    Hornecker, E., 2010, Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). p. 169-176 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    33 Citations (Scopus)
    40 Downloads (Pure)
  • Interactive evaluation of conversational agents: reflections on the impact of search task design

    Dubiel, M., Halvey, M., Azzopardi, L. & Daronnat, S., 14 Sep 2020, ICTIR 2020 - Proceedings of the 2020 ACM SIGIR International Conference on Theory of Information Retrieval. New York, NY., p. 85–88 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    7 Downloads (Pure)
  • Investigating gesture and pressure interaction with a 3D display

    Halvey, M., Hannah, D., Wilson, G. & Brewster, S., 4 Jan 2012, Advances in Multimedia Modeling: 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012. Proceedings. Berlin: Springer, p. 395-405 11 p. (Lecture Notes in Computer Science; vol. 7131).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    1 Citation (Scopus)
  • Investigating mobile text entry for older adults

    Nicol, E., Komninos, A. & Dunlop, M., 2014, (Accepted/In press) Workshop on Re-imagining Mobile Interfaces for Older Adults.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    76 Downloads (Pure)
  • Issues influencing the uptake of smartphone reminder apps for people with acquired brain injury

    Jamieson, M., McGee-Lennon, M., Cullen, B., Brewster, S. & Evans, J., 26 Oct 2015, ASSETS '15 Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility . p. 339-340 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    5 Citations (Scopus)
  • La réalité augmentée adaptative: vers une nouvelle éxperience de visite au musée

    Translated title of the contribution: Adaptive augmented reality : towards a new museum visiting experienceDamala, A., Astic, I., Rovedakis, S. & Gressier-Soudan, E., Oct 2013, Pratiques et Usages Numériques : Actes de H2PTM 2013. Paris, p. 205-220 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • Learning weighted automata over principal ideal domains

    van Heerdt, G., Kupke, C., Rot, J. & Silva, A., 17 Apr 2020, Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 602-621 20 p. (Lecture Notes in Computer Science; vol. 12077).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    11 Downloads (Pure)
  • Lessons from expert focus groups on how to better support adults with mild intellectual disabilities to engage in co-design

    Gibson, R. C., Dunlop, M. D. & Bouamrane, M-M., 26 Oct 2020, ASSETS '20 : The 22nd International ACM SIGACCESS Conference on Computers and Accessibility. New York, NY., 20 p. 48

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    26 Downloads (Pure)
  • Local pre-processing for node classification in networks: application in protein-protein interaction

    Foley, C. E., Al Azwari, S. M. M., Dufton, M., Ross, I. & Wilson, J., 14 Aug 2013, Information Technology in Bio- and Medical Informatics: 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings. Bursa, M., Khuri, S. & Renda, M. E. (eds.). Heidelberg, p. 32-46 15 p. (Lecture Notes in Computer Science; vol. 8060).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    File
    125 Downloads (Pure)
  • Longitude: a privacy-preserving location sharing protocol for mobile applications

    Dong, C. & Dulay, N., Jul 2011, Trust Management V: 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 – July 1, 2011. Proceedings. Wakeman, I., Gudes, E., Damsgaard Jensen, C. & Crampton, J. (eds.). p. 133-148 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    12 Citations (Scopus)
    24 Downloads (Pure)
  • Machine learning techniques for automated software fault detection via dynamic execution data: empirical evaluation study

    Almaghairbe, R., Roper, M. & Almabruk, T., 28 Sep 2020, Proceedings of the 6th International Conference on Engineering and MIS 2020, ICEMIS 2020. New York, NY., p. 1-12 12 p. 15

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    19 Downloads (Pure)
  • Making meaning: a focus for information interactions research

    Ruthven, I., 11 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval . New York, NY, p. 163-171 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    10 Citations (Scopus)
    32 Downloads (Pure)
  • Meaningful digital health interventions: bridging digital divides via tailored design

    Buchanan, S., Jardine, C. & Ruthven, I., 3 Feb 2017, (Accepted/In press) 8th Annual Innovation in Healthcare Delivery Systems 2017 Symposium. Austin, 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    51 Downloads (Pure)
  • Merging augmented reality based features in mobile multimedia museum guides

    Damala, A., Marchal, I. & Houlier, P., 2007, Proceedings of the XXI International Symposium CIPA 2007: AntiCIPAting the Future of the Cultural Past. p. 259-264 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • meSch - material encounters with digital cultural heritage

    Petrelli, D., Not, E., Damala, A., van Dijk, D. & Lechner, M., 2 Jan 2015, Digital Heritage: Progress in Cultural Heritage. Documentation, Preservation, and Protection. 5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014, Proceedings. Ioannides, M., Magnenat-Thalmann, N., Fink, E., Žarnić, R., Yen, A-Y. & Quak, E. (eds.). Cham: Springer-Verlag, Vol. 8740. p. 536-545 10 p. (Lecture Notes in Computer Science; vol. 8740).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    9 Citations (Scopus)
  • Models for polymorphism over physical dimensions

    Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany , p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    72 Downloads (Pure)
  • Multidimensional Pareto optimization of touchscreen keyboards for speed, familiarity and improved spell checking

    Dunlop, M. & Levine, J., May 2012, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York, p. 2669-2678 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    52 Citations (Scopus)
    192 Downloads (Pure)
  • Mummy, why do I have diabetes? A tangible interface for educating children with type-1 diabetes

    Kyfonidis, C. & Lennon, M., 24 Jun 2016, IDC '16 Proceedings of the The 15th International Conference on Interaction Design and Children. New York, NY, USA, p. 524-528 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    33 Downloads (Pure)
  • Novice user perception of e-services: a study in the Egyptian public sector

    Nosseir, A. & Terzis, S., Dec 2011, Applied electrical engineering and computing technologies : conference proceedings. New York: IEEE, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    2 Citations (Scopus)
  • On skipping behaviour types in music streaming sessions

    Meggetto, F., Revie, C., Levine, J. & Moshfeghi, Y., 26 Oct 2021, CIKM '21: Proceedings of the 30th ACM International Conference on Information & Knowledge Management. New York, p. 3333-3337 5 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    42 Downloads (Pure)
  • On the qubit routing problem

    Cowtan, A., Dilkes, S., Duncan, R., Krajenbrink, A., Simmons, W. & Sivarajah, S., 1 May 2019, 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019). van Dam, W. & Mancinska, L. (eds.). Dagstuhl, Germany, Vol. 135. p. 5:1--5:32 32 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    13 Citations (Scopus)
    95 Downloads (Pure)
  • On the representability of line graphs

    Kitaev, S., Salimov, P., Severs, C. & Ulfarsson, H., 2011, Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings. Mauri, G. & Leporati, A. (eds.). p. 478-479 2 p. (Lecture Notes in Computer Science; vol. 6795).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    7 Citations (Scopus)
  • Optimising plans using genetic programming

    Westerberg, C. H. & Levine, J., 21 May 2014, Proceedings of the Sixth European Conference on Planning. Palo Alto, 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    37 Downloads (Pure)
  • Optimization strategies for integration pattern compositions

    Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York: Association for Computing Machinery (ACM), 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Citations (Scopus)
    27 Downloads (Pure)
  • Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation

    Mcbride, C., 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming . New York, p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    22 Citations (Scopus)
  • Parametric polymorphism - universally

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 24 Jun 2015, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. de Paiva, V., de Queiroz, R., Moss, L. S., Leivant, D. & de Oliveira, A. G. (eds.). p. 81-92 12 p. (Lecture Notes in Computer Science; vol. 9160).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Citations (Scopus)
    140 Downloads (Pure)
  • Partners in life and online search: investigating older couples' collaborative information seeking

    Wei, W., Munteanu, C. & Halvey, M., 14 Mar 2022, CHIIR 2022 - Proceedings of the 2022 Conference on Human Information Interaction and Retrieval. New York, NY., p. 47-55 9 p. (CHIIR 2022 - Proceedings of the 2022 Conference on Human Information Interaction and Retrieval).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Downloads (Pure)
  • Perception of thermal stimuli for continuous interaction

    Halvey, M., Wilson, G., Brewster, S. A. & Hughes, S. A., Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, NY., p. 1587-1592 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    13 Citations (Scopus)
  • Personality traits and cyber-attack victimisation: multiple mediation analysis

    Albladi, S. M. & Weir, G. R. S., 18 Jan 2018, Joint 13th CTTE and 10th CMI Conference on Internet of Things – Business Models, Users, and Networks. Falch, M. (ed.). Piscataway, NJ: IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    608 Downloads (Pure)
  • Phase gadget synthesis for shallow circuits

    Cowtan, A., Dilkes, S., Duncan, R., Simmons, W. & Sivarajah, S., 10 Jun 2019, Proceedings 16th International Conference on Quantum Physics and Logic. Coecke, B. & Leifer, M. (eds.). Waterloo, Australia: Open Publishing Association, Vol. 318. p. 213–228 26 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    110 Downloads (Pure)
  • Playing textual analysis as music

    Weir, G. R. S., Livitsanou, M. & Ishikawa, S. (ed.), 1 Sep 2010, Proceedings of ICTATLL 2010, Kyoto, Japan.. University of Strathclyde

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    84 Downloads (Pure)
  • Positing the problem: enhancing classification of extremist web content through textual analysis

    Weir, G., Frank, R., Cartwright, B. & dos Santos, E., 17 Nov 2016, 2016 IEEE International Conference on Cybercrime and Computer Forensic (ICCCF). Cartwright, B., Weir, G. & Lau, L. Y-C. (eds.). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    8 Citations (Scopus)
    55 Downloads (Pure)
  • Positive inductive-recursive definitions

    Ghani, N., Malatesta, L. & Nordvall Forsberg, F., 8 Aug 2013, Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Heckel, R. & Milius, S. (eds.). Berlin, p. 19-33 15 p. (Lecture Notes in Computer Science; vol. 8089).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • Productive coprogramming with guarded recursion

    Atkey, R. & McBride, C., Sep 2013, (Accepted/In press) Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming . 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    27 Citations (Scopus)
  • Program extraction from nested definitions

    Miyamoto, K., Nordvall Forsberg, F. & Schwichtenberg, H., 19 Jul 2013, Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, S., Paulin-Mohring, C. & Pichardie, D. (eds.). Berlin, p. 370-385 16 p. (Lecture Notes in Computer Science; vol. 7998).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    5 Citations (Scopus)
  • Proof-relevant parametricity

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    18 Downloads (Pure)