VLDB 2026 Research / reviewers in the wild / expert
Van E. Kelly
dblp:44/1418
· DBLP profile ↗
6ranked-venue papers
4as first author
0since 2021 · last 1993
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 3 first-authorGraphics, computer vision, multimedia, augmented reality and games · 5 · 3 first-authorSystems, architecture and hardware · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Software testing · 70% Requirements engineering and software design · 30% | |
| Computer architecture, parallel and distributed computing, and storage systems
4 papers |
Electronic design automation · 100% | |
| Artificial intelligence
2 papers |
Knowledge representation and reasoning · 100% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › test generation › automated test generation
test scenario generation |
0.0 | 1 | 1993 | KITSS: A Knowledge-Based Translation System for Test Scenarios · AAAI 1993 |
Electronic design automation › hardware verification and test
hardware verification |
0.0 | 2 | 1984 | The CRITTER system: Automated critiquing of digital circuit designs · DAC 1984 Representations for Reasoning about Digital Circuits · IJCAI 1981 |
Electronic design automation
hardware verification and test |
0.0 | 2 | 1983 | An Intelligent Aid for Circuit Redesign · AAAI 1983 The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications · AAAI 1982 |
Requirements engineering and software design › formal specification
formal specification inference |
0.0 | 1 | 1987 | Inferring Formal Software Specifications from Episodic Descriptions · AAAI 1987 |
Electronic design automation
circuit redesign |
0.0 | 1 | 1983 | An Intelligent Aid for Circuit Redesign · AAAI 1983 |
Methods — techniques the papers use, named apart from their topics
knowledge-based translation · 0.0natural language processing · 0.0specification propagation · 0.0behavior propagation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1993 | KITSS: A Knowledge-Based Translation System for Test Scenarios
Van E. Kelly, Mark A. Jones |
AAAI | 1 |
| 1987 | Inferring Formal Software Specifications from Episodic Descriptions
Van E. Kelly, Uwe Nonnenmann |
AAAI | 1 |
| 1984 | The CRITTER system: Automated critiquing of digital circuit designs
Van E. Kelly |
DAC | 1 |
| 1983 | An Intelligent Aid for Circuit Redesign
Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich |
AAAI | 4 |
| 1982 | The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications
Van E. Kelly, Louis I. Steinberg |
AAAI | 1 |
| 1981 | Representations for Reasoning about Digital Circuits
Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly |
IJCAI | 6 |