Injectives in Finitely Generated Universal Horn Classes. - Michael H. Albert; Ross Willard (J. Symb. Log., 1987)

Some Properties of Finitely Decidable Varieties. - Matthew Valeriote; Ross Willard (Int. J. Algebra Comput., 1992)

Hereditary Undecidability of Some Theories of Finite Structures. - Ross Willard (J. Symb. Log., 1994)

Essential arities of term operations in finite algebras. - Ross Willard (Discret. Math., 1996)

Finiteness Properties of Locally Finite Abelian Varieties. - Keith A. Kearnes; Ross Willard (Int. J. Algebra Comput., 1999)

A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties. - Ross Willard (J. Symb. Log., 2000)

Determining Whether V(A) Has a Model Companion is Undecidable. - Ross Willard (Int. J. Algebra Comput., 2004)

Equational Complexity of the Finite Algebra Membership Problem. - George F. McNulty; Zoltán Székely; Ross Willard (Int. J. Algebra Comput., 2008)

PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE. - Ross Willard (The Constraint Satisfaction Problem: Complexity and Approximability, 2009)

Testing Expressibility Is Hard. - Ross Willard (CP, 2010)

Tractability and Learnability Arising from Algebras with Few Subpowers. - Pawel M. Idziak; Petar Markovic; Ralph McKenzie; Matthew Valeriote; Ross Willard (SIAM J. Comput., 2010)

Near Unanimity Constraints Have Bounded Pathwidth Duality. - Libor Barto; Marcin Kozik; Ross Willard (LICS, 2012)

The Lattice of Alter egos. - Brian A. Davey; Jane G. Pitkethly; Ross Willard (Int. J. Algebra Comput., 2012)

Polymorphisms, and How to Use Them. - Libor Barto; Andrei A. Krokhin; Ross Willard (The Constraint Satisfaction Problem, 2017)

Refuting Feder, Kinne and Rafiey. - Ross Willard (CoRR, 2017)

New-from-old full dualities via axiomatisation. - Brian A. Davey; Jane G. Pitkethly; Ross Willard (Ann. Pure Appl. Log., 2018)

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). - Manuel Bodirsky; Antoine Mottet; Miroslav Olsák; Jakub Oprsal; Michael Pinsker; Ross Willard (LICS, 2019)

Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems). - Manuel Bodirsky; Antoine Mottet; Miroslav Olsák; Jakub Oprsal; Michael Pinsker; Ross Willard (CoRR, 2019)

ω-categorical structures avoiding height 1 identities. - Manuel Bodirsky; Antoine Mottet; Miroslav Olsák; Jakub Oprsal; Michael Pinsker; Ross Willard (CoRR, 2020)

Zhuk's bridges, centralizers, and similarity. - Ross Willard (CoRR, 2025)