Publications

 
  • Modelling and Analysing Cognitive Causes of Security Breaches
    Ruksenas R Curzon P
    Innovations in Systems and Software Engineering vol. 30, 143-160.  
    01-06-2008
  • Editorial
    Wintner S Gabbay D Daelemans W Kehler A Lappin S Winter Y
    Research on Language and Computation, Springer Nature vol. 6 (1), 1-2.  
    01-03-2008
  • 3D Facial Expression Recognition with Geometrically Localized Facial Features
    Soyel H Demirel H
    23RD INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES., 229-232.  
    01-01-2008
  • Combining Human Error Verification and Timing Analysis
    Ruksenas R Curzon P Blandford A Gulliksen J Harning MB Papanque P VanderVeer G Wesson J
    ENGINEERING INTERACTIVE SYSTEMS. vol. 4940, 18-35.  
    01-01-2008
  • EMU in the car: Evaluating multimodal usability of a satellite navigation system
    Blandford A Curzon P Hyde J Graham TCN Palanque P
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS. vol. 5136, 1-14.  
    01-01-2008
  • Engaging with Computer Science through Magic Shows
    Curzon P McOwan PW
    Acm Sigcse Bulletin vol. 40, 179-183.  
    01-01-2008
  • Engaging with Computer Science Through Magic Shows
    Curzon P McOwan PW
    ITICSE '08: PROCEEDINGS OF THE 13TH ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION., 179-183.  
    01-01-2008
  • Formal Modelling of Salience and Cognitive Load
    Ruksenas R Back J
    Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)., 57-75.  
    01-01-2008
  • Formal Modelling of Salience and Cognitive Load
    Ruksenas R Curzon P
    Electronic Notes in Theoretical Computer Science vol. 208, 57-75.  
    01-01-2008
  • Modelling Rational User Behaviour as Games between an Angel and a Demon
    Ruksenas R Curzon P Cerone A Gruner S
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS., 355-364.  
    01-01-2008