Bruce M. Horowitz

Publication Activity (10 Years)

Years Active: 1978-2006
Publications (10 Years): 0

Publications

Bruce M. Horowitz, James H. Lambert
Assembling Off-the-Shelf Components: "Learn as You Go" Systems Engineering. IEEE Trans. Syst. Man Cybern. Part A 36 (2) (2006)
Siddhartha R. Dalal, Ashish Jain, Nachimuthu Karunanithi, J. M. Leaton, Christopher M. Lott, Gardner C. Patton, Bruce M. Horowitz
Model-Based Testing in Practice. ICSE (1999)
Bruce M. Horowitz
Intermediate States as Source of Non-Deterministic Behavior in Triggers. RIDE-ADS (1994)
Bruce M. Horowitz
A Run-Time Execution Model for Referential Integrity Maintenance. ICDE (1992)
Bruce M. Horowitz
An Isomorphism Type of Arithmetically Productive Sets. Math. Log. Q. 28 (14-18) (1982)
Bruce M. Horowitz
Elementary formal systems as a framework for relative recursion theory. Notre Dame J. Formal Log. 23 (1) (1982)
Bruce M. Horowitz
Arithmetical Analogues of Productive and Universal Sets. Math. Log. Q. 28 (14-18) (1982)
Bruce M. Horowitz
Constructively nonpartial recursive functions. Notre Dame J. Formal Log. 21 (2) (1980)
Bruce M. Horowitz
Sets Completely Creative Via Recursive Permutations. Math. Log. Q. 24 (25-30) (1978)