Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
From MaRDI portal
(Redirected from Publication:925313)
Cited in
(30)- Comparison of combinatorial signatures of global network dynamics generated by two classes of ODE models
- Twenty years of rewriting logic
- Process calculi for biological processes
- Modelling and analysing neural networks using a hybrid process algebra
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Modeling membrane systems using colored stochastic Petri nets
- A symbolic investigation of superspreaders
- Foundational aspects of multiscale modeling of biological systems with process algebras
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Spatial calculus of looping sequences
- Special issue: Foundations of formal reconstruction of biochemical networks. Three selected papers based on the presentations at the 6th international conference on computational methods in systems biology (CMSB 2008), Rostock/Warnemünde, Germany, October 12--15, 2008
- External control in process algebra for systems biology
- Artificial intelligence in biological modelling
- A translation of beta-binders in a prioritized pi-calculus
- Verification of spatial and temporal modalities in biochemical systems
- Programming in biomolecular computation
- Applying differential dynamic logic to reconfigurable biological networks
- System design of stochastic models using robustness of temporal properties
- Markovian dynamics on complex reaction networks
- Minimal probabilistic P systems for modelling ecological systems
- SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets
- An intermediate language for the stochastic simulation of biological systems
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
- Symbolic computation of differential equivalences
- Hybrid representation and simulation of stiff biochemical networks
- Inferring reaction systems from ordinary differential equations
- Mathematical models for blood coagulation
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Formal Cellular Machinery
This page was built for publication: Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q925313)
