Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Edward W. Elcock

dblp:57/4966 · DBLP profile ↗
← Back
4ranked-venue papers
4as first author
0since 2021 · last 1987
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 2 · 2 first-authorApplied, interdisciplinary, general and emerging computing · 2 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 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.

Theoretical computer science
1 paper
Logic in computer science · 60% Automated reasoning and model checking · 40%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking
equational reasoning		 0.011986
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy · AAAI 1986
Logic in computer science › unification
e-unification		 0.011986
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy · AAAI 1986
Logic in computer science
logic programming		 0.011986
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy · AAAI 1986
Logic in computer science › logic programming
prolog		 0.011986
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy · AAAI 1986
Automated reasoning and model checking
theorem proving		 0.011986
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy · AAAI 1986
YearPublicationVenuePosition
1987 Triangular decomposition
Edward W. Elcock, Irene Gargantini, Timothy R. S. Walsh
 Image Vis. Comput.1
1986 Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy
Edward W. Elcock, P. Hoddinott
 AAAI1
1972 Data directed control and operating systems
abstract
The paper describes a simple and uniform mechanism for dynamic data directed control of the activation and suspension of interacting processes. Although this control structure was conceived to meet the design objectives of an assertative language, and is introduced in the paper from this viewpoint, the control structure is particularly appropriate to the operating system in which the language is embedded. The paper is written in the expectation that principles of this kind of control structure should be applicable to the design of operating systems in other environments.
Edward W. Elcock, J. J. McGregor, A. M. Murray
 Comput. J.1
1965 Note on the addressing of lists by their source-language names
abstract
This paper gives an informal description of a scheme for implementing the use of arithmetized source-language names for addressing list structures.
Edward W. Elcock
 Comput. J.1