3x+1 Minus the +. - Kenneth G. Monks (Discret. Math. Theor. Comput. Sci., 2002)

The autoconjugacy of the 3x+1 function. - Kenneth G. Monks; Jonathan Yazinski (Discret. Math., 2004)

Lurch: a word processor built on OpenMath that can check mathematical reasoning. - Nathan C. Carter; Kenneth G. Monks (CICM Workshops, 2013)

Lurch: a word processor that can grade students' proofs. - Nathan C. Carter; Kenneth G. Monks (CICM Workshops, 2013)

Strongly sufficient sets and the distribution of arithmetic sequences in the 3x+1 graph. - Keenan Monks; Kenneth G. Monks; Kenneth M. Monks; Maria Monks (Discret. Math., 2013)

A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics. - Nathan C. Carter; Kenneth G. Monks (CICM, 2017)

Enumerating anchored permutations with bounded gaps. - Maria Monks Gillespie; Kenneth G. Monks; Kenneth M. Monks (Discret. Math., 2020)