Publications Sort by Year of Publication Order AscDesc 2021 A Distributed Simplex Architecture for Multi-Agent Systems (2021) U. Mehmood – S. Stoller – R. Grosu – S. Roy – A. Damare – S. Smolka Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS A Network-based Cardiac Electrophysiology Simulator with Realistic Signal Generation and Response to Pacing Maneuvers (2021) Shahriar Iravanian – Ilija Uzelac – Abouzar Kaboudian – Jonathan Langberg – Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Adversarial Training is Not Ready for Robot Learning (2021) Mathias Lechner – Ramin Hasani – Radu Grosu – Daniela Rus – Thomas Henzinger Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Collision-Free 3D Flocking Using the Distributed Simplex Architecture (2021) U. Mehmood – R. Grosu – S. Smolka – S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Control and anticontrol of chaos in fractional-order models of Diabetes, HIV, Dengue, Migraine, Parkinson's and Ebola virus diseases (2021) Manashita Borah – Debanita Das – Antara Gayan – Flavio Fenton – Elizabeth Cherry Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Controllability of voltage- and calcium-driven cardiac alternans in a map model (2021) Munoz LM – Ampofo MO – Cherry EM Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding (2021) S. Roy – U. Mehmood – R. Grosu – S. Smolka – S. Stoller – A. Tiwari Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts (2021) John Berman – Flavio Fenton – Elizabeth Cherry – Tinen Iles – Paul Iaizzo – Abouzar Kaboudian Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Model-Checking Support for File System Development (2021) W. Su – Y. Liu – G. Ganesan – G. Holzmann – G. Kuenning – S. Smolka – E. Zadok Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas (2021) H. Chen – N. Paoletti – S. Smolka – S. Lin Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches (2021) L. Bortolussi – F. Cairoli – N. Paoletti – S. Smolka – S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Optimizing low-energy anti-fibrillation pacing: Lessons from a cellular automaton model (2021) Noah DeTal – Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations (2021) Ilija Uzelac – Abouzar Kaboudian – Shahriar Iravanian – Jimena Siles-Paredes – James Gumbart – Hiroshi Ashikaga – Neal Bhatia – Robert Gilmour Jr – Elizabeth Cherry – Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Safe CPS from Unsafe Controllers (2021) U. Mehmood – S. Bak – S. Smolka – S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Terminating spiral waves with a single designed stimulus: Teleportation as the mechanism for defibrillation (2021) Noah DeTal – Abouzar Kaboudian – Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Verification of Neural ODEs with Stochastic Guarantees (2021) S. Gruenbacher – J. Cyranka – M. Lechner – S. Smolka – R. Grosu Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS 2020 A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits (2020) Ramin Hasani – Mathias Lechner – Alexander Amini – Daniela Rus – Radu Grosu – Hal Daumé III – Aarti Singh Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Accelerating simulations of cardiac electrical dynamics through a multi‐GPU platform and an optimized data structure (2020) Eduardo Vasconcellos – Esteban Clua – Flavio Fenton – Marcelo Zamith Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems (2020) F. Shmarov – S. Soudjani – N. Paoletti – E. Bartocci – S. Lin – S. Smolka – P. Zuliani Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Bayesian Neural Predictive Monitoring (2020) L. Bortolussi – F. Cairoli – N. Paoletti – S. Smolka – S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Better Automata through Process Algebra (2020) Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Data-Driven Robust Control for a Closed-Loop Artificial Pancreas (2020) N. Paoletti – K. Liu – H. Chen – S. Smolka – S. Lin Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Data-Driven Uncertainty Quantification for Cardiac Electrophysiological Models: Impact of Physiological Variability on Action Potential and Spiral Wave Dynamics (2020) Pras Pathmanathan – Suran Galappaththige – Jonathan Cordeiro – Abouzar Kaboudian – Flavio Fenton – Richard Gray Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Excitable dynamics in neural and cardiac systems (2020) Roberto Barrio – Stephen Coombes – Mathieu Desroches – Flavio Fenton – Stefan Luther – Esther Pueyo Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Fatal arrhythmias: another reason why doctors remain cautious about chloroquine/hydroxychloroquine for treating COVID-19 (2020) Ilija Uzelac – Shahriar Iravanian – Hiroshi Ashikaga – Neal Bhatia – Conner Herndon – Abouzar Kaboudian – James Gumbart – Elizabeth Cherry – Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Pagination Current page 1 Page 2 Page 3 Page 4 Page 5 Next page ›› Last page Last »
