Tom Horak

21 papers A* 3B 3Misc 2Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2022 — conf
Explaining Hyperproperty Violations.
CAV (1)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Explaining Hyperproperty Violations.
CoRR
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
IEEE Trans. Vis. Comput. Graph.
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
2021 J jnl
Responsive Matrix Cells: A Focus+Context Approach for Exploring and Editing Multivariate Graphs.
IEEE Trans. Vis. Comput. Graph.
Tom Horak, Philip Berger, Heidrun Schumann, Raimund Dachselt, Christian Tominski
2021 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
CoRR
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
2021 — —
Visual Data Analysis in Device Ecologies.
Tom Horak
2020 J jnl
Responsive Matrix Cells: A Focus+Context Approach for Exploring and Editing Multivariate Graphs.
CoRR
Tom Horak, Philip Berger, Heidrun Schumann, Raimund Dachselt, Christian Tominski
2020 — conf
Towards Visualizing and Exploring Multivariate Networks on Mobile Devices.
ISS Companion
Tom Horak, Ricardo Langner, Raimund Dachselt
2020 A* conf
Watch+Strap: Extending Smartwatches with Interactive StrapDisplays.
CHI
Konstantin Klamka, Tom Horak, Raimund Dachselt
2019 — conf
Designing for Visual Data Exploration in Multi-Device Environments.
CHI Extended Abstracts
Tom Horak
2019 J jnl
InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics.
Comput. Graph. Forum
Andreas Mathisen, Tom Horak, Clemens Nylandsted Klokmose, Kaj Grønbæk, Niklas Elmqvist
2019 A* conf
Vistribute: Distributing Interactive Visualizations in Dynamic Multi-Device Setups.
CHI
Tom Horak, Andreas Mathisen, Clemens Nylandsted Klokmose, Raimund Dachselt, Niklas Elmqvist
2018 — conf
Demonstrating David Meets Goliath: Combining Smartwatches with a Large Vertical Display for Visual Data Exploration.
CHI Extended Abstracts
Tom Horak, Sriram Karthik Badam, Niklas Elmqvist, Raimund Dachselt
2018 B conf
Demonstrating vistiles: visual data exploration using mobile devices.
AVI
Ricardo Langner, Tom Horak, Raimund Dachselt
2018 Misc conf
Smartwatch-based Pointing Interaction.
MuC
Javid Abbasov, Tom Horak, Raimund Dachselt
2018 J jnl
VisTiles: Coordinating and Combining Co-located Mobile Devices for Visual Data Exploration.
IEEE Trans. Vis. Comput. Graph.
Ricardo Langner, Tom Horak, Raimund Dachselt
2018 A* conf
When David Meets Goliath: Combining Smartwatches with a Large Vertical Display for Visual Data Exploration.
CHI
Tom Horak, Sriram Karthik Badam, Niklas Elmqvist, Raimund Dachselt
2016 — ch.
Content Sharing Between Spatially-Aware Mobile Phones and Large Vertical Displays Supporting Collaborative Work.
Collaboration Meets Interactive Spaces
Ricardo Langner, Ulrich von Zadow, Tom Horak, Annett Mitschick, Raimund Dachselt
2016 Misc conf
Presenting Business Data: Challenges during Board Meetings in Multi-Display Environments.
ISS
Tom Horak, Ulrike Kister, Raimund Dachselt
2015 B conf
Towards a Fluid Interaction Concept Bringing Star Plots to Interactive Displays.
ITS
Ricardo Langner, Ulrike Kister, Christin Engel, Tom Horak, Raimund Dachselt
2014 B conf
Combining Timeline and Graph Visualization.
ITS
Robert Morawa, Tom Horak, Ulrike Kister, Annett Mitschick, Raimund Dachselt