Waldo C. Kabat

According to our database, Waldo C. Kabat authored at least 7 papers between 1981 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems.

Anita Jindal, Ross A. Overbeek, Waldo C. Kabat

J. Autom. Reason., 1992

1986

Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem.

Bruce D. Parrello, Waldo C. Kabat

J. Autom. Reason., 1986

Logic Based Information System Specification Verification.

Waldo C. Kabat, Wojtek Kozaczynski, Vicki Lovegren

Proceedings of the 7th International Conference on Information Systems, 1986

Verification of software specifications using automated reasoning techniques (abstract).

Jeffrey J. P. Tsai, Waldo C. Kabat

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques.

Waldo C. Kabat, Anthony S. Wojcik

IEEE Trans. Computers, 1985

Decision support systems: a rule-based approach.

Man-kuen S. Chen, Chui-fat C. Chau, Waldo C. Kabat

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1981

On the Design of 4-Valued Digital Systems.

Waldo C. Kabat, Anthony S. Wojcik

IEEE Trans. Computers, 1981