An Algorithmic Semantics for ALGOL 60 Identifier Denotation. - James M. Boyle; Albert A. Grau (J. ACM, 1970)

NATS a collaborative effort to certify and disseminate mathematical software. - James M. Boyle; William J. Cody; Wayne R. Cowell; Burton S. Garbow; Yasuhiko Ikebe; Cleve B. Moler; Brian T. Smith (ACM Annual Conference (2), 1972)

An Automated Programming System to Facilitate the Development of Quality Mathematical Software. - James M. Boyle; Kenneth W. Dritz (IFIP Congress, 1974)

Matrix Eigensystem Routines - EISPACK Guide, Second Edition - Brian T. Smith; James M. Boyle; Jack J. Dongarra; Burton S. Garbow; Yasuhiko Ikebe; Virginia C. Klema; Cleve B. Moler (Springer, 1976)

Mathematical Software Transportability Systems - Have the Variations a Theme?. - James M. Boyle (Portability of Numerical Software, 1976)

Matrix Eigensystem Routines - EISPACK Guide Extension - Burton S. Garbow; James M. Boyle; Jack J. Dongarra; Cleve B. Moler (Springer, 1977)

Program Generation and Transformation - Tools for Mathematical Software Development. - James M. Boyle; Kenneth W. Dritz; Oleg B. Arushanian; Yuri V. Kuchevsky (IFIP Congress, 1977)

Extending reliability (Extended Abstract>: Transformational tailoring of abstract mathematical software. - James M. Boyle (SIGNUM, 1978)

Windowing vs scrolling on a visual display terminal. - Kevin F. Bury; James M. Boyle; R. James Evey; Alan S. Neal (CHI, 1982)

A methodology for objectively evaluating error messages. - Barbara S. Isa; James M. Boyle; Alan S. Neal; Roger M. Simons (CHI, 1983)

Program Reusability through Program Transformation. - James M. Boyle; Monagur N. Muralidharan (IEEE Trans. Software Eng., 1984)

The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation. - James M. Boyle; Maurice Clint; Stephen Fitzpatrick; Terence J. Harmer (CONPAR, 1992)

A Practical Functional Program for the CRAY X-MP. - James M. Boyle; Terence J. Harmer (J. Funct. Program., 1992)

Practical Transformation of Functional Programs for Efficient Execution: A Case Study. - James M. Boyle; Terence J. Harmer (Formal Program Development, 1993)

Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation. - Stephen Fitzpatrick; Terence J. Harmer; James M. Boyle (CONPAR, 1994)

A Family of Data-Parallel Derivations. - Maurice Clint; Stephen Fitzpatrick; Terence J. Harmer; Peter Kilpatrick; James M. Boyle (HPCN, 1994)

Automatic, Self-adaptive Control and Unfold Transformations. - James M. Boyle (PROCOMET, 1994)

Proving refinement transformations for deriving high-assurance software. - Victor L. Winter; James M. Boyle (HASE, 1996)

Using knowledge-based transformations to reverse-engineer COBOL programs. - Terence J. Harmer; Patrick J. McParland; James M. Boyle (KBSE, 1996)

The TAMPR Program Transformation System: Simplifying the Development of Numerical Software. - James M. Boyle; Terence J. Harmer; Victor L. Winter (SciTools, 1996)

Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. - James M. Boyle; R. Daniel Resler; Victor L. Winter (HASE, 1997)

The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations. - Stephen Fitzpatrick; Terence J. Harmer; Alan Stewart; Maurice Clint; James M. Boyle (Sci. Comput. Program., 1997)

Applications of the TAMPR Transformation System. - Terence J. Harmer; Patrick J. McParland; James M. Boyle (IWFM, 1998)

Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering. - Terence J. Harmer; James M. Boyle (ASE, 1998)

Transformations to Restructure and Re-engineer COBOL Programs. - Terence J. Harmer; Patrick J. McParland; James M. Boyle (Autom. Softw. Eng., 1998)

Do You Trust Your Compiler? - James M. Boyle; R. Daniel Resler; Victor L. Winter (Computer, 1999)

A Program-Algebraic Approach to Eliminating Common Subexpressions. - James M. Boyle; R. Daniel Resler (Informatica (Slovenia), 2000)

Register allocation: A program-algebraic approach. - R. Daniel Resler; James M. Boyle (Informatica (Slovenia), 2001)

A systematic literature review of empirical evidence on computer games and serious games. - Thomas M. Connolly; Elizabeth A. Boyle; Ewan MacArthur; Thomas Hainey; James M. Boyle (Comput. Educ., 2012)

Engagement in digital entertainment games: A systematic review. - Elizabeth A. Boyle; Thomas M. Connolly; Thomas Hainey; James M. Boyle (Comput. Hum. Behav., 2012)

Towards an Understanding of the Relationship Between Executive Functions and Learning Outcomes from Serious Computer Games. - James M. Boyle; Elizabeth A. Boyle (GALA, 2013)