Home > Research > Publications & Outputs
  1. Conference contribution/Paper
  2. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Concept Vocabularies in Programmer Sociolects

    Rice, J. E., Ellert, B., Genee, I., Taïani, F. & Rayson, P., 25/06/2014, Proceedings of the 25th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2014. p. 14 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    Self-representation in online learning environments

    Oztok, M., 23/06/2014, Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2014. Herrington, J., Viteli, J. & Leikomaa, M. (eds.). Tampere, Finland: AACE, p. 2715-2719 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    Text-based user-kNN: measuring user similarity based on text reviews

    Terzi, M., Rowe, M., Ferrario, M. A. & Whittle, J., 23/06/2014, User modeling, adaptation, and personalization. Springer, p. 195-206 12 p. (Lecture Notes in Computer Science; vol. 8538).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Stimulating a dialogue on renewable energy through making

    Forshaw, S., Newman, P., Ferrario, M. A., Simm, W., Friday, A. & Coulton, P., 21/06/2014, DIS Companion '14 Proceedings of the 2014 companion publication on Designing interactive systems. New York: ACM, p. 17-20 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    Patterns of persuasion for sustainability

    Knowles, B., Blair, L., Walker, S., Coulton, P., Thomas, L. & Mullagh, L., 21/06/2014, DIS '14 Proceedings of the 2014 conference on Designing interactive systems. New York: ACM, p. 1035-1044 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Designing interactive systems to encourage empathy between users

    Coulton, P., Huck, J., Hudson-Smith, A., Ralph, B., Mavros, P., Roberts, J. & Powell, P., 21/06/2014, DIS Companion '14 Proceedings of the 2014 companion publication on Designing interactive systems. New York: ACM, p. 13-16 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    Growing an interpretation ecology in a walled kitchen garden

    Edwards, L., Coulton, P. & Chiasson, M., 21/06/2014, DIS Companion '14 Proceedings of the 2014 companion publication on Designing interactive systems. New York: ACM, p. 65-68 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Published

    Word learning from social and associative cues by children with ASD

    Field, C., Allen, M. & Lewis, C., 20/06/2014, Neurodevelopmental Disorders Seminar Series, Durham University.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  11. Published

    The greenhouse gas profile of a “Hungry Planet”: quantifying the impacts of the weekly food purchases including associated packaging and food waste of three families

    Verghese, K., Crossin, E., Clune, S. J., Lockrey, S., Wikström, F., Rio, M. & Williams, H., 19/06/2014, 19th IAPRI World Conference on Packaging: Victioria University, Melbourne.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top