dblp.uni-trier.dewww.uni-trier.de

Van E. Kelly Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2000
6EEVan 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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)