Stabilization of Nonholonomic Systems Using Isospectral Flows. - Anthony M. Bloch; Sergey V. Drakunov; Michael K. Kinyon (SIAM J. Control. Optim., 2000)

Birkhoff's Theorem for Panstochastic Matrices. - Dean Alvis; Michael K. Kinyon (Am. Math. Mon., 2001)

Buchsteiner Loops. - Piroska Csörgö; Ales Drápal; Michael K. Kinyon (Int. J. Algebra Comput., 2009)

Minimal paths in the commuting graphs of semigroups. - João Araújo 002; Michael K. Kinyon; Janusz Konieczny (Eur. J. Comb., 2011)

Searching for small simple automorphic loops. - Kenneth W. Johnson; Michael K. Kinyon; Gábor Péter Nagy; Petr Vojtechovský (LMS J. Comput. Math., 2011)

Cancellation in Skew Lattices. - Karin Cvetko-Vah; Michael K. Kinyon; Jonathan Leech; Matthew Spinks (Order, 2011)

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. - Michael K. Kinyon; Robert Veroff; Petr Vojtechovský (Automated Reasoning and Mathematics, 2013)

Categorical Skew Lattices. - Michael K. Kinyon; Jonathan Leech (Order, 2013)

Loops with exponent three in all isotopes. - Michael Kinyon; Ian M. Wanless (Int. J. Algebra Comput., 2015)

Proof Simplification and Automated Theorem Proving. - Michael Kinyon (CoRR, 2018)

Decidability and independence of conjugacy problems in finitely presented monoids. - João Araújo 002; Michael K. Kinyon; Janusz Konieczny; António Malheiro (Theor. Comput. Sci., 2018)

Regular antilattices. - Karin Cvetko-Vah; Michael Kinyon; Jonathan Leech; Tomaz Pisanski (Art Discret. Appl. Math., 2019)

Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map". - Afrodita Iorgulesc; Michael Kinyon (FLAP, 2020)

Two Generalizations of Bounded Involutive Lattices and of Ortholattices. - Afrodita Iorgulesc; Michael Kinyon (FLAP, 2021)

Diagonal groups and arcs over groups. - Rosemary A. Bailey; Peter J. Cameron; Michael Kinyon; Cheryl E. Praeger (Des. Codes Cryptogr., 2022)

Larry Wos: Visions of Automated Reasoning. - Michael Beeson; Maria Paola Bonacina; Michael Kinyon; Geoff Sutcliffe (J. Autom. Reason., 2022)