Author of the publication

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

, , , , , , , , and . BMC Bioinform., 18 (8): 245:1-245:11 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hazard Detection in Supermarkets using Deep Learning on the Edge., , , , and . CoRR, (2020)Automated parameter estimation for biological models using Bayesian statistical model checking., , , , , and . BMC Bioinform., 16 (S17): S8 (December 2015)FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints., , , and . OpML, USENIX Association, (2020)Machine Learning at the Network Edge: A Survey., , , , , and . ACM Comput. Surv., 54 (8): 170:1-170:37 (2022)A Novel Approach to Clustering Accelerometer Data for Application in Passive Predictions of Changes in Depression Severity., , , , , , , , , and 1 other author(s). Sensors, 23 (3): 1585 (February 2023)Fast Resilient-Aware Data Layout Organization for Resistive Computing Systems., , , and . ISVLSI, page 72-77. IEEE, (2020)Parameter discovery for stochastic computational models in systems biology using Bayesian model checking., , , , , and . ICCABS, page 1-2. IEEE Computer Society, (2014)SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures., , , , , , and . ICCABS, page 1. IEEE Computer Society, (2015)Blockchain-Based Software Process Improvement (BBSPI): An Approach for SMEs to Perform Process Improvement., , , , , and . IEEE Access, (2021)Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data., , , and . ICCABS, page 1-6. IEEE Computer Society, (2014)