EVM: Incorporating Model Checking into Exploratory Visual Analysis

EVM: Incorporating Model Checking into Exploratory Visual Analysis

24 August 2023

Ziyang Guo

Jeffrey Heer

Jessica Hullman

Papers citing "EVM: Incorporating Model Checking into Exploratory Visual Analysis"

8 / 8 papers shown

Title
Interaction Techniques for User-friendly Interfaces for Gate-based Quantum Computing Hyeok Kim Kaitlin N. Smith 26 0 0 24 Sep 2024
Charting EDA: Characterizing Interactive Visualization Use in Computational Notebooks with a Mixed-Methods Formalism Dylan Wootton Amy Rae Fox Evan Peck Arvind Satyanarayan 34 3 0 16 Sep 2024
Beyond Correlation: Incorporating Counterfactual Guidance to Better Support Exploratory Visual Analysis Arran Zeyu Wang D. Borland David Gotz CML 51 2 0 28 Aug 2024
Mixing Linters with GUIs: A Color Palette Design Probe Andrew M. McNutt Maureen C. Stone Jeffrey Heer 42 1 0 31 Jul 2024
"It's a Good Idea to Put It Into Words": Writing `Rudders' in the Initial Stages of Visualization Design Chase Stokes Clara Hu Marti A. Hearst 50 1 0 22 Jul 2024
The Rational Agent Benchmark for Data Visualization Yifan Wu Ziyang Guo Michail Mamakos Jason D. Hartline Jessica Hullman 32 12 0 07 Apr 2023
DeforestVis: Behavior Analysis of Machine Learning Models with Surrogate Decision Stumps Angelos Chatzimparmpas Rafael M. Martins A. Telea Andreas Kerren 37 2 0 31 Mar 2023
Integrated Visualization Editing via Parameterized Declarative Templates A. Mcnutt Ravi Chugh 46 40 0 19 Jan 2021