Demo Data from EDBT 2026 / reviewers in the wild / expert
George M. Koppelman
dblp:77/1484
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 1980
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 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.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% | |
| Computer graphics and multimedia
1 paper |
Image and video processing · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test
hardware verification |
0.0 | 1 | 1980 | Verifying deep logic hierarchies with ALEX · DAC 1980 |
Image and video processing
document image analysis |
0.0 | 1 | 1971 | An Interactive System for Reading Unformatted Printed Text · IEEE Trans. Computers 1971 |
Image and video processing › document image analysis › character recognition
optical character recognition |
0.0 | 1 | 1971 | An Interactive System for Reading Unformatted Printed Text · IEEE Trans. Computers 1971 |
Electronic design automation › design automation tools
logic design system |
0.0 | 1 | 1980 | Verifying deep logic hierarchies with ALEX · DAC 1980 |
Image and video processing
image segmentation |
0.0 | 1 | 1971 | An Interactive System for Reading Unformatted Printed Text · IEEE Trans. Computers 1971 |
Methods — techniques the papers use, named apart from their topics
pattern classification · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1980 | Verifying deep logic hierarchies with ALEXabstractA logic design whose structure has the form of a hierarchy is easily verified in a conversational environment. The verification process is based on an explicit methodology, supported by appropriate utilities. The paper describes the verification of the experimental Josephson signal processor control logic by means of the ALEX logic design system. George M. Koppelman, Klim Maling |
DAC | 1 |
| 1971 | An Interactive System for Reading Unformatted Printed TextabstractA system intended to provide input of printed text to computers is applied to published patents, annotated law reports, and technical journals. Robert N. Ascher, George M. Koppelman, Martha J. Miller, George Nagy, Glenmore L. Shelton Jr. |
IEEE Trans. Computers | 2 |