Mahadevan Subramaniam, PhD

Professor

  • 299 Citations
  • 10 h-Index
19942019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1994 2019

  • 299 Citations
  • 10 h-Index
  • 39 Conference contribution
  • 13 Article
  • 2 Paper
  • 1 Conference article
Filter
Article
2016
2 Citations (Scopus)

Improving efficiency of quantum key distribution with probabilistic measurements

Parakh, A., Verma, P. & Subramaniam, M., 2016, In : International Journal of Security and Networks. 11, 1-2, p. 37-47 11 p.

Research output: Contribution to journalArticle

Quantum cryptography
Quantum entanglement
Statistical Models
2015

An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients

Subramaniam, M. & Chundi, P., Aug 1 2015, In : International Journal of Software Engineering and Knowledge Engineering. 25, 6, p. 1033-1052 20 p.

Research output: Contribution to journalArticle

Utility programs
Testing
2014
1 Citation (Scopus)

Model-based test generation using extended symbolic grammars

Guo, H. F. & Subramaniam, M., Jan 1 2014, In : International Journal on Software Tools for Technology Transfer. 16, 4, p. 437-455 19 p.

Research output: Contribution to journalArticle

Software testing
Model checking
Simulators
Testing
2013
14 Citations (Scopus)
Engineering education
Education
Students
Construction engineering
Simulation
2011
34 Citations (Scopus)

A framework for Virtual Interactive Construction Education (VICE)

Goedert, J. D., Cho, Y., Subramaniam, M., Guo, H. & Xiao, L., Jan 1 2011, In : Automation in Construction. 20, 1, p. 76-87 12 p.

Research output: Contribution to journalArticle

Education
Personnel
Construction industry
Semantic Web
Virtual reality
2009
8 Citations (Scopus)

An approach for temporal analysis of email data based on segmentation

Chundi, P., Subramaniam, M. & Vasireddy, D. K., Nov 1 2009, In : Data and Knowledge Engineering. 68, 11, p. 1253-1270 18 p.

Research output: Contribution to journalArticle

Electronic mail
Segmentation
Communication
Enron
Social networks
2008
5 Citations (Scopus)

A segmentation-based approach for temporal analysis of software version repositories

Siy, H. P., Chundi, P., Rosenkrantz, D. J. & Subramaniam, M., May 1 2008, In : Journal of Software Maintenance and Evolution. 20, 3, p. 199-222 24 p.

Research output: Contribution to journalArticle

Time series
Dynamic programming
2004
Update
Network protocols
Controller
Controllers
Cache Coherence
15 Citations (Scopus)

The transient combinator, higher-order strategies, and the distributed data problem

Winter, V. L. & Subramaniam, M., Aug 1 2004, In : Science of Computer Programming. 52, 1-3, p. 165-212 48 p.

Research output: Contribution to journalArticle

Loaders
Virtual machine
2003
3 Citations (Scopus)
Decision Procedures
Lemma
Canonical form
Networks (circuits)
Reasoning
2000
16 Citations (Scopus)

Using an induction prover for verifying arithmetic circuits

Kapur, D. & Subramaniam, M., Dec 1 2000, In : International Journal on Software Tools for Technology Transfer. 3, 1, p. 32-65 34 p.

Research output: Contribution to journalArticle

Networks (circuits)
Adders
Recursive functions
Theorem proving
Demonstrations
1998
22 Citations (Scopus)

Mechanical verification of adder circuits using rewrite rule laboratory

Kapur, D. & Subramaniam, M., Sep 1 1998, In : Formal Methods in System Design. 13, 2, p. 127-158 32 p.

Research output: Contribution to journalArticle

Adders
Divide and conquer
Networks (circuits)
Look-ahead
Ripple
1996
20 Citations (Scopus)

New uses of linear arithmetic in automated theorem proving by induction

Kapur, D. & Subramaniam, M., Jan 1 1996, In : Journal of Automated Reasoning. 16, 1-2, p. 39-78 40 p.

Research output: Contribution to journalArticle

Theorem proving
Semantics
Specifications
Syntactics
Factorization