- PREPRINT of paper (Please refer to the paper for changes): BACK, J., BLANDFORD, A., & CURZON, P. (2007a) Recog-
- PREPRINT of paper (Please refer to the paper for changes): BACK, J., CHENG, W.L., DANN, R., CURZON, P. &
- PREPRINT of paper (Please refer to the paper for changes): Penn Smith, Ann Blandford, and Jonathan Back
- PREPRINT of paper (Please refer to the paper for changes): Back, J., Furniss, D., Hildebrandt, M., & Blandford, A.
- PREPRINT of paper (Please refer to the paper for changes): BACK, J., FURNISS, D., BLANDFORD, A. (2007) Cognitive Resilience
- Combining Human Error Verification and Timing Analysis
- Formal Modelling of Cognitive Interpretation Rimvydas Ruksenas,1
- Under consideration for publication in Formal Aspects of Computing Verification-Guided Modelling of
- Formal Modelling of Salience and Cognitive R. Ruksenasa,1
- PREPRINT of paper (Please refer to the paper for changes): BACK, J., BLANDFORD, A., & CURZON, P. Slip Errors and Cue Salience. In W.-P. Brinkman, D.-H. Ham & B. L.
