Demo Data from VLDB 2026 / reviewers in the wild / expert
Michael Woolf
dblp:90/5084
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1987
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
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
1 paper |
Requirements engineering and software design · 50% Programming languages and type systems · 50% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › logic programming
constraint hierarchy |
0.0 | 1 | 1987 | Constraint Hierarchies · OOPSLA 1987 |
Requirements engineering and software design
constraint satisfaction |
0.0 | 1 | 1987 | Constraint Hierarchies · OOPSLA 1987 |
Automated reasoning and model checking
constraint solving |
0.0 | 1 | 1987 | Constraint Hierarchies · OOPSLA 1987 |
Methods — techniques the papers use, named apart from their topics
constraint hierarchy solver · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1987 | Constraint HierarchiesabstractConstraints describe relations that must be maintained, and provide a useful tool for such applications as interactive simulations, algorithm animation, and graphical user interface construction. We describe a major overhaul and extension to the constraint satisfaction mechanism in ThingLab, a constraint-oriented simulation laboratory written in the Smalltalk-80 language. First, a specification is presented of constraint hierarchies. Such hierarchies include both required constraints and default constraints of differing strengths, thus adding considerable expressive power to the system. Second, an algorithm for satisfying constraint hierarchies is described. The new satisfier is substantially faster than the previous version, even though it also includes new functionality. Alan Borning, Robert Duisberg, Bjørn N. Freeman-Benson, Axel Kramer, Michael Woolf |
OOPSLA | 5 |