BIOCHAM
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Space-Weather-ROM
- Modular verification of interactive systems with an application to biology
- Qualitative analysis of gene regulatory networks by temporal logic
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- A collective interpretation semantics for reversing Petri nets
- A model and analysis of the AKAP scaffold
- Graphical requirements for multistationarity in reaction networks and their verification in BioModels
- Modelling patterns of gene regulation in the bond-calculus
- Computing difference abstractions of linear equation systems
- Abstract simulation of reaction networks via Boolean networks
- Chromar
- Influence systems vs reaction systems
- Modelling of DNA mismatch repair with a reversible process calculus
- Modeling methods for medical systems biology. Regulatory dynamics underlying the emergence of disease processes
- Trend-based analysis of a population model of the AKAP scaffold protein
- A simple model of genetic oscillations through regulated degradation
- Hybrid dynamics of stochastic programs
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Computational Methods in Systems Biology
- Process algebra with hooks for models of pattern formation
- GemCell: A generic platform for modeling multi-cellular biological systems
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Symbolic computation of differential equivalences
- Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Component identification in biochemical pathways
- Abstract interpretation and types for systems biology
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Algebraic biochemistry: a framework for analog online computation in cells
- Model checking of biological systems
- Constraint programming in structural bioinformatics
- System design of stochastic models using robustness of temporal properties
- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- CMBSlib
- PRISM
- Bio-PEPA
- GemCell
- SCCP
- DiVinE
- SLMC
- HOCL
- Symbolic computation of differential equivalences
- 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
- HSIM
- ERODE
- MGS
- A process algebra framework for multi-scale modelling of biological systems
- NFsim
- Smoldyn
- StochPy
- SGN Sim
- Zsyntax
- CRN++
- RuleBender
- Dizzy
- Executable biochemical space for specification and analysis of biochemical systems
- efmtool
- GNA
- Hypothesizing about signaling networks
- An algorithm for the identification of components in biochemical pathways
- 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
- A declarative view of signaling pathways
- Modeling biological systems in stochastic concurrent constraint programming
- 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
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems
- HSIM: a hybrid stochastic simulation system for systems biology
This page was built for software: BIOCHAM
