Using Linear Arithmetic Procedure for Generating Induction Schemes. - Deepak Kapur; Mahadevan Subramaniam (FSTTCS, 1994)

Automated Reasoning About Parallel Algorithms Using Powerlists. - Deepak Kapur; Mahadevan Subramaniam (AMAST, 1995)

Automating Induction over Mutually Recursive Functions. - Deepak Kapur; Mahadevan Subramaniam (AMAST, 1996)

Lemma Discovery in Automated Induction. - Deepak Kapur; Mahadevan Subramaniam (CADE, 1996)

Mechanically Verifying a Family of Multiplier Circuits. - Deepak Kapur; Mahadevan Subramaniam (CAV, 1996)

Automating Proofs of Integrity Constraints in Situation Calculus. - Leopoldo E. Bertossi; Javier Pinto; Pablo Sáez; Deepak Kapur; Mahadevan Subramaniam (ISMIS, 1996)

New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. - Deepak Kapur; Mahadevan Subramaniam (J. Autom. Reason., 1996)

Mechanizing Verification of Arithmetic Circuits: SRT Division. - Deepak Kapur; Mahadevan Subramaniam (FSTTCS, 1997)

Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. - Deepak Kapur; Mahadevan Subramaniam (ASIAN, 1998)

Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. - Deepak Kapur; Mahadevan Subramaniam (Formal Methods Syst. Des., 1998)

Extending Decision Procedures with Induction Schemes. - Deepak Kapur; Mahadevan Subramaniam (CADE, 2000)

Using an induction prover for verifying arithmetic circuits. - Deepak Kapur; Mahadevan Subramaniam (Int. J. Softw. Tools Technol. Transf., 2000)

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. - Deepak Kapur; Mahadevan Subramaniam (ASIAN, 2003)

Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. - Mahadevan Subramaniam (IPDPS, 2003)

An Approach to Preserve Protocol Consistency and Executability Across Updates. - Mahadevan Subramaniam; Parvathi Chundi (ICFEM, 2004)

The transient combinator, higher-order strategies, and the distributed data problem. - Victor L. Winter; Mahadevan Subramaniam (Sci. Comput. Program., 2004)

Preserving Consistency of Runtime Monitors across Protocol Changes. - Mahadevan Subramaniam (ICECCS, 2005)

Using Dominators to Extract Observable Protocol Contexts. - Mahadevan Subramaniam; Jiangfan Shi (SEFM, 2005)

Analyzing the Impact of Protocol Changes on Tests. - Mahadevan Subramaniam; Zoltán Pap (TestCom, 2006)

Consistently Incorporating Changes to Evolve Transition-based Systems. - Mahadevan Subramaniam; Harvey P. Siy (CSMR, 2007)

Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. - Harvey P. Siy; Parvathi Chundi; Daniel J. Rosenkrantz; Mahadevan Subramaniam (ICSM, 2007)

Aggregating changes to efficiently check consistency. - Mahadevan Subramaniam; Parvathi Chundi; Harvey P. Siy (IWPSE, 2007)

A Bounded Incremental Test Generation Algorithm for Finite State Machines. - Zoltán Pap; Mahadevan Subramaniam; Gábor Kovács; Gábor Árpád Németh (TestCom/FATES, 2007)

A methodology for early validation of cache coherence protocols based on relational databases. - Mahadevan Subramaniam; Patrick Conway (Concurr. Comput. Pract. Exp., 2007)

Summarizing developer work history using time series segmentation: challenge report. - Harvey P. Siy; Parvathi Chundi; Mahadevan Subramaniam (MSR, 2008)

Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. - Bo Guo 004; Mahadevan Subramaniam (SEFM, 2008)

A segmentation-based approach for temporal analysis of software version repositories. - Harvey P. Siy; Parvathi Chundi; Daniel J. Rosenkrantz; Mahadevan Subramaniam (J. Softw. Maintenance Res. Pract., 2008)

L2C2: logic-based LSC consistency checking. - Hai-Feng Guo; Wen Zheng; Mahadevan Subramaniam (PPDP, 2009)

An Approach for Test Selection for EFSMs Using a Theorem Prover. - Mahadevan Subramaniam; Ling Xiao; Bo Guo 004; Zoltán Pap (TestCom/FATES, 2009)

Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. - Gábor Kovács; Gábor Árpád Németh; Mahadevan Subramaniam; Zoltán Pap (SDL Forum, 2009)

Using Change Impact Analysis to Select Tests for Extended Finite State Machines. - Mahadevan Subramaniam; Bo Guo 004; Zoltán Pap (SEFM, 2009)

Consistency Checking for LSC Specifications. - Hai-Feng Guo; Wen Zheng; Mahadevan Subramaniam (TASE, 2009)

An approach for temporal analysis of email data based on segmentation. - Parvathi Chundi; Mahadevan Subramaniam; Dileep K. Vasireddy (Data Knowl. Eng., 2009)

Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped Documents. - Parvathi Chundi; Mahadevan Subramaniam; R. M. Aruna Weerakoon (DEXA (1), 2011)

An Approach to Regression Test Selection of Adaptive EFSM Tests. - Bo Guo 004; Mahadevan Subramaniam; Hai-Feng Guo (TASE, 2011)

Simulating prosthetic vision with disortions for retinal prosthesis design. - Mahadevan Subramaniam; Parvathi Chundi; Abhilash Muthuraj; Eyal Margalit; Sylvie Sim (SHB, 2012)

Analysis of Test Clusters for Regression Testing. - Bo Guo 004; Mahadevan Subramaniam; Parvathi Chundi (ICST, 2012)

Model-Based Test Generation Using Evolutional Symbolic Grammar. - Hai-Feng Guo; Mahadevan Subramaniam (TASE, 2012)

Estimating Distortion Parameters in Simulated Prosthetic Vision. - Parvathi Chundi; Mahadevan Subramaniam; Abhilash Muthuraj; Eyal Margalit (ICHI, 2013)

Testing distortion estimations in Retinal Prostheses. - Mahadevan Subramaniam; Parvathi Chundi; Abhilash Muthuraj; Eyal Margalit (ISSRE (Supplemental Proceedings), 2013)

Model-based test generation using extended symbolic grammars. - Hai-Feng Guo; Mahadevan Subramaniam (Int. J. Softw. Tools Technol. Transf., 2014)

Analyzing OCT images of age-related macular degeneration patients to identify spatial health correlations. - Susannah Go; Parvathi Chundi; Mahadevan Subramaniam; Eyal Margalit (EMBC, 2015)

DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients. - Abhinav Parakh; Parvathi Chundi; Mahadevan Subramaniam (ICSH, 2015)

Constructing Temporal Equivalence Partitionings for Keyword Sets. - Parvathi Chundi; Mahadevan Subramaniam (Int. J. Knowl. Based Organ., 2015)

An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients. - Mahadevan Subramaniam; Parvathi Chundi (Int. J. Softw. Eng. Knowl. Eng., 2015)

Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching. - Parvathi Chundi; Mahadevan Subramaniam; Keivan Sabet; Eyal Margalit (BIBE, 2016)

Improving efficiency of quantum key distribution with probabilistic measurements. - Abhishek Parakh; Pramode K. Verma; Mahadevan Subramaniam (Int. J. Secur. Networks, 2016)

Towards Automated Distortion and Health Correlation for Age-Related Macular Degeneration. - Adithi D. Chakravarthy; Mahadevan Subramaniam; Parvathi Chundi; Muhammad Hassan; Quan Dong Nguyen (BIBE, 2017)

QuaSim: A virtual quantum cryptography educator. - Abhishek Parakh; Mahadevan Subramaniam; Elliott Ostler (EIT, 2017)

Analyzing and Predicting Player Performance in a Quantum Cryptography Serious Game. - Dilanga Abeyrathna; Srikanth Vadla; Vidya Bommanapally; Mahadevan Subramaniam; Parvathi Chundi; Abhishek Parakh (GALA, 2018)

An Approach Towards Automatic Detection of Toxoplasmosis using Fundus Images. - Adithi Deborah Chakravarthy; Dilanga Abeyrathna; Mahadevan Subramaniam; Parvathi Chundi; Muhammad Sohail Halim; Murat Hasanreisoglu; Yasir J. Sepah; Quan Dong Nguyen (BIBE, 2019)

An Approach Towards Designing Problem Networks in Serious Games. - Abhishek Parakh; Parvathi Chundi; Mahadevan Subramaniam (CoG, 2019)

Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography. - Vidya Bommanapally; Mahadevan Subramaniam; Abhishek Parakh; Parvathi Chundi; Venkata Meghana Puppala (iTextbooks@AIED, 2020)

Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images. - Dilanga Abeyrathna; Mahadevan Subramaniam; Parvathi Chundi; Murat Hasanreisoglu; Muhammad Sohail Halim; Pinar Cakar Ozdal; Quan Dong Nguyen (BIBE, 2020)

A Thrifty Annotation Generation Approach for Semantic Segmentation of Biofilms. - Adithi D. Chakravarthy; Parvathi Chundi; Mahadevan Subramaniam; Shankarachary Ragi; Venkataramana Gadhamshetty (BIBE, 2020)

Agro-AI Education: Artificial Intelligence for Future Farmers. - Donovan Orn; Lian Duan; Yi Liang; Harvey P. Siy; Mahadevan Subramaniam (SIGITE, 2020)

A Novel Approach for Embedding and Traversing Problems in Serious Games. - Abhishek Parakh; Mahadevan Subramaniam; Parvathi Chundi; Elliott Ostler (SIGITE, 2020)

Self-supervised Learning Approach to Detect Corrosion Products in Biofilm images. - Vidya Bommanapally; Md Ashaduzzman; Milind Malshe; Parvathi Chundi; Mahadevan Subramaniam (BIBM, 2021)

Using Deep Learning Super-Resolution for Improved Segmentation of SEM Biofilm Images. - Md Ashaduzzman; Vidya Bommanapally; Mahadevan Subramaniam; Parvathi Chundi; Jawahar Kalimuthu; Suvarna Talluri; Ramana Gadhamshetty (BIBM, 2022)

Leveraging Weak annotations for Deep learning tasks on Biofilm Images. - Vidya Bommanapally; Md Ashaduzzman; Mahadevan Subramaniam; Suvarna Talluri; Venkataramana Gadhamshetty (BIBM, 2022)

BioMDSE: A Multimodal Deep Learning-Based Search Engine Framework for Biofilm Documents Classifications. - Pei-Chi Huang; Ejan Shakya; Myoungkyu Song; Mahadevan Subramaniam (BIBM, 2022)

A Framework for Incorporating Serious Games into Learning Object Repositories through Experiential Learning. - Abhishek Parakh; Mahadevan Subramaniam; Parvathi Chundi (HICSS, 2022)

Semantic Image Segmentation Using Scant Pixel Annotations. - Adithi D. Chakravarthy; Dilanga Abeyrathna; Mahadevan Subramaniam; Parvathi Chundi; Venkataramana Gadhamshetty (Mach. Learn. Knowl. Extr., 2022)

Quantum internet. - Joseph Burr; Abhishek Parakh; Mahadevan Subramaniam (Ubiquity, 2022)

Self-Supervised Scribble-based Segmentation of Single Cells in Biofilms. - Vidya Bommanapally; Mahadevan Subramaniam; Suvarna Talluri; Venkataramana Gadhamshetty; Juneau Jones (BIBM, 2023)

Machine Learning-Assisted Optical Detection of Multilayer Hexagonal Boron Nitride for Enhanced Characterization and Analysis. - Md Hasanur Rahman 004; Vidya Bommanapally; Dilanga Abeyrathna; Md Ashaduzzman; Manoj Tripathi; Mahzuzah Zahan; Mahadevan Subramaniam; Venkataramana Gadhamshetty (BIBM, 2023)

Embedding a Problem Graph into Serious Games for Efficient Traversal Through Game Space. - Vidya Bommanapally; Mahadevan Subramaniam; Abhishek Parakh (FIE, 2023)

A Framework for an Intelligent Adaptive Education Platform for Quantum Cybersecurity. - Ruchitha Mallipeddi; Chris Schaaf; Mahadevan Subramaniam; Abhishek Parakh; Sherri Weitl-Harms (FIE, 2023)

Machine Learning Approach to Estimate Volumetric Quantification of 2D SEM Images of Biofilms. - Dilanga Abeyrathna; Ram Singh; Samira Badrloo; Rajesh Kumar Sani; Mahadevan Subramaniam (BIBM, 2024)

COINS: Counting Cones Using Inpainting Based Self-supervised Learning. - Vidya Bommanapally; Amir Akhavanrezayat; Quan Dong Nguyen; Mahadevan Subramaniam (EMBC, 2024)

QUINTET: An Experiential Learning Platform for Quantum Education. - Abhishek Parakh; Mahadevan Subramaniam (QCE, 2024)

Image-based deep learning for smart digital twins: a review. - Md Ruman Islam; Mahadevan Subramaniam; Pei-Chi Huang (Artif. Intell. Rev., 2025)

Joint Encryption and Error Correction for Secure Quantum Communication. - Nitin Jha; Abhishek Parakh; Mahadevan Subramaniam (CoRR, 2025)

Towards a Quantum-classical Augmented Network. - Nitin Jha; Abhishek Parakh; Mahadevan Subramaniam (CoRR, 2025)

Effect of noise and topologies on multi-photon quantum protocols. - Nitin Jha; Abhishek Parakh; Mahadevan Subramaniam (CoRR, 2025)

Multi-photon QKD for Practical Quantum Networks. - Nitin Jha; Abhishek Parakh; Mahadevan Subramaniam (CoRR, 2025)