A suggestion for an analog function generator of two variables. - T. Lamdan; Israel Cederbaum (IFIP Congress (2), 1968)

A New Approach to Automatic Scanning of Contour Maps. - Moshe Mor; T. Lamdan (Commun. ACM, 1972)

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)