Van E. Kelly

Publication Activity (10 Years)

Years Active: 1981-2000
Publications (10 Years): 0

Publications

Van E. Kelly, Catharine P. Thomas, Huiyu Wang
Managing data-based systems across releases using historical data dictionaries. Bell Labs Tech. J. 5 (2) (2000)
Van E. Kelly, Mark A. Jones
KITSS: A Knowledge-Based Translation System for Test Scenarios. AAAI (1993)
Van E. Kelly, Uwe Nonnenmann
Inferring Formal Software Specifications from Episodic Descriptions. AAAI (1987)
Van E. Kelly
The CRITTER system: Automated critiquing of digital circuit designs. DAC (1984)
Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich
An Intelligent Aid for Circuit Redesign. AAAI (1983)
Van E. Kelly, Louis I. Steinberg
The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications. AAAI (1982)
Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly
Representations for Reasoning about Digital Circuits. IJCAI (1981)