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.

Axel Kramer

dblp:80/3621 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Programming languages and type systems › logic programming
constraint hierarchy
0.011987
Constraint Hierarchies · OOPSLA 1987
Requirements engineering and software design
constraint satisfaction
0.011987
Constraint Hierarchies · OOPSLA 1987
Automated reasoning and model checking
constraint solving
0.011987
Constraint Hierarchies · OOPSLA 1987

Methods — techniques the papers use, named apart from their topics

constraint hierarchy solver · 0.0
YearPublicationVenuePosition
1994 Translucent Patches - Dissolving Windows
abstract
This 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 Technology1
1987 Constraint Hierarchies
abstract
Constraints 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
OOPSLA4