| |
| 1992 | ||
|---|---|---|
| 5 | Anita Jindal, Ross A. Overbeek, Waldo C. Kabat: Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. J. Autom. Reasoning 8(1): 23-38 (1992) | |
| 1986 | ||
| 4 | EE | Jeffrey J. P. Tsai, Waldo C. Kabat: Verification of software specifications using automated reasoning techniques (abstract). ACM Conference on Computer Science 1986: 475 |
| 3 | Bruce D. Parrello, Waldo C. Kabat: Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem. J. Autom. Reasoning 2(1): 1-42 (1986) | |
| 1985 | ||
| 2 | Waldo C. Kabat, Anthony S. Wojcik: Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques. IEEE Trans. Computers 34(7): 610-632 (1985) | |
| 1981 | ||
| 1 | Waldo C. Kabat, Anthony S. Wojcik: On the Design of 4-Valued Digital Systems. IEEE Trans. Computers 30(9): 666-671 (1981) | |
| 1 | Anita Jindal | [5] |
| 2 | Ross A. Overbeek | [5] |
| 3 | Bruce D. Parrello | [3] |
| 4 | Jeffrey J. P. Tsai | [4] |
| 5 | Anthony S. Wojcik | [1] [2] |