Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Computation of Kalman decompositions of periodic systems. | 0 | 0.34 | 2003 |
| Minimal Realization Procedures Based on Balancing and Related Techniques | 2 | 0.67 | 1991 |
| A method for minimizing partially defined Boolean functions | 0 | 0.34 | 1979 |
| A note on symmetric Boolean functions | 0 | 0.34 | 1977 |
| An effective theorem proving algorithm | 0 | 0.34 | 1977 |