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
Publication:925313

DOI10.1007/978-3-540-68894-5zbMath1137.68302OpenAlexW2492921849MaRDI QIDQ925313

No author found.

Publication date: 3 June 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68894-5




Related Items (27)

Modelling and analysing neural networks using a hybrid process algebraModeling membrane systems using colored stochastic Petri netsHybrid representation and simulation of stiff biochemical networksApplying differential dynamic logic to reconfigurable biological networksMathematical Models for Blood CoagulationTwenty years of rewriting logicProcess calculi for biological processesMinimal probabilistic P systems for modelling ecological systemsSimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri netsFoundational aspects of multiscale modeling of biological systems with process algebrasSpatial calculus of looping sequencesComparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE ModelsInferring reaction systems from ordinary differential equationsA Translation of Beta-binders in a Prioritized Pi-calculusProgramming in Biomolecular ComputationFormal Cellular MachineryA semantic equivalence for Bio-PEPA based on discretisation of continuous valuesA symbolic investigation of superspreadersContinuous valuations of temporal logic specifications with applications to parameter optimization and robustness measuresExternal Control in Process Algebra for Systems BiologyAn intermediate language for the stochastic simulation of biological systemsMarkovian dynamics on complex reaction networksVerification of spatial and temporal modalities in biochemical systemsSymbolic computation of differential equivalencesProbabilistic model checking of biological systems with uncertain kinetic ratesBio-PEPAd: a non-Markovian extension of Bio-PEPASystem design of stochastic models using robustness of temporal properties






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