Mahadevan Subramaniam

82 papers A* 1A 5B 4C 11Misc 6Journal 23Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	AI Agents Assisted Platform for Secure Quantum-Classical Networking Education. SIGCITE Abhishek Parakh, Mahadevan Subramaniam
2025	J	`jnl`	An Improved Quantum Anonymous Notification Protocol for Quantum-Augmented Networks. CoRR Nitin Jha, Abhishek Parakh, Mahadevan Subramaniam
2025	J	`jnl`	Effect of noise and topologies on multi-photon quantum protocols. CoRR Nitin Jha, Abhishek Parakh, Mahadevan Subramaniam
2025	J	`jnl`	Image-based deep learning for smart digital twins: a review. Artif. Intell. Rev. Md Ruman Islam, Mahadevan Subramaniam, Pei-Chi Huang
2025	J	`jnl`	Joint Encryption and Error Correction for Secure Quantum Communication. CoRR Nitin Jha, Abhishek Parakh, Mahadevan Subramaniam
2025	J	`jnl`	Multi-Task Semi-Supervised Approach for Counting Cones in Adaptive Optics Images. Algorithms Vidya Bommanapally, Amir Akhavanrezayat, Parvathi Chundi, Quan Dong Nguyen, Mahadevan Subramaniam
2025	J	`jnl`	Multi-photon QKD for Practical Quantum Networks. CoRR Nitin Jha, Abhishek Parakh, Mahadevan Subramaniam
2025	J	`jnl`	Quantum Key Distribution: Bridging Theoretical Security Proofs, Practical Attacks, and Error Correction for Quantum-Augmented Networks. CoRR Nitin Jha, Abhishek Parakh, Mahadevan Subramaniam
2025	J	`jnl`	Towards a Quantum-classical Augmented Network. CoRR Nitin Jha, Abhishek Parakh, Mahadevan Subramaniam
2024	—	`conf`	COINS: Counting Cones Using Inpainting Based Self-supervised Learning. EMBC Vidya Bommanapally, Amir Akhavanrezayat, Quan Dong Nguyen, Mahadevan Subramaniam
2024	J	`jnl`	Image-based Deep Learning for Smart Digital Twins: a Review. CoRR Md Ruman Islam, Mahadevan Subramaniam, Pei-Chi Huang
2024	—	`conf`	Machine Learning Approach to Estimate Volumetric Quantification of 2D SEM Images of Biofilms. BIBM Dilanga Abeyrathna, Ram Singh, Samira Badrloo, Rajesh Kumar Sani, Mahadevan Subramaniam
2024	Misc	`conf`	QUINTET: An Experiential Learning Platform for Quantum Education. QCE Abhishek Parakh, Mahadevan Subramaniam
2023	C	`conf`	A Framework for an Intelligent Adaptive Education Platform for Quantum Cybersecurity. FIE Ruchitha Mallipeddi, Chris Schaaf, Mahadevan Subramaniam, Abhishek Parakh, Sherri Weitl-Harms
2023	C	`conf`	Embedding a Problem Graph into Serious Games for Efficient Traversal Through Game Space. FIE Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh
2023	—	`conf`	Machine Learning-Assisted Optical Detection of Multilayer Hexagonal Boron Nitride for Enhanced Characterization and Analysis. BIBM Md Hasanur Rahman, Vidya Bommanapally, Dilanga Abeyrathna, Md Ashaduzzman, Manoj Tripathi, Mahzuzah Zahan, Mahadevan Subramaniam, Venkataramana Gadhamshetty
2023	—	`conf`	Self-Supervised Scribble-based Segmentation of Single Cells in Biofilms. BIBM Vidya Bommanapally, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty, Juneau Jones
2022	—	`conf`	A Framework for Incorporating Serious Games into Learning Object Repositories through Experiential Learning. HICSS Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi
2022	—	`conf`	BioMDSE: A Multimodal Deep Learning-Based Search Engine Framework for Biofilm Documents Classifications. BIBM Pei-Chi Huang, Ejan Shakya, Myoungkyu Song, Mahadevan Subramaniam
2022	—	`conf`	Leveraging Weak annotations for Deep learning tasks on Biofilm Images. BIBM Vidya Bommanapally, Md Ashaduzzman, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty
2022	J	`jnl`	Quantum internet. Ubiquity Joseph Burr, Abhishek Parakh, Mahadevan Subramaniam
2022	J	`jnl`	Semantic Image Segmentation Using Scant Pixel Annotations. Mach. Learn. Knowl. Extr. Adithi D. Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Venkataramana Gadhamshetty
2022	—	`conf`	Using Deep Learning Super-Resolution for Improved Segmentation of SEM Biofilm Images. BIBM Md Ashaduzzman, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Jawahar Kalimuthu, Suvarna Talluri, Ramana Gadhamshetty
2021	—	`conf`	Self-supervised Learning Approach to Detect Corrosion Products in Biofilm images. BIBM Vidya Bommanapally, Md Ashaduzzman, Milind Malshe, Parvathi Chundi, Mahadevan Subramaniam
2020	Misc	`conf`	A Novel Approach for Embedding and Traversing Problems in Serious Games. SIGITE Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi, Elliott Ostler
2020	C	`conf`	A Thrifty Annotation Generation Approach for Semantic Segmentation of Biofilms. BIBE Adithi D. Chakravarthy, Parvathi Chundi, Mahadevan Subramaniam, Shankarachary Ragi, Venkataramana Gadhamshetty
2020	Misc	`conf`	Agro-AI Education: Artificial Intelligence for Future Farmers. SIGITE Donovan Orn, Lian Duan, Yi Liang, Harvey P. Siy, Mahadevan Subramaniam
2020	C	`conf`	Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images. BIBE Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Murat Hasanreisoglu, Muhammad Sohail Halim, Pinar Cakar Ozdal, Quan Dong Nguyen
2020	—	`conf`	Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography. iTextbooks@AIED Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh, Parvathi Chundi, Venkata Meghana Puppala
2019	C	`conf`	An Approach Towards Automatic Detection of Toxoplasmosis using Fundus Images. BIBE Adithi Deborah Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Sohail Halim, Murat Hasanreisoglu, Yasir J. Sepah, Quan Dong Nguyen
2019	C	`conf`	An Approach Towards Designing Problem Networks in Serious Games. CoG Abhishek Parakh, Parvathi Chundi, Mahadevan Subramaniam
2018	—	`conf`	Analyzing and Predicting Player Performance in a Quantum Cryptography Serious Game. GALA Dilanga Abeyrathna, Srikanth Vadla, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Abhishek Parakh
2017	—	`conf`	QuaSim: A virtual quantum cryptography educator. EIT Abhishek Parakh, Mahadevan Subramaniam, Elliott Ostler
2017	C	`conf`	Towards Automated Distortion and Health Correlation for Age-Related Macular Degeneration. BIBE Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Hassan, Quan Dong Nguyen
2016	C	`conf`	Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching. BIBE Parvathi Chundi, Mahadevan Subramaniam, Keivan Sabet, Eyal Margalit
2016	J	`jnl`	Improving efficiency of quantum key distribution with probabilistic measurements. Int. J. Secur. Networks Abhishek Parakh, Pramode K. Verma, Mahadevan Subramaniam
2015	J	`jnl`	An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients. Int. J. Softw. Eng. Knowl. Eng. Mahadevan Subramaniam, Parvathi Chundi
2015	—	`conf`	Analyzing OCT images of age-related macular degeneration patients to identify spatial health correlations. EMBC Susannah Go, Parvathi Chundi, Mahadevan Subramaniam, Eyal Margalit
2015	J	`jnl`	Constructing Temporal Equivalence Partitionings for Keyword Sets. Int. J. Knowl. Based Organ. Parvathi Chundi, Mahadevan Subramaniam
2015	—	`conf`	DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients. ICSH Abhinav Parakh, Parvathi Chundi, Mahadevan Subramaniam
2014	J	`jnl`	Model-based test generation using extended symbolic grammars. Int. J. Softw. Tools Technol. Transf. Hai-Feng Guo, Mahadevan Subramaniam
2013	—	`conf`	Estimating Distortion Parameters in Simulated Prosthetic Vision. ICHI Parvathi Chundi, Mahadevan Subramaniam, Abhilash Muthuraj, Eyal Margalit
2013	—	`conf`	Testing distortion estimations in Retinal Prostheses. ISSRE (Supplemental Proceedings) Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit
2012	A	`conf`	Analysis of Test Clusters for Regression Testing. ICST Bo Guo, Mahadevan Subramaniam, Parvathi Chundi
2012	Misc	`conf`	Model-Based Test Generation Using Evolutional Symbolic Grammar. TASE Hai-Feng Guo, Mahadevan Subramaniam
2012	—	`conf`	Simulating prosthetic vision with disortions for retinal prosthesis design. SHB Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit, Sylvie Sim
2011	Misc	`conf`	An Approach to Regression Test Selection of Adaptive EFSM Tests. TASE Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo
2011	—	`conf`	Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped Documents. DEXA (1) Parvathi Chundi, Mahadevan Subramaniam, R. M. Aruna Weerakoon
2010	J	`jnl`	L2C2: Logic-based LSC Consistency Checking CoRR Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2009	—	`conf`	An Approach for Test Selection for EFSMs Using a Theorem Prover. TestCom/FATES Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap
2009	J	`jnl`	An approach for temporal analysis of email data based on segmentation. Data Knowl. Eng. Parvathi Chundi, Mahadevan Subramaniam, Dileep K. Vasireddy
2009	Misc	`conf`	Consistency Checking for LSC Specifications. TASE Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2009	C	`conf`	L2C2: logic-based LSC consistency checking. PPDP Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2009	—	`conf`	Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. SDL Forum Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap
2009	B	`conf`	Using Change Impact Analysis to Select Tests for Extended Finite State Machines. SEFM Mahadevan Subramaniam, Bo Guo, Zoltán Pap
2008	J	`jnl`	A segmentation-based approach for temporal analysis of software version repositories. J. Softw. Maintenance Res. Pract. Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
2008	B	`conf`	Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. SEFM Bo Guo, Mahadevan Subramaniam
2008	A	`conf`	Summarizing developer work history using time series segmentation: challenge report. MSR Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam
2007	—	`conf`	A Bounded Incremental Test Generation Algorithm for Finite State Machines. TestCom/FATES Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh
2007	J	`jnl`	A methodology for early validation of cache coherence protocols based on relational databases. Concurr. Comput. Pract. Exp. Mahadevan Subramaniam, Patrick Conway
2007	—	`conf`	Aggregating changes to efficiently check consistency. IWPSE Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy
2007	—	`conf`	Consistently Incorporating Changes to Evolve Transition-based Systems. CSMR Mahadevan Subramaniam, Harvey P. Siy
2007	—	`conf`	Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. ICSM Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
2006	—	`conf`	Analyzing the Impact of Protocol Changes on Tests. TestCom Mahadevan Subramaniam, Zoltán Pap
2005	B	`conf`	Preserving Consistency of Runtime Monitors across Protocol Changes. ICECCS Mahadevan Subramaniam
2005	B	`conf`	Using Dominators to Extract Observable Protocol Contexts. SEFM Mahadevan Subramaniam, Jiangfan Shi
2004	C	`conf`	An Approach to Preserve Protocol Consistency and Executability Across Updates. ICFEM Mahadevan Subramaniam, Parvathi Chundi
2004	J	`jnl`	The transient combinator, higher-order strategies, and the distributed data problem. Sci. Comput. Program. Victor L. Winter, Mahadevan Subramaniam
2003	—	`conf`	Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. ASIAN Deepak Kapur, Mahadevan Subramaniam
2003	A	`conf`	Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. IPDPS Mahadevan Subramaniam
2000	A	`conf`	Extending Decision Procedures with Induction Schemes. CADE Deepak Kapur, Mahadevan Subramaniam
2000	J	`jnl`	Using an induction prover for verifying arithmetic circuits. Int. J. Softw. Tools Technol. Transf. Deepak Kapur, Mahadevan Subramaniam
1998	J	`jnl`	Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. Formal Methods Syst. Des. Deepak Kapur, Mahadevan Subramaniam
1998	—	`conf`	Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. ASIAN Deepak Kapur, Mahadevan Subramaniam
1997	—	`conf`	Mechanizing Verification of Arithmetic Circuits: SRT Division. FSTTCS Deepak Kapur, Mahadevan Subramaniam
1996	—	`conf`	Automating Induction over Mutually Recursive Functions. AMAST Deepak Kapur, Mahadevan Subramaniam
1996	C	`conf`	Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam
1996	A	`conf`	Lemma Discovery in Automated Induction. CADE Deepak Kapur, Mahadevan Subramaniam
1996	A*	`conf`	Mechanically Verifying a Family of Multiplier Circuits. CAV Deepak Kapur, Mahadevan Subramaniam
1996	J	`jnl`	New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. J. Autom. Reason. Deepak Kapur, Mahadevan Subramaniam
1995	—	`conf`	Automated Reasoning About Parallel Algorithms Using Powerlists. AMAST Deepak Kapur, Mahadevan Subramaniam
1994	—	`conf`	Using Linear Arithmetic Procedure for Generating Induction Schemes. FSTTCS Deepak Kapur, Mahadevan Subramaniam