Back, J., Blandford, A., Curzon, P. & Ruksenas, R. (in press). "Explaining Mode and Omission Errors: A Load Model." Human Factors: The Journal of the Human Factors and Ergonomics Society.

Ruksenas, R., Back, J., Curzon, P. & Blandford, A. (2009) "Verification-Guided Modelling of Salience and Cognitive Load ", Formal Aspects of Computing. DOI: 10.1007/s00165-008-0102-7

Smith, P., Blandford, A. & Back, J. (2008) Questioning, exploring, narrating and playing in the control room to maintain system safety. Cognition, Technology and Work, Springer. DOI: 10.1007/s10111-008-0116-1

Blandford, A., Green, T. R. G., Furniss, D. & Makri, S. (2008) "Evaluating system utility and conceptual fit using CASSM". International Journal of Human–Computer Studies. Volume 66 (6), 393-409, June. DOI: 10.1016/j.ijhcs.2007.11.005

Ruksenas, R., Curzon, P. & Blandford, A. (2008) " Modelling and Analysing Cognitive Causes of Security Breaches". Innovations in Systems and Software Engineering, June 2008. 183, 21-38. DOI: 10.1007/s11334-008-0050-7

Blandford, A., Keith, S., Butterworth, R, Fields, B. & Furniss, D. (2007) Disrupting Digital Library Development with Scenario Informed Design. Interacting with Computers 19. pp 70-82. DOI: 10.1016/j.intcom.2006.07.003

Curzon, P., Ruksenas, R. & Blandford, A. (2007) " An Approach to Formal Verification of Human-Computer Interaction". Formal Aspects of Computing. Volume 19, Number 4 / November, pp 513-550, Springer London. DOI 10.1007/s00165-007-0035-6

Furniss, D. & Blandford, A. (2006) Understanding Emergency Medical Dispatch in terms of Distributed Cognition: a case study. Ergonomics, Volume 49, Issue 12 & 13 October, pp 1174 - 1203 DOI 10.1080/00140130600612663 Taylor and Francis

Xiong, H., Curzon, P., Tahar, S. & Blandford, A. (2006). "Providing a Formal Linkage between MDG and HOL". Formal Methods in System Design. 30. pp 83-116. DOI 10.1007/s10703-006-0017-y

Publications: Book Contributions

Furniss, D., Blandford, A. & Curzon, P. (2008) Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. In E. Law, E. Hvannberg, G. Cockton & J. Vanderdonckt (Eds.) Maturing Usability: Quality in Software, Interaction and Value. 144-167. DOI 10.1007/978-1-84628-941-5

Publications: Conference Papers

Back, J. Furniss, D. Hildebrandt, M. & Blandford, A. (2008). "Resilience Markers for Safer Systems and Organisations." In Computer Safety, Reliability, and Security: Proceedings of SafeComp 2008, Lecture Notes in Computer Science, 5219, pp99-112 Springer. DOI 10.1007/978-3-540-87698-4_11

Ruksenas, R., Curzon, P. & Blandford, A. (2008) " Modelling Rational User Behaviour as Games between an Angel and a Demon " Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), pp355-364 IEEE Computer Society Press. DOI 10.1109/SEFM.2008.43

Blandford, A., Curzon, P., Hyde, J. & Papatzanis, G. (2008) "EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System", Interactive Systems. Design, Specification, and Verification, Lecture Notes in Computer Science, 5136, pp1-14, July. DOI 10.1007/978-3-540-70569-7

Papatzanis, G., Curzon, P. & Blandford, A. (2008) "Identifying Phenotypes & Genotypes: A Case Study. Evaluating an In-car Navigation System" Proceedings of Engineering Interactive Systems (EIS 2007), Lecture Notes in Computer Science, 4940, Springer.

Ruksenas, R., Curzon, P., Blandford, A. & Back, J. (2008) " Combining Human Error Verification and Timing Analysis" Proceedings of Engineering Interactive Systems (EIS 2007), Lecture Notes in Computer Science, 4940, Springer.

Ruksenas, R., Back, J., Curzon, P. & Blandford, A. (2008) "Formal Modelling of Salience and Cognitive Load". In A. Cerone & P. Curzon (Eds.) Proceedings of the Second International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Electronic Notes in Theoretical Computer Science. 208 pp 57-75, April, DOI 10.1016/j.entcs.2008.03.107

Curzon, P., Ruksenas, R., Back, J. and Blandford, A. (2008) "Verifying systems to reduce human error", Tools and Techniques for Verification of System Infrastructure: A Festschrift in Honour of Professor Michael J.C. Gordon FRS R. Boulton, J Hurd and K Slind (Eds.) page 32, The Royal Society, March 2008.

Back, J., Blandford, A. & Curzon, P. (2007) Recognising Erroneous and Exploratory Interactions. In Cécilia Baranauskas, Philippe Palanque, Julio Abascal and Simone Diniz Junqueira Barbosa (Eds.) Human-Computer Interaction - INTERACT 2007. Lecture Notes in Computer Science 4663. 127-140. DOI 10.1007/978-3-540-74800-7_10

Back, J., Blandford, A., & Curzon, P. (2007). Slip Errors and Cue Salience. In W.-P. Brinkman, D.-H. Ham & B. L. W. Wong (Eds.) Proceedings of ECCE2007. Invent! Explore! European Conference on Cognitive Ergonomics 2007 The 25th Anniversary conference of the European Association of Cognitive Ergonomics (EACE), August.

Back, J., Furniss, D. & Blandford, A. (2007) Cognitive Resilience: Reflection-in-action and on-action. In R. Woltjer, B. Johansson & J. Lundberg (Eds.) Proceedings of Resilience Engineering Workshop, Vadstena, Sweden. June Linköping Electronic Conference Proceedings, 23(1), 1-6.

Blandford, A. (2007) Downstream utility: stepping back. In Proc. Workshop on "Downstream Utility: The Good, the Bad, and the Utterly Useless Usability Evaluation Feedback". Toulouse. November 6th 2007.

Furniss, D., Blandford, A. & Curzon, P. (2007). Resilience in Usability Consultancy Practice: the case for a positive resonance model. In R. Woltjer, B. Johansson & J. Lundberg (Eds.) Proceedings of Resilience Engineering Workshop, Vadstena, Sweden. June. Linköping Electronic Conference Proceedings, 23(5), 31-35.

Papatzanis, G., Curzon, P. & Blandford, A. (2007) Evaluation of Car Navigation Systems: On-Road Studies or Analytical Tools. In Proceedings of the Interact workshop "Technology has escaped from the zoo: studying usability in the wild."

Ruksenas, R., Curzon, P. & Blandford, A. (2007) " Detecting Cognitive Causes of Confidentiality Leaks". In A. Cerone and P. Curzon (Eds.) Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), Electronic Notes in Theoretical Computer Science. Vol. 183. 21-38. DOI 10.1016/j.entcs.2007.01.059

Ruksenas, R., Curzon, P., Back, J. & Blandford, A. (2007) Formal Modelling of Cognitive Interpretation. In G. Doherty & A. Blandford (Eds.) Proceedings of Design, Specification and Verification of Interactive Systems (DSVIS 2006). Lecture Notes in Computer Science. Vol. 4323 pp123-136. Springer. DOI 10.1007/978-3-540-69554-7_10

Back, J., Cheng, W.L., Dann, R., Curzon, P. & Blandford, A. (2006) Does being motivated to avoid procedural errors influence their systematicity? People and Computers XX - Engage Proceedings of HCI 2006 (Vol. 1). DOI 10.1007/978-1-84628-664-3_12

Blandford, A., Back, J., Curzon, P., Li, S. & Ruksenas, R. (2006) Reasoning about human error by modeling cognition and interaction In Proceedings of the 2nd Symposium on Resilience Engineering. Les Presses Mines Paris. pp 36-43. November

Li, S., Cox, A., Blandford, A., Cairns, P., & Abeles, A. (2006). Further investigations into post-completion error: the effects of interruption position and duration. In Proceedings of the 28th Annual Meeting of the Cognitive Science Society, 2006

Furniss, D., Dix, A., Ponsard, C. & Zhang, GQ. (2006). Outdated ideas of the design process and the future of formal models/methods/notations. In Gilroy, SW & Harrison MD (Eds.) Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Lecture Notes in Computer Science 3941, p265 Springer DOI 10.1007/11752707_25

Sharp, H., Robinson, H., Segal, J. & Furniss, D. (2006) The Role of Story Cards and the Wall in XP teams: a distributed cognition perspective, In Chao, J., Cohn, M., Maurer, F., Sharp, H., Shore, J. (Eds.), Proceedings of Agile 2006, pp65-75, IEEE Computer Society Press. DOI 10.1109/AGILE.2006.56

Blandford, A. & Furniss, D. (2005). DiCoT: a methodology for applying Distributed Cognition to the design of team working systems. In Gilroy, SW & Harrison MD (Eds.) Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Lecture Notes in Computer Science 3941, pp 26-38, Springer. DOI 10.1007/11752707_3

Li, S., Blandford, A., Cairns, P. & Young, R. M. (2005). Post-completion errors in problem solving. In Proceedings of the 27th Annual Conference of the Cognitive Science Society. 2005 pp 1278 – 1283

Publications: PhD Dissertations

Furniss, D. (2008). Beyond Problem Identification: Valuing methods in a 'system of usability practice'. PhD Thesis. UCL.

Publications: Other

Cerone, A. & Curzon, P. (2008) " Formal Methods for Interactive Systems". Editorial in: Innovations in Systems and Software Engineering, 4 (2), pp 123-124. June. DOI 10.1007/s11334-008-0051-6

Cerone, A. and Curzon, P. (editors) (2008) "Preface to Special Issue on the 2nd International Workshop on Formal Methods for Interactive Systems." Electronic Notes in Theoretical Computer Science, 208, pp 1-3. April. DOI 10.1016/j.entcs.2008.03.103

Cerone, A. and Curzon, P. (editors) (2007) Electronic Notes in Theoretical Computer Science Special Issue on the 1stInternational Workshop on Formal Methods for Interactive Systems, Volume 183, 11 July 2007.

Uldall-Espersen, T., Frokjaer, E., Blandford, A., and Jokela, T. (2007) Increasing the impact of usability work in software development. In CHI '07 Extended Abstracts on Human Factors in Computing Systems (San Jose, CA, USA, April 28 - May 03, 2007). CHI '07. ACM, New York, NY, 2873-2876. DOI 10.1145/1240866.1241099

Graham, T.C.N., Curzon, P., Doherty, G., Palanque, P., Potter, R., Roast, C. and Smith, S.P, (2007) "Usability and Computer Games: Working Group Report", Interactive Systems. Design, Specification, and Verification, Lecture Notes in Computer Science, 4323, Springer DOI 10.1007/978-3-540-69554-7_22

Publications: Public Engagement

Curzon, P. (2007) Who Broke my TV? Winning Essays from the 2007 Computer Science Writer of the Year Competition, EPSRC.

Curzon, P., (2006) Pilot Error and Space Invaders. In cs4fn: Computer Science for Fun Human Error Webzine, Linked articles also appeared in the cs4fn Magazine Issues 2, 3 and 4 and the cs4fn Annual, Issue 1.

This page last modified 4 April, 2008 by Paul Curzon