Authors: Madria, SK Maheshwari, SN Chandra, B Bhargava, B

Citation: Sk. Madria et al., Formalization and proof of correctness of the crash recovery algorithm foran open and safe nested transaction model, INT J COOP, 10(1-2), 2001, pp. 1-50

Authors: Madria, SK Maheshwari, SN Chandra, B

Citation: Sk. Madria et al., Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata, DATA KN ENG, 37(2), 2001, pp. 139-176

Authors: Madria, SK Maheshwari, SN Chandra, B

Citation: Sk. Madria et al., Virtual partition algorithm in a nested transaction environment and its correctness, INF SCI, 137(1-4), 2001, pp. 211-244

Authors: Madria, SK Maheshwari, SN Chandra, B Bhargava, B

Citation: Sk. Madria et al., An open and safe nested transaction model: concurrency and recovery, J SYST SOFT, 55(2), 2000, pp. 151-165

Authors: Kapoor, S Maheshwari, SN

Citation: S. Kapoor et Sn. Maheshwari, Efficiently constructing the visibility graph of a simple polygon with obstacles, SIAM J COMP, 30(3), 2000, pp. 847-871