| 2011 | CEC | Improving XCS performance on overlapping binary problems. | Charalambos Ioannides, Geoff Barrett, Kerstin Eder |
| 2011 | GECCO | XCS cannot learn all boolean functions. | Charalambos Ioannides, Geoff Barrett, Kerstin Eder |
| 2002 | DAC | Achieving maximum performance: a method for the verification of interlocked pipeline control logic. | Kerstin Eder, Geoff Barrett |
| 1997 | CAV | Model Checking in a Microprocessor Design Project. | Geoff Barrett, Anthony McIsaac |
| 1996 | DAC | Functional Verification Methodology of Chameleon Processor. | Franoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, Franois Pogodalla, Frdric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Grard Mas, Geoff Barrett, Christian Berthet |
| 1993 | FM | Model Checking in Practice - The T9000 Virtual Channel Processor. | Geoff Barrett |
| 1989 | MFPS | The Semantics of Priority and Fairness in occam. | Geoff Barrett |
| 1989 | MFPS | Unbounded Nondeterminism in CSP. | A. W. Roscoe, Geoff Barrett |
| 1987 | ARITH | A formal approach to rounding. | Geoff Barrett |
| 1987 | STACS | An Algebraic Transformation System for Occam Programs. | Michael Goldsmith, A. Cox, Geoff Barrett |