S. Rajan

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

K. R. Sahasranand, Nithin Nagaraj, S. Rajan
How not to share a set of secrets CoRR (2010)
Anjana Punchihewa, Octavia A. Dobre, Q. Zhang, S. Rajan, Robert J. Inkol
The nth-order cyclostationarity of OFDM signals in time dispersive channels. ACSCC (2008)
Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
PVS: Combining Specification, Proof Checking, and Model Checking. CAV (1996)
S. Rajan, Natarajan Shankar, Mandayam K. Srivas
An Integration of Model Checking with Automated Proof Checking. CAV (1995)
S. Rajan, P. Venkat Rangan, Harrick M. Vin
A Formal Basis for Structured Multimedia Collaborations. ICMCS (1995)
David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
Effective Theorem Proving for Hardware Verification. TPCD (1994)