Publications

Export 65 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Journal Article
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md. Ariful, Cleaveland Rance, FENTON FLAVIO H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, 02/2018, (2018)  (1.99 MB)
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)
Simultaneous Quantification of Spatially Discordant Alternans in Voltage and Intracellular Calcium in Langendorff-Perfused Rabbit Hearts and Inconsistencies with Models of Cardiac Action Potentials and Ca Transients, Uzelac, Ilija, Ji Yanyan C., Hornung Daniel, Schröder-Scheteling Johannes, Luther Stefan, Gray Richard A., CHERRY ELIZABETH M., and FENTON FLAVIO H. , Frontiers in Physiology, Volume 8, (2017)
Single-variable delay-differential equation approximations of the Fitzhugh-Nagumo and Hodgkin-Huxley models, Rameh, Raffael Bechara, CHERRY ELIZABETH M., and Santos Rodrigo Weber dos , Communications in Nonlinear Science and Numerical Simulation, Volume 82, p.105066, (2020)
Swarm Model Checking on the GPU, DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. , International Journal on Software Tools for Technology Transfer, (2020)
System design of stochastic models using robustness of temporal properties, Bartocci, Ezio, Bortolussi Luca, Nenzi Laura, and Sanguinetti Guido , Theoretical Computer Science, Volume 587, p.3 - 25, (2015)  (1.57 MB)
Miscellaneous
From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Bartocci, Ezio, Cleaveland Rance, Grosu Radu, and Sokolsky Oleg , (2019)
Lagrangian Reachtubes: The Next Generation, Gruenbacher, Sophie, Cyranka Jacek, Lechner Mathias, Islam Md. Ariful, Smolka Scott A., and Grosu Radu , (2020)
Learning Distributed Controllers for V-Formation, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Learning Distributed Controllers for V-Formation, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Neural Simplex Architecture, Phan, Dung T., Grosu Radu, Jansen Nils, Paoletti Nicola, Smolka Scott A., and Stoller Scott D. , (2020)
Neural Simplex Architecture, Phan, Dung T., Grosu Radu, Jansen Nils, Paoletti Nicola, Smolka Scott A., and Stoller Scott D. , (2020)
On The Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, Sophie, Hasani Ramin, Lechner Mathias, Cyranka Jacek, Smolka Scott A., and Grosu Radu , (2020)

Pages