![]() |
| * | 2009 | |
|---|---|---|
| 2 | EE | Jason Cong, Albert Liu, Bin Liu: A variation-tolerant scheduler for better than worst-case behavioral synthesis. CODES+ISSS 2009: 221-228 |
| 2008 | ||
| 1 | EE | Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349 |
| 1 | Dave Barker-Plummer | [1] |
| 2 | Jason Cong | [2] |
| 3 | John Etchemendy | [1] |
| 4 | Bin Liu | [2] |
| 5 | Michael Murray | [1] |
| 6 | Nik Swoboda | [1] |