Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sumanta Pattanaik
A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Temporal Radiance Caching
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
