Joseph Douglas Horton

Joseph D. Horton

2005
21	EE	Therese C. Biedl, Joseph Douglas Horton, Alejandro López-Ortiz: Cross-Stitching Using Little Thread. CCCG 2005: 199-202
2003
20	EE	Therese C. Biedl, Erik D. Demaine, Alexander Golynski, Joseph Douglas Horton, Alejandro López-Ortiz, Guillaume Poirier, Claude-Guy Quimper: Optimal Dynamic Video-on-Demand Using Adaptive Broadcasting. ESA 2003: 90-101
19	EE	Joseph Douglas Horton, Alejandro López-Ortiz: On the number of distributed measurement points for network tomography. Internet Measurement Comference 2003: 204-209
2002
18	EE	Therese C. Biedl, Masud Hasan, Joseph Douglas Horton, Alejandro López-Ortiz, Tomás Vinar: Searching for the center of a circle. CCCG 2002: 137-141
17	EE	Alexander Golynski, Joseph Douglas Horton: A Polynomial Time Algorithm to Find the Minimum Cycle Basis of a Regular Matroid. SWAT 2002: 200-209
16	EE	Joseph Douglas Horton, Walter D. Wallis: Factoring the cartesian product of a cubic graph and a triangle. Discrete Mathematics 259(1-3): 137-146 (2002)
2001
15	EE	Joseph D. Horton: Counting the Number of Equivalent Binary Resolution Proofs. LPAR 2001: 157-171
2000
14		Bruce Spencer, Joseph Douglas Horton: Support Ordered Resolution. CADE 2000: 385-400
13		Bruce Spencer, Joseph Douglas Horton: Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution. J. Autom. Reasoning 25(1): 1-34 (2000)
1999
12		Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer: Merge Path Improvements for Minimal Model Hyper Tableaux. TABLEAUX 1999: 51-65
1998
11	EE	Joseph Douglas Horton, Bruce Spencer: Rank/Activity: A Canonical Form for Binary Resolution. CADE 1998: 412-426
1997
10		Bruce Spencer, Joseph Douglas Horton: Extending the Regular Restriction of Resolution to Non-Linear Subdeductions. AAAI/IAAI 1997: 478-483
9		Michael G. Lamoureux, Joseph Douglas Horton, Bradford G. Nickerson: Dynamizing domination queries in 2-dimensions: The paper stabbing problem revisited. CCCG 1997
8	EE	Joseph Douglas Horton, Bruce Spencer: Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning. Artif. Intell. 92(1-2): 25-89 (1997)
1993
7		Joseph Douglas Horton, R. H. Cooper, W. F. Hyslop, Bradford G. Nickerson, O. K. Ward, R. Harland, E. Ashby, W. M. Stewart: The Cascade Vulnerability Problem. Journal of Computer Security 2(4): 279-290 (1993)
1987
6		Joseph Douglas Horton: A Polynomial-Time Algorithm to Find the Shortest Cycle Basis of a Graph. SIAM J. Comput. 16(2): 358-366 (1987)
1985
5		Joseph Douglas Horton: Resolvable Path Designs. J. Comb. Theory, Ser. A 39(2): 117-131 (1985)
1983
4	EE	Mark N. Ellingham, Joseph Douglas Horton: Non-hamiltonian 3-connected cubic bipartite graphs. J. Comb. Theory, Ser. B 34(3): 350-353 (1983)
1974
3		Joseph Douglas Horton: Sub-Latin Squares and Incomplete Orthogonal Arrays. J. Comb. Theory, Ser. A 16(1): 23-33 (1974)
1972
2		R. G. Stanton, Joseph Douglas Horton: A Multiplication Theorem for Room Squares. J. Comb. Theory, Ser. A 12(3): 322-325 (1972)
1971
1		J. G. Kalbfleisch, R. G. Stanton, Joseph Douglas Horton: On Covering Sets and Error-Correcting Codes. J. Comb. Theory, Ser. A 11(3): 233-250 (1971)

Coauthor Index

1	E. Ashby	[7]
2	Peter Baumgartner	[12]
3	Therese C. Biedl	[18] [20] [21]
4	R. H. Cooper	[7]
5	Erik D. Demaine	[20]
6	Mark N. Ellingham	[4]
7	Alexander Golynski	[17] [20]
8	R. Harland	[7]
9	Masud Hasan	[18]
10	W. F. Hyslop	[7]
11	J. G. Kalbfleisch	[1]
12	Michael G. Lamoureux	[9]
13	Alejandro López-Ortiz	[18] [19] [20] [21]
14	Bradford G. Nickerson	[7] [9]
15	Guillaume Poirier	[20]
16	Claude-Guy Quimper	[20]
17	Bruce Spencer	[8] [10] [11] [12] [13] [14]
18	R. G. Stanton	[1] [2]
19	W. M. Stewart	[7]
20	Tomás Vinar	[18]
21	Walter D. Wallis (W. D. Wallis)	[16]
22	O. K. Ward	[7]

Colors in the list of coauthors