Babita Sharma

According to our database, Babita Sharma authored at least 5 papers between 2002 and 2008.

Collaborative distances:

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

2008

Structure and Mechanism of a Transmission Blocking Vaccine Candidate Protein Pfs25 from P. falciparum: A Molecular Modeling and Docking Study.

Babita Sharma

Silico Biol., 2008

2007

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2007

Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.

Franck van Breugel, Babita Sharma, James Worrell

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2005

Bounded Validity Checking of Interval Duration Logic.

Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2002

Assertion Checking Environment (ACE) for Formal Verification of C Programs.

Babita Sharma, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2002