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).

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

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.

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

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.

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.

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)

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)

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)