Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Faraz Hussain
A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
