Sotabase

Career

· PhD in Computer Science, University of California, Berkeley2020–

Publications (31)

DNA topoisomerase I and DNA gyrase as targets for TB therapy.
Drug Discovery Today · 2017
95
cited
Targeting Mycobacterium tuberculosis Topoisomerase I by Small-Molecule Inhibitors
Antimicrobial Agents and Chemotherapy · 2014
56
cited
Conditional silencing of topoisomerase I gene of Mycobacterium tuberculosis validates its essentiality for cell survival.
FEMS Microbiology Letters · 2014
54
cited
Inhibition of Mycobacterium tuberculosis topoisomerase I by m-AMSA, a eukaryotic type II topoisomerase poison.
Biochemical and Biophysical Research Communications - BBRC · 2014
36
cited
Lead selection and characterization of antitubercular compounds using the Nested Chemical Library.
Tuberculosis · 2015
30
cited
Stress-responsive and metabolic gene regulation are altered in low S-adenosylmethionine
bioRxiv · 2018
30
cited
Type IA topoisomerase inhibition by clamp closure
The FASEB Journal · 2013
29
cited
Characterization of DNA topoisomerase I from Mycobacterium tuberculosis: DNA cleavage and religation properties and inhibition of its activity.
Archives of Biochemistry and Biophysics · 2012
27
cited
Machine learning and docking models for Mycobacterium tuberculosis topoisomerase I.
Tuberculosis · 2017
25
cited
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
arXiv.org · 2024
25
cited
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
International Conference on Computer Aided Verification · 2022
14
cited
The EU approved antimalarial pyronaridine shows antitubercular activity and synergy with rifampicin, targeting RNA polymerase.
Tuberculosis · 2018
13
cited
Specific detection of the cleavage activity of mycobacterial enzymes using a quantum dot based DNA nanosensor.
Nanoscale · 2016
11
cited
A new DNA sensor system for specific and quantitative detection of mycobacteria.
Nanoscale · 2019
9
cited
An India-specific Compartmental Model for Covid-19: Projections and Intervention Strategies by Incorporating Geographical, Infrastructural and Response Heterogeneity
2020
9
cited
S-adenosylmethionine synthases specify distinct H3K4me3 populations and gene expression patterns during heat stress
bioRxiv · 2023
9
cited
Parameterized Verification under Release Acquire is PSPACE-complete
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 2022
6
cited
Automated Conversion of Axiomatic to Operational Models: Theory and Practice
Formal Methods in Computer-Aided Design · 2022
5
cited
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency
International Conference on Architectural Support for Programming Languages and Operating Systems · 2023
4
cited
Lifting Micro-Update Models from RTL for Formal Security Analysis
International Conference on Architectural Support for Programming Languages and Operating Systems · 2024
2
cited
Sotabase
Adwait Godbole | Researcher Profile | Sotabase | Sotabase