Architecture for a Web-Accessible Simulation Environment. - Siddhartha Chatterjee; M. Paramasivam; William J. Yakowenko (Computer, 1997)

RRTP - A Replacement Rule Theorem Prover. - M. Paramasivam; David A. Plaisted (J. Autom. Reason., 1997)

Automated Deduction Techniques for Classification in Description Logic Systems. - M. Paramasivam; David A. Plaisted (J. Autom. Reason., 1998)

The MPEG-21 rights expression language and rights data dictionary. - Xin Wang; Thomas DeMartini; B. Wragg; M. Paramasivam; C. Barlas (IEEE Trans. Multim., 2005)