The following pages link to BIOCHAM (Q21906):
Displaying 48 items.
- An algorithm for the identification of components in biochemical pathways (Q276001) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Attractor computation using interconnected Boolean networks: testing growth rate models in \textit{E. coli} (Q498917) (← links)
- Inferring reaction systems from ordinary differential equations (Q498919) (← 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)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- Modeling biological systems in stochastic concurrent constraint programming (Q941672) (← links)
- Constraint programming in structural bioinformatics (Q941676) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- A simple model of genetic oscillations through regulated degradation (Q1002765) (← links)
- Influence systems vs reaction systems (Q1706580) (← links)
- Graphical requirements for multistationarity in reaction networks and their verification in BioModels (Q1712870) (← links)
- Modeling methods for medical systems biology. Regulatory dynamics underlying the emergence of disease processes (Q1755457) (← links)
- Algebraic biochemistry: a framework for analog online computation in cells (Q2112135) (← links)
- Abstract simulation of reaction networks via Boolean networks (Q2112137) (← links)
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems (Q2112172) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Executable biochemical space for specification and analysis of biochemical systems (Q2229140) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Computing difference abstractions of linear equation systems (Q2238208) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- Component identification in biochemical pathways (Q2348029) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- GemCell: A generic platform for modeling multi-cellular biological systems (Q2474439) (← links)
- Abstract interpretation and types for systems biology (Q2518376) (← links)
- HSIM: a hybrid stochastic simulation system for systems biology (Q2520627) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks (Q2870300) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein (Q4912376) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (Q5302876) (← links)
- A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)
- Computational Methods in Systems Biology (Q5712392) (← links)
- Symbolic computation of differential equivalences (Q5890964) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
