Selecting Base Points for the Schreier-Sims Algorithm for Matrix Groups. - Scott H. Murray; E. A. O'Brien (J. Symb. Comput., 1995)

Certifying Solutions to Permutation Group Problems. - Arjeh M. Cohen; Scott H. Murray; Martin Pollet; Volker Sorge (CADE, 2003)

Product Replacement in the Monster. - Petra E. Holmes; Stephen A. Linton; Scott H. Murray (Exp. Math., 2003)

Computing in groups of Lie type. - Arjeh M. Cohen; Scott H. Murray; Donald E. Taylor (Math. Comput., 2004)

Computing in Unipotent and Reductive Algebraic Groups. - Arjeh M. Cohen; Sergei Haller; Scott H. Murray (LMS J. Comput. Math., 2008)

Automatic Proof of Graph Nonisomorphism. - Arjeh M. Cohen; Jan Willem Knopper; Scott H. Murray (Math. Comput. Sci., 2008)

Constructive Membership Testing in Black-Box Classical Groups. - Sophie Ambrose; Scott H. Murray; Cheryl E. Praeger; Csaba Schneider (ICMS, 2010)

Constructive homomorphisms for classical groups. - Scott H. Murray; Colva M. Roney-Dougal (J. Symb. Comput., 2011)