S. Rajan

According to our database, S. Rajan authored at least 5 papers between 1994 and 2010.

Collaborative distances:

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

2010

How not to share a set of secrets

K. R. Sahasranand, Nithin Nagaraj, S. Rajan

CoRR, 2010

1996

PVS: Combining Specification, Proof Checking, and Model Checking.

Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

A Formal Basis for Structured Multimedia Collaborations.

S. Rajan, P. Venkat Rangan, Harrick M. Vin

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995

An Integration of Model Checking with Automated Proof Checking.

S. Rajan, Natarajan Shankar, Mandayam K. Srivas

Proceedings of the Computer Aided Verification, 1995

1994

Effective Theorem Proving for Hardware Verification.

David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas

Proceedings of the Theorem Provers in Circuit Design, 1994