Visual Analysis of Hyperproperties for Understanding Model Checking Results.

Tom Horak https://dl.acm.org/profile/99658655442 https://orcid.org/0000-0003-2896-5886

Tom Horak Norine Coenen Niklas Metzger 0001 Christopher Hahn Tamara Flemisch Julián Méndez 0001 Dennis Dimov Bernd Finkbeiner Raimund Dachselt Visual Analysis of Hyperproperties for Understanding Model Checking Results. 357-367 2022 28 IEEE Trans. Vis. Comput. Graph. 1 https://doi.org/10.1109/TVCG.2021.3114866 db/journals/tvcg/tvcg28.html#HorakCMHFMDFD22

Norine Coenen Raimund Dachselt Bernd Finkbeiner Hadar Frenkel Christopher Hahn Tom Horak Niklas Metzger 0001 Julian Siber Explaining Hyperproperty Violations. 407-429 2022 CAV (1) https://doi.org/10.1007/978-3-031-13185-1_20 conf/cav/2022-1 db/conf/cav/cav2022-1.html#CoenenDFFHHMS22

Norine Coenen Raimund Dachselt Bernd Finkbeiner Hadar Frenkel Christopher Hahn Tom Horak Niklas Metzger 0001 Julian Siber Explaining Hyperproperty Violations. 2022 abs/2206.02074 CoRR https://doi.org/10.48550/arXiv.2206.02074 db/journals/corr/corr2206.html#abs-2206-02074

Tom Horak Visual Data Analysis in Device Ecologies. 2021 Dresden University of Technology, Germany https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-758986 https://d-nb.info/1240760892

Tom Horak Philip Berger Heidrun Schumann Raimund Dachselt Christian Tominski Responsive Matrix Cells: A Focus+Context Approach for Exploring and Editing Multivariate Graphs. 1644-1654 2021 27 IEEE Trans. Vis. Comput. Graph. 2 https://doi.org/10.1109/TVCG.2020.3030371 https://www.wikidata.org/entity/Q100732325 db/journals/tvcg/tvcg27.html#HorakBSDT21

Tom Horak Norine Coenen Niklas Metzger 0001 Christopher Hahn Tamara Flemisch Julián Méndez 0001 Dennis Dimov Bernd Finkbeiner Raimund Dachselt Visual Analysis of Hyperproperties for Understanding Model Checking Results. 2021 abs/2108.03698 CoRR https://arxiv.org/abs/2108.03698 db/journals/corr/corr2108.html#abs-2108-03698

Konstantin Klamka Tom Horak Raimund Dachselt Watch+Strap: Extending Smartwatches with Interactive StrapDisplays. 1-15 2020 CHI https://doi.org/10.1145/3313831.3376199 conf/chi/2020 db/conf/chi/chi2020.html#KlamkaHD20 Tom Horak Ricardo Langner Raimund Dachselt Towards Visualizing and Exploring Multivariate Networks on Mobile Devices. 5-8 2020 ISS Companion https://doi.org/10.1145/3380867.3426201 conf/tabletop/2020c db/conf/tabletop/iss2020c.html#HorakLD20

Tom Horak Philip Berger Heidrun Schumann Raimund Dachselt Christian Tominski Responsive Matrix Cells: A Focus+Context Approach for Exploring and Editing Multivariate Graphs. 2020 abs/2009.03385 CoRR https://arxiv.org/abs/2009.03385 db/journals/corr/corr2009.html#abs-2009-03385

Andreas Mathisen Tom Horak Clemens Nylandsted Klokmose Kaj Grønbæk Niklas Elmqvist InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics. 649-661 2019 38 Comput. Graph. Forum 3 https://doi.org/10.1111/cgf.13717 db/journals/cgf/cgf38.html#MathisenHKGE19

Tom Horak Designing for Visual Data Exploration in Multi-Device Environments. 2019 CHI Extended Abstracts https://doi.org/10.1145/3290607.3299086 conf/chi/2019a db/conf/chi/chi2019a.html#Horak19 Tom Horak Andreas Mathisen Clemens Nylandsted Klokmose Raimund Dachselt Niklas Elmqvist Vistribute: Distributing Interactive Visualizations in Dynamic Multi-Device Setups. 616 2019 CHI https://doi.org/10.1145/3290605.3300846 conf/chi/2019 db/conf/chi/chi2019.html#HorakMKDE19

Ricardo Langner Tom Horak Raimund Dachselt VisTiles: Coordinating and Combining Co-located Mobile Devices for Visual Data Exploration. 626-636 2018 24 IEEE Trans. Vis. Comput. Graph. 1 https://doi.org/10.1109/TVCG.2017.2744019 http://doi.ieeecomputersociety.org/10.1109/TVCG.2017.2744019 https://www.wikidata.org/entity/Q50230486 db/journals/tvcg/tvcg24.html#LangnerHD18

Ricardo Langner Tom Horak Raimund Dachselt Demonstrating vistiles: visual data exploration using mobile devices. 69:1-69:3 2018 AVI https://doi.org/10.1145/3206505.3206583 https://www.wikidata.org/entity/Q59559027 conf/avi/2018 db/conf/avi/avi2018.html#LangnerHD18 Tom Horak Sriram Karthik Badam Niklas Elmqvist Raimund Dachselt When David Meets Goliath: Combining Smartwatches with a Large Vertical Display for Visual Data Exploration. 19 2018 CHI https://doi.org/10.1145/3173574.3173593 https://www.wikidata.org/entity/Q59559034 conf/chi/2018 db/conf/chi/chi2018.html#HorakBED18 Tom Horak Sriram Karthik Badam Niklas Elmqvist Raimund Dachselt Demonstrating David Meets Goliath: Combining Smartwatches with a Large Vertical Display for Visual Data Exploration. 2018 CHI Extended Abstracts https://doi.org/10.1145/3170427.3186497 https://www.wikidata.org/entity/Q59559022 conf/chi/2018a db/conf/chi/chi2018a.html#HorakBED18a Javid Abbasov Tom Horak Raimund Dachselt Smartwatch-based Pointing Interaction. 2018 MuC https://doi.org/10.18420/muc2018-mci-0373 conf/mc/2018 db/conf/mc/mc2018.html#AbbasovHD18 Tom Horak Ulrike Kister Raimund Dachselt Presenting Business Data: Challenges during Board Meetings in Multi-Display Environments. 319-324 2016 ISS https://doi.org/10.1145/2992154.2996774 https://www.wikidata.org/entity/Q59559061 conf/tabletop/2016 db/conf/tabletop/iss2016.html#HorakKD16 Ricardo Langner Ulrich von Zadow Tom Horak Annett Mitschick Raimund Dachselt Content Sharing Between Spatially-Aware Mobile Phones and Large Vertical Displays Supporting Collaborative Work. 75-96 2016 Collaboration Meets Interactive Spaces https://doi.org/10.1007/978-3-319-45853-3_5 books/sp/ACJ2016 db/books/collections/ACJ2016.html#LangnerZHMD16 Ricardo Langner Ulrike Kister Christin Engel Tom Horak Raimund Dachselt Towards a Fluid Interaction Concept Bringing Star Plots to Interactive Displays. 349-354 2015 ITS https://doi.org/10.1145/2817721.2823505 https://www.wikidata.org/entity/Q59559073 conf/tabletop/2015 db/conf/tabletop/its2015.html#LangnerKEHD15 Robert Morawa Tom Horak Ulrike Kister Annett Mitschick Raimund Dachselt Combining Timeline and Graph Visualization. 345-350 2014 ITS https://doi.org/10.1145/2669485.2669544 https://www.wikidata.org/entity/Q29410191 conf/tabletop/2014 db/conf/tabletop/its2014.html#MorawaHKMD14 Javid Abbasov Sriram Karthik Badam Philip Berger Norine Coenen Raimund Dachselt Dennis Dimov Niklas Elmqvist Christin Engel Bernd Finkbeiner Tamara Flemisch Hadar Frenkel Kaj Grønbæk Christopher Hahn Ulrike Kister Konstantin Klamka Clemens Nylandsted Klokmose Ricardo Langner Andreas Mathisen Julián Méndez 0001 Niklas Metzger 0001 Annett Mitschick Robert Morawa Heidrun Schumann Julian Siber Christian Tominski Ulrich von Zadow