Pages that link to "Item:Q925313"

The following pages link to 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 (Q925313):

Displaying 29 items.

• Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
• Modeling membrane systems using colored stochastic Petri nets (Q269787) (← links)
• Hybrid representation and simulation of stiff biochemical networks (Q360624) (← links)
• SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets (Q414477) (← links)
• Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
• Inferring reaction systems from ordinary differential equations (Q498919) (← links)
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
• A symbolic investigation of superspreaders (Q542018) (← links)
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
• Spatial calculus of looping sequences (Q652132) (← links)
• Markovian dynamics on complex reaction networks (Q740680) (← links)
• Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
• Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
• Minimal probabilistic P systems for modelling ecological systems (Q896706) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• An intermediate language for the stochastic simulation of biological systems (Q2271445) (← links)
• System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
• Applying differential dynamic logic to reconfigurable biological networks (Q2411314) (← links)
• Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
• Mathematical Models for Blood Coagulation (Q2946192) (← links)
• External Control in Process Algebra for Systems Biology (Q5179432) (← links)
• Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models (Q5382446) (← links)
• A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
• Programming in Biomolecular Computation (Q5404089) (← links)
• Formal Cellular Machinery (Q5404096) (← links)
• Symbolic computation of differential equivalences (Q5920213) (← links)
• Process calculi for biological processes (Q6062000) (← links)
• Artificial intelligence in biological modelling (Q6602271) (← links)
• Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)