The determination of all Sheffer functions in 3-valued logic, using a logical computer. - Eric Foxley (Notre Dame J. Formal Log., 1962)

A meta-semantic language for use with a top-down syntax analyser. - Eric Foxley; P. R. King (IFIP Congress (1), 1968)

The Implementation of Syntax Analysis Using Algol, and Some Mathematical Applications. - Eric Foxley; Peter King (Comput. J., 1968)

The construction of examination timetables by computer. - Eric Foxley; K. Lockyer (Comput. J., 1968)

'Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP'. - David F. Brailsford; Eric Foxley; K. C. Mander; D. J. Morgan (Strathclyde ALGOL 68 Conference, 1977)

A Hybrid Computer Performance Modelling System. - Eric Foxley (Comput. J., 1978)

Programming Aids for the Teaching of Programming. - Eric Foxley (Softw. Pract. Exp., 1978)

Monitoring the Run-time Activity of Algol 68-R Programs. - Eric Foxley; D. J. Morgan (Softw. Pract. Exp., 1978)

Validation of an Analytic Model of Computer Performance. - Eric Foxley; Omar Salman (Comput. J., 1981)

UNIX for super-users. - Eric Foxley (Addison-Wesley-Longman, 1985)

A Flexible Synonym Interface with Application Examples in CAL and Help Environments. - Godwin M. Gwei; Eric Foxley (Comput. J., 1987)

Music-A Language for Typesetting Music Scores. - Eric Foxley (Softw. Pract. Exp., 1987)

Towards a Consultative On-Line Help System. - Godwin M. Gwei; Eric Foxley (Int. J. Man Mach. Stud., 1990)

A Lexical Analyser for Arabic. - Allel Feddag; Eric Foxley (Int. J. Man Mach. Stud., 1993)

The Ceilidh system for the automatic grading of students on programming courses. - Steve Benford; Edmund K. Burke; Eric Foxley; Christopher A. Higgins (ACM Southeast Regional Conference, 1995)

Semantic Understanding for an Automatic Marking System Using Fuzzy Techniques. - Bill Lou; Eric Foxley (SCAI, 1995)

Logic and its applications. - Edmund K. Burke; Eric Foxley (Prentice Hall, 1996)

The automatic assessment of Z specifications. - Eric Foxley; Omar Salman; Zarina Shukur (ITiCSE-WGR, 1997)

The automatic assessment of formal specification coursework. - Zarina Shukur; Edmund K. Burke; Eric Foxley (J. Comput. High. Educ., 1999)