M. Paramasivam

Publication Activity (10 Years)

Years Active: 1997-2005
Publications (10 Years): 0

Publications

Xin Wang, Thomas DeMartini, B. Wragg, M. Paramasivam, C. Barlas
The MPEG-21 rights expression language and rights data dictionary. IEEE Trans. Multim. 7 (3) (2005)
M. Paramasivam, David A. Plaisted
Automated Deduction Techniques for Classification in Description Logic Systems. J. Autom. Reason. 20 (3) (1998)
Siddhartha Chatterjee, M. Paramasivam, William J. Yakowenko
Architecture for a Web-Accessible Simulation Environment. Computer 30 (6) (1997)
M. Paramasivam, David A. Plaisted
RRTP - A Replacement Rule Theorem Prover. J. Autom. Reason. 18 (2) (1997)