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

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]

Authors

Sunny Raj

This author has not been identified. Look up 'Sunny Raj' in Google

Faraz Hussain

This author has not been identified. It may be one of the following persons: Look up 'Faraz Hussain' in Google

Zubir Husein

This author has not been identified. Look up 'Zubir Husein' in Google

Neslisah Torosdagli

This author has not been identified. Look up 'Neslisah Torosdagli' in Google

Damla Turgut

This author has not been identified. Look up 'Damla Turgut' in Google

Narsingh Deo

This author has not been identified. Look up 'Narsingh Deo' in Google

Sumanta N. Pattanaik

This author has not been identified. Look up 'Sumanta N. Pattanaik' in Google

Chung-Che Jeff Chang

This author has not been identified. Look up 'Chung-Che Jeff Chang' in Google

Sumit Kumar Jha 0001

This author has not been identified. Look up 'Sumit Kumar Jha 0001' in Google