A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
Crossref DOI link: https://doi.org/10.1186/s12859-017-1662-4
Published Online: 2017-06-07
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Raj, Sunny
Hussain, Faraz
Husein, Zubir
Torosdagli, Neslisah
Turgut, Damla
Deo, Narsingh
Pattanaik, Sumanta
Chang, Chung-Che
Jha, Sumit Kumar