default search action

combined dblp search
author search
venue search
publication search

ask others

Sany M. Leinwand

Sany Leinwand

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1990
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/algorithmica/LaiL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithmica/LaiL90
Yen-Tai Lai, Sany M. Leinwand:
A Theory of Rectangular Dual Graphs. Algorithmica 5(4): 467-483 (1990)
1988
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/LaiL88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/LaiL88
Yen-Tai Lai, Sany M. Leinwand:
Algorithms for floorplan design via rectangular dualization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(12): 1278-1289 (1988)
1980
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/LeinwandL80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/LeinwandL80
Sany Leinwand, T. Lamdan:
Dynamic Boolean Algebras. IEEE Trans. Computers 29(10): 950-953 (1980)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fgcs/LeinwandGW88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgcs/LeinwandGW88
Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler:
Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS 1988: 869-878
1984
[c6]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/dac/LeinwandL84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LeinwandL84
Sany M. Leinwand, Yen-Tai Lai:
An algorithm for building rectangular floor-plans. DAC 1984: 663-664
1982
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Leinwand82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Leinwand82
Sany M. Leinwand:
Logical correctness by construction. DAC 1982: 825-831
1981
[c4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/dac/Leinwand81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Leinwand81
Sany M. Leinwand:
Process oriented logic simulation. DAC 1981: 511-517
1980
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LeinwandL80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LeinwandL80
Sany M. Leinwand, T. Lamdan:
Algebraic analysis of nondeterministic behavior. DAC 1980: 483-493
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/LeinwandL80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/LeinwandL80
Sany Leinwand, T. Lamdan:
Models of Control at Register Transfer Level. IFIP Congress 1980: 163-168
1979
[c1]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/dac/LeinwandL79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LeinwandL79
Sany M. Leinwand, T. Lamdan:
Design verification based on functional abstraction. DAC 1979: 353-359

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.