Reasoning about nondeterministic data flow - Peter Kearney (1988)

An Extensional Fixed-Point Semantics for Nondeterministic Data Flow. - Peter Kearney; John Staples (Theor. Comput. Sci., 1991)

Functional Verification of Hard Real-Time Programs. - Peter Kearney; John Staples; Abdu Abbas (IFIP Congress (1), 1992)

The Cogito methodology and system. - Anthony C. Bloesch; Edmund Kazmierczak; Peter Kearney; Owen Traynor (APSEC, 1994)

A Layered Real-Time Specification of a RISC Processor. - Peter Kearney; Mark Utting (FTRTFT, 1994)

Interactively Verifying a Simple Real-time Scheduler. - Colin J. Fidge; Peter Kearney; Mark Utting (CAV, 1995)

Cogito: a Methodology and System for Formal Software Development. - Anthony C. Bloesch; Edmund Kazmierczak; Peter Kearney; Owen Traynor (Int. J. Softw. Eng. Knowl. Eng., 1995)

Formal Methods Pilot Project. - Tracey Hart; Fiona Linn; Roberto Morello; Greg Royle; Peter Kearney; Peter A. Lindsay; Kelvin J. Ross; Owen Traynor (APSEC, 1996)

Integrating Real-Time Scheduling Theory and Program Refinement. - Colin J. Fidge; Mark Utting; Peter Kearney; Ian J. Hayes (FME, 1996)

The Cogito Development System. - Owen Traynor; Daniel Hazel; Peter Kearney; Andrew P. Martin; Ray Nickson; Luke Wildman (AMAST, 1997)

A Formal Method for Building Concurrent Real-Time Software. - Colin J. Fidge; Peter Kearney; Mark Utting (IEEE Softw., 1997)

Exploring Fair Exchange Protocols Using Specification Animation. - Colin Boyd; Peter Kearney (ISW, 2000)

Development of the National Cardiovascular Information System (NCIS) in Ireland. - M. Rachel Flynn; Moira Lonergan; Peter Kearney; Emer Shelley (CBMS, 2005)

The Efficiency of New Audio Alerts in the COOPANS Eurocat System. - Peter Kearney; Wen-Chin Li (HCI (6), 2015)

The Investigation Human-Computer Interaction on Multiple Remote Tower Operations. - Peter Kearney; Wen-Chin Li; Graham R. Braithwaite; Matthew Greaves (HCI (5), 2017)

Human Performance Assessment of Multiple Remote Tower Operations Simultaneous Take-Off and Landing at Two Airports. - Peter Kearney; Wen-Chin Li; Graham R. Braithwaite (HCI (6), 2018)

Roster and Air Traffic Controller's Situation Awareness. - Peter Kearney; Wen-Chin Li; Graham R. Braithwaite (HCI (6), 2019)

Wearable technology-based metrics for predicting operator performance during cardiac catheterisation. - Jonathan Currie; Raymond R. Bond; Paul J. McCullagh; Pauline Black; Dewar D. Finlay; Stephen Gallagher; Peter Kearney; Aaron J. Peace; Danail Stoyanov; Colin D. Bicknell; Stephen J. Leslie; Anthony G. Gallagher (Int. J. Comput. Assist. Radiol. Surg., 2019)

Psychophysical Coherence Training Regulating Air Traffic Controller's Heart Rate Variability and Resilience to Fatigue. - Wen-Chin Li; Jingyi Zhang; Peter Kearney; Graham R. Braithwaite (HCI (6), 2021)

The Data Quality Index: Improving Data Quality in Irish Healthcare Records. - David Hickey; Rita O. Connor; Pauline McCormack; Peter Kearney; Roosa Rosti; Rob Brennan (ICEIS (2), 2021)

The impact of out-the-window size on air traffic controllers' visual behaviours and response time on digital tower operations. - Wen-Chin Li; Peter Moore; Jingyi Zhang; John J. H. Lin; Peter Kearney (Int. J. Hum. Comput. Stud., 2022)