Full name Familienname, Vorname
Murthy, Abhishek
 

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidabilityArtikel Article Feb-2017
2Ariful Islam, Md. ; Murthy, Abhishek ; Bartocci, Ezio ; Cherry, Elizabeth M. ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu Model-Order Reduction of Ion Channel Dynamics Using Approximate BisimulationArtikel Article 2015
3Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the realsKonferenzbeitrag Inproceedings 2015
4Ariful, Islam ; Deshpande, Tushar ; Murthy, Abhishek ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott D. ; Grosu, Radu Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive ControlKonferenzbeitrag Inproceedings 2014
5Grosu, Radu ; Islam, Ariful ; Murthy, Abhishek ; Girard, Antoine ; Smolka, Scott A. Compositionality Results for Cardiac Cell DynamicsKonferenzbeitrag Inproceedings2014
6Murthy, Abhishek ; Bartocci, Ezio ; Fenton, Flavio H. ; Glimm, James ; Gray, Richard A. ; Cherry, Elizabeth M. ; Smolka, Scott A. ; Grosu, Radu Curvature Analysis of Cardiac Excitation WavefrontsArtikel Article2013
7Murthy, Abhishek ; Ariful, Islam ; Bartocci, Ezio ; Cherry, Elizabeth ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu Approximate Bisimulations for Sodium Channel DynamicsKonferenzbeitrag Inproceedings 2012