Subodh Sharma

Available identifiers

zbMath Open sharma.subodh-kMaRDI QIDQ2024364

List of research outcomes

Publication	Date of Publication	Type
Thread-modular analysis of release-acquire concurrency	2022-06-17	Paper
Dynamic symbolic verification of MPI programs	2021-05-04	Paper
Unfolding-based Partial Order Reduction	2017-09-12	Paper
A sound reduction of persistent-sets for deadlock detection in MPI applications	2012-11-06	Paper
On the validity of Rayleigh–Gans–Debye type approximations in red blood cell size determination	2008-06-20	Paper
On the validity of some new acoustic scattering approximations	2005-07-26	Paper

Research outcomes over time

This page was built for person: Subodh Sharma