Sets Completely Creative Via Recursive Permutations. - Bruce M. Horowitz (Math. Log. Q., 1978)

Constructively nonpartial recursive functions. - Bruce M. Horowitz (Notre Dame J. Formal Log., 1980)

Arithmetical Analogues of Productive and Universal Sets. - Bruce M. Horowitz (Math. Log. Q., 1982)

An Isomorphism Type of Arithmetically Productive Sets. - Bruce M. Horowitz (Math. Log. Q., 1982)

Elementary formal systems as a framework for relative recursion theory. - Bruce M. Horowitz (Notre Dame J. Formal Log., 1982)

A Run-Time Execution Model for Referential Integrity Maintenance. - Bruce M. Horowitz (ICDE, 1992)

Intermediate States as Source of Non-Deterministic Behavior in Triggers. - Bruce M. Horowitz (RIDE-ADS, 1994)

Model-Based Testing in Practice. - Siddhartha R. Dalal; Ashish Jain; Nachimuthu Karunanithi; J. M. Leaton; Christopher M. Lott; Gardner C. Patton; Bruce M. Horowitz (ICSE, 1999)

Assembling Off-the-Shelf Components: "Learn as You Go" Systems Engineering. - Bruce M. Horowitz; James H. Lambert (IEEE Trans. Syst. Man Cybern. Part A, 2006)