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
Related publications
Automatically Proving Program Termination
FlowCal: A User-Friendly, Open Source Software Tool for Automatically Converting Flow Cytometry Data From Arbitrary to Calibrated Units
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Data S15: Flow Cytometry Raw Data
Data Analysis in Flow Cytometry
Türk Mikrobiyoloji Cemiyeti Dergisi
Cryptographically Sound Theorem Proving
PolarFCS: A Multi-Parametric Data Visualisation Aid for Flow Cytometry Assessment
EMBnet.journal
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
The Complexity of Theorem-Proving Procedures
