Thomas J. Schaefer

A modular and integratable approach to CIM

Thomas J. Schaefer, 1985, Comput. Graph..

A Transistor-Level Logic-with-Timing Simulator for MOS Circuits

Thomas J. Schaefer, 1985, 22nd ACM/IEEE Design Automation Conference.

Complexity of decision problems based on finite two-person perfect-information games

Thomas J. Schaefer, T. Schaefer, 1976, STOC '76.

On the Complexity of Some Two-Person Perfect-Information Games

Thomas J. Schaefer, T. Schaefer, 1978, J. Comput. Syst. Sci..

The complexity of satisfiability problems

Thomas J. Schaefer, T. Schaefer, 1978, STOC.

A Transistor-Level Logic-with-Timing Simulator for MOS Circuits

Thomas J. Schaefer, 1985, DAC 1985.