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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Automated Specification Extraction and Analysis with Specstractor , Christoph Schulze, Rance Cleaveland, Mikael Lindvall, (2018) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees , James Ferlez, Rance Cleaveland, Steven Marcus, (2018) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Dynamic Network Model from Partial Observations , Elahe K., Baharan Mirzasoleiman, Radu Grosu, Jure Leskovec, (2018) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Neural State Classification for Hybrid Systems , Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott Smolka, Scott Stoller, (2018) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans , Md. Islam, Rance Cleaveland, FLAVIO FENTON, Radu Grosu, Paul Jones, Scott Smolka, (2018) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Process Algebra and Model Checking , Rance Cleaveland, A. Roscoe, Scott Smolka, (2018) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Programming is modeling , Rance Cleaveland, (2018) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS The role of conductivity discontinuities in design of cardiac defibrillation , Hyunkyung Lim, Wenjing Cun, Yue Wang, Richard Gray, James Glimm, (2018) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Unsupervised Wafermap Patterns Clustering via Variational Autoencoders , Peter Tulala, Hamidreza Mahyar, Elahe Ghalebi, Radu Grosu, (2018) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 2017 {Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties} , Nicola Paoletti, Kin Liu, Scott Smolka, Shan Lin, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS {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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS A Menagerie of Timed Automata (vol 50, 42, 2017) , Jeroen Keiren, Peter Fontana, Rance Cleaveland, (2017) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Alternans promotion in cardiac electrophysiology models by delay differential equations , Johnny Gomes, Rodrigo Santos, Elizabeth Cherry, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees , James Ferlez, Rance Cleaveland, Steven Marcus, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Closed-loop quantitative verification of rate-adaptive pacemakers , Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska, (2017) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Corrections to "A Menagerie of Timed Automata" , Jeroen Keiren, Peter Fontana, Rance Cleaveland, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Data assimilation for cardiac electrical dynamics , E. Cherry, D. Cairns, N. Holt, N. LaVigne, F. Fenton, M. Hoffman, P. Nithiarasu, A. Robertson, (2017) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing , Elizabeth Cherry, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Pagination First page « First Previous page ‹‹ Page 1 Page 2 Current page 3 Page 4 Page 5 Next page ›› Last page Last »