| 2007 | ||
|---|---|---|
| 2 | Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI 2007: 441-444 | |
| 2003 | ||
| 1 | Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova: Multi Component Digital Circuit Optimization by Solving FSM Equations. DSD 2003: 62-69 | |
| 1 | Robert K. Brayton | [2] |
| 2 | Alberto L. Sangiovanni-Vincentelli | [2] |
| 3 | Maria Vetrova | [1] |
| 4 | Tiziano Villa | [2] |
| 5 | Nina Yevtushenko | [1] [2] |