Publications
- Probabilistic Type Theory and Natural Language Semantics
Cooper R, Dobnik S, Lappin S and Larsson S
Linguistic Issues in Language Technology, University of Colorado At Boulder vol. 10
01-11-2015 - Towards a Formalization of System Requirements for an Integrated Clinical Environment
Cinzia Bernardeschi PM
5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". Editors: Alomainy A, Whittow W, Hao Y, Nikita KS and Parini CG.
01-10-2015 - Robot Comedy Lab: experimenting with the social dynamics of live performance
Katevas K, Healey PGT and Harris MT
Frontiers in Psychology, Frontiers vol. 6
25-08-2015 - Taking a Stance: a Corpus Study of Reported Speech
Concannon S, Healey PGT and Purver M
19th SemDial Workshop on the Semantics and Pragmatics of Dialogue (goDIAL) Gothenburg, Sweden 23 Aug 2015 - 25 Aug 2015., 6-14.
01-08-2015 - Shifting Opinions: Experiments on Agreement and Disagreement in Dialogue
Concannon S, Healey P and Purver M
19th SemDial Workshop on the Semantics and Pragmatics of Dialogue (goDIAL) Gothenberg, Sweden 24 Aug 2015 - 26 Aug 2015., 15-23.
01-08-2015 - Age-Related Patterns in Emotions Evoked by Music
Pearce MT and Halpern AR
Psychology of Aesthetics Creativity and The Arts, American Psychological Association (Apa) vol. 9 (3), 248-253.
01-08-2015 - Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments
Masci P, Curzon P, Mallozzi P, Angelis FLD and Serugendo GDM
Proceedings of Verisure2015, Workshop on Verification and Assurance, co-located with CAV2015.
01-07-2015 - PVSio-web 2.0: Joining PVS to HCI
Masci P, Oladimeji P, Zhang Y, Jones P, Curzon P and Thimbleby H
Computer Aided Verification: 27th International Conference, CAV2015, Proceedings, Part I. vol. 9206, 470-478.
01-07-2015 - The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
Masci P, Rukšėnas R, Oladimeji P, Cauchi A, Gimblett A, Li Y, Curzon P and Thimbleby H
Innovations in Systems and Software Engineering, Springer-Verlag New York vol. 11 (2), 73-93.
01-06-2015 - Layers, resources and property templates in the specification and analysis of two interactive systems
Campos JC, Curzon P, Harrison MD and Masci P
1st Workshop on Formal Methods in Human Computer Interaction (FoMHCI), co-located with EICS2015.
01-06-2015 - Collective Contexts in Conversation: Grounding by Proxy
Eshghi A and Healey PGT
Cognitive Science, Wiley vol. 40 (2), 299-324.
12-05-2015 - 12 Way Mirror
Theodorou L and Healey PGT
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems., 647-654.
18-04-2015 - Generality and specificity in the effects of musical expertise on perception and cognition
Carey D, Rosen S, Krishnan S, Pearce MT, Shepherd A, Aydelott J and Dick F
Cognition, Elsevier vol. 137, 81-105.
23-01-2015 - When words fail: Collaborative gestures during clarification dialogues
Healey PGT, Plant N, Howes C and Lavelle M
AAAI Spring Symposium - Technical Report. vol. SS-15-07, 23-29.
01-01-2015 - Unsupervised Prediction of Acceptability Judgements
Lau JH, Clark A and Lappin S
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers)., 1618-1628.
01-01-2015 - Synpy: A python toolkit for syncopation modelling
Song C, Pearce M and Harte C
Proceedings of the 12th International Conference in Sound and Music Computing, SMC 2015., 295-300.
01-01-2015 - Ideas in Dialogue: The Effects of Interaction on Creative Problem Solving
Howes C, Healey PGT, Panzarasa P and Hills T
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015., 938-943.
01-01-2015