Abhishek Murthy

From MaRDI portal
Person:498910

Available identifiers

zbMath Open murthy.abhishekMaRDI QIDQ498910

List of research outcomes





PublicationDate of PublicationType
Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals2017-05-19Paper
Compositionality results for cardiac cell dynamics2017-05-16Paper
Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability2016-12-15Paper
Model-order reduction of ion channel dynamics using approximate bisimulation2015-09-29Paper

Research outcomes over time

This page was built for person: Abhishek Murthy

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