Login / Signup
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
CoRR
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)