A theorem proving approach for automatically synthesizing visualizations of flow cytometry data

by Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, Sumanta Pattanaik, Chung-Che (Jeff) Chang, Sumit Kumar Jha
Published 2017-06-01