From Cardiac Cells to Genetic Regulatory Networks
Abstract elided by the publisher.
Related papers
- Model Checking Liveness Properties of Genetic Regulatory Networks TACAS 2007
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells CAV 2014
- Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data CAV 2015
- Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits CAV 2012
- Model Checking Gene Regulatory Networks TACAS 2015
- Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology CGO 2023
- Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach VMCAI 2014
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics VMCAI 2019