4 citations · 5 across the 5 of their papers we have counts for
9 papers
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +3
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ont…
A Visualization Authoring Model for Post-WIMP Interfaces
Marc Satkowski, Weizhou Luo, Raimund Dachselt
Besides the ability to utilize visualizations, the process of creating and authoring them is of equal importance. However, for visualization environments beyond the desktop, like m…
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Tom Horak, Norine Coenen, Niklas Metzger +6
Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneo…
Experiences with User Studies in Augmented Reality
Marc Satkowski, Wolfgang Büschel, Raimund Dachselt
The research field of augmented reality (AR) is of increasing popularity, as seen, among others, in several recently published surveys. To produce further advancements in AR, it is…
Personal Augmented Reality for Information Visualization on Large Interactive Displays
Patrick Reipschläger, Tamara Flemisch, Raimund Dachselt
In this work we propose the combination of large interactive displays with personal head-mounted Augmented Reality (AR) for information visualization to facilitate data exploration…
Responsive Matrix Cells: A Focus+Context Approach for Exploring and Editing Multivariate Graphs
Tom Horak, Philip Berger, Heidrun Schumann +2
Matrix visualizations are a useful tool to provide a general overview of a graph's structure. For multivariate graphs, a remaining challenge is to cope with the attributes that are…