Bruce M. Horowitz

According to our database, Bruce M. Horowitz authored at least 9 papers between 1978 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

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

1999

Model-Based Testing in Practice.

Siddhartha R. Dalal, Ashish Jain, Nachimuthu Karunanithi, J. M. Leaton, Christopher M. Lott, Gardner C. Patton, Bruce M. Horowitz

Proceedings of the 1999 International Conference on Software Engineering, 1999

1994

Intermediate States as Source of Non-Deterministic Behavior in Triggers.

Bruce M. Horowitz

Proceedings of the Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, 1994

1992

A Run-Time Execution Model for Referential Integrity Maintenance.

Bruce M. Horowitz

Proceedings of the Eighth International Conference on Data Engineering, 1992

1982

Elementary formal systems as a framework for relative recursion theory.

Bruce M. Horowitz

Notre Dame J. Formal Log., 1982

An Isomorphism Type of Arithmetically Productive Sets.

Bruce M. Horowitz

Math. Log. Q., 1982

Arithmetical Analogues of Productive and Universal Sets.

Bruce M. Horowitz

Math. Log. Q., 1982

1980

Constructively nonpartial recursive functions.

Bruce M. Horowitz

Notre Dame J. Formal Log., 1980

1978

Sets Completely Creative Via Recursive Permutations.

Bruce M. Horowitz

Math. Log. Q., 1978