Van E. Kelly

According to our database, Van E. Kelly authored at least 7 papers between 1981 and 2000.

Collaborative distances:

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

2000

Managing data-based systems across releases using historical data dictionaries.

Van E. Kelly, Catharine P. Thomas, Huiyu Wang

Bell Labs Tech. J., 2000

1993

KITSS: A Knowledge-Based Translation System for Test Scenarios.

Van E. Kelly, Mark A. Jones

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1987

Inferring Formal Software Specifications from Episodic Descriptions.

Van E. Kelly, Uwe Nonnenmann

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1984

The CRITTER system: Automated critiquing of digital circuit designs.

Van E. Kelly

Proceedings of the 21st Design Automation Conference, 1984

1983

An Intelligent Aid for Circuit Redesign.

Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications.

Van E. Kelly, Louis I. Steinberg

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

Representations for Reasoning about Digital Circuits.

Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981