Publications

...
• 2019
• 2018
• 2017
• 2016
• 2015
• 2014
• 2013
• 2012
...

• Probabilistic Type Theory and Natural Language Semantics
  Cooper R Dobnik S Lappin S Larsson S
  Linguistic Issues in Language Technology, University of Colorado At Boulder vol. 10 
  DOI 10.33011/lilt.v10i.1357
  
  01-11-2015
• Towards a Formalization of System Requirements for an Integrated Clinical Environment
  Cinzia Bernardeschi PM Alomainy A Whittow W Hao Y Nikita KS Parini CG
  5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". 
  DOI 10.4108/eai.14-10-2015.2261701
  
  01-10-2015
• Robot Comedy Lab: experimenting with the social dynamics of live performance
  Katevas K Healey PGT
  Frontiers in Psychology, Frontiers vol. 6 
  DOI 10.3389/fpsyg.2015.01253

  QMRO
  
  25-08-2015
• Brain MR Image Denoising for Rician Noise Using Intrinsic Geometrical Information
  Soyel H Yurtkan K Demirel H McOwan PW
  Lecture Notes in Electrical Engineering. vol. 363, 275-284.  
  DOI 10.1007/978-3-319-22635-4_25

  QMRO
  
  04-08-2015
• Taking a Stance: a Corpus Study of Reported Speech
  Concannon S Healey PGT Purver M
  19th SemDial Workshop on the Semantics and Pragmatics of Dialogue (goDIAL) Gothenburg, Sweden 23 Aug 2015 - 25 Aug 2015., 6-14.  
  QMRO
  
  01-08-2015
• Shifting Opinions: Experiments on Agreement and Disagreement in Dialogue
  Concannon S Healey P Purver M
  19th SemDial Workshop on the Semantics and Pragmatics of Dialogue (goDIAL) Gothenberg, Sweden 24 Aug 2015 - 26 Aug 2015., 15-23.  
  QMRO
  
  01-08-2015
• Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments
  Masci P Mallozzi P Angelis FLD 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
  Computer Aided Verification: 27th International Conference, CAV2015, Proceedings, Part I. vol. 9206, 470-478.  
  DOI 10.1007/978-3-319-21690-4_30
  
  01-07-2015
• The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
  Masci P Oladimeji P Cauchi A Li Y Curzon P
  Innovations in Systems and Software Engineering, Springer-Verlag New York vol. 11 (2), 73-93.  
  DOI 10.1007/s11334-013-0200-4
  
  01-06-2015
• Layers, resources and property templates in the specification and analysis of two interactive systems
  Campos JC Harrison MD 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
  Cognitive Science, Wiley vol. 40 (2), 299-324.  
  DOI 10.1111/cogs.12225

  QMRO
  
  12-05-2015
• Entropy Driven Feature Selection for Facial Expression Recognition Based on 3-D Facial Feature Distances
  Yurtkan K Soyel H Demîrel H
  2015 23nd Signal Processing and Communications Applications Conference (SIU)., 2322-2325.  
  DOI 10.1109/siu.2015.7130344
  
  01-05-2015
• 12 Way Mirror
  Theodorou L
  Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems., 647-654.  
  DOI 10.1145/2702613.2702955
  
  18-04-2015
• Unsupervised Prediction of Acceptability Judgements
  Lau JH Clark A 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.  
  DOI 10.3115/v1/p15-1156
  
  01-01-2015
• When words fail: Collaborative gestures during clarification dialogues
  Healey PGT Plant N Howes C
  Aaai Spring Symposium Technical Report. vol. SS-15-07, 23-29.  
  01-01-2015