Operational and Axiomatic Semantics of PCF. - Brian T. Howard; John C. Mitchell (LISP and Functional Programming, 1990)

Fixed points and extensionality in typed functional programming languages. - Brian T. Howard (1992)

Inductive, Coinductive, and Pointed Types. - Brian T. Howard (ICFP, 1996)

Fully Automatic Adaptation of Software Components Based on Semantic Specifications. - Christian Haack; Brian Howard 001; Allen Stoughton; Joe B. Wells (AMAST, 2002)

Design of a simple functional programming language and environment for CS2. - Brian T. Howard (J. Comput. Sci. Coll., 2006)

Leveraging synergy between database and programming language courses. - Brian T. Howard (J. Comput. Sci. Coll., 2015)

Emotion-Aware Music Recommendation. - Hieu Tran; Tuan Le; Anh Do; Tram Vu; Steven Bogaerts; Brian Howard 001 (AAAI, 2023)