Search the dblp DataBase
Van E. Kelly: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Van E. Kelly, Mark A. Jones
KITSS: A Knowledge-Based Translation System for Test Scenarios. [Citation Graph (0, 0)][DBLP]
AAAI, 1993, pp:804-810 [Conf] - Van E. Kelly, Uwe Nonnenmann
Inferring Formal Software Specifications from Episodic Descriptions. [Citation Graph (0, 0)][DBLP]
AAAI, 1987, pp:127-132 [Conf] - Van E. Kelly, Louis I. Steinberg
The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications. [Citation Graph (0, 0)][DBLP]
AAAI, 1982, pp:284-289 [Conf] - Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey Shulman, Timothy Weinrich
An Intelligent Aid for Circuit Redesign. [Citation Graph (0, 0)][DBLP]
AAAI, 1983, pp:274-278 [Conf] - Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly
Representations for Reasoning about Digital Circuits. [Citation Graph (0, 0)][DBLP]
IJCAI, 1981, pp:343-344 [Conf] - Van E. Kelly, Catharine P. Thomas, Huiyu Wang
Managing data-based systems across releases using historical data dictionaries. [Citation Graph (0, 0)][DBLP]
Bell Labs Technical Journal, 2000, v:5, n:2, pp:121-133 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002