Mahadevan Subramaniam

From MaRDI portal
Person:1856144

Available identifiers

zbMath Open subramaniam.mahadevanWikidataQ102291535 ScholiaQ102291535MaRDI QIDQ1856144

List of research outcomes





PublicationDate of PublicationType
Automated reasoning about parallel algorithms using powerlists2022-08-16Paper
Lemma discovery in automating induction2019-01-15Paper
Predicting failures of and repairing inductive proof attempts2010-06-02Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation2009-08-11Paper
Analyzing the Impact of Protocol Changes on Tests2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q30219132005-06-21Paper
The transient combinator, higher-order strategies, and the distributed data problem2004-11-22Paper
https://portal.mardi4nfdi.de/entity/Q44705252004-07-01Paper
https://portal.mardi4nfdi.de/entity/Q27234302001-07-05Paper
Using an induction prover for verifying arithmetic circuits2000-01-01Paper
New uses of linear arithmetic in automated theorem proving by induction1996-11-04Paper

Research outcomes over time

This page was built for person: Mahadevan Subramaniam

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1856144&oldid=6128103"
Powered by MediaWiki