Algorithms for polycyclic-by-finite matrix groups. - Gretchen Ostheimer (Groups and Computation, 1995)

A Practical Algorithm for Finding Matrix Representations for Polycyclic Groups. - Eddie H. Lo; Gretchen Ostheimer (J. Symb. Comput., 1999)

Practical Algorithms for Polycyclic Matrix Groups. - Gretchen Ostheimer (J. Symb. Comput., 1999)

On the orbit-stabilizer problem for integral matrix actions of polycyclic groups. - Bettina Eick; Gretchen Ostheimer (Math. Comput., 2003)

On groups whose word problem is solved by a counter automaton. - Gillian Z. Elston; Gretchen Ostheimer (Theor. Comput. Sci., 2004)

On Groups and Counter Automata. - Murray Elder; Mark Kambites; Gretchen Ostheimer (Int. J. Algebra Comput., 2008)

On groups that have normal forms computable in logspace - Murray Elder; Gillian Z. Elston; Gretchen Ostheimer (CoRR, 2012)

Decomposability of finitely generated torsion-free nilpotent groups. - Gilbert Baumslag; Charles F. Miller III; Gretchen Ostheimer (Int. J. Algebra Comput., 2016)