Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sumit Kumar Jha
A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
