A Magnetic Ternary Device. - D. J. Anderson; Donald L. Dietmeyer (IEEE Trans. Electron. Comput., 1963)

Conversion from Positive to Negative and Imaginary Radix. - Donald L. Dietmeyer (IEEE Trans. Electron. Comput., 1963)

A Computer-Oriented Factoring Algorithm for NOR Logic Design. - Donald L. Dietmeyer; Peter R. Schneider (IEEE Trans. Electron. Comput., 1965)

Identification of Symmetry, Redundancy and Equivalence of Boolean Functions. - Donald L. Dietmeyer; Peter R. Schneider (IEEE Trans. Electron. Comput., 1967)

Generating prime implicants via ternary encoding and decimal arithmetic. - Donald L. Dietmeyer (Commun. ACM, 1968)

Bounds on the Period of Oscillatory Activity in Randomly Interconnected Networks of Neuron-Like Elements. - Donald L. Dietmeyer (IEEE Trans. Computers, 1968)

A Digital System Design Language (DDL). - James R. Duley; Donald L. Dietmeyer (IEEE Trans. Computers, 1968)

An Algorithm for Synthesis of Multiple-Output Combinational Logic. - Peter R. Schneider; Donald L. Dietmeyer (IEEE Trans. Computers, 1968)

Logic Design Automation of Fan-In Limited NAND Networks. - Donald L. Dietmeyer; Yueh-Hsung Su (IEEE Trans. Computers, 1969)

Translation of a DDL Digital System Specification to Boolean Equations. - James R. Duley; Donald L. Dietmeyer (IEEE Trans. Computers, 1969)

Computer Reduction of Two-Level, Multiple-Output Switching Circuits. - Yueh-Hsung Su; Donald L. Dietmeyer (IEEE Trans. Computers, 1969)

The Avoidance and Elimination of Function Hazards in Asynchronous Sequential Circuits. - Rolland R. Hackbart; Donald L. Dietmeyer (IEEE Trans. Computers, 1971)

Fast State Minimization of Incompletely Specified Sequential Machines. - Parveen K. Gupta; Donald L. Dietmeyer (IEEE Trans. Computers, 1973)

Introducing DDL. - Donald L. Dietmeyer (Computer, 1974)

CONLAN: a formal construction method for hardware description languages: basic principles. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

CONLAN: a formal construction method for hardware description languages: language derivation. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

CONLAN: a formal construction method for hardware description languages: language application. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

An Overview of CONLAN: A Formal Construction Method for Hardware Description Language. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (IFIP Congress, 1980)

CONLAN Report - Robert Piloty; Dominique Borrione; Mario Barbacci; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (Springer, 1983)

Local Transformations via Cube Operations. - Donald L. Dietmeyer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

Multilevel logic synthesis of symmetric switching functions. - Bo-Gwan Kim; Donald L. Dietmeyer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)

Three Decades of HDLs: Part I, CDL Through TI-HDL. - Yaohan Chu; Donald L. Dietmeyer; James R. Duley; Fredrick J. Hill; Mario Barbacci; Charles W. Rose; Greg M. Ordy; Bill Johnson; Martin Roberts (IEEE Des. Test Comput., 1992)

Multilevel logic synthesis with extended arrays. - Bo-Gwan Kim; Donald L. Dietmeyer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)

Generating minimal covers of symmetric functions. - Donald L. Dietmeyer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Exploiting near symmetry in multilevel logic synthesis. - Feng Wang; Donald L. Dietmeyer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)