Nina Saxena

According to our database, Nina Saxena authored at least 3 papers between 1996 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Causality based generation of directed test cases.

Nina Saxena, Jacob A. Abraham, Avijit Saha

Proceedings of ASP-DAC 2000, 2000

1998

To model check or not to model check.

Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

1996

Mapping and parallel implementation of Bayesian belief networks.

Nina Saxena, Sudeep Sarkar, N. Ranganathan

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996