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-5zbMATH Open1137.68302OpenAlexW2492921849MaRDI QIDQ925313FDOQ925313
Author name not available (Why is that?)
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
Computing methodologies and applications (68U99) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to biology (92-06)
Cited In (30)
- Process calculi for biological processes
- Twenty years of rewriting logic
- Mathematical Models for Blood Coagulation
- 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 Translation of Beta-binders in a Prioritized Pi-calculus
- A symbolic investigation of superspreaders
- Programming in Biomolecular Computation
- 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
- Artificial intelligence in biological modelling
- Verification of spatial and temporal modalities in biochemical systems
- 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
- An intermediate language for the stochastic simulation of biological systems
- SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets
- Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models
- 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
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Formal Cellular Machinery
- External Control in Process Algebra for Systems Biology
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)
