No photo of Mahadevan Subramaniam

Mahadevan Subramaniam, PhD

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1994 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2004

    An approach to preserve protocol consistency and executability across updates

    Subramaniam, M. & Chundi, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer Verlag, p. 341-356 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2003

    Automatic generation of simple lemmas from recursive definitions using decision procedures - Preliminary report

    Kapur, D. & Subramaniam, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Saraswat, V. A. (ed.). Springer Verlag, p. 125-145 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2896).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.