A syntax-oriented formal system for defining processes. - Clifford R. Hollander (ACM Annual Conference, 1973)

Mechanical construction of type-checking predicates for extensible data types. - Clifford R. Hollander (ACM Annual Conference (1), 1974)

A syntax-directed approach to inverse compilation. - Clifford R. Hollander (ACM Annual Conference (2), 1974)

A Scheme for Representing Descriptors as Data. - Clifford R. Hollander (IFIP Congress, 1974)

Placement of microinstructions in a two-dimensional address space. - John F. Wakerly; Clifford R. Hollander; Daniel Davies (MICRO (2), 1975)

Remark on Uniform Insertion in Structured Data Structures. - Clifford R. Hollander (Commun. ACM, 1977)

A Knowledge-Based Application Definition System. - Clifford R. Hollander; Harry C. Reinstein (IJCAI, 1979)

DART: Expert systems for automated computer fault diagnosis. - Michael R. Genesereth; James S. Bennett; Clifford R. Hollander (ACM Annual Conference, 1981)

DART: An Expert System for Computer Fault Diagnosis. - James S. Bennett; Clifford R. Hollander (IJCAI, 1981)

CCT: A Component-Based Product Line Architecture for Satellite-Based Command and Control Systems. - Clifford R. Hollander; John Ohlinger (ECOOP Workshops, 1999)