Review: Book Review. - P. Taylor (Comput. J., 1961)

Formal Methods for a Space Software Development Environment. - P. Taylor (Ada-Europe, 1994)

The Verification of Compiled Code. - T. Jennings; P. Taylor (SAFECOMP, 1995)

A large-scale helicopter model and its validation. - A. Gee; T. Clarke; P. Taylor (ECC, 1999)

PRINTS and its automatic supplement, prePRINTS. - Terri K. Attwood; Paul Bradley; Darren R. Flower; Anna Gaulton; Neil Maudling; Alex L. Mitchell; G. Moulton; A. Nordle; K. Paine; P. Taylor; A. Uddin; Christianna Zygouri (Nucleic Acids Res., 2003)

EyeFrame: Real-Time Memory Aid Improves Human Multitasking via Domain-General Eye Tracking Procedures. - P. Taylor; Noah Bilgrien; Ze He; Hava T. Siegelmann (Frontiers ICT, 2015)

Human Strategies for Multitasking, Search, and Control Improved via Real-Time Memory Aid for Gaze Location. - P. Taylor; Ze He; Noah Bilgrien; Hava T. Siegelmann (Frontiers ICT, 2015)