Cited in
(only showing first 100 items - show all)- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- An algorithm for the identification of components in biochemical pathways
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Abstract simulation of reaction networks via Boolean networks
- Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
- 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
- Symbolic computation of differential equivalences
- 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
- Trend-based analysis of a population model of the AKAP scaffold protein
- Modeling biological systems in stochastic concurrent constraint programming
- Hybrid dynamics of stochastic programs
- Computing difference abstractions of linear equation systems
- Process algebra with hooks for models of pattern formation
- Influence systems vs reaction systems
- Modeling methods for medical systems biology. Regulatory dynamics underlying the emergence of disease processes
- A declarative view of signaling pathways
- 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
- A model and analysis of the AKAP scaffold
- Model checking of biological systems
- CMBSlib
- PRISM
- Bio-PEPA
- GemCell
- SCCP
- DiVinE
- SLMC
- HOCL
- 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
- NFsim
- Smoldyn
- StochPy
- SGN Sim
- Zsyntax
- CRN++
- RuleBender
- Dizzy
- efmtool
- GNA
- 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
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- Executable biochemical space for specification and analysis of biochemical systems
- Computational Methods in Systems Biology
- Abstract interpretation and types for systems biology
- Space-Weather-ROM
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- A collective interpretation semantics for reversing Petri nets
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Symbolic computation of differential equivalences
- 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
- Modular verification of interactive systems with an application to biology
- Modelling patterns of gene regulation in the bond-calculus
- Query-based verification of qualitative trends and oscillations in biochemical systems
- 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
- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
- A process algebra framework for multi-scale modelling of biological systems
- Chromar
- Hypothesizing about signaling networks
This page was built for software: BIOCHAM
