Reports for Author "Doukas, Dimitris" | Computer Science Department at Princeton University

TR-345-91 - CLOVER: A User Guide (1991)
Authors: Doukas, Dimitris / LaPaugh, Andrea S.
TR-297-90 - A New Specification Model for Timing constraints and Efficient Methods for their Verification (thesis) (1991)
Authors: Doukas, Dimitris
TR-274-90 - CLOVER: A Timing Constraints Verification System (1990)
Authors: Doukas, Dimitris / LaPaugh, Andrea S.
TR-128-87 - Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects (1987)
Authors: Doukas, Dimitris / LaPaugh, Andrea S.