John Harding - RankMe

41 papers A 1B 2Journal 30Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Classical Explanations in (and of) General Probabilistic Theories. CoRR John Harding, Alex Wilce
2023	J	`jnl`	Remarks on hyperspaces for Priestley spaces. Theor. Comput. Sci. Guram Bezhanishvili, John Harding, Patrick J. Morandi
2022	J	`jnl`	Completions of Pseudo Ordered Sets. Order Maria D. Cruz-Quinones, John Harding
2021	J	`jnl`	Hyper-MacNeille Completions of Heyting Algebras. Stud Logica John Harding, Frederik Möllerström Lauridsen
2021	J	`jnl`	Topos Quantum Theory with Short Posets. Order John Harding, Chris Heunen
2020	J	`jnl`	Raney Algebras and Duality for T Appl. Categorical Struct. Guram Bezhanishvili, John Harding
2019	J	`jnl`	Boolean Subalgebras of Orthoalgebras. Order John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara
2019	J	`jnl`	Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
2018	—	`conf`	CTRL: A Flexible, Precision Interface for Analog Synthesis. NIME John Harding, Richard Graham, Edwin Park
2017	J	`jnl`	Varieties of Birkhoff Systems Part I. Order John Harding, Anna B. Romanowska
2017	J	`jnl`	Varieties of Birkhoff Systems Part II. Order John Harding, Anna B. Romanowska
2016	J	`jnl`	On the Proof that Compact Hausdorff Boolean Algebras are Powersets. Order Guram Bezhanishvili, John Harding
2016	J	`jnl`	Overview of Lattices of Convex Normal Functions. Int. J. Intell. Syst. John Harding, Carol L. Walker, Elbert A. Walker
2016	—	`conf`	SceneMaker: Creative Technology for Digital StoryTelling. ArtsIT/DLI Murat Akser, Brian Bridges, Giuliano Campo, Abbas Cheddad, Kevin Curran, Lisa Fitzpatrick, Linley Hamilton, John Harding, Ted Leath, Tom Lunney, Frank Lyons, Minhua Ma, John MacRae, Tom Maguire, Aiden McCaughey, Eileen McClory, Victoria McCollum, Paul Mc Kevitt, Adam Melvin, Paul Moore, Eleanor Mulholland, Karla Muñoz, Greg O'Hanlon, Laurence Roman
2015	J	`jnl`	Equations in Type-2 Fuzzy Sets. Int. J. Uncertain. Fuzziness Knowl. Based Syst. John Harding, Carol L. Walker, Elbert A. Walker
2015	J	`jnl`	Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. Guram Bezhanishvili, Nick Bezhanishvili, John Harding
2015	J	`jnl`	Modal compact Hausdorff spaces. J. Log. Comput. Guram Bezhanishvili, Nick Bezhanishvili, John Harding
2015	J	`jnl`	Partial Orders on Fuzzy Truth Value Algebras. Int. J. Uncertain. Fuzziness Knowl. Based Syst. John Harding, Carol L. Walker, Elbert A. Walker
2015	—	`conf`	Septar: audio breakout design for multichannel guitar. NIME Richard Graham, John Harding
2014	J	`jnl`	Categories with fuzzy sets and relations. Fuzzy Sets Syst. John Harding, Carol L. Walker, Elbert A. Walker
2014	J	`jnl`	Proximity Frames and Regularization. Appl. Categorical Struct. Guram Bezhanishvili, John Harding
2014	—	`conf`	The Ongreening Pavilion. AAG John Harding, Will Pearson, Harri Lewis, Stephen Melville
2013	J	`jnl`	Daggers, Kernels, Baer *-semigroups, and Orthomodularity. J. Philos. Log. John Harding
2013	J	`jnl`	Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$. J. Philos. Log. John Harding
2013	—	`conf`	Partial orders on the truth value algebra of finite type-2 fuzzy sets. IFSA/NAFIPS John Harding, Carol L. Walker, Elbert A. Walker
2013	—	`ch.`	Type-2 Fuzzy Sets and Bichains. Advances in Type-2 Fuzzy Sets and Systems John Harding, Carol L. Walker, Elbert A. Walker
2012	J	`jnl`	Modal Logics of Stone Spaces. Order Guram Bezhanishvili, John Harding
2012	J	`jnl`	The 3rd International Conference on Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Set-theoretical Topology - BLAST 2010. Order John Harding, Bart Kastermans, Keith A. Kearnes, J. Donald Monk, Ágnes Szendrei
2012	—	`conf`	Thinking Topologically at Early Stage Parametric Design. AAG John Harding, Sam Joyce, Paul Shepherd, Chris Williams
2011	J	`jnl`	Subalgebras of Orthomodular Lattices. Order John Harding, Mirko Navara
2010	B	`conf`	Associative Spatial Networks in Architectural Design: Artificial Cognition of Space Using Neural Networks with Spectral Graph Theory. DCC John Harding, Christian Derix
2010	J	`jnl`	Convex normal functions revisited. Fuzzy Sets Syst. John Harding, Carol L. Walker, Elbert A. Walker
2010	J	`jnl`	The variety generated by the truth value algebra of type-2 fuzzy sets. Fuzzy Sets Syst. John Harding, Carol L. Walker, Elbert A. Walker
2009	J	`jnl`	The modal logic of beta(N). Arch. Math. Log. Guram Bezhanishvili, John Harding
2008	—	`ch.`	Completions of Ordered Algebraic Structures: A Survey. Interval / Probabilistic Uncertainty and Non-Classical Logics John Harding
2008	J	`jnl`	Lattices of convex normal functions. Fuzzy Sets Syst. John Harding, Carol L. Walker, Elbert A. Walker
2007	B	`conf`	On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. FUZZ-IEEE John Harding, Carol L. Walker, Elbert A. Walker
2000	J	`jnl`	Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. Order John Harding, Mirko Navara
2000	J	`jnl`	Epimorphisms in Certain Varieties of Algebras. Order Gunter Bruns, John Harding
1999	A	`conf`	Dynamically Programmable Cache Evaluation and Virtualization. FPGA Mouna Nakkar, David G. Bentlage, John Harding, David Schwartz, Paul D. Franzon, Thomas M. Conte
1997	J	`jnl`	Local Radon-Nikodym Derivatives of Set Functions. Int. J. Uncertain. Fuzziness Knowl. Based Syst. John Harding, Massimo Marinacci, Nhu T. Nguyen, Tonghui Wang