| 2025 | SIGITE | AI Agents Assisted Platform for Secure Quantum-Classical Networking Education. | Abhishek Parakh, Mahadevan Subramaniam |
| 2024 | QCE | QUINTET: An Experiential Learning Platform for Quantum Education. | Abhishek Parakh, Mahadevan Subramaniam |
| 2023 | FIE | Embedding a Problem Graph into Serious Games for Efficient Traversal Through Game Space. | Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh |
| 2023 | FIE | A Framework for an Intelligent Adaptive Education Platform for Quantum Cybersecurity. | Ruchitha Mallipeddi, Chris Schaaf, Mahadevan Subramaniam, Abhishek Parakh, Sherri Weitl-Harms |
| 2020 | AIED | Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography. | Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh, Parvathi Chundi, Venkata Meghana Puppala |
| 2020 | BIBE | 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 |
| 2020 | BIBE | A Thrifty Annotation Generation Approach for Semantic Segmentation of Biofilms. | Adithi D. Chakravarthy, Parvathi Chundi, Mahadevan Subramaniam, Shankarachary Ragi, Venkataramana Gadhamshetty |
| 2020 | SIGITE | Agro-AI Education: Artificial Intelligence for Future Farmers. | Donovan Orn, Lian Duan, Yi Liang, Harvey P. Siy, Mahadevan Subramaniam |
| 2020 | SIGITE | A Novel Approach for Embedding and Traversing Problems in Serious Games. | Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi, Elliott Ostler |
| 2019 | BIBE | 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 |
| 2017 | BIBE | Towards Automated Distortion and Health Correlation for Age-Related Macular Degeneration. | Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Hassan, Quan Dong Nguyen |
| 2016 | BIBE | Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching. | Parvathi Chundi, Mahadevan Subramaniam, Keivan Sabet, Eyal Margalit |
| 2013 | ISSRE | Testing distortion estimations in Retinal Prostheses. | Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit |
| 2012 | CIKM | Simulating prosthetic vision with disortions for retinal prosthesis design. | Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit, Sylvie Sim |
| 2012 | ICST | Analysis of Test Clusters for Regression Testing. | Bo Guo, Mahadevan Subramaniam, Parvathi Chundi |
| 2012 | TASE | Model-Based Test Generation Using Evolutional Symbolic Grammar. | Hai-Feng Guo, Mahadevan Subramaniam |
| 2011 | DEXA | Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped Documents. | Parvathi Chundi, Mahadevan Subramaniam, R. M. Aruna Weerakoon |
| 2011 | TASE | An Approach to Regression Test Selection of Adaptive EFSM Tests. | Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo |
| 2009 | PPDP | L2C2: logic-based LSC consistency checking. | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
| 2009 | SEFM | Using Change Impact Analysis to Select Tests for Extended Finite State Machines. | Mahadevan Subramaniam, Bo Guo, Zoltn Pap |
| 2009 | TASE | Consistency Checking for LSC Specifications. | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
| 2008 | MSR | Summarizing developer work history using time series segmentation: challenge report. | Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam |
| 2008 | SEFM | Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. | Bo Guo, Mahadevan Subramaniam |
| 2005 | ICECCS | Preserving Consistency of Runtime Monitors across Protocol Changes. | Mahadevan Subramaniam |
| 2005 | SEFM | Using Dominators to Extract Observable Protocol Contexts. | Mahadevan Subramaniam, Jiangfan Shi |
| 2004 | ICFEM | An Approach to Preserve Protocol Consistency and Executability Across Updates. | Mahadevan Subramaniam, Parvathi Chundi |
| 2000 | CADE | Extending Decision Procedures with Induction Schemes. | Deepak Kapur, Mahadevan Subramaniam |
| 1996 | CADE | Lemma Discovery in Automated Induction. | Deepak Kapur, Mahadevan Subramaniam |
| 1996 | CAV | Mechanically Verifying a Family of Multiplier Circuits. | Deepak Kapur, Mahadevan Subramaniam |
| 1996 | ISMIS | Automating Proofs of Integrity Constraints in Situation Calculus. | Leopoldo E. Bertossi, Javier Pinto, Pablo Sez, Deepak Kapur, Mahadevan Subramaniam |