Analysis of Signalling Pathways Using Continuous Time Markov Chains

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Trans. Comp. Sys. Biology

• Publication date

  Unknown publication date

• Fields of study

  Biology, Computer Science

• Identifiers
  DOI 10.1007/11880646_3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

  2006cited by this paper
• Modelling and Analysis of Biochemical Networks with Time Petri Nets

  2004cited by this paper
• Qualitative modelling and analysis of biochemical pathways with petri nets

  2004cited by this paper
• Modeling and querying biomolecular interaction networks

  2004cited by this paper
• Petri Net representations in systems biology.

  2003cited by this paper
• Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway

  2003cited by this paper
• Symbolic Model Checking of Biochemical Networks

  2003cited by this paper
• Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors

  2002cited by this paper
• PRISM: Probabilistic Symbolic Model Checker

  2002cited by this paper
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes

  2001cited by this paper
• Computer Performance Evaluation

  2000cited by this paper
• Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra

  2000cited by this paper
• Model Checking Continuous-Time Markov Chains by Transient Analysis

  2000cited by this paper
• Model-checking continuous-time Markov chains

  2000cited by this paper
• Quantification of Short Term Signaling by the Epidermal Growth Factor Receptor*

  1999cited by this paper
• Hybrid Petri net representation of gene regulatory network.

  1999cited by this paper
• Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets.

  1998cited by this paper
• Exact Stochastic Simulation of Coupled Chemical Reactions

  1977cited by this paper

• Formal Analysis of Uncertain Continuous Markov Chains in Systems Biology

  2024cites this paper
• Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking

  2022cites this paper
• The probabilistic model checker Storm

  2020cites this paper
• Cellular Signalling Systems

  2019cites this paper
• Computational model validation using a novel multiscale multidimensional spatio-temporal meta model checking approach

  2016cites this paper
• A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways

  2016cites this paper
• A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking

  2016cites this paper
• Computational Modeling, Formal Analysis, and Tools for Systems Biology

  2016cites this paper
• Dynamic Modelling Trophic Networks with Bio-PEPA Ca ’ Foscari

  2016cites this paper
• Petri Net Siphon Analysis and Network Centrality Measures for Identifying Combination Therapies in Signaling Pathways

  2016cites this paper
• Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction

  2015cites this paper
• Symbolic on-the-fly analysis of stochastic Petri nets

  2014cites this paper
• MIM-Logic : a logic for reasoning about molecular interaction maps

  2014cites this paper
• Probabilistic Model Checking for Biology

  2014cites this paper
• Hybrid modeling and optimization of biological processes

  2013cites this paper
• Modelling, abstraction, and computation in systems biology: A view from computer science.

  2013cites this paper
• Formal Methods for Dynamical Systems

  2013cites this paper
• Model Checking of Biological Systems

  2013cites this paper
• An analysis for proving probabilistic termination of biological systems

  2013cites this paper
• Stochastic Analysis of Synthetic Genetic Circuits

  2013cites this paper
• Modelling networks of biochemical reactions

  2012cites this paper
• An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

  2012cites this paper
• A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application

  2012cites this paper
• BIOCHEMICAL REACTIONS MODELS USING THE PETRI NETWORK APPROACH

  2012cites this paper
• Probabilistic Model Checking of the PDGF Signaling Pathway

  2012cites this paper
• Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study

  2012cites this paper
• Modular modelling of signalling pathways and their cross-talk

  2012cites this paper
• Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein

  2012cites this paper
• Compiling and Verifying DNA-Based Chemical Reaction Network Implementations

  2012cites this paper
• How Might Petri Nets Enhance Your Systems Biology Toolkit

  2011cites this paper
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

  2011cites this paper
• Probabilistic model checking for systems biology

  2011cites this paper
• A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways

  2011cites this paper
• Simplification of a complex signal transduction model using invariants and flow equivalent servers

  2011cites this paper
• Probabilistic approximations of ODEs based bio-pathway dynamics

  2011influential citation
• Multiple verification in computational modeling of bone pathologies

  2011cites this paper
• Modeling and analysis of biological networks with model checking (Chapter 39)

  2011cites this paper
• Models and Languages for Computational Systems Biology - Lecture 8 Stochastic Model Checking

  2011cites this paper
• 2 Representation style – just a matter of taste ?

  2011cites this paper
• A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks

  2010cites this paper
• Formal Methods for Biochemical Signalling Pathways

  2010cites this paper
• Process Calculi for Systems Biology and applications in severe asthma

  2010cites this paper
• Modelling and Analysis of Biochemical Signalling Pathway Cross-talk

  2010cites this paper
• Biomodel Engineering - From Structure to Behavior

  2010cites this paper
• A Model and Analysis of the AKAP Scaffold

  2010cites this paper
• Process calculi for systems biology

  2010cites this paper
• D RA FT Quantitative Verification Techniques for Biological Processes

  2010cites this paper
• A comparative study of stochastic analysis techniques

  2010cites this paper
• From Model-Checking to Temporal Logic Constraint Solving

  2009cites this paper
• Master Thesis: Interactive Signaling Network Analysis Tool

  2009cites this paper
• On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process

  2009cites this paper
• Probabilistic Approximations of Signaling Pathway Dynamics

  2009cites this paper
• Process Algebra Modelling Styles for Biomolecular Processes

  2009influential citation
• Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway

  2009cites this paper
• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

  2009cites this paper
• On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

  2009cites this paper
• Bio-PEPA: A framework for the modelling and analysis of biological systems

  2009influential citation
• Process Calculi Abstractions for Biology

  2009cites this paper
• Master Thesis: Interactive Signaling Network Analysis Tool

  2009cites this paper
• Quantitative Verification Techniques for Biological Processes

  2009cites this paper
• Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems

  2009cites this paper
• A Monte Carlo model checker for probabilistic LTL with numerical constraints

  2008cites this paper
• Model Revision from Temporal Logic Properties in Computational Systems Biology

  2008cites this paper
• Stochastic Analysis of Amino Acid Substitution in Protein Synthesis

  2008cites this paper
• Pathway Logic

  2008cites this paper
• Probabilistic model checking of complex biological pathways

  2008influential citation
• On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

  2008cites this paper
• On the use of process algebra techniques in computational modelling of cancer initiation and development

  2008cites this paper
• On temporal logic constraint solving for analyzing numerical data time series

  2008cites this paper
• UvA-DARE (Digital Academic Repository) In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

  2008cites this paper
• Formal Cell Biology in Biocham

  2008cites this paper
• Using probabilistic model checking in systems biology

  2008cites this paper
• Process Algebras in Systems Biology

  2008cites this paper
• Petri Nets for Systems and Synthetic Biology

  2008influential citation
• Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle

  2008cites this paper
• Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems

  2007cites this paper
• Versatile stochastic models for networks with asymmetric TCP sources

  2007cites this paper
• Stochastic modeling of codon bias with PRISM

  2007cites this paper
• A Hybrid Approach to Modelling Biological Systems

  2007cites this paper
• Petri net modelling of biological networks 211

  2007cites this paper
• A Hybrid Approach to Modeling Biological Systems

  2007cites this paper
• A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets

  2007cites this paper
• Petri net modelling of biological networks

  2007cites this paper
• On the Analysis of Numerical Data Time Series in Temporal Logic

  2007cites this paper
• Deducing Interactions in Partially Unspecified Biological Systems

  2007cites this paper
• Probabilistic reasoning and inference for systems biology

  2007cites this paper
• Machine Learning Biochemical Networks from Temporal Logic Properties

  2006cites this paper
• Towards Probabilistic Model Checking on P Systems Using PRISM

  2006cites this paper
• Computational methodologies for modelling, analysis and simulation of signalling networks

  2006cites this paper
• Multiple Representations of Biological Processes

  2006cites this paper
• A Modeling Approach Based on P Systems with Bounded Parallelism

  2006cites this paper
• Simulation and Verification for Computational Modelling of Signalling Pathways

  2006cites this paper
• Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods

  2006cites this paper
• Author's Personal Copy Theoretical Computer Science Relating Continuous and Discrete Pepa Models of Signalling Pathways

  year unknowncites this paper
• Design and Analysis of DNA Circuits using Probabilistic Model Checking

  year unknowncites this paper