| 2000 |
|---|
| 6 | EE | Van E. Kelly,
Catharine P. Thomas,
Huiyu Wang:
Managing data-based systems across releases using historical data dictionaries.
Bell Labs Technical Journal 5(2): 121-133 (2000) |
| 1993 |
|---|
| 5 | | Van E. Kelly,
Mark A. Jones:
KITSS: A Knowledge-Based Translation System for Test Scenarios.
AAAI 1993: 804-810 |
| 1987 |
|---|
| 4 | | Van E. Kelly,
Uwe Nonnenmann:
Inferring Formal Software Specifications from Episodic Descriptions.
AAAI 1987: 127-132 |
| 1983 |
|---|
| 3 | | Tom M. Mitchell,
Louis I. Steinberg,
Smadar T. Kedar-Cabelli,
Van E. Kelly,
Jeffrey Shulman,
Timothy Weinrich:
An Intelligent Aid for Circuit Redesign.
AAAI 1983: 274-278 |
| 1982 |
|---|
| 2 | | Van E. Kelly,
Louis I. Steinberg:
The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications.
AAAI 1982: 284-289 |
| 1981 |
|---|
| 1 | | Tom M. Mitchell,
Louis I. Steinberg,
Reid G. Smith,
Pat Schooley,
Howard Jacobs,
Van E. Kelly:
Representations for Reasoning about Digital Circuits.
IJCAI 1981: 343-344 |
