EVM: Incorporating Model Checking into Exploratory Visual Analysis

Alex Kale, Ziyang Guo, Xiaoli Qiao, Jeffrey Heer, Jessica Hullman. EVM: Incorporating Model Checking into Exploratory Visual Analysis. IEEE Trans. Vis. Comput. Graph., 30(1):208-218, January 2024. [doi]

Authors

Alex Kale

This author has not been identified. Look up 'Alex Kale' in Google

Ziyang Guo

This author has not been identified. Look up 'Ziyang Guo' in Google

Xiaoli Qiao

This author has not been identified. Look up 'Xiaoli Qiao' in Google

Jeffrey Heer

This author has not been identified. Look up 'Jeffrey Heer' in Google

Jessica Hullman

This author has not been identified. Look up 'Jessica Hullman' in Google