On Covering Sets and Error-Correcting Codes. - J. G. Kalbfleisch; R. G. Stanton; Joseph Douglas Horton (J. Comb. Theory A, 1971)

A Multiplication Theorem for Room Squares. - R. G. Stanton; Joseph Douglas Horton (J. Comb. Theory A, 1972)

Sub-Latin Squares and Incomplete Orthogonal Arrays. - Joseph Douglas Horton (J. Comb. Theory A, 1974)

On two-factors of bipartite regular graphs. - Joseph Douglas Horton (Discret. Math., 1982)

The construction of Kotzig factorizations. - Joseph Douglas Horton (Discret. Math., 1983)

Non-hamiltonian 3-connected cubic bipartite graphs. - Mark N. Ellingham; Joseph Douglas Horton (J. Comb. Theory B, 1983)

Resolvable Path Designs. - Joseph Douglas Horton (J. Comb. Theory A, 1985)

A Polynomial-Time Algorithm to Find the Shortest Cycle Basis of a Graph. - Joseph Douglas Horton (SIAM J. Comput., 1987)

Conditioning on Disjunctive Knowledge: Simpson's Paradox in Default Logic. - Eric Neufeld; Joseph Douglas Horton (UAI, 1989)

Orthogonal starters in finite abelian groups. - Joseph Douglas Horton (Discret. Math., 1990)

A hyperfactorization of order 8, index 2. - Joseph Douglas Horton (Discret. Math., 1991)

Self-orthogonal Hamilton path decompositions. - Joseph Douglas Horton; Gillian M. Nonay (Discret. Math., 1991)

Symmetric Y-graphs and H-graphs. - Joseph Douglas Horton; I. Z. Bouwer (J. Comb. Theory B, 1991)

The Cascade Vulnerability Problem. - Joseph Douglas Horton; Rodney H. Cooper; W. F. Hyslop; Bradford G. Nickerson; O. K. Ward; Robert Harland; Elton Ashby; W. M. Stewart (J. Comput. Secur., 1993)

Minimum Edge Dominating Sets. - Joseph Douglas Horton; Kyriakos Kilakos (SIAM J. Discret. Math., 1993)

Extending the Regular Restriction of Resolution to Non-Linear Subdeductions. - Bruce Spencer; Joseph Douglas Horton (AAAI/IAAI, 1997)

Dynamizing domination queries in 2-dimensions: The paper stabbing problem revisited. - Michael G. Lamoureux; Joseph Douglas Horton; Bradford G. Nickerson (CCCG, 1997)

Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning. - Joseph Douglas Horton; Bruce Spencer (Artif. Intell., 1997)

Rank/Activity: A Canonical Form for Binary Resolution. - Joseph Douglas Horton; Bruce Spencer (CADE, 1998)

Merge Path Improvements for Minimal Model Hyper Tableaux. - Peter Baumgartner 003; Joseph Douglas Horton; Bruce Spencer (TABLEAUX, 1999)

Support Ordered Resolution. - Bruce Spencer; Joseph Douglas Horton (CADE, 2000)

Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution. - Bruce Spencer; Joseph Douglas Horton (J. Autom. Reason., 2000)

Counting the Number of Equivalent Binary Resolution Proofs. - Joseph D. Horton (LPAR, 2001)

Searching for the center of a circle. - Therese Biedl; Masud Hasan; Joseph Douglas Horton; Alejandro López-Ortiz; Tomás Vinar (CCCG, 2002)

A Polynomial Time Algorithm to Find the Minimum Cycle Basis of a Regular Matroid. - Alexander Golynski; Joseph Douglas Horton (SWAT, 2002)

Factoring the cartesian product of a cubic graph and a triangle. - Joseph Douglas Horton; Walter D. Wallis (Discret. Math., 2002)

Optimal Dynamic Video-on-Demand Using Adaptive Broadcasting. - Therese Biedl; Erik D. Demaine; Alexander Golynski; Joseph Douglas Horton; Alejandro López-Ortiz; Guillaume Poirier; Claude-Guy Quimper (ESA, 2003)

On the number of distributed measurement points for network tomography. - Joseph Douglas Horton; Alejandro López-Ortiz (Internet Measurement Conference, 2003)

Cross-Stitching Using Little Thread. - Therese Biedl; Joseph Douglas Horton; Alejandro López-Ortiz (CCCG, 2005)

Minimum cycle bases of graphs over different fields. - Joseph D. Horton; Franziska Berger (Electron. Notes Discret. Math., 2005)

A Near-Linear Time Algorithm for Haplotype Determination on General Pedigrees. - Duong Dai Doan; Patricia A. Evans; Joseph D. Horton (J. Comput. Biol., 2010)

Assigning routes and wavelengths for collaboration over optical networks. - Yosri Harzallah; Joseph D. Horton; Bruce Spencer (Photonic Netw. Commun., 2011)

A Long Term Proposal to Simulate Consciousness in Artificial Life. - Joseph D. Horton; Michael Francis; Eckart Sußenburger (ICAART (2), 2013)

Conditioning on Disjunctive Knowledge: Defaults and Probabilities - Eric Neufeld; Joseph Douglas Horton (CoRR, 2013)

An Algorithm for Quantum Template Matching. - Md. Mazder Rahman; Gerhard W. Dueck; Joseph D. Horton (ACM J. Emerg. Technol. Comput. Syst., 2014)