Double Coset Enumeration. - Steve Linton (J. Symb. Comput., 1991)

Constructing Matrix Representations of Finitely Presented Groups. - Steve Linton (J. Symb. Comput., 1991)

Constructive recognition of a black box group isomorphic to GL(n,2). - Gene Cooperman; Larry Finkelstein; Steve Linton (Groups and Computation, 1995)

Algebra and Automated Deduction. - Steve Linton; Ursula Martin; Péter Pröhle; Duncan Shand (CADE, 1996)

Some Group Theoretic Examples with Completion Theorem Provers. - Steve Linton; Duncan Shand (J. Autom. Reason., 1996)

The GAP 4 Type System: Organising Algebraic Algorithms. - Thomas Breuer; Steve Linton (ISSAC, 1998)

Lightweight Formal Methods for Computer Algebra Systems. - Martin Dunstan; Tom W. Kelsey; Steve Linton; Ursula Martin (ISSAC, 1998)

VSDITLU: a verifiable symbolic definite integral table look-up. - Andrew A. Adams; Hanne Gottliebsen; Steve Linton; Ursula Martin (CADE, 1999)

Formal Methods for Extensions to CAS. - Martin Dunstan; Tom W. Kelsey; Ursula Martin; Steve Linton (World Congress on Formal Methods, 1999)

Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. - Andrew A. Adams; Hanne Gottliebsen; Steve Linton; Ursula Martin (ISSAC, 1999)

Computing Transformation Semigroups. - Steve Linton; Götz Pfeiffer; Edmund F. Robertson; Nikola Ruskuc (J. Symb. Comput., 2002)

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. - Steve Linton; Roberto Sebastiani (J. Symb. Comput., 2002)

Generic SBDD Using Computational Group Theory. - Ian P. Gent; Warwick Harvey; Tom W. Kelsey; Steve Linton (CP, 2003)

Total ordering on subgroups and cosets. - Alexander Hulpke; Steve Linton (ISSAC, 2003)

New Developments in Symmetry Breaking in Search Using Computational Group Theory. - Tom W. Kelsey; Steve Linton; Colva M. Roney-Dougal (AISC, 2004)

Tractable Symmetry Breaking Using Restricted Search Trees. - Colva M. Roney-Dougal; Ian P. Gent; Tom W. Kelsey; Steve Linton (ECAI, 2004)

Finding the smallest image of a set. - Steve Linton (ISSAC, 2004)

Conditional Symmetry Breaking. - Ian P. Gent; Tom W. Kelsey; Steve Linton; Iain McDonald; Ian Miguel; Barbara M. Smith (CP, 2005)

Symmetry and Consistency. - Ian P. Gent; Tom W. Kelsey; Steve Linton; Colva M. Roney-Dougal (CP, 2005)

The Insertion Encoding of Permutations. - Michael H. Albert; Steve Linton; Nikola Ruskuc (Electron. J. Comb., 2005)

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. - Abdallah Al Zain; Kevin Hammond; Philip W. Trinder; Steve Linton; Hans-Wolfgang Loidl; Marco Costanti (International Conference on Computational Science (2), 2007)

GAP: groups, algorithms, programming. - Steve Linton (ACM Commun. Comput. Algebra, 2007)

Symbolic Computation Software Composability. - Sebastian Freundt; Peter Horn; Alexander Konovalov 001; Steve Linton; Dan Roozemond (AISC/MKM/Calculemus, 2008)

Symmetry and Search - A Survey. - Steve Linton (AISC/MKM/Calculemus, 2008)

Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. - Abdallah Al Zain; Philip W. Trinder; Kevin Hammond; Alexander Konovalov 001; Steve Linton; Jost Berthold (ISPA, 2008)

Torsion Units in Integral Group Ring of the Mathieu Simple GroupM22. - V. A. Bovdi; Alexander Konovalov 001; Steve Linton (LMS J. Comput. Math., 2008)

Growing at a Perfect Speed. - Michael H. Albert; Steve Linton (Comb. Probab. Comput., 2009)

Parallelising the computational algebra system GAP. - Reimer Behrends; Alexander Konovalov 001; Steve Linton; Frank Lübeck; Max Neunhöffer (PASCO, 2010)

Parallel computations in modular group algebras. - Alexander Konovalov 001; Steve Linton (PASCO, 2010)

Towards High-Performance Computational Algebra with GAP. - Reimer Behrends; Alexander Konovalov 001; Steve Linton; Frank Lübeck; Max Neunhöffer (ICMS, 2010)

Easy composition of symbolic computation software: a new lingua franca for symbolic computation. - Steve Linton; Kevin Hammond; Alexander Konovalov 001; Abdallah Al Zain; Philip W. Trinder; Peter Horn; Dan Roozemond (ISSAC, 2010)

Interfacing Coq + SSReflect with GAP. - Vladimir Komendantsky; Alexander Konovalov 001; Steve Linton (UITP, 2010)

View of Computer Algebra Data from Coq. - Vladimir Komendantsky; Alexander Konovalov 001; Steve Linton (Calculemus/MKM, 2011)

On convex permutations. - Michael H. Albert; Steve Linton; Nikola Ruskuc; Vincent Vatter; Steve Waton (Discret. Math., 2011)

Torsion Units in Integral Group Rings of Conway Simple Groups. - V. A. Bovdi; Alexander Konovalov 001; Steve Linton (Int. J. Algebra Comput., 2011)

Finding permutations containing long cycles in finite alternating and symmetric groups acting on subsets - Steve Linton; Yohei Negi; Alice C. Niemeyer; Cheryl E. Praeger (CoRR, 2012)

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. - Vladimir Janjic; Christopher Brown 002; Max Neunhöffer; Kevin Hammond; Steve Linton; Hans-Wolfgang Loidl (PARCO, 2013)

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. - Steve Linton; Kevin Hammond; Alexander Konovalov 001; Christopher Brown 002; Philip W. Trinder; Hans-Wolfgang Loidl; Peter Horn; Dan Roozemond (J. Symb. Comput., 2013)

Generating custom propagators for arbitrary constraints. - Ian P. Gent; Christopher Jefferson; Steve Linton; Ian Miguel; Peter Nightingale (Artif. Intell., 2014)

S-Crucial and Bicrucial Permutations with Respect to Squares. - Ian P. Gent; Sergey Kitaev; Alexander Konovalov 001; Steve Linton; Peter Nightingale (J. Integer Seq., 2015)

HPC-GAP: engineering a 21st-century high-performance computer algebra system. - Reimer Behrends; Kevin Hammond; Vladimir Janjic; Alexander Konovalov 001; Steve Linton; Hans-Wolfgang Loidl; Patrick Maier 001; Phil Trinder (Concurr. Comput. Pract. Exp., 2016)