Van E. Kelly
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1981–1993
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | AAAI | KITSS: A Knowledge-Based Translation System for Test Scenarios. | Van E. Kelly, Mark A. Jones |
| 1987 | AAAI | Inferring Formal Software Specifications from Episodic Descriptions. | Van E. Kelly, Uwe Nonnenmann |
| 1984 | DAC | The CRITTER system: Automated critiquing of digital circuit designs. | Van E. Kelly |
| 1983 | AAAI | An Intelligent Aid for Circuit Redesign. | Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich |
| 1982 | AAAI | The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications. | Van E. Kelly, Louis I. Steinberg |
| 1981 | IJCAI | Representations for Reasoning about Digital Circuits. | Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly |