BIOCHAM

swMATH9927MaRDI QIDQ21906FDOQ21906

Author name not available (Why is that?)

Cited In (48)

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

This page was built for software: BIOCHAM