Publications Sort by Year of Publication Order AscDesc 2018 An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models (2018) Jesuliana Ulysses – Lucas Berg – Elizabeth Cherry – Ben Liu – Rodrigo Santos – Bruno de Barros – Bernardo Rocha – Rafael de Queiroz DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Automated Specification Extraction and Analysis with Specstractor (2018) Christoph Schulze – Rance Cleaveland – Mikael Lindvall DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees (2018) James Ferlez – Rance Cleaveland – Steven Marcus Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Declarative vs Rule-based Control for Flocking Dynamics (2018) Usama Mehmood – Nicola Paoletti – Dung Phan – Radu Grosu – Shan Lin – Scott Stoller – Ashish Tiwari – Junxing Yang – Scott Smolka DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Discordant Alternans as a Mechanism for Initiation of Ventricular Fibrillation In Vitro (2018) Laura Munoz – Anna Gelzer – Flavio Fenton – Wei Qian – WeiYe Lin – Robert Gilmour – Niels Otani DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Dynamic Network Model from Partial Observations (2018) Elahe K. – Baharan Mirzasoleiman – Radu Grosu – Jure Leskovec Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Electromechanical vortex filaments during cardiac fibrillation (2018) Jan Christoph – M. Chebbok – Carl Richter – Johannes Schröder-Schetelig – Philip Bittihn – Seth Stein – Ilija Uzelac – Flavio Fenton – Gerd Hasenfuss – Robert Gilmour – Stefan Luther DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Neural State Classification for Hybrid Systems (2018) Dung Phan – Nicola Paoletti – Timothy Zhang – Radu Grosu – Scott Smolka – Scott Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS OpenUAV: A UAV Testbed for the CPS and Robotics Community (2018) Matt Schmittle – Anna Lukina – Lukas Vacek – Jnaneshwar Das – Christopher Buskirk – Stephen Rees – Janos Sztipanovits – Radu Grosu – Vijay Kumar DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (2018) Md. Islam – Rance Cleaveland – Flavio Fenton – Radu Grosu – Paul Jones – Scott Smolka DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Process Algebra and Model Checking (2018) Rance Cleaveland – A. Roscoe – Scott Smolka DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Programming is modeling (2018) Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS The role of conductivity discontinuities in design of cardiac defibrillation (2018) Hyunkyung Lim – Wenjing Cun – Yue Wang – Richard Gray – James Glimm DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Unsupervised Wafermap Patterns Clustering via Variational Autoencoders (2018) Peter Tulala – Hamidreza Mahyar – Elahe Ghalebi – Radu Grosu Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS 2017 {Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties} (2017) Nicola Paoletti – Kin Liu – Scott Smolka – Shan Lin DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems} (2017) Fedor Shmarov – Nicola Paoletti – Ezio Bartocci – Shan Lin – Scott Smolka – Paolo Zuliani Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias (2017) H. Abbas – K.J. Jang – J. Liang – S. Dixit – R. Mangharam Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS A Menagerie of Timed Automata (vol 50, 42, 2017) (2017) Jeroen Keiren – Peter Fontana – Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Alternans promotion in cardiac electrophysiology models by delay differential equations (2017) Johnny Gomes – Rodrigo Santos – Elizabeth Cherry DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees (2017) James Ferlez – Rance Cleaveland – Steven Marcus DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Closed-loop quantitative verification of rate-adaptive pacemakers (2017) Nicola Paoletti – Andrea Patanè – Marta Kwiatkowska Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles (2017) D. Phan – J. Yang – R. Grosu – S. Smolka – S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Corrections to "A Menagerie of Timed Automata" (2017) Jeroen Keiren – Peter Fontana – Rance Cleaveland DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Data assimilation for cardiac electrical dynamics (2017) E. Cherry – D. Cairns – N. Holt – N. LaVigne – F. Fenton – M. Hoffman – P. Nithiarasu – A. Robertson Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing (2017) Elizabeth Cherry DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Pagination First page « First Previous page ‹‹ Page 1 Page 2 Current page 3 Page 4 Page 5 Next page ›› Last page Last »
