In the past few years, large high-resolution displays (LHRDs) have attra...
We developed and validated a rating scale to assess the aesthetic pleasu...
The ability to read, understand, and comprehend visual information
repre...
Hyperproperties relate multiple computation traces to each other. Model
...
Explanations for description logic (DL) entailments provide important su...
Besides the ability to utilize visualizations, the process of creating a...
Model checkers provide algorithms for proving that a mathematical model ...
The research field of augmented reality (AR) is of increasing popularity...
Matrix visualizations are a useful tool to provide a general overview of...
In this work we propose the combination of large interactive displays wi...
We present Bionic Tracking, a novel method for solving biological cell
t...
As computer simulations progress to increasingly complex, non-linear, an...
Visualizing gaze data is an effective way for the quick interpretation o...