No photo of Mahadevan Subramaniam

Mahadevan Subramaniam, PhD

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1994 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    Agro-AI Education: Artificial Intelligence for Future Farmers

    Orn, D., Duan, L., Liang, Y., Siy, H. & Subramaniam, M., Oct 7 2020, SIGITE 2020 - Proceedings of the 21st Annual Conference on Information Technology Education. Association for Computing Machinery, Inc, p. 54-57 4 p. (SIGITE 2020 - Proceedings of the 21st Annual Conference on Information Technology Education).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A Novel Approach for Embedding and Traversing Problems in Serious Games

    Parakh, A., Subramaniam, M., Chundi, P. & Ostler, E., Oct 7 2020, SIGITE 2020 - Proceedings of the 21st Annual Conference on Information Technology Education. Association for Computing Machinery, Inc, p. 229-235 7 p. (SIGITE 2020 - Proceedings of the 21st Annual Conference on Information Technology Education).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A Thrifty Annotation Generation Approach for Semantic Segmentation of Biofilms

    Chakravarthy, A. D., Chundi, P., Subramaniam, M., Ragi, S. & Gadhamshetty, V. R., Oct 2020, Proceedings - IEEE 20th International Conference on Bioinformatics and Bioengineering, BIBE 2020. Institute of Electrical and Electronics Engineers Inc., p. 602-607 6 p. 9288122. (Proceedings - IEEE 20th International Conference on Bioinformatics and Bioengineering, BIBE 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images

    Abeyrathna, D., Subramaniam, M., Chundi, P., Hasanreisoglu, M., Halim, M. S., Ozdal, P. C. & Nguyen, Q. D., Oct 2020, Proceedings - IEEE 20th International Conference on Bioinformatics and Bioengineering, BIBE 2020. Institute of Electrical and Electronics Engineers Inc., p. 767-772 6 p. 9288007. (Proceedings - IEEE 20th International Conference on Bioinformatics and Bioengineering, BIBE 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2019

    Analyzing and predicting player performance in a quantum cryptography serious game

    Abeyrathna, D., Vadla, S., Bommanapally, V., Subramaniam, M., Chundi, P. & Parakh, A., 2019, Games and Learning Alliance - 7th International Conference, GALA 2018, Proceedings. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer Verlag, p. 267-276 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11385 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • An approach towards automatic detection of toxoplasmosis using fundus images

    Chakravarthy, A. D., Abeyrathna, D., Subramaniam, M., Chundi, P., Halim, M. S., Hasanreisoglu, M., Sepah, Y. J. & Nguyen, Q. D., Oct 2019, Proceedings - 2019 IEEE 19th International Conference on Bioinformatics and Bioengineering, BIBE 2019. Institute of Electrical and Electronics Engineers Inc., p. 710-717 8 p. 8941984. (Proceedings - 2019 IEEE 19th International Conference on Bioinformatics and Bioengineering, BIBE 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • An approach towards designing problem networks in serious games

    Parakh, A., Chundi, P. & Subramaniam, M., Aug 2019, IEEE Conference on Games 2019, CoG 2019. IEEE Computer Society, 8848055. (IEEE Conference on Computatonal Intelligence and Games, CIG; vol. 2019-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2018

    Bootstrapped QKD: Improving key rate and multiphoton resistance

    Parakh, A. & Subramaniam, M., 2018, Quantum Information Science and Technology IV. Gruneisen, M. T., Dusek, M. & Rarity, J. G. (eds.). SPIE, 2500438. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 10803).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 2017

    QuaSim: A virtual quantum cryptography educator

    Parakh, A., Subramaniam, M. & Ostler, E., Sep 27 2017, 2017 IEEE International Conference on Electro Information Technology, EIT 2017. IEEE Computer Society, p. 600-605 6 p. 8053434. (IEEE International Conference on Electro Information Technology).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • Towards automated distortion and health correlation for age-related macular degeneration

    Chakravarthy, A. D., Subramaniam, M., Chundi, P., Hassan, M. & Nguyen, Q., Jul 1 2017, Proceedings - 2017 IEEE 17th International Conference on Bioinformatics and Bioengineering, BIBE 2017. Institute of Electrical and Electronics Engineers Inc., p. 486-491 6 p. (Proceedings - 2017 IEEE 17th International Conference on Bioinformatics and Bioengineering, BIBE 2017; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2016

    Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching

    Chundi, P., Subramaniam, M., Sabet, K. & Margalit, E., Dec 16 2016, Proceedings - 2016 IEEE 16th International Conference on Bioinformatics and Bioengineering, BIBE 2016. Institute of Electrical and Electronics Engineers Inc., p. 316-323 8 p. 7790003. (Proceedings - 2016 IEEE 16th International Conference on Bioinformatics and Bioengineering, BIBE 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Drsti: A workbench for querying retinal image data of age-related macular degeneration patients

    Parakh, A., Chundi, P. & Subramaniam, M., 2016, Smart Health - International Conference, ICSH 2015, Revised Selected Papers. Chen, H., Zeng, D. D., Zheng, X. & Leischow, S. J. (eds.). Springer Verlag, p. 340-349 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9545).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    Analyzing OCT images of age-related macular degeneration patients to identify spatial health correlations

    Go, S., Chundi, P., Subramaniam, M. & Margalit, E., Nov 4 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015. Institute of Electrical and Electronics Engineers Inc., p. 8127-8130 4 p. 7320280. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 2015-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • 2013

    Estimating distortion parameters in simulated prosthetic vision

    Chundi, P., Subramaniam, M., Muthuraj, A. & Margalit, E., 2013, Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013. p. 421-430 10 p. 6680505. (Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Testing distortion estimations in Retinal Prostheses

    Subramaniam, M., Chundi, P., Muthuraj, A. & Margalit, E., 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013. p. 223-242 20 p. 6688902. (2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2012

    Analysis of test clusters for regression testing

    Guo, B., Subramaniam, M. & Chundi, P., 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 736 1 p. 6200177. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Model-based test generation using evolutional symbolic grammar

    Guo, H. F. & Subramaniam, M., 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. p. 111-118 8 p. 6269634. (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Simulating prosthetic vision with distortions for retinal prosthesis design

    Subramaniam, M., Chundi, P., Muthuraj, A., Margalit, E. & Sim, S., 2012, SHB'12 - Proceedings of the 2012 ACM International Workshop on Smart Health and Wellbeing, Co-located with CIKM 2012. p. 57-64 8 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Symbolic production grammars in LSCs testing

    Guo, H. F. & Subramaniam, M., 2012, Computer and Information Science 2012. Lee, R. (ed.). p. 105-120 16 p. (Studies in Computational Intelligence; vol. 429).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    An approach to regression test selection of adaptive EFSM tests

    Guo, B., Subramaniam, M. & Guo, H. F., 2011, Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011. p. 217-220 4 p. 6042082. (Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Dynamically adapting training systems based on user interactions

    Weerakoon, R. M., Chundi, P. & Subramaniam, M., 2011, Proceedings of the 2011 Workshop on Knowledge Discovery, Modeling and Simulation, KDMS'11. p. 31-38 8 p. (Proceedings of the 2011 Workshop on Knowledge Discovery, Modeling and Simulation, KDMS'11).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Extracting temporal equivalence relationships among keywords from time-stamped documents

    Chundi, P., Subramaniam, M. & Weerakoon, R. M. A., 2011, Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Proceedings. PART 1 ed. p. 110-124 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6860 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2009

    An approach for test selection for EFSMs using a theorem prover

    Subramaniam, M., Xiao, L., Guo, B. & Pap, Z., 2009, Testing of Software and Communication Systems - 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Proceedings. p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5826 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Consistency checking for LSC specifications

    Guo, H. F., Zheng, W. & Subramaniam, M., 2009, Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. p. 119-126 8 p. 5198494. (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • L2C2: Logic-based LSC consistency checking

    Guo, H. F., Zheng, W. & Subramaniam, M., 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 183-194 12 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • Optimal string edit distance based test suite reduction for SDL specifications

    Kovács, G., Németh, G. Á., Subramaniam, M. & Pap, Z., 2009, SDL 2009: Design for Motes and Mobiles - 14th International SDL Forum, Proceedings. p. 82-97 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5719 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • Using change impact analysis to select tests for extended finite state machines

    Subramaniam, M., Guo, B. & Pap, Z., 2009, SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods. p. 93-102 10 p. 5368111. (SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 2008

    Formal change impact analyses of extended finite state machines using a theorem prover

    Guo, B. & Subramaniam, M., 2008, Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008. p. 335-344 10 p. 46685820. (Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • Summarizing developer work history using time series segmentation

    Siy, H., Chundi, P. & Subramaniam, M., 2008, 30th International Conference on Software Engineering, ICSE 2008 - 2008 International Working Conference on Mining Software Repositories, MSR'08. IEEE Computer Society, p. 137-140 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • 2007

    A bounded incremental test generation algorithm for finite state machines

    Pap, Z., Subramaniam, M., Kovács, G. & Németh, G. Á., 2007, Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings. Petrenko, A., Veanes, M., Tretmans, J. & Grieskamp, W. (eds.). Springer Verlag, p. 244-259 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4581 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • Aggregating changes to efficiently check consistency

    Subramaniam, M., Chundi, P. & Siy, H., 2007, 9th International Workshop on Principles of Software Evolution, IWPSE 2007, Held in Conjunction with the 6th ESEC/FSE Joint Meeting. p. 39-42 4 p. (9th International Workshop on Principles of Software Evolution, IWPSE 2007, Held in Conjunction with the 6th ESEC/FSE Joint Meeting).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Aggregating changes to efficiently check consistency

    Subramaniam, M., Chundi, P. & Siy, H., 2007, IWPSE'07: Ninth International Workshop on Principles of Software Evolution - In conjunction with the 6th ESEC/FSE Joint Meeting. p. 39-42 4 p. (International Workshop on Principles of Software Evolution (IWPSE)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Discovering dynamic developer relationships from software version histories by time series segmentation

    Siy, H., Chundi, P., Rosenkrantz, D. J. & Subramaniam, M., 2007, ICSM 2007 - Proceedings of the 2007 IEEE International Conference on Software Maintenance. p. 415-424 10 p. 4362654. (IEEE International Conference on Software Maintenance, ICSM).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 2006

    Analyzing the impact of protocol changes on tests

    Subramaniam, M. & Pap, Z., 2006, Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings. Duale, A. Y., Uyar, M. Ü. & Fecko, M. A. (eds.). Springer Verlag, p. 197-212 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3964 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Designing monitoring environments for verifiability using abstraction

    Ueman, F. & Subramaniam, M., 2006, Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006. p. 45-50 6 p. (Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2005

    Using dominators to extract observable protocol contexts

    Subramaniam, M. & Shi, J., 2005, Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005. p. 96-105 10 p. 1575898. (Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2003

    Early error detection in industrial strength cache coherence protocols using SQL

    Subramaniam, M., 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 1213518. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • 2000

    Extending decision procedures with induction schemes

    Kapur, D. & Subramaniam, M., 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. McAllester, D. (ed.). Springer Verlag, p. 324-345 22 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1831).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Scopus citations
  • 1998

    Mechanizing reasoning about large finite tables in a rewrite based theorem prover

    Kapur, D. & Subramaniam, M., 1998, Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings. Hsiang, J. & Ohori, A. (eds.). Springer Verlag, p. 22-42 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1538).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1997

    Mechanizing verification of arithmetic circuits: SRT division

    Kapur, D. & Subramaniam, M., 1997, Foundations of Software Technology and Theoretical Computer Science - 17th Conference, 1997, Proceedings. Ramesh, S. & Sivakumar, G. (eds.). Springer Verlag, p. 103-122 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1346).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • 1996

    Automating induction over mutually recursive functions

    Kapur, D. & Subramaniam, M., 1996, Algebraic Methodology and Software Technology - 5th International Conference, AMAST 1996, Proceedings. Wirsing, M. & Nivat, M. (eds.). Springer Verlag, p. 117-131 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1101).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • Automating proofs of integrity constraints in situation calculus

    Bertossi, L., Pinto, J., Saez, P., Kapur, D. & Subramaniam, M., 1996, Foundations of Intelligent Systems - 9th International Symposium, ISMIS 1996, Proceedings. Ras, Z. W. & Michalewicz, M. (eds.). Springer Verlag, p. 212-222 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1079).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • Lemma discovery in automating induction

    Kapur, D. & Subramaniam, M., 1996, Automated Deduction – Cade-13 - 13th International Conference on Automated Deduction, Proceedings. Slaney, J. K. & McRobbie, M. A. (eds.). Springer Verlag, p. 538-552 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1104).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    23 Scopus citations
  • Mechanically verifying a family of multiplier circuits

    Kapur, D. & Subramaniam, M., 1996, Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Henzinger, T. A. & Alur, R. (eds.). Springer Verlag, p. 135-146 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1102).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    15 Scopus citations
  • 1995

    Automated reasoning about parallel algorithms using powerlists

    Kapur, D. & Subramaniam, M., 1995, Algebraic Methodology and Software Technology - 4th International Conference, AMAST 1995, Proceedings. Alagar, V. S. & Nivat, M. (eds.). Springer Verlag, p. 416-430 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 936).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • 1994

    Using linear arithmetic procedure for generating induction schemes

    Kapur, D. & Subramaniam, M., 1994, Foundations of Software Technology and Theoretical Computer Science - 14th Conference, 1994, Proceedings. Thiagarajan, P. S. (ed.). Springer Verlag, p. 438-449 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 880 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.