Concepedia

Kate Finney

KF

8

Publications

188

Citations

8

H-Index

1996

Active since

Affiliations

University of Greenwich(Current)

Kate Finney is an author at University of Greenwich specializing in engineering, safety science, and emergency medicine.

Top concepts

Publications per year

1996–2014

8

Publications

8

Mathematical notation in formal specification: too difficult for the masses?

Kate Finney · IEEE Transactions on Software Engineering · 1996 · 81 citations

, , +11

Aircraft Accident Statistics and Knowledge Database: Analyzing Passenger Behavior in Aviation Accidents

Edwin R. Galea, Kate Finney, Andrew J. Dixon et al. · Journal of Aircraft · 2006 · 24 citations

, , +21

Effects of structure on the comprehensibility of formal specifications

Kate Finney, Norman Fenton, A. Fedorec · IEE Proceedings - Software · 1999 · 19 citations

, , +18

Measuring the comprehensibility of Z specifications

Kate Finney, Keith Rennolls, Alex Fedorec · Journal of Systems and Software · 1998 · 15 citations

, , +10

Passenger train emergency systems: development of prototype railEXODUS software for U.S. passenger rail car egress

Edwin R. Galea, Darren Blackshields, Kate Finney et al. · 2014 · 15 citations

, , +18

Rows per page

1–5 of 8