Verfasser Suchresultate

1

Visual Analysis of Hyperproperties for Understanding Model Checking Results

von Horak, Tom
Veröffentlicht in: IEEE transactions on visualization and computer graphics (2022)

Online-Aufsatz

Auf die Merkliste Aus der Merkliste entfernen
2

Responsive Matrix Cells A Focus+Context Approach for Exploring and Editing Multivariate Graphs

von Horak, Tom
Veröffentlicht in: IEEE transactions on visualization and computer graphics (2021)

Online-Aufsatz

Auf die Merkliste Aus der Merkliste entfernen
3

VISTILES Coordinating and Combining Co-located Mobile Devices for Visual Data Exploration

von Langner, Ricardo
Veröffentlicht in: IEEE transactions on visualization and computer graphics (2018)
Weitere Verfasser: “...Horak, Tom...”

Online-Aufsatz

Auf die Merkliste Aus der Merkliste entfernen