BIOCHAM

swMATH9927MaRDI QIDQ21906

No author found.

Related Items (48)

An algorithm for the identification of components in biochemical pathways ⋮ Hypothesizing about signaling networks ⋮ Model Checking of Biological Systems ⋮ Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ A Declarative View of Signaling Pathways ⋮ A process algebra framework for multi-scale modelling of biological systems ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Influence systems vs reaction systems ⋮ Graphical requirements for multistationarity in reaction networks and their verification in BioModels ⋮ Computational Methods in Systems Biology ⋮ Executable biochemical space for specification and analysis of biochemical systems ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Modeling biological systems in stochastic concurrent constraint programming ⋮ Constraint programming in structural bioinformatics ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Attractor computation using interconnected Boolean networks: testing growth rate models in \textit{E. coli} ⋮ Inferring reaction systems from ordinary differential equations ⋮ Computing difference abstractions of linear equation systems ⋮ A Model and Analysis of the AKAP Scaffold ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration ⋮ Modular Verification of Interactive Systems with an Application to Biology ⋮ Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein ⋮ GemCell: A generic platform for modeling multi-cellular biological systems ⋮ Modeling methods for medical systems biology. Regulatory dynamics underlying the emergence of disease processes ⋮ nano\(\kappa\): A calculus for the modeling and simulation of nano devices ⋮ On temporal logic constraint solving for analyzing numerical data time series ⋮ 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 ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Query-based verification of qualitative trends and oscillations in biochemical systems ⋮ Hybrid dynamics of stochastic programs ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ On algorithmic analysis of transcriptional regulation by LTL model checking ⋮ Symbolic computation of differential equivalences ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ A simple model of genetic oscillations through regulated degradation ⋮ Abstract interpretation and types for systems biology ⋮ HSIM: a hybrid stochastic simulation system for systems biology ⋮ Symbolic computation of differential equivalences ⋮ System design of stochastic models using robustness of temporal properties ⋮ Component identification in biochemical pathways ⋮ Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE ⋮ Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks ⋮ Algebraic biochemistry: a framework for analog online computation in cells ⋮ Abstract simulation of reaction networks via Boolean networks ⋮ eBCSgen 2.0: modelling and analysis of regulated rule-based systems ⋮ Qualitative analysis of gene regulatory networks by temporal logic

This page was built for software: BIOCHAM