Sany M. Leinwand

According to our database, Sany M. Leinwand authored at least 10 papers between 1979 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

A Theory of Rectangular Dual Graphs.

Yen-Tai Lai, Sany M. Leinwand

Algorithmica, 1990

1988

Algorithms for floorplan design via rectangular dualization.

Yen-Tai Lai, Sany M. Leinwand

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

Cell and Ensemble Architecture for the Rewrite Rule Machine.

Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1984

An algorithm for building rectangular floor-plans.

Sany M. Leinwand, Yen-Tai Lai

Proceedings of the 21st Design Automation Conference, 1984

1982

Logical correctness by construction.

Sany M. Leinwand

Proceedings of the 19th Design Automation Conference, 1982

1981

Process oriented logic simulation.

Sany M. Leinwand

Proceedings of the 18th Design Automation Conference, 1981

1980

Dynamic Boolean Algebras.

Sany Leinwand, T. Lamdan

IEEE Trans. Computers, 1980

Models of Control at Register Transfer Level.

Sany Leinwand, T. Lamdan

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

Algebraic analysis of nondeterministic behavior.

Sany M. Leinwand, T. Lamdan

Proceedings of the 17th Design Automation Conference, 1980

1979

Design verification based on functional abstraction.

Sany M. Leinwand, T. Lamdan

Proceedings of the 16th Design Automation Conference, 1979