☰

Abhishek Murthy, Ph.D. - Publications

Affiliations: 
2014 Computer Science Stony Brook University, Stony Brook, NY, United States 
Area:
Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms.
Tree Info Similar researchers PubMed Report error

7 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Murthy A, Islam MA, Smolka SA, Grosu R. Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability Nonlinear Analysis: Hybrid Systems. DOI: 10.1016/J.Nahs.2016.03.008  0.528
2015 Murthy A, Islam MA, Smolka SA, Grosu R. Computing bisimulation functions using SOS optimization and δ-decidability over the reals Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 78-87. DOI: 10.1145/2728606.2728609  0.442
2015 Ariful Islam M, Murthy A, Bartocci E, Cherry EM, Fenton FH, Glimm J, Smolka SA, Grosu R. Model-order reduction of ion channel dynamics using approximate bisimulation Theoretical Computer Science. 599: 34-46. DOI: 10.1016/J.Tcs.2014.03.018  0.532
2014 Islam MA, Murthy A, Girard A, Smolka SA, Grosu R. Compositionality results for cardiac cell dynamics Hscc 2014 - Proceedings of the 17th International Conference On Hybrid Systems: Computation and Control (Part of Cps Week). 243-252. DOI: 10.1145/2562059.2562138  0.487
2013 Murthy A, Bartocci E, Fenton FH, Glimm J, Gray RA, Cherry EM, Smolka SA, Grosu R. Curvature analysis of cardiac excitation wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 10: 323-36. PMID 23929858 DOI: 10.1109/Tcbb.2012.125  0.541
2012 Murthy A, Bartocci E, Fenton FH, Glimm J, Gray RA, Cherry EM, Smolka SA, Grosu R. Curvature Analysis of Cardiac Excitation Wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. PMID 23027553  0.529
2012 Murthy A, Islam MA, Bartocci E, Cherry EM, Fenton FH, Glimm J, Smolka SA, Grosu R. Approximate bisimulations for sodium channel dynamics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7605: 267-287. DOI: 10.1007/978-3-642-33636-2_16  0.506
Show low-probability matches.