Peter Kearney

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