Dr.-Ing. Tom Horak

@inproceedings{coenen2022hyperproperty,
   author = {Norine Coenen and Raimund Dachselt and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Tom Horak and Niklas Metzger and Julian Siber},
   title = {Explaining Hyperproperty Violations},
   booktitle = {34th International Conference on Computer Aided Verification},
   series = {CAV 22},
   year = {2022},
   month = {8},
   location = {Haifa, Israel},
   doi = {10.1007/978-3-031-13185-1_20}
}

@inbook{blaschek2021,
   author = {Tanja Blaschek and Frank Bentley and Eun Kyoung Choe and Tom Horak and Petra Isenberg},
   editor = {Bongshin Lee and Raimund Dachselt and Petra Isenberg and Eun Kyoung Choe},
   title = {Characterizing Glanceable Visualizations: From Perception to Behavior Change},
   booktitle = {Mobile Data Visualization},
   year = {2021},
   pages = {151--176},
   doi = {10.1201/9781003090823-5},
   publisher = {Chapman and Hall/CRC}
}

@inbook{horak2021,
   author = {Tom Horak and Wolfgang Aigner and Matthew Brehmer and Alark Joshi and Christian Tominski},
   editor = {Bongshin Lee and Raimund Dachselt and Petra Isenberg and Eun Kyoung Choe},
   title = {Responsive Visualization Design for Mobile Devices},
   booktitle = {Mobile Data Visualization},
   year = {2021},
   pages = {33--66},
   doi = {10.1201/9781003090823-2},
   publisher = {Chapman and Hall/CRC}
}

@article{Horak2021VisualAnalysisHyperproperties,
   author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli\'{a}n M\'{e}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt},
   title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results},
   journal = {IEEE Transactions on Visualization and Computer Graphics},
   year = {2022},
   month = {10},
   location = {Virtual Event},
   doi = {10.1109/TVCG.2021.3114866},
   publisher = {IEEE}
}

@phdthesis{fixme,
   author = {Tom Horak},
   title = {Visual Data Analysis in Device Ecologies},
   year = {2021},
   month = {7},
   location = {Dresden},
   numpages = {283},
   url = {https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-758986},
   publisher = {Qucosa - Technische Universit\"{a}t Dresden}
}

@inproceedings{Horak2020MultivariateNetworksMobile,
   author = {Tom Horak and Ricardo Langner and Raimund Dachselt},
   title = {Towards Visualizing and Exploring Multivariate Networks on Mobile Devices},
   booktitle = {Companion Proceedings of the 2020 Conference on Interactive Surfaces and Spaces},
   series = {ISS '20 Companion},
   year = {2020},
   month = {11},
   location = {Virtual Event, Portugal},
   pages = {5--8},
   doi = {10.1145/3380867.3426201},
   publisher = {ACM},
   address = {New York, NY, USA}
}

@article{Horak2020ResponsiveMatrixCells,
   author = {Tom Horak and Philip Berger and Heidrun Schumann and Raimund Dachselt and Christian Tominski},
   title = {Responsive Matrix Cells: A Focus+Context Approach for Exploring and Editing Multivariate Graphs},
   journal = {IEEE Transactions on Visualization and Computer Graphics},
   issue = {27},
   number = {2},
   year = {2021},
   month = {2},
   location = {Salt Lake City, UT, USA},
   pages = {1644--1654},
   doi = {10.1109/TVCG.2020.3030371},
   publisher = {IEEE}
}

@inproceedings{Klamka2020,
   author = {Konstantin Klamka and Tom Horak and Raimund Dachselt},
   title = {Watch+Strap: Extending Smartwatches with Interactive StrapDisplays},
   booktitle = {Proceedings of the CHI Conference on Human Factors in Computing Systems},
   year = {2020},
   month = {4},
   location = {Honolulu, Hawaii, USA},
   pages = {72:1--72:15},
   doi = {10.1145/3313831.3376199},
   publisher = {ACM}
}

@article{Mathisen:2019,
   author = {Andreas Mathisen and Tom Horak and Clemens N. Klokmose and Kaj Grønbæk and Niklas Elmqvist},
   title = {InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics},
   journal = {Computer Graphics Forum},
   volume = {38},
   issue = {3},
   year = {2019},
   month = {6},
   location = {Porto, Portugal},
   pages = {649--661},
   doi = {10.1111/cgf.13717},
   publisher = {Wiley Online Library}
}

@inproceedings{Horak2019,
   author = {Tom Horak and Andreas Mathisen and Clemens N. Klokmose and Raimund Dachselt and Niklas Elmqvist},
   title = {Vistribute: Distributing Interactive Visualizations in Dynamic Multi-Device Setups},
   booktitle = {Proceedings of the CHI Conference on Human Factors in Computing Systems},
   year = {2019},
   month = {5},
   location = {Glasgow, Scotland, UK},
   pages = {616:--616:13},
   doi = {10.1145/3290605.3300846},
   publisher = {ACM}
}

@inproceedings{fixme,
   author = {Tom Horak},
   title = {Designing for Visual Data Exploration in Multi-Device Environments},
   booktitle = {Extended Abstracts of the CHI Conference on Human Factors in Computing Systems},
   year = {2019},
   month = {5},
   location = {Glasgow, UK, Scotland},
   pages = {DC11:1--DC11:6},
   doi = {10.1145/3290607.3299086},
   publisher = {ACM},
   address = {New York, NY, USA}
}

@inproceedings{fixme,
   author = {Tom Horak and Ulrike Kister and Raimund Dachselt},
   title = {Comparing Rendering Performance of Common Web Technologies for Large Graphs},
   booktitle = {Poster Program of the 2018 IEEE VIS Conference},
   year = {2018},
   month = {10},
   location = {Berlin, Germany},
   numpages = {2}
}

@inproceedings{fixme,
   author = {Javid Abbasov and Tom Horak and Raimund Dachselt},
   title = {Smartwatch-based Pointing Interaction},
   booktitle = {Mensch und Computer 2018 - Tagungsband},
   year = {2018},
   month = {9},
   location = {Dresden, Germany},
   pages = {261--265},
   doi = {10.18420/muc2018-mci-0373},
   publisher = {Gesellschaft f\"{u}r Informatik e.V.}
}

@inproceedings{fixme,
   author = {Ricardo Langner and Tom Horak and Raimund Dachselt},
   title = {Demonstrating VisTiles: Visual Data Exploration Using Mobile Devices},
   booktitle = {Proceedings of the 2018 International Conference on Advanced Visual Interfaces},
   series = {AVI '18},
   year = {2018},
   month = {5},
   isbn = {978-1-4503-5616-9},
   location = {Castiglione della Pescaia, Grosseto, Italy},
   pages = {69:1--69:3},
   numpages = {3},
   doi = {10.1145/3206505.3206583},
   url = {http://doi.org/10.1145/3206505.3206583},
   acmid = {3206583},
   publisher = {ACM},
   address = {New York, NY, USA}
}

@inproceedings{Horak2018,
   author = {Tom Horak and Sriram Karthik Badam and Niklas Elmqvist and Raimund Dachselt},
   title = {When David Meets Goliath: Combining Smartwatches with a Large Vertical Display for Visual Data Exploration},
   booktitle = {Proceedings of the CHI Conference on Human Factors in Computing Systems},
   year = {2018},
   month = {4},
   location = {Montreal, QC, Canada},
   pages = {19:1--19:13},
   doi = {10.1145/3173574.3173593},
   url = {https://doi.org/10.1145/3173574.3173593},
   publisher = {ACM}
}

@inproceedings{Horak2018a,
   author = {Tom Horak and Sriram Karthik Badam and Niklas Elmqvist and Raimund Dachselt},
   title = {Demonstrating David Meets Goliath: Combining Smartwatches with a Large Vertical Display for Visual Data Exploration},
   booktitle = {Extended Abstracts of the CHI Conference on Human Factors in Computing Systems},
   series = {CHI EA '18},
   year = {2018},
   month = {4},
   location = {Montreal, QC, Canada},
   pages = {D414:1--D414:4},
   doi = {10.1145/3170427.3186497},
   url = {https://doi.org/10.1145/3170427.3186497},
   publisher = {ACM}
}

@inproceedings{Horak2018b,
   author = {Tom Horak and Raimund Dachselt},
   title = {Hierarchical Graphs on Mobile Devices: A Lane-based Approach},
   booktitle = {Proceedings of the CHI 2018 Workshop on Data Visualization on Mobile Devices},
   series = {MobileVis '18},
   year = {2018},
   month = {4},
   location = {Montreal, QC, Canada},
   numpages = {7}
}

@article{Langner:2018aa,
   author = {Ricardo Langner and Tom Horak and Raimund Dachselt},
   title = {VisTiles: Coordinating and Combining Co-located Mobile Devices for Visual Data Exploration},
   journal = {IEEE Transactions on Visualization and Computer Graphics},
   volume = {24},
   issue = {1},
   year = {2018},
   month = {1},
   location = {Phoenix, Arizona USA},
   pages = {626--636},
   numpages = {11},
   doi = {10.1109/TVCG.2017.2744019},
   url = {http://dx.doi.org/10.1109/TVCG.2017.2744019},
   publisher = {IEEE},
   keywords = {collaboration, data visualization, mobile communication, prototypes, smart phones, visualization, mobile devices, coordinated \& multiple views, cross-device interaction, multi-display environment}
}

@inproceedings{fixme,
   author = {Tom Horak and Ulrike Kister and Raimund Dachselt},
   title = {Improving Value Driver Trees to Enhance Business Data Analysis},
   booktitle = {Poster Program of the 2017 IEEE VIS Conference},
   year = {2017},
   month = {10},
   location = {Phoenix, Arizona, USA},
   numpages = {2}
}

@inbook{fixme,
   author = {Ricardo Langner and Ulrich von Zadow and Tom Horak and Annett Mitschick and Raimund Dachselt},
   editor = {Craig Anslow and Pedro Campos and Joaquim Jorge},
   title = {Content Sharing Between Spatially-Aware Mobile Phones and Large Vertical Displays Supporting Collaborative Work},
   booktitle = {Collaboration Meets Interactive Spaces},
   year = {2016},
   month = {12},
   isbn = {978-3-319-45852-6},
   pages = {75--96},
   numpages = {22},
   doi = {10.1007/978-3-319-45853-3_5},
   url = {http://dx.doi.org/10.1007/978-3-319-45853-3_5},
   publisher = {Springer International Publishing}
}

@inproceedings{fixme,
   author = {Tom Horak and Ulrike Kister and Raimund Dachselt},
   title = {Presenting Business Data: Challenges during Board Meetings in Multi-Display Environments},
   booktitle = {Proceedings of the 2016 ACM International Conference on Interactive Surfaces and Spaces},
   year = {2016},
   month = {11},
   isbn = {978-1-4503-4248-3},
   location = {Niagara Falls, ON, Canada},
   pages = {319--324},
   numpages = {6},
   doi = {10.1145/2992154.2996774},
   url = {http://doi.acm.org/10.1145/2992154.2996774},
   acmid = {2996774},
   publisher = {ACM},
   address = {New York, NY, USA},
   keywords = {business data, multi-display environments, presentation}
}

@inproceedings{fixme,
   author = {Tom Horak and Ulrich von Zadow and Matthias Kalms and Raimund Dachselt},
   title = {Discussing the State of the Art for “in the wild” Mobile Device Localization},
   booktitle = {ISS 2016 Workshop on Interacting with Multi-Device Ecologies "'in the wild"'},
   year = {2016},
   month = {11},
   location = {Niagara Falls, ON, Canada},
   numpages = {7}
}

@inproceedings{fixme,
   author = {Ricardo Langner and Tom Horak and Raimund Dachselt},
   title = {Towards Combining Mobile Devices for Visual Data Exploration},
   booktitle = {Poster Program of the 2016 IEEE Conference on Information Visualization (InfoVis)},
   year = {2016},
   month = {10},
   location = {Baltimore, MD, USA},
   numpages = {2}
}

@inproceedings{fixme,
   author = {Tom Horak and Ulrike Kister and Konstantin Klamka and Ricardo Langner and Raimund Dachselt},
   title = {Logging in Visualizations: Challenges of Interaction Techniques Beyond Mouse and Keyboard},
   booktitle = {Proceedings of the IEEE VIS 2016 Workshop on Logging Interactive Visualizations \& Visualizing Interaction Logs (LIVVIL)},
   year = {2016},
   month = {10},
   location = {Baltimore, MD, USA},
   numpages = {2}
}

@article{fixme,
   author = {Wolfgang B\"{u}schel and Ricardo Langner and Ulrich von Zadow and Tom Horak and Raimund Dachselt},
   title = {Towards Cross-Surface Content Sharing Between Mobile Devices and Large Displays in the Wild},
   booktitle = {CHI 2016 Workshop on Interacting with Multi-Device Ecologies "'in the Wild"'},
   year = {2016},
   month = {5},
   location = {San Jose, CA, USA},
   numpages = {5}
}

@inproceedings{fixme,
   author = {Ricardo Langner and Ulrike Kister and Christin Engel and Tom Horak and Raimund Dachselt},
   title = {Towards a Fluid Interaction Concept Bringing Star Plots to Interactive Displays},
   booktitle = {Proceedings of the 2015 ACM International Conference on Interactive Tabletops and Surfaces},
   year = {2015},
   month = {11},
   isbn = {978-1-4503-3899-8},
   location = {Funchal/Madeira, Portugal},
   pages = {349--354},
   numpages = {6},
   doi = {10.1145/2817721.2823505},
   url = {http://dx.doi.org/10.1145/2817721.2823505},
   acmid = {2823505},
   publisher = {ACM},
   address = {New York, NY, USA},
   keywords = {Information visualization; Star plots; Multi-touch; Fluid interaction}
}

@inproceedings{fixme,
   author = {Ricardo Langner and Tom Horak and Raimund Dachselt},
   title = {Information Visualizations with Mobile Devices: Three Promising Aspects},
   booktitle = {Proceedings of the Workshop on Data Exploration for Interactive Surfaces (DEXIS 2015)},
   year = {2015},
   month = {11},
   location = {Funchal/Madeira, Portugal},
   pages = {20--23},
   numpages = {4},
   keywords = {Information visualization; Mobile devices; Multi-touch interaction; Spatial input; Spatial arrangement}
}

@inproceedings{morawa-14-ITS,
   author = {Robert Morawa and Tom Horak and Ulrike Kister and Annett Mitschick and Raimund Dachselt},
   title = {Combining Timeline and Graph Visualization},
   booktitle = {Proceedings of the 2014 ACM International Conference on Interactive Tabletops and Surfaces},
   year = {2014},
   month = {11},
   isbn = {978-1-4503-2587-5},
   location = {Dresden, Germany},
   pages = {345--350 },
   numpages = {4},
   doi = {10.1145/2669485.2669544},
   url = {http://dx.doi.org/10.1145/2669485.2669544},
   acmid = {2669544},
   publisher = {ACM},
   address = {New York, NY, USA},
   keywords = {time-visualization, information visualization, semantic data}
}