Publications

Export 3 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is Q  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Quantitative Regular Expressions for Arrhythmia Detection Algorithms, Abbas, Houssam, Rodionova Alena, Bartocci Ezio, Smolka Scott A., and Grosu Radu , International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)  (1.06 MB)
H
Query Checking for Linear Temporal Logic, Huang, Samuel, and Cleaveland Rance , 25 August 2017, (2017)
U
Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations, Uzelac, Ilija, Kaboudian Abouzar, Iravanian Shahriar, Siles-Paredes Jimena G., Gumbart James C., Ashikaga Hiroshi, Bhatia Neal, Gilmour, Jr Robert F., Cherry Elizabeth M., and Fenton Flavio H. , Heart Rhythm O2, 08/2021, Volume 2, Issue 4, (2021)