| 1992 | ||
|---|---|---|
| 4 | David W. Knapp, Marianne Winslett: A prescriptive formal model for data-path hardware. IEEE Trans. on CAD of Integrated Circuits and Systems 11(2): 158-184 (1992) | |
| 3 | David W. Knapp: Fasolt: a program for feedback-driven data-path optimization. IEEE Trans. on CAD of Integrated Circuits and Systems 11(6): 677-695 (1992) | |
| 1991 | ||
| 2 | David W. Knapp, Alice C. Parker: The ADAM design planning engine. IEEE Trans. on CAD of Integrated Circuits and Systems 10(7): 829-846 (1991) | |
| 1989 | ||
| 1 | Marianne Winslett, David W. Knapp, K. Hall, Gio Wiederhold: Use of Change Coordination in an Information-rich Design Environment. DAC 1989: 252-257 | |
| 1 | K. Hall | [1] |
| 2 | Alice C. Parker | [2] |
| 3 | Gio Wiederhold | [1] |
| 4 | Marianne Winslett | [1] [4] |