Publications

 
  • The conversational organization of musical contributions
    Duffy S and Healey PGT
    Psychology of Music, Sage Publications vol. 42 (6), 888-893.  
    01-11-2014
  • Combining Human Error Verification and Timing Analysis: a Case Study on an Infusion Pump
    enas RR, Curzon P, Blandford A and Back J
    Formal Aspects of Computing, Springer Verlag vol. 26, 1033-1076.  
    01-09-2014
  • Participation during First Social Encounters in Schizophrenia
    Lavelle M, Healey PGT and McCabe R
    Plos One, Public Library of Science (Plos) vol. 9 (1) 
    20-01-2014
  • Type-theoretic logic with an operational account of intensionality
    Fox C and Lappin S
    Synthese, Springer Nature vol. 192 (3), 563-584.  
    14-01-2014
  • A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
    Masci P, Zhang Y, Jones P, Thimbleby H and Curzon P
    5th Workshop on Medical Cyber-Physical Systems. vol. 36, 1-14. Editors: Turau V, Kwiatkowska M, Mangharam R and Weyer C. 
    01-01-2014
  • A Probabilistic Rich Type Theory for Semantic Interpretation
    Cooper R, Dobnik S, Lappin S and Larsson S
    Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)., 72-79.  
    01-01-2014
  • Cognitive Science and the Arts
    Tversky B, Healey P and Kirsh D
    Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014., 58-59.  
    01-01-2014
  • Combining PVSio with Stateflow
    Masci P, Zhang Y, Jones P, Oladimeji P, D Urso E, Bernardeschi C, Curzon P and Thimbleby H
    NASA Formal Methods: Proceedings of the 6th International Symposium NFM 2014. vol. 8430, 209-214.  
    01-01-2014
  • Divergence in dialogue.
    Healey PGT, Purver M and Howes C
    Plos One vol. 9 (2) 
    01-01-2014
  • Formal Verification of Medical Device User Interfaces Using PVS
    Masci P, Zhang Y, Jones P, Curzon P and Thimbleby H
    ETAPS/FASE2014, 17th International Conference on Fundamental Approaches to Software Engineering. vol. 8411, 200-214.  
    01-01-2014
  • Intensions as Computable Functions
    Lappin S
    Linguistic Issues in Language Technology, University of Colorado At Boulder vol. 9 
    01-01-2014
  • Measuring Gradience in Speakers' Grammaticality Judgements
    Lau JH, Clark A and Lappin S
    Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014., 821-826.  
    01-01-2014
  • Nonverbal Behavior During Face-to-face Social Interaction in Schizophrenia
    Lavelle M, Healey PGT and McCabe R
    The Journal of Nervous and Mental Disease, Wolters Kluwer vol. 202 (1), 47-54.  
    01-01-2014