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]
@article{RajHHTTDPCJ17,
title = {A theorem proving approach for automatically synthesizing visualizations of flow cytometry data},
author = {Sunny Raj and Faraz Hussain and Zubir Husein and Neslisah Torosdagli and Damla Turgut and Narsingh Deo and Sumanta N. Pattanaik and Chung-Che Jeff Chang and Sumit Kumar Jha 0001},
year = {2017},
doi = {10.1186/s12859-017-1662-4},
url = {https://doi.org/10.1186/s12859-017-1662-4},
researchr = {https://researchr.org/publication/RajHHTTDPCJ17},
cites = {0},
citedby = {0},
journal = {BMC Bioinformatics},
volume = {18},
number = {8},
}