Peter Kearney

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 8

Top Topics

Heart Rate Variability

Situation Aware

Top Venues

Int. J. Comput. Assist. Radiol. Surg.

Int. J. Hum. Comput. Stud.

Publications

Wen-Chin Li, Peter Moore, Jingyi Zhang, John J. H. Lin, Peter Kearney
The impact of out-the-window size on air traffic controllers' visual behaviours and response time on digital tower operations. Int. J. Hum. Comput. Stud. 166 (2022)
David Hickey, Rita O. Connor, Pauline McCormack, Peter Kearney, Roosa Rosti, Rob Brennan
The Data Quality Index: Improving Data Quality in Irish Healthcare Records. ICEIS (2) (2021)
Wen-Chin Li, Jingyi Zhang, Peter Kearney, Graham R. Braithwaite
Psychophysical Coherence Training Regulating Air Traffic Controller's Heart Rate Variability and Resilience to Fatigue. HCI (6) (2021)
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
Wearable technology-based metrics for predicting operator performance during cardiac catheterisation. Int. J. Comput. Assist. Radiol. Surg. 14 (4) (2019)
Peter Kearney, Wen-Chin Li, Graham R. Braithwaite
Roster and Air Traffic Controller's Situation Awareness. HCI (6) (2019)
Peter Kearney, Wen-Chin Li, Graham R. Braithwaite
Human Performance Assessment of Multiple Remote Tower Operations Simultaneous Take-Off and Landing at Two Airports. HCI (6) (2018)
Peter Kearney, Wen-Chin Li, Graham R. Braithwaite, Matthew Greaves
The Investigation Human-Computer Interaction on Multiple Remote Tower Operations. HCI (5) (2017)
Peter Kearney, Wen-Chin Li
The Efficiency of New Audio Alerts in the COOPANS Eurocat System. HCI (6) (2015)
M. Rachel Flynn, Moira Lonergan, Peter Kearney, Emer Shelley
Development of the National Cardiovascular Information System (NCIS) in Ireland. CBMS (2005)
Colin Boyd, Peter Kearney
Exploring Fair Exchange Protocols Using Specification Animation. ISW (2000)
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman
The Cogito Development System. AMAST (1997)
Colin J. Fidge, Peter Kearney, Mark Utting
A Formal Method for Building Concurrent Real-Time Software. IEEE Softw. 14 (2) (1997)
Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor
Formal Methods Pilot Project. APSEC (1996)
Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes
Integrating Real-Time Scheduling Theory and Program Refinement. FME (1996)
Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor
Cogito: a Methodology and System for Formal Software Development. Int. J. Softw. Eng. Knowl. Eng. 5 (4) (1995)
Colin J. Fidge, Peter Kearney, Mark Utting
Interactively Verifying a Simple Real-time Scheduler. CAV (1995)
Peter Kearney, Mark Utting
A Layered Real-Time Specification of a RISC Processor. FTRTFT (1994)
Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor
The Cogito methodology and system. APSEC (1994)
Peter Kearney, John Staples, Abdu Abbas
Functional Verification of Hard Real-Time Programs. IFIP Congress (1) (1992)
Peter Kearney, John Staples
An Extensional Fixed-Point Semantics for Nondeterministic Data Flow. Theor. Comput. Sci. 91 (2) (1991)