| |
| 1999 | ||
|---|---|---|
| 4 | EE | Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff: Understanding Integrated Circuits. IEEE Design & Test of Computers 16(2): 26-37 (1999) |
| 3 | Gregory H. Chisholm, Anthony S. Wojcik: An Application of Formal Analysis to Software in a Fault-Tolerant Environment. IEEE Trans. Computers 48(10): 1053-1064 (1999) | |
| 1998 | ||
| 2 | EE | Travis E. Doom, Jennifer L. White, Anthony S. Wojcik, Gregory H. Chisholm: Identifying High-Level Components in Combinational Circuits. Great Lakes Symposium on VLSI 1998: 313-318 |
| 1989 | ||
| 1 | Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik: An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. J. Autom. Reasoning 5(4): 533-540 (1989) | |
| 1 | Travis E. Doom | [2] |
| 2 | Steven T. Eckmann | [4] |
| 3 | Christopher M. Lain | [4] |
| 4 | Brian T. Smith | [1] |
| 5 | Robert Veroff | [4] |
| 6 | Jennifer L. White | [2] |
| 7 | Anthony S. Wojcik | [1] [2] [3] |