Mapping and parallel implementation of Bayesian belief networks. - Nina Saxena; Sudeep Sarkar; N. Ranganathan (SPDP, 1996)

To model check or not to model check. - Nina Saxena; Jason Baumgartner; Avijit Saha; Jacob A. Abraham (ICCD, 1998)

Causality based generation of directed test cases. - Nina Saxena; Jacob A. Abraham; Avijit Saha (ASP-DAC, 2000)