swMATH9927MaRDI QIDQ21906FDOQ21906
Author name not available (Why is that?)
Official website: http://lifeware.inria.fr/biocham/
Source code repository: https://gitlab.inria.fr/lifeware/biocham
Cited In (94)
- Space-Weather-ROM
- Trend-based analysis of a population model of the AKAP scaffold protein
- Computing difference abstractions of linear equation systems
- Qualitative analysis of gene regulatory networks by temporal logic
- A model and analysis of the AKAP scaffold
- Modelling of DNA mismatch repair with a reversible process calculus
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- A collective interpretation semantics for reversing Petri nets
- Modular verification of interactive systems with an application to biology
- Chromar
- Modelling patterns of gene regulation in the bond-calculus
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
- 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
- On temporal logic constraint solving for analyzing numerical data time series
- Modeling biological systems in stochastic concurrent constraint programming
- Hybrid dynamics of stochastic programs
- Process algebra with hooks for models of pattern formation
- A declarative view of signaling pathways
- Influence systems vs reaction systems
- Modeling methods for medical systems biology. Regulatory dynamics underlying the emergence of disease processes
- A simple model of genetic oscillations through regulated degradation
- Algebraic biochemistry: a framework for analog online computation in cells
- Model checking of biological systems
- Component identification in biochemical pathways
- On algorithmic analysis of transcriptional regulation by LTL model checking
- System design of stochastic models using robustness of temporal properties
- SLMC
- HOCL
- Computational Methods in Systems Biology
- CaSPER
- Pirlo
- BioNetGen
- Ginsim
- COSMOS
- Cellerator
- Celldesigner
- Casaal
- Ymer
- MoMo
- Tom
- Bio-PEPAd
- BiGGER
- PEPA
- RoVerGeNe
- SpiCO
- BioSPI
- KEGG2SBML
- COPASI
- BlenX
- LBS
- MC2
- SABRE
- HASL
- BioModels
- PySB
- Executable biochemical space for specification and analysis of biochemical systems
- HSIM
- ERODE
- MGS
- NFsim
- Smoldyn
- StochPy
- SGN Sim
- Zsyntax
- CRN++
- RuleBender
- Dizzy
- efmtool
- GNA
- Abstract interpretation and types for systems biology
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Symbolic computation of differential equivalences
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- eBCSgen
- pyModelChecking
- rxncon
- 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
- 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
- Hypothesizing about signaling networks
This page was built for software: BIOCHAM
