EDBT 2026 Demo / reviewers in the wild / expert
Axel Kramer
dblp:80/3621
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 1994
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1Human-computer interaction and ubiquitous computing · 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.
| Human-computer interaction and pervasive computing
1 paper |
User interface design and tools · 100% | |
| 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 4, 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 |
|---|---|---|---|
| 1994 | Translucent Patches - Dissolving WindowsabstractThis paper presents motivation, design, and algorithms for using and implementing translucent, non-rectangular patches as a substitute for rectangular opaque windows. The underlying metaphor is closer to a mix between the architects yellow paper and the usage of white boards, than to rectangular opaque paper in piles and folders on a desktop. Axel Kramer |
ACM Symposium on User Interface Software and Technology | 1 |
| 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 | 4 |