| 2002 |
| 12 | | Bradd Hart,
Ehud Hrushovski,
Michael C. Laskowski:
Unique Decomposition in Classifiable Theories.
J. Symb. Log. 67(1): 61-68 (2002) |
| 2000 |
| 11 | | Bradd Hart,
Byunghan Kim,
Anand Pillay:
Coordinatisation and Canonical Bases in Simple Theories.
J. Symb. Log. 65(1): 293-309 (2000) |
| 1999 |
| 10 | | Bradd Hart,
Zeljko Sokolovic,
Predrag Tanovic:
A Note On Alpha-Prime Models.
J. Symb. Log. 64(4): 1557-1562 (1999) |
| 1997 |
| 9 | | Ambar Chowdhury,
Bradd Hart:
An Unclassifiable Unidimensional Theory without OTOP.
Notre Dame Journal of Formal Logic 38(1): 93-103 (1997) |
| 1994 |
| 8 | | Bradd Hart,
Sergei Starchenko:
Superstable Quasi-Varieties.
Ann. Pure Appl. Logic 69(1): 53-71 (1994) |
| 1993 |
| 7 | | Bradd Hart,
Anand Pillay,
Sergei Starchenko:
Triviality, NDOP and Stable Varieties.
Ann. Pure Appl. Logic 62(2): 119-146 (1993) |
| 6 | | Saharon Shelah,
Claude Laflamme,
Bradd Hart:
Models with Second Order Properties V: A General Principle.
Ann. Pure Appl. Logic 64(2): 169-194 (1993) |
| 5 | | Bradd Hart,
Sergei Starchenko:
Addendum to ``A Structure Theorem for Strongly Abelian Varieties''.
J. Symb. Log. 58(4): 1419-1425 (1993) |
| 1991 |
| 4 | | Bradd Hart,
Matthew Valeriote:
A Structure Theorem for Strongly Abelian Varieties with Few Models.
J. Symb. Log. 56(3): 832-852 (1991) |
| 1989 |
| 3 | | Bradd Hart:
A Proof of Morley's Conjecture.
J. Symb. Log. 54(4): 1346-1358 (1989) |
| 2 | | Rami P. Grossberg,
Bradd Hart:
The Classification of Excellent Classes.
J. Symb. Log. 54(4): 1359-1381 (1989) |
| 1986 |
| 1 | | László Csirmaz,
Bradd Hart:
Program Correctness on Finite Fields
LICS 1986: 4-10 |