Sneha Sahu

Verifying UML-RT Model of a Conveyor Belt System with nuXmv Model Checker

R. Schorr, Duy Hieu Vo, Minh Gia Huy Cao, 2022 .

Biocompatible nanoparticles for sustained topical delivery of anticancer phytoconstituent quercetin.

S. Saraf, C. D. Kaur, S. Saraf, 2013, Pakistan journal of biological sciences : PJBS.

Comparative measurement of hydration effects of herbal moisturizers

S. Saraf, C. D. Kaur, S. Saraf, 2010, Pharmacognosy research.

Model Translation from Papyrus-RT into the nuXmv Model Checker

Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, 2020, SEFM.

Thermal Sensitivity of the Enzymatic Activity of β-Glucosidase: Simulations Lend Mechanistic Insights into Experimental Observations.

Neelanjana Sengupta, Supratim Datta, S. K. Sinha, 2023, Biochemistry.