Design verification based on functional abstraction. - Sany M. Leinwand; T. Lamdan (DAC, 1979)

Algebraic analysis of nondeterministic behavior. - Sany M. Leinwand; T. Lamdan (DAC, 1980)

Models of Control at Register Transfer Level. - Sany Leinwand; T. Lamdan (IFIP Congress, 1980)

Dynamic Boolean Algebras. - Sany Leinwand; T. Lamdan (IEEE Trans. Computers, 1980)

Process oriented logic simulation. - Sany M. Leinwand (DAC, 1981)

Logical correctness by construction. - Sany M. Leinwand (DAC, 1982)

An algorithm for building rectangular floor-plans. - Sany M. Leinwand; Yen-Tai Lai (DAC, 1984)

Cell and Ensemble Architecture for the Rewrite Rule Machine. - Sany Leinwand; Joseph A. Goguen; Timothy C. Winkler (FGCS, 1988)

Algorithms for floorplan design via rectangular dualization. - Yen-Tai Lai; Sany M. Leinwand (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

A Theory of Rectangular Dual Graphs. - Yen-Tai Lai; Sany M. Leinwand (Algorithmica, 1990)