Mahadevan Subramaniam

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated reasoning about parallel algorithms using powerlists Algebraic Methodology and Software Technology	2022-08-16	Paper
Lemma discovery in automating induction Automated Deduction — Cade-13	2019-01-15	Paper
Predicting failures of and repairing inductive proof attempts Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems	2010-06-02	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation Lecture Notes in Computer Science	2009-08-11	Paper
Analyzing the Impact of Protocol Changes on Tests Lecture Notes in Computer Science	2007-05-02	Paper
scientific article; zbMATH DE number 2177631 (Why is no real title available?)	2005-06-21	Paper
The transient combinator, higher-order strategies, and the distributed data problem Science of Computer Programming	2004-11-22	Paper
scientific article; zbMATH DE number 2077140 (Why is no real title available?)	2004-07-01	Paper
scientific article; zbMATH DE number 1614706 (Why is no real title available?)	2001-07-05	Paper
Using an induction prover for verifying arithmetic circuits International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
New uses of linear arithmetic in automated theorem proving by induction Journal of Automated Reasoning	1996-11-04	Paper

Research outcomes over time

This page was built for person: Mahadevan Subramaniam