139 citations · 221 across the 14 of their papers we have counts for
3 papers · 1 filter
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…