default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMahadevan Subramaniam
Person information
- affiliation: University of Nebraska Omaha, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i2]Md Ruman Islam, Mahadevan Subramaniam, Pei-Chi Huang:
Image-based Deep Learning for Smart Digital Twins: a Review. CoRR abs/2401.02523 (2024)- 2023
- [c55]Vidya Bommanapally, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty, Juneau Jones:
Self-Supervised Scribble-based Segmentation of Single Cells in Biofilms. BIBM 2023: 4488-4493 - [c54]Md Hasanur Rahman, Vidya Bommanapally, Dilanga Abeyrathna, Md Ashaduzzman, Manoj Tripathi, Mahzuzah Zahan, Mahadevan Subramaniam, Venkataramana Gadhamshetty:
Machine Learning-Assisted Optical Detection of Multilayer Hexagonal Boron Nitride for Enhanced Characterization and Analysis. BIBM 2023: 4506-4508 - [c53]Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh:
Embedding a Problem Graph into Serious Games for Efficient Traversal Through Game Space. FIE 2023: 1-5 - [c52]Ruchitha Mallipeddi, Chris Schaaf, Mahadevan Subramaniam, Abhishek Parakh, Sherri Weitl-Harms
:
A Framework for an Intelligent Adaptive Education Platform for Quantum Cybersecurity. FIE 2023: 1-5 - 2022
- [j13]Adithi D. Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Venkataramana Gadhamshetty:
Semantic Image Segmentation Using Scant Pixel Annotations. Mach. Learn. Knowl. Extr. 4(3): 621-640 (2022) - [j12]Joseph Burr, Abhishek Parakh, Mahadevan Subramaniam:
Quantum internet. Ubiquity 2022(August): 1-14 (2022) - [c51]Md Ashaduzzman, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Jawahar Kalimuthu, Suvarna Talluri, Ramana Gadhamshetty:
Using Deep Learning Super-Resolution for Improved Segmentation of SEM Biofilm Images. BIBM 2022: 3587-3593 - [c50]Vidya Bommanapally, Md Ashaduzzman, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty:
Leveraging Weak annotations for Deep learning tasks on Biofilm Images. BIBM 2022: 3599-3601 - [c49]Pei-Chi Huang, Ejan Shakya, Myoungkyu Song, Mahadevan Subramaniam:
BioMDSE: A Multimodal Deep Learning-Based Search Engine Framework for Biofilm Documents Classifications. BIBM 2022: 3608-3612 - [c48]Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi:
A Framework for Incorporating Serious Games into Learning Object Repositories through Experiential Learning. HICSS 2022: 1-11 - 2021
- [c47]Vidya Bommanapally, Md Ashaduzzman, Milind Malshe, Parvathi Chundi, Mahadevan Subramaniam:
Self-supervised Learning Approach to Detect Corrosion Products in Biofilm images. BIBM 2021: 3555-3561 - 2020
- [c46]Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh, Parvathi Chundi, Venkata Meghana Puppala:
Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography. iTextbooks@AIED 2020: 90-102 - [c45]Adithi D. Chakravarthy, Parvathi Chundi, Mahadevan Subramaniam, Shankarachary Ragi, Venkata R. Gadhamshetty:
A Thrifty Annotation Generation Approach for Semantic Segmentation of Biofilms. BIBE 2020: 602-607 - [c44]Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Murat Hasanreisoglu, Muhammad Sohail Halim, Pinar Cakar Ozdal, Quan Dong Nguyen:
Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images. BIBE 2020: 767-772 - [c43]Donovan Orn, Lian Duan, Yi Liang, Harvey P. Siy, Mahadevan Subramaniam:
Agro-AI Education: Artificial Intelligence for Future Farmers. SIGITE 2020: 54-57 - [c42]Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi, Elliott Ostler:
A Novel Approach for Embedding and Traversing Problems in Serious Games. SIGITE 2020: 229-235
2010 – 2019
- 2019
- [c41]Adithi Deborah Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Sohail Halim, Murat Hasanreisoglu, Yasir J. Sepah, Quan Dong Nguyen:
An Approach Towards Automatic Detection of Toxoplasmosis using Fundus Images. BIBE 2019: 710-717 - [c40]Abhishek Parakh, Parvathi Chundi, Mahadevan Subramaniam:
An Approach Towards Designing Problem Networks in Serious Games. CoG 2019: 1-8 - 2018
- [c39]Dilanga Abeyrathna, Srikanth Vadla, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Abhishek Parakh:
Analyzing and Predicting Player Performance in a Quantum Cryptography Serious Game. GALA 2018: 267-276 - 2017
- [c38]Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Hassan, Quan Dong Nguyen:
Towards Automated Distortion and Health Correlation for Age-Related Macular Degeneration. BIBE 2017: 486-491 - [c37]Abhishek Parakh, Mahadevan Subramaniam, Elliott Ostler:
QuaSim: A virtual quantum cryptography educator. EIT 2017: 600-605 - 2016
- [j11]Abhishek Parakh, Pramode K. Verma, Mahadevan Subramaniam:
Improving efficiency of quantum key distribution with probabilistic measurements. Int. J. Secur. Networks 11(1/2): 37-47 (2016) - [c36]Parvathi Chundi, Mahadevan Subramaniam, Keivan Sabet, Eyal Margalit:
Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching. BIBE 2016: 316-323 - 2015
- [j10]Parvathi Chundi, Mahadevan Subramaniam:
Constructing Temporal Equivalence Partitionings for Keyword Sets. Int. J. Knowl. Based Organ. 5(3): 1-18 (2015) - [j9]Mahadevan Subramaniam, Parvathi Chundi:
An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients. Int. J. Softw. Eng. Knowl. Eng. 25(6): 1033-1052 (2015) - [c35]Susannah Go, Parvathi Chundi, Mahadevan Subramaniam, Eyal Margalit:
Analyzing OCT images of age-related macular degeneration patients to identify spatial health correlations. EMBC 2015: 8127-8130 - [c34]Abhinav Parakh, Parvathi Chundi, Mahadevan Subramaniam:
DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients. ICSH 2015: 340-349 - 2014
- [j8]Hai-Feng Guo, Mahadevan Subramaniam:
Model-based test generation using extended symbolic grammars. Int. J. Softw. Tools Technol. Transf. 16(4): 437-455 (2014) - 2013
- [c33]Parvathi Chundi, Mahadevan Subramaniam, Abhilash Muthuraj, Eyal Margalit:
Estimating Distortion Parameters in Simulated Prosthetic Vision. ICHI 2013: 421-430 - [c32]Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit:
Testing distortion estimations in Retinal Prostheses. ISSRE (Supplemental Proceedings) 2013: 223-242 - 2012
- [c31]Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit, Sylvie Sim:
Simulating prosthetic vision with disortions for retinal prosthesis design. SHB 2012: 57-64 - [c30]Bo Guo, Mahadevan Subramaniam, Parvathi Chundi:
Analysis of Test Clusters for Regression Testing. ICST 2012: 736 - [c29]Hai-Feng Guo, Mahadevan Subramaniam:
Model-Based Test Generation Using Evolutional Symbolic Grammar. TASE 2012: 111-118 - 2011
- [c28]Parvathi Chundi, Mahadevan Subramaniam, R. M. Aruna Weerakoon:
Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped Documents. DEXA (1) 2011: 110-124 - [c27]Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo:
An Approach to Regression Test Selection of Adaptive EFSM Tests. TASE 2011: 217-220 - 2010
- [i1]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: Logic-based LSC Consistency Checking. CoRR abs/1002.3083 (2010)
2000 – 2009
- 2009
- [j7]Parvathi Chundi, Mahadevan Subramaniam, Dileep K. Vasireddy:
An approach for temporal analysis of email data based on segmentation. Data Knowl. Eng. 68(11): 1253-1270 (2009) - [c26]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: logic-based LSC consistency checking. PPDP 2009: 183-194 - [c25]Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap:
An Approach for Test Selection for EFSMs Using a Theorem Prover. TestCom/FATES 2009: 146-162 - [c24]Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap:
Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. SDL Forum 2009: 82-97 - [c23]Mahadevan Subramaniam, Bo Guo, Zoltán Pap:
Using Change Impact Analysis to Select Tests for Extended Finite State Machines. SEFM 2009: 93-102 - [c22]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
Consistency Checking for LSC Specifications. TASE 2009: 119-126 - 2008
- [j6]Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam:
A segmentation-based approach for temporal analysis of software version repositories. J. Softw. Maintenance Res. Pract. 20(3): 199-222 (2008) - [c21]Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam:
Summarizing developer work history using time series segmentation: challenge report. MSR 2008: 137-140 - [c20]Bo Guo, Mahadevan Subramaniam:
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. SEFM 2008: 335-344 - 2007
- [j5]Mahadevan Subramaniam, Patrick Conway:
A methodology for early validation of cache coherence protocols based on relational databases. Concurr. Comput. Pract. Exp. 19(3): 355-368 (2007) - [c19]Mahadevan Subramaniam, Harvey P. Siy:
Consistently Incorporating Changes to Evolve Transition-based Systems. CSMR 2007: 17-26 - [c18]Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam:
Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. ICSM 2007: 415-424 - [c17]Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy:
Aggregating changes to efficiently check consistency. IWPSE 2007: 39-42 - [c16]Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh:
A Bounded Incremental Test Generation Algorithm for Finite State Machines. TestCom/FATES 2007: 244-259 - 2006
- [c15]Mahadevan Subramaniam, Zoltán Pap:
Analyzing the Impact of Protocol Changes on Tests. TestCom 2006: 197-212 - 2005
- [c14]Mahadevan Subramaniam:
Preserving Consistency of Runtime Monitors across Protocol Changes. ICECCS 2005: 590-599 - [c13]Mahadevan Subramaniam, Jiangfan Shi:
Using Dominators to Extract Observable Protocol Contexts. SEFM 2005: 96-105 - 2004
- [j4]Victor L. Winter, Mahadevan Subramaniam:
The transient combinator, higher-order strategies, and the distributed data problem. Sci. Comput. Program. 52: 165-212 (2004) - [c12]Mahadevan Subramaniam, Parvathi Chundi:
An Approach to Preserve Protocol Consistency and Executability Across Updates. ICFEM 2004: 341-356 - 2003
- [c11]Deepak Kapur, Mahadevan Subramaniam:
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. ASIAN 2003: 125-145 - [c10]Mahadevan Subramaniam:
Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. IPDPS 2003: 290 - 2000
- [j3]Deepak Kapur, Mahadevan Subramaniam:
Using an induction prover for verifying arithmetic circuits. Int. J. Softw. Tools Technol. Transf. 3(1): 32-65 (2000) - [c9]Deepak Kapur, Mahadevan Subramaniam:
Extending Decision Procedures with Induction Schemes. CADE 2000: 324-345
1990 – 1999
- 1998
- [j2]Deepak Kapur, Mahadevan Subramaniam:
Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. Formal Methods Syst. Des. 13(2): 127-158 (1998) - [c8]Deepak Kapur, Mahadevan Subramaniam:
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. ASIAN 1998: 22-42 - 1997
- [c7]Deepak Kapur, Mahadevan Subramaniam:
Mechanizing Verification of Arithmetic Circuits: SRT Division. FSTTCS 1997: 103-122 - 1996
- [j1]Deepak Kapur, Mahadevan Subramaniam:
New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. J. Autom. Reason. 16(1-2): 39-78 (1996) - [c6]Deepak Kapur, Mahadevan Subramaniam:
Automating Induction over Mutually Recursive Functions. AMAST 1996: 117-131 - [c5]Deepak Kapur, Mahadevan Subramaniam:
Lemma Discovery in Automated Induction. CADE 1996: 538-552 - [c4]Deepak Kapur, Mahadevan Subramaniam:
Mechanically Verifying a Family of Multiplier Circuits. CAV 1996: 135-146 - [c3]Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam:
Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS 1996: 212-222 - 1995
- [c2]Deepak Kapur, Mahadevan Subramaniam:
Automated Reasoning About Parallel Algorithms Using Powerlists. AMAST 1995: 416-430 - 1994
- [c1]Deepak Kapur, Mahadevan Subramaniam:
Using Linear Arithmetic Procedure for Generating Induction Schemes. FSTTCS 1994: 438-449
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
