Van E. Kelly

	2000
7		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
6		Van E. Kelly, Mark A. Jones: KITSS: A Knowledge-Based Translation System for Test Scenarios. AAAI 1993: 804-810
	1987
5		Van E. Kelly, Uwe Nonnenmann: Inferring Formal Software Specifications from Episodic Descriptions. AAAI 1987: 127-132
	1984
4		Van E. Kelly: The CRITTER system: Automated critiquing of digital circuit designs. DAC 1984: 419-425
	1983
3		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
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

Coauthor Index

1	Howard Jacobs	[1]
2	Mark A. Jones	[6]
3	Smadar T. Kedar-Cabelli	[3]
4	Tom M. Mitchell	[1] [3]
5	Uwe Nonnenmann	[5]
6	Pat Schooley	[1]
7	Jeffrey S. Shulman	[3]
8	Reid G. Smith	[1]
9	Louis I. Steinberg	[1] [2] [3]
10	Catharine P. Thomas	[7]
11	Huiyu Wang	[7]
12	Timothy Weinrich	[3]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page