The following pages link to BioNetGen (Q21065):
Displaying 50 items.
- The interplay of double phosphorylation and scaffolding in MAPK pathways (Q285162) (← links)
- Retroactivity effects dependency on the transcription factors binding mechanisms (Q332421) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Markov chain aggregation and its applications to combinatorial reaction networks (Q404799) (← links)
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- Mathematical models for immunology: current state of the art and future research directions (Q518216) (← links)
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints (Q533354) (← links)
- Mechanistic simulations of inflammation: current state and future prospects (Q1013275) (← links)
- Computational modelling of the kinetic tile assembly model using a rule-based approach (Q1682869) (← links)
- Computational modeling of synergistic interaction between \(\alpha\)V\(\beta\)3 integrin and VEGFR2 in endothelial cells: implications for the mechanism of action of angiogenesis-modulating integrin-binding peptides (Q1714301) (← links)
- A predictive mathematical model of the DNA damage G2 checkpoint (Q1715195) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- Stochastic effects and bistability in T cell receptor signaling (Q1797412) (← links)
- SBML to bond graphs: from conversion to composition (Q2085131) (← links)
- Modern methods and software systems of molecular modeling and application of behavior algebra (Q2103753) (← links)
- A multifarious exploration of synaptic tagging and capture hypothesis in synaptic plasticity: development of an integrated mathematical model and computational experiments (Q2109268) (← links)
- MobsPy: a meta-species language for chemical reaction networks (Q2112164) (← links)
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems (Q2112172) (← links)
- Reachability analysis via orthogonal sets of patterns (Q2130568) (← links)
- Chromar, a rule-based language of parameterised objects (Q2130570) (← links)
- Nonlinear pattern matching in rule-based modeling languages (Q2142118) (← links)
- Tropical abstraction of biochemical reaction networks with guarantees (Q2229132) (← links)
- Proving the absence of unbounded polymers in rule-based models (Q2229134) (← links)
- Executable biochemical space for specification and analysis of biochemical systems (Q2229140) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- A multiscale multicellular spatiotemporal model of local influenza infection and immune response (Q2243102) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Data-driven analysis of a mechanistic model of CAR T cell signaling predicts effects of cell-to-cell heterogeneity (Q2295757) (← links)
- Analysis of Fn14-NF-\(\kappa\)B signaling response dynamics using a mechanistic model (Q2324879) (← links)
- Generalizing Gillespie's direct method to enable network-free simulations (Q2325562) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- The inverse problem in mathematical biology (Q2341842) (← links)
- A nonlinear mathematical model of cell-mediated immune response for tumor phenotypic heterogeneity (Q2415802) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- Rigid geometric constraints for Kappa models (Q2520629) (← links)
- Coarse-graining the dynamics of ideal branched polymers (Q2520630) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- An algebraic approach for inferring and using symmetries in rule-based models (Q2520668) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Mesoscopic Modeling of Stochastic Reaction-Diffusion Kinetics in the Subdiffusive Regime (Q2806422) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- Thermodynamic graph-rewriting (Q2941762) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Incremental Update for Graph Rewriting (Q2988640) (← links)
- Biochemical Reaction Rules with Constraints (Q3000587) (← links)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
- Efficient Turing-Universal Computation with DNA Polymers (Q3070966) (← links)
- Combining Model Reductions (Q3178247) (← links)
