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