Automation in the design of asynchronous sequential circuits. - Robert J. Smith 001; James H. Tracey; W. L. Schoeffel; Gary K. Maki (AFIPS Spring Joint Computing Conference, 1968)

Generation of Design Equations in Asynchronous Sequential Circuits. - Gary K. Maki; James H. Tracey; Robert J. Smith 001 (IEEE Trans. Computers, 1969)

A simplification heuristic for large flow tables. - Robert J. Smith 001; James H. Tracey (DAC, 1970)

Design automation at Southern Methodist University. - Robert J. Smith 001 (ACM Annual Conference (1), 1974)

An experimental comparison of force directed placement techniques. - David C. Wilson; Robert J. Smith 001 (DAC, 1974)

Individualized instruction in computer science. - Robert R. Korfhage; Robert J. Smith 001 (SIGCSE, 1974)

Generation of Internal State Assignments for Large Asynchronous Sequential Machines. - Robert J. Smith 001 (IEEE Trans. Computers, 1974)

A Data Base Design for Digital Design Automation. - Mathew N. Matelan; Robert J. Smith 001 (Data Bases for Interactive Design, 1975)

An analytic technique for router comparison. - David C. Wilson; Robert J. Smith 001 (DAC, 1976)

A rectangle-probe router for multilayer P.C. boards. - W. G. Cage; Robert J. Smith 001 (DAC, 1977)

Software engineering techniques in design automation - a tutorial. - Robert J. Smith 001 (DAC, 1977)

An implementation of a saturated zone multi-layer printed circuit board router. - Michael J. Lorenzetti; Robert J. Smith 001 (DAC, 1980)

Comet - a fast component placer. - Valerie K. Smith; Robert J. Smith 001; Phil A. Preston (DAC, 1980)

Gate array layout automation: A tutorial. - Robert J. Smith 001 (ACM Annual Conference, 1981)

A computer-aided VLSI layout system. - W. A. Dees; K. M. Parmar; A. Goyal; Raymond Y. Tsui; B. D. Rathi; Robert J. Smith 001 (AFIPS National Computer Conference, 1981)

Verification and optimization for LSI & PCB layout. - H. Nelson Brady; Robert J. Smith 001 (DAC, 1981)

Performance of interconnection rip-up and reroute strategies. - William A. Dees Jr.; Robert J. Smith 001 (DAC, 1981)

A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing. - Raymond Y. Tsui; Robert J. Smith 001 (DAC, 1981)

Technology-independent circuit layout. - Robert J. Smith 001 (DAC, 1983)

Workshop - technology design rules for design automation. - Ronald Waxman; Melvin F. Heilweil; Tom Reinke; Robert J. Smith 001; Gayla J. Von Ehr (DAC, 1983)

Star's envoling design environment: a user's perspective on CAE. - Gary B. Goates; Patrick M. Hefferan; Robert J. Smith 001; Randy Harris (DAC, 1985)

The STE-264 accelerated electronic CAD system. - Patrick M. Hefferan; Robert J. Smith 001; Val Burdick; Donald L. Nelson (DAC, 1985)

Computer aided (CA) tools integration and related standards development (panel session). - Roger J. Pachter; Robert J. Smith 001; Ronald Waxman; J. Hines; H. G. Adhead; L. O'Connell; Moe Shahdad; John P. Eurich (DAC, 1986)

Fundamentals of parallel logic simulation. - Robert J. Smith 001 (DAC, 1986)

Faster Architectural Simulation Through Parallelism. - J. W. Smith; K. S. Smith; Robert J. Smith 001 (DAC, 1987)