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

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99) Proceedings, conferences, collections, etc. pertaining to biology (92-06)

Related Items (27)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Modeling membrane systems using colored stochastic Petri nets ⋮ Hybrid representation and simulation of stiff biochemical networks ⋮ Applying differential dynamic logic to reconfigurable biological networks ⋮ Mathematical Models for Blood Coagulation ⋮ Twenty years of rewriting logic ⋮ Process calculi for biological processes ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Spatial calculus of looping sequences ⋮ Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models ⋮ Inferring reaction systems from ordinary differential equations ⋮ A Translation of Beta-binders in a Prioritized Pi-calculus ⋮ Programming in Biomolecular Computation ⋮ Formal Cellular Machinery ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ A symbolic investigation of superspreaders ⋮ Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures ⋮ External Control in Process Algebra for Systems Biology ⋮ An intermediate language for the stochastic simulation of biological systems ⋮ Markovian dynamics on complex reaction networks ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Symbolic computation of differential equivalences ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA ⋮ System 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