Master's thesis — 1981

• Gray, Moshe — The Design and Implementation of a Reticle Maker for VLSI
• Howard, Thomas R. — Reactions of an Aluminum Stabilized Titanium Alkylidene
• Lien, Sheue-Ling C. — Toward a Theorem Proving Architecture
• Lin, Tzu-Mu — From Geometry to Logic
• Mosteller, Richard Craig — REST: A Leaf Cell Design System
• Ségal, Richard Lawrence — Structure, Placement and Modelling
• Whelan, Daniel Steven — A Versatile Ethernet Interface
• Whitney, Telle — A Hierarchical Design Rule Checker