2014

Galea, E. R. ORCID: 0000-0002-0001-6665 , Blackshields, D. ORCID: 0000-0001-8940-0024 , Finney, K. and Cooney, D. P. ORCID: 0000-0002-2341-0315 (2014) Passenger train emergency systems: development of prototype railEXODUS software for U.S. passenger rail car egress. Technical Report. Fire Safety Engineering Group (FSEG).

2013

Galea, Edwin Richard ORCID: 0000-0002-0001-6665 , Blackshields, Darren ORCID: 0000-0001-8940-0024 , Lawrence, Peter J. ORCID: 0000-0002-0269-0231 , Finney, Kate and Cooney, David ORCID: 0000-0002-2341-0315 (2013) The development and validation of a rail car evacuation. In: Conference Proceedings: Interflam 2013: 13th International Fire Science and Engineering Conference. Interscience Communications, Greenwich, London, UK, pp. 1023-1034. ISBN 9780955654893

2008

Galea, E. R. ORCID: 0000-0002-0001-6665 , Finney, K. M., Dixon, A. J. P., Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D. P. ORCID: 0000-0002-2341-0315 (2008) CAA paper 2006/01: a database to record human experience of evacuation in aviation accidents: the aircraft accident statistics and knowledge database (AASK). Project Report. Civil Aviation Authority, London, UK.

2006

Galea, Edwin R. ORCID: 0000-0002-0001-6665 , Finney, Kate M., Dixon, Andrew J., Siddiqui, Asim ORCID: 0000-0003-1090-871X and Cooney, David P. ORCID: 0000-0002-2341-0315 (2006) Aircraft accident statistics and knowledge database: analyzing passenger behavior in aviation accidents. Journal of Aircraft, 43 (5). pp. 1272-1281. ISSN 0021-8669 (Print), 1533-3868 (Online) (doi:https://doi.org/10.2514/1.19388)

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P., Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D.P. ORCID: 0000-0002-2341-0315 (2006) An analysis of exit availability, exit usage and passenger exit selection behaviour exhibited during actual aviation accidents. The Aeronautical Journal, 110 (1106). ISSN 0001-9240

2004

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P, Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D.P. ORCID: 0000-0002-2341-0315 (2004) The AASK database V4.0: aircraft accident statistics and knowledge. A database to record human experience of evacuation in aviation accidents. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

2003

Galea, E.R ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P., Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D.P. ORCID: 0000-0002-2341-0315 (2003) An analysis of human behaviour during aircraft evacuation situations using the AASK v3.0 database. The Aeronautical Journal, 107 (1070). pp. 219-231. ISSN 0001-9240

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P., Cooney, D.P. ORCID: 0000-0002-2341-0315 and Siddiqui, A. ORCID: 0000-0003-1090-871X (2003) The AASK Database V3.0: a database of human experience during aircraft evacuation incidents. In: Fire Safety Science - Proceedings of the Seventh International Symposium. IAFSS Symposiums (7). International Association for Fire Safety Science, Greenwich, London, UK, pp. 865-876. ISBN 0954534808 ISSN 1817-4299 (doi:https://doi.org/10.3801/IAFSS.FSS.7-865)

Galea, Edwin R. ORCID: 0000-0002-0001-6665 , Cooney, David P. ORCID: 0000-0002-2341-0315 , Dixon, Andrew J., Finney, Kate M. and Siddiqui, Asim ORCID: 0000-0003-1090-871X (2003) The AASK database: Aircraft Accident Statistics and Knowledge. Technical Report. UK Civil Aviation Authority (CAA), London, UK.

1999

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:https://doi.org/10.1049/ip-sen:19990600)

1998

Finney, Kate, Rennolls, Keith and Fedorec, Alex (1998) Measuring the comprehensibility of Z specifications. Journal of Systems and Software, 42 (1). pp. 3-15. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(98)00003-X)

1996

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(96)00122-7)

Finney, Kate M. and Fedorec, Alex M. (1996) An empirical study of specification readability. In: Dean, C. Neville and Hinchey, Michael G., (eds.) Teaching and Learning Formal Methods. Academic Press International Series in Formal Methods . Academic Press, pp. 117-130. ISBN 9780123490407

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)