Publications

 
  • Comparing actual practice and user manuals:A case study based on programmable infusion pumps
    Blandford A Cauchi A Curzon P Eslambolchilar P Furniss D Gimblett A Huang H Li Y et al.
    Ceur Workshop Proceedings. vol. 727, 59-64.  
    01-12-2011
  • Towards dependable number entry for medical devices
    Cauchi A Curzon P Eslambolchilar P Gimblett A Lee P Li Y Masci P Rukšenas R
    Ceur Workshop Proceedings. vol. 727, 53-58.  
    01-12-2011
  • Application of NSGA-II to feature selection for facial expression recognition
    Soyel H Tekguc U Demirel H
    Computers & Electrical Engineering, Elsevier vol. 37 (6), 1232-1240.  
    01-11-2011
  • A Study in Engaging Female Students in Computer Science Using Role Models
    Black J Myketiak C
    Proceedings of ITiCSE 2011, The 16th Annual Conference on Innovation and Technology in Computer Science Education ACM SIGCSE., 63-67-63-67.  
    01-06-2011
  • Towards a formal framework for reasoning about the resilience of dynamic interactive systems
    Masci P Curzon P Huang H Rukšėnas R Blandford A
    , Association For Computing Machinery (Acm), 109-110.  
    11-05-2011
  • Engaging Female Students in Computer Science Using Role Models
    Black J Curzon P McOwan PW
    Poster presented at The 42nd ACM Technical Symposium on Computer Science Education, SIGCSE 2011: Reaching Out. 
    01-03-2011
  • Linguistic Nativism and the Poverty of the Stimulus
    Clark A Lappin S
     
    07-01-2011
  • Abstract models and cognitive mismatch in formal verification
    Rukšenas R Curzon P
    Electronic Communications of The Easst vol. 45 
    01-01-2011
  • Capturing the distinction between task and device errors in a formal model of user behaviour
    Huang H Rukšenas R Ament MGA Cox AL
    Electronic Communications of The Easst vol. 45 
    01-01-2011
  • Improved SIFT matching for pose robust facial expression recognition.
    Soyel H Demirel H
    FG., 585-590.  
    01-01-2011
  • On formalising interactive number entry on infusion pumps
    Masci P Rukšenas R Oladimeji P Cauchi A Gimblett A Curzon P
    Electronic Communications of The Easst vol. 45 
    01-01-2011
  • Sorts, ontology, and metaphor: The semantics of sortal structure
    Lappin S
     
    01-01-2011