Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Jeff Chang, Sumit Kumar Jha 0001. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. BMC Bioinformatics, 18(8), 2017. [doi]
Abstract is missing.