Local Radon-Nikodym Derivatives of Set Functions. - John Harding; Massimo Marinacci; Nhu T. Nguyen; Tonghui Wang (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1997)

Dynamically Programmable Cache Evaluation and Virtualization. - Mouna Nakkar; David G. Bentlage; John Harding; David Schwartz; Paul D. Franzon; Thomas M. Conte (FPGA, 1999)

Epimorphisms in Certain Varieties of Algebras. - Gunter Bruns; John Harding (Order, 2000)

Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. - John Harding; Mirko Navara (Order, 2000)

Obituary: Günter Bruns. - John Harding; Michael S. Roddy (Order, 2003)

On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. - John Harding; Carol L. Walker; Elbert A. Walker (FUZZ-IEEE, 2007)

Lattices of convex normal functions. - John Harding; Carol L. Walker; Elbert A. Walker (Fuzzy Sets Syst., 2008)

kappa -Complete Uniquely Complemented Lattices. - John Harding (Order, 2008)

Completions of Ordered Algebraic Structures: A Survey. - John Harding (Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008)

The modal logic of beta(N). - Guram Bezhanishvili; John Harding (Arch. Math. Log., 2009)

Associative Spatial Networks in Architectural Design: Artificial Cognition of Space Using Neural Networks with Spectral Graph Theory. - John Harding; Christian Derix (DCC, 2010)

The variety generated by the truth value algebra of type-2 fuzzy sets. - John Harding; Carol L. Walker; Elbert A. Walker (Fuzzy Sets Syst., 2010)

Convex normal functions revisited. - John Harding; Carol L. Walker; Elbert A. Walker (Fuzzy Sets Syst., 2010)

Subalgebras of Orthomodular Lattices. - John Harding; Mirko Navara (Order, 2011)

Thinking Topologically at Early Stage Parametric Design. - John Harding; Sam Joyce; Paul Shepherd; Chris Williams (AAG, 2012)

Modal Logics of Stone Spaces. - Guram Bezhanishvili; John Harding (Order, 2012)

The 3rd International Conference on Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Set-theoretical Topology - BLAST 2010. - John Harding; Bart Kastermans; Keith A. Kearnes; J. Donald Monk; Ágnes Szendrei (Order, 2012)

Partial orders on the truth value algebra of finite type-2 fuzzy sets. - John Harding; Carol L. Walker; Elbert A. Walker (IFSA/NAFIPS, 2013)

Decidability of the Equational Theory of the Continuous Geometry $CG( Bbb {F})$. - John Harding (J. Philos. Log., 2013)

Daggers, Kernels, Baer *-semigroups, and Orthomodularity. - John Harding (J. Philos. Log., 2013)

Type-2 Fuzzy Sets and Bichains. - John Harding; Carol L. Walker; Elbert A. Walker (Advances in Type-2 Fuzzy Sets and Systems, 2013)

The Ongreening Pavilion. - John Harding; Will Pearson; Harri Lewis; Stephen Melville (AAG, 2014)

Proximity Frames and Regularization. - Guram Bezhanishvili; John Harding (Appl. Categorical Struct., 2014)

Categories with fuzzy sets and relations. - John Harding; Carol L. Walker; Elbert A. Walker (Fuzzy Sets Syst., 2014)

Septar: audio breakout design for multichannel guitar. - Richard Graham; John Harding (NIME, 2015)

Modal Operators on Compact Regular Frames and de Vries Algebras. - Guram Bezhanishvili; Nick Bezhanishvili; John Harding (Appl. Categorical Struct., 2015)

Partial Orders on Fuzzy Truth Value Algebras. - John Harding; Carol L. Walker; Elbert A. Walker (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2015)

Equations in Type-2 Fuzzy Sets. - John Harding; Carol L. Walker; Elbert A. Walker (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2015)

Modal compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; John Harding (J. Log. Comput., 2015)

SceneMaker: Creative Technology for Digital StoryTelling. - Murat Akser; Brian Bridges; Giuliano Campo; Abbas Cheddad; Kevin Curran; Lisa Fitzpatrick; Linley Hamilton; John Harding; Ted Leath; Tom Lunney; Frank Lyons; Minhua Ma; et al. (ArtsIT/DLI, 2016)

Overview of Lattices of Convex Normal Functions. - John Harding; Carol L. Walker; Elbert A. Walker (Int. J. Intell. Syst., 2016)

On the Proof that Compact Hausdorff Boolean Algebras are Powersets. - Guram Bezhanishvili; John Harding (Order, 2016)

Varieties of Birkhoff Systems Part I. - John Harding; Anna B. Romanowska (Order, 2017)

Varieties of Birkhoff Systems Part II. - John Harding; Anna B. Romanowska (Order, 2017)

CTRL: A Flexible, Precision Interface for Analog Synthesis. - John Harding; Richard Graham; Edwin Park (NIME, 2018)

Compact Hausdorff Spaces with Relations and Gleason Spaces. - Guram Bezhanishvili; David Gabelaia; John Harding; Mamuka Jibladze (Appl. Categorical Struct., 2019)

Boolean Subalgebras of Orthoalgebras. - John Harding; Chris Heunen; Bert Lindenhovius; Mirko Navara (Order, 2019)

Raney Algebras and Duality for T0-Spaces. - Guram Bezhanishvili; John Harding (Appl. Categorical Struct., 2020)

Topos Quantum Theory with Short Posets. - John Harding; Chris Heunen (Order, 2021)

Hyper-MacNeille Completions of Heyting Algebras. - John Harding; Frederik Möllerström Lauridsen (Stud Logica, 2021)

Completions of Pseudo Ordered Sets. - Maria D. Cruz-Quinones; John Harding (Order, 2022)

Remarks on hyperspaces for Priestley spaces. - Guram Bezhanishvili; John Harding; Patrick J. Morandi (Theor. Comput. Sci., 2023)