QMine: A Framework for Mining Quantitative Regular Expressions from System Traces. - Pradeep K. Mahato; Apurva Narayan (QRS Companion, 2020)

Robust Supply Chains with Gradient Boosted Trees. - Pradeep K. Mahato; Apurva Narayan (SSCI, 2020)

MINTS: Unsupervised Temporal Specifications Miner. - Pradeep K. Mahato; Apurva Narayan (QRS, 2021)