Search results

  • Conference contribution book

    Beyond affordance: tangibles' hybrid nature

    Hornecker, E., Feb 2012, Proceedings of the Sixth International Conference on Tangible, Embedded and Embodied Interaction: TEI'12. New York, p. 175-182 8 p.

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

    49 Citations (Scopus)
  • Biochemical network matching and composition

    Goodfellow, M., Wilson, J. & Hunt, E., 22 Mar 2010, Proceedings of the 2010 Edbt/Icdt Workshops . Teubner, J. (ed.). New York, NY, USA, p. 1-7 7 p.

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

    File
    2 Citations (Scopus)
    53 Downloads (Pure)
  • Bridging the gap between the digital and the physical: design and evaluation of a mobile augmented reality guide for the museum visit

    Damala, A., Cubaud, P., Bationo, A., Houlier, P. & Marchal, I., 2008, Proceedings of the 3rd International Conference on Digital Interactive Media in Entertainment and Arts (DIMEA '08). New York, NY., p. 120-127 8 p.

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

    99 Citations (Scopus)
  • Bug localisation through diverse sources of information

    Davies, S. & Roper, M., 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013. Piscataway, NJ.: IEEE, p. 126-131 6 p. 6688891

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

    11 Citations (Scopus)
  • Building test oracles by clustering failures

    Almaghairbe, R. & Roper, M., 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test (AST) . IEEE, p. 3-7 5 p.

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

    Open Access
    File
    4 Citations (Scopus)
    150 Downloads (Pure)
  • Character building in children's online information behaviours: applying a virtue epistemology perspective to information literacy

    McMenemy, D. & Buchanan, S., 20 Feb 2019, Information Literacy in Everyday Life: 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers. Kurbanoğlu, S., Špiranec, S., Ünal, Y., Boustany, J., Huotari, M. L., Grassian, E., Mizrachi, D. & Roy, L. (eds.). Cham, Switzerland: Springer, p. 73-82 10 p.

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

    Open Access
    File
    135 Downloads (Pure)
  • Classifying suspicious content using frequency analysis

    Gellineau, O. & Weir, G. R. S., 2011, Corpora and Language Technologies in Teaching, Learning and Research. Weir, G., Ishikawa, S. & Poonpol, K. (eds.). 8 p.

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

    Open Access
    File
    75 Downloads (Pure)
  • Coalgebra learning via duality

    Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425).

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

    Open Access
    File
    6 Citations (Scopus)
    9 Downloads (Pure)
  • Code or (not code): separating formal and natural language in CS education

    Cutts, Q., Connor, R., Michaelson, G. & Donaldson, P., 5 Nov 2014, WiPSCE 2014: Proceedings of the 9th Workshop in Primary and Secondary Computing Education. New York, p. 20-28 9 p.

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

    Open Access
  • Competence measure in social networks

    Albladi, S. M. & Weir, G. R. S., 7 Dec 2017, 2017 IEEE International Carnahan Conference on Security Technology (ICCST). Piscataway, NJ: IEEE, 6 p.

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

    Open Access
    File
    4 Citations (Scopus)
    38 Downloads (Pure)
  • Completeness for game logic

    Enqvist, S., Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 5 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ.: IEEE, p. 1-23 23 p. 8785676

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

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)
  • Compositional game theory

    Ghani, N., Hedges, J., Winschel, V. & Zahn, P., 12 Jul 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, p. 472-481 10 p.

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

    Open Access
    File
    18 Citations (Scopus)
    68 Downloads (Pure)
  • Composition of biochemical networks using domain knowledge

    Goodfellow, M., Wilson, J. & Hunt, E., 2010, COmputational Modeling in BIology NEtwork (COMBINE) 2010. 1 p.

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

    File
    194 Downloads (Pure)
  • Comprehensive parametric polymorphism: categorical models and type theory

    Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]. Jacobs, B. & Löding, C. (eds.). Berlin: Springer-Verlag, Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    4 Citations (Scopus)
    190 Downloads (Pure)
  • Connecting constructive notions of ordinals in homotopy type theory

    Nordvall Forsberg, F., Xu, C. & Kraus, N., 27 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Kraus, N., Forsberg, F. N. & Xu, C. (eds.). Wadern, Germany, Vol. 202. p. 42:1-42:16 16 p. 42

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

    Open Access
    File
    6 Downloads (Pure)
  • Counting ordered patterns in words generated by morphisms

    Kitaev, S., Mansour, T. & Seebold, P., 2008, Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers. Martín-Vide, C., Otto, F. & Fernau, H. (eds.). Berlin: Springer, p. 287-298 12 p. (Lecture Notes in Computer Science; vol. 5196).

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

  • Creative idea exploration within the structure of a guiding framework: the card brainstorming game

    Hornecker, E., 2010, Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). p. 101-18 18 p.

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

    Open Access
    File
    78 Citations (Scopus)
    28 Downloads (Pure)
  • Crucial words for abelian powers

    Glen, A., Halldorsson, B. & Kitaev, S., 2009, Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings. Diekert, V. & Nowotka, D. (eds.). p. 264-275 12 p. (Lecture Notes in Computer Science; vol. 5583).

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

    1 Citation (Scopus)
  • Cultural heritage communities: technologies and challenges

    Ciolfi, L., Damala, A., Hornecker, E., Lechner, M., Maye, L. & Petrelli, D., 27 Jun 2015, Proceedings of the 7th International Conference on Communities and Technologies (C&T '15).. New York, Vol. 27-30-June-2015. p. 149-152 4 p.

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

    Open Access
    File
    2 Citations (Scopus)
    39 Downloads (Pure)
  • Danger theory and intrusion detection: possibilities and limitations of the analogy

    Vella, M., Roper, M. & Terzis, S., 2010, Artificial Immune Systems: Proceedings of the 9th International Conference, ICARIS 2010. Hart, E., McEwan, C., Timmis, J. & Hone, A. (eds.). Springer, p. 276-289 14 p. (Lecture Notes in Computer Science; vol. 6209).

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

    8 Citations (Scopus)
  • Data value storage for compressed semi-structured data

    Tripney, B. G., Ross, I., Wilson, F. & Wilson, J., 14 Aug 2013, Database and Expert Systems Applications: Proceedings of the 24th International Conference on Database and Expert Systems Applications. Decker, H., Lhotská, L., Link, S., Basl, J. & Tjoa, A. M. (eds.). Berlin, Vol. 8056. p. 174-188 15 p. (Lecture Notes in Computer Science; vol. 8056).

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

    File
    81 Downloads (Pure)
  • Designing clinical AAC tablet applications with adults who have mild intellectual disabilities

    Gibson, R. C., Dunlop, M. D., Bouamrane, M-M. & Nayar, R., 30 Apr 2020, CHI '20 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY., p. 1-13 13 p. 3376159

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

    Open Access
    File
    2 Citations (Scopus)
    26 Downloads (Pure)
  • Designing interactions for the ageing populations – addressing global challenges

    Sarcar, S., Munteanu, C., Jokinen, J. P. P., Charness, N., Dunlop, M., Ren, X. & Waycott, J., 28 Apr 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems - CHI EA '20: Extended Abstracts. New York, NY., 5 p. W21

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

    Open Access
    File
    1 Citation (Scopus)
    8 Downloads (Pure)
  • Developing information literacy in dependent and disadvantaged circumstances: a transitional approach in the digital health context

    Buchanan, S., Jardine, C. & Ruthven, I., 19 Jan 2018, Fifth European Conference on Information Literacy (ECIL), Sep 18-21 2017, Saint-Malo, France. Cham, Switzerland: Springer, p. 409-418 10 p. (Communications in Computer and Information Science).

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

    Open Access
    File
    5 Citations (Scopus)
    63 Downloads (Pure)
  • Development of a readability index attuned to the new English Course of Study in Japan

    Ozasa, T., Weir, G. R. S. & Fukui, M., Nov 2014, Proceedings of ICERI2014 Conference. p. 2446-2453 8 p. (7th International Conference of Education, Research and Innovation).

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

    Open Access
    File
    55 Downloads (Pure)
  • Distress detection

    Vella, M. J., Terzis, S. & Roper, M., 12 Sep 2012, Research in Attacks, Intrusions, and Defenses: Proceedings of the 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Davide, B., Salvatore.J., S. & Marco, C. (eds.). Springer, p. 384-385 2 p. (Lecture Notes in Computer Science; vol. 7462).

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

  • Do Be Do Be Do

    Lindley, S., McBride, C. & McLaughlin, C., 15 Jan 2017, POPL'2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. (ed.). New York, p. 500-514 15 p.

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

    Open Access
    File
    32 Citations (Scopus)
    193 Downloads (Pure)
  • Edutainment games for mobile multimedia museum guidance systems: a classification approach

    Damala, A., 28 Aug 2009, Entertainment Computing – ICEC 2009: 8th International Conference, Paris, France, September 3-5, 2009. Proceedings. Natkin, S. & Dupire, J. (eds.). Berlin, p. 307-308 2 p. (Lecture Notes in Computer Science; vol. 5709).

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

    2 Citations (Scopus)
  • Efficient data intensive secure computation: fictional or real

    Dong, C., 16 Dec 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). 1 ed. Springer International Publishing AG, Vol. 9379. p. 1-11 11 p. (Security and Cryptology).

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

    Open Access
    File
    17 Downloads (Pure)
  • Efficient protocols for private record linkage

    Wen, Z. & Dong, C., 31 Mar 2014, Proceedings of 29th ACM Symposium on Applied Computing. New York, p. 1688-1694 7 p.

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

    Open Access
    File
    9 Citations (Scopus)
    108 Downloads (Pure)
  • Enabling interactive query expansion through eliciting the potential effect of expansion terms

    Sahib, N. G., Tombros, A. & Ruthven, I., 28 Mar 2010, Advances in Information Retrieval: 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010.Proceedings. Gurrin, C., He, Y., Kazai, G., Kruschwitz, U., Little, S., Roelleke, T., Rüger, S. & van Rijsbergen, K. (eds.). Berlin: Springer-Verlag, Vol. 5993. p. 532-543 10 p. (Lecture Notes in Computer Science; vol. 5993).

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

    6 Citations (Scopus)
  • Enhancing KLM (Keystroke-Level Model) to fit touch screen mobile devices

    El Batran, K. M. M. & Dunlop, M., Sep 2014, Proceedings of the 16th International Conference on Human-Computer Interaction with Mobile Devices and Services. p. 283-286 4 p.

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

    Open Access
    File
    21 Citations (Scopus)
    932 Downloads (Pure)
  • Ensemble decision making in real-time games

    Rodgers, P., Levine, J. & Anderson, D., 15 Oct 2018, 2018 IEEE Conference on Computational Intelligence and Games (CIG). Piscataway, N.J.: IEEE, 8 p.

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

    1 Citation (Scopus)
  • Equality-friendly well-founded semantics and applications to description logics

    Kupke, C., Gottlob, G., Lukasiewicz, T. & Hernich, A., 2012, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. p. 757-764 8 p.

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

    Open Access
    File
    43 Downloads (Pure)
  • Evaluating the social acceptability of voice based smartwatch search

    Efthymiou, C. & Halvey, M., 31 Dec 2016, Information Retrieval Technology: 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China November 30 – December 2, 2016. Proceedings. Ma, S., Wen, J-R., Liu, Y., Dou, Z., Zhang, M., Chang, Y. & Zhao, X. (eds.). Switzerland: Springer, p. 267-278 12 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    12 Citations (Scopus)
    121 Downloads (Pure)
  • Evaluating the usability of a tablet application to support adults with mild intellectual disabilities during primary care consultations

    Gibson, R. C. & Dunlop, M. D., 8 May 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems (CHI EA '21) . New York, NY., 7 p. 395

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

    Open Access
    File
    3 Downloads (Pure)
  • Evaluation of Jensen-Shannon distance over sparse data

    Connor, R., Cardillo, F. A., Moss, R. & Rabitti, F., 13 Sep 2013, Similarity Search and Applications: 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings. Brisaboa, N., Pedreira, O. & Zezula, P. (eds.). Berlin: Springer, Vol. 8199. p. 163-168 6 p. (Lecture Notes in Computer Science; vol. 8199).

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

    Open Access
    File
    2 Citations (Scopus)
    122 Downloads (Pure)
  • Evaluation of random forest and ensemble methods at predicting complications following cardiac surgery

    Lapp, L., Bouamrane, M-M., Kavanagh, K., Roper, M., Young, D. & Schraag, S., 30 May 2019, Artificial Intelligence in Medicine - 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Proceedings. Wilk, S., ten Teije, A. & Riaño, D. (eds.). Cham: Springer, p. 376–385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11526 LNAI).

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

    Open Access
    File
    5 Citations (Scopus)
    7 Downloads (Pure)
  • Experience, engagement and social interaction at a steam locomotive multimodal interactive museum exhibit

    Clarke, L. & Hornecker, E., 2 May 2013, CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, p. 613-618 6 p.

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

    Open Access
    File
    3 Citations (Scopus)
    12 Downloads (Pure)
  • Experimenting with sound immersion in an arts and crafts museum

    Kaghat, F-Z., Le Prado, C., Damala, A. & Cubaud, P., 28 Aug 2009, Entertainment Computing – ICEC 2009: 8th International Conference, Paris, France, September 3-5, 2009. Proceedings. Natkin, S. & Dupire, J. (eds.). Berlin, p. 173-178 6 p. (Lecture Notes in Computer Science; vol. 5709).

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

    3 Citations (Scopus)
  • Exploring contemporary painting through spatial annotations using RFID tags

    Haberman, O., Damala, A., Pellerin, R., Haberman, U. & Gressier-Soudan, E., 2010, VAST10S. Artusi, A., Joly-Parvex, M., Lucet, G., Ribes, A. & Pitzalis, D. (eds.). Geneva, p. 49-52 4 p. (VAST: International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage - Short and Project Papers).

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

  • Expressive logics for coinductive predicates

    Kupke, C. & Rot, J., 16 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernandez, M. & Muscholl, A. (eds.). Dagstuhl, Germany, Vol. 152. p. 26:1--26:18 18 p. 26

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

    Open Access
    File
    3 Citations (Scopus)
    13 Downloads (Pure)
  • Expressivity of quantitative modal logics: categorical foundations via codensity and approximation

    Kormorida, Y., Katsumata, S., Kupke, C., Rot, J. & Hasup, I., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Piscataway, NJ: IEEE, 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

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

    Open Access
    File
    2 Downloads (Pure)
  • Fair private set intersection with a semi-trusted arbiter

    Dong, C., Chen, L., Camenisch, J. & Russello, G., 2013, Data and Applications Security and Privacy XXVII: 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings. Wang, L. & Shafiq, B. (eds.). Springer, Vol. 7964. p. 128-144 17 p. (Lecture Notes in Computer Science; vol. 7964).

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

    File
    23 Citations (Scopus)
    210 Downloads (Pure)
  • Fibrational induction meets effects

    Atkey, R., Ghani, N., Jacobs, B. & Johann, P., 2012, Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2011. Birkedal, L. (ed.). Springer, Vol. 7213. p. 42-57 16 p. (Lecture Notes in Computer Science; vol. 7213).

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

    Open Access
    File
    10 Citations (Scopus)
    45 Downloads (Pure)
  • Fibrational induction rules for initial algebras

    Ghani, N., Johann, P. & Fumex, C., 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.). Springer, Vol. 6247. p. 336-350 15 p. (Lecture Notes In Computer Science; vol. 6247).

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

    File
    14 Citations (Scopus)
    62 Downloads (Pure)
  • Fibred data types

    Ghani, N., Malatesta, L., Nordvall Forsberg, F. & Setzer, A., 2013, 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). New York: IEEE, p. 243-252 10 p.

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

    2 Citations (Scopus)
  • Fighting fires and powering steam locomotives: Distribution of control and its role in social interaction at tangible interactive museum exhibits

    Clarke, L., Hornecker, E. & Ruthven, I., 13 May 2021, Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems - CHI'21. New York, NY., 17 p. 344

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

    Open Access
    File
    24 Downloads (Pure)
  • First impressions: how search engine results contextualise digital identities

    Ruthven, I., Clews, C. & Dali, W. H. M., 2010, Proceedings of the 3rd Information Interaction in Context Symposium (IIiX 2010). New York, p. 311-316 6 p.

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

  • ForgetMeNot: active reminder entry support for adults with acquired brain injury

    Jamieson, M., O'Neill, B., Cullen, B., Lennon, M., Brewster, S. & Evans, J., 5 May 2017, CHI '17 : Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. New York, NY., p. 6012–6023 12 p.

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

    Open Access
    File
    9 Citations (Scopus)
    51 Downloads (Pure)