- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| j1 |      | 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 | ||
| c6 | | Van E. Kelly, Mark A. Jones: KITSS: A Knowledge-Based Translation System for Test Scenarios. AAAI 1993: 804-810 |
| 1987 | ||
| c5 | | Van E. Kelly, Uwe Nonnenmann: Inferring Formal Software Specifications from Episodic Descriptions. AAAI 1987: 127-132 |
| 1984 | ||
| c4 | | Van E. Kelly: The CRITTER system: Automated critiquing of digital circuit designs. DAC 1984: 419-425 |
| 1983 | ||
| c3 | | 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: 274-278 |
| 1982 | ||
| c2 | | Van E. Kelly, Louis I. Steinberg: The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications. AAAI 1982: 284-289 |
| 1981 | ||
| c1 |  | 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 |
Colors in the list of coauthors
Last update Tue May 21 06:02:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page