Publications
- An approach to formal verification of human-computer interaction
Curzon P Ruksenas R
Form Asp Comput vol. 19 (4), 513-550.
01-11-2007 - Serious Fun in Computer Science
Curzon P
Acm Sigcse Bulletin vol. 39, 1-1.
01-09-2007 - Classifying Non-Sentential Utterances in Dialogue: A Machine Learning Approach
Fernndez R Ginzburg J Lappin S
Computational Linguistics, MIT Press vol. 33 (3), 397-427.
01-09-2007 - Detecting Cognitive Causes of Confidentiality Leaks
Ruksenas R Curzon P
Proceedings of the 1st International Workshop on Formal Methods for Interactive Systems. vol. 183, 21-38-21-38.
01-07-2007 - Machine learning theory and practice as a source of insightinto universal grammar
LAPPIN S SHIEBER SM
Journal of Linguistics, Cambridge University Press (Cup) vol. 43 (2), 393-427.
18-06-2007 - Seniors route-planning: a reality check for the design of navigation systems
Wilson J Curzon P
Proceedings of TRANSED 2007 - 11th International Conference on Mobility and Transport for Elderly and Disabled Persons.
01-06-2007 - Multiculturalism and Democracy
Lappin S
Dissent, Johns Hopkins University Press vol. 54 (3), 14-18.
01-06-2007 - Providing a formal linkage between MDG and HOL
Xiong H Curzon P
Formal Methods in System Design vol. 30, 83-116-83-116.
01-04-2007 - Lambda Calculus, Type Theory, and Natural Language II
Fox C Fernandez M Lappin S
Journal of Logic and Computation, Oxford University Press (OUP) vol. 18 (2), 203-203.
16-02-2007 - Detecting Cognitive Causes of Confidentiality Leaks
Ruksenas R Blandford A
Electronic Notes in Theoretical Computer Science vol. 183, 21-38-21-38.
01-01-2007 - Resilience in Usability Consultancy Practice: The Case for a Positive Resonance Model
Furniss D Blandford A
Proceedings of the Resilience Engineering Workshop, June, 2007, Vadstena, Sweden.. vol. 23, 31-35-31-35.
01-01-2007 - Formal modelling of cognitive interpretation
Ruksenas R Curzon P Blandford A Doherty G Blandford A
Interactive Systems: Design, Specification, and Verification. vol. 4323, 123-136.
01-01-2007 - Formal Modelling of Cognitive Interpretation
Ruksenas R Curzon P Back J
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006. vol. 4323, 123-136-123-136.
01-01-2007 - Facial expression recognition using 3D facial feature distances
Soyel H Demirel H Kamel M Campilho A
IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. vol. 4633, 831-838.
01-01-2007 - Evaluation of Car Navigation Systems: On-Road Studies or Analytical Tools
Papatzanis G Curzon P
In Proceedings of the Interact 2007 Workshop: Technology has escaped from the zoo: studying usability in the wild.
01-01-2007 - Does being motivated to avoid procedural errors influence their systematicity?
Back J Cheng WL Dann R BryanKinns N Blandfor A Curzon P Nigay L
People and Computers XX - Engage., 151-157.
01-01-2007 - An Approach to Formal Verification of Human-Computer Interaction
Curzon P Ruksenas R
Formal Aspects of Computing vol. 19, 513-550.
01-01-2007