Keerthi S. Shetty

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Topics

Formal Verification

User Authentication

Structured Prediction

Bounded Model Checking

Top Venues

Comput. Biol. Chem.

J. Bioinform. Comput. Biol.

Publications

Keerthi S. Shetty, Annappa B.
Clumped-MCEM: Inference for multistep transcriptional processes. Comput. Biol. Chem. 81 (2019)
Keerthi S. Shetty, Annappa B.
Transcriptional processes: Models and inference. J. Bioinform. Comput. Biol. 16 (5) (2018)
Swaraj Bhat, Pradeep B. H., Keerthi S. Shetty, Sanjay Singh
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol CoRR (2012)
Keerthi S. Shetty, Sanjay Singh
Cloud Based Application Development for Accessing Restaurant Information on Mobile Device using LBS CoRR (2011)