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

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Trans. Comp. Sys. Biology

• Publication date

  2009-10-02

• Fields of study

  Biology, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-04186-0_5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Bio-PEPA: A framework for the modelling and analysis of biological systems

  2009cited by this paper
• The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling

  2008cited by this paper
• Temporal logic patterns for querying dynamic models of cellular interaction networks

  2008cited by this paper
• The BlenX Language: A Tutorial

  2008cited by this paper
• The Calculus of Looping Sequences

  2008cited by this paper
• Probabilistic model checking of complex biological pathways

  2008cited by this paper
• Transactions on Computational Systems Biology X

  2008cited by this paper
• Petri Nets for Systems and Synthetic Biology

  2008cited by this paper
• The Beta Workbench: a computational tool to study the dynamics of biological systems

  2008cited by this paper
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

  2007cited by this paper
• Sensitivity Analysis of Intracellular Signaling Pathway Kinetics Predicts Targets for Stem Cell Fate Control

  2007cited by this paper
• Oncostatin M (OSM) cytostasis of breast tumor cells: characterization of an OSM receptor beta-specific kernel.

  2006cited by this paper
• Modeling regulatory mechanisms in IL‐6 signal transduction in hepatocytes

  2006cited by this paper
• Analysis of Signalling Pathways Using Continuous Time Markov Chains

  2006cited by this paper
• PRISM: A Tool for Automatic Verification of Probabilistic Systems

  2006cited by this paper
• Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

  2006cited by this paper
• Dizzy: Stochastic Simulation of Large-scale Genetic Regulatory Networks

  2005influential reference
• Operational Patterns in Beta-Binders

  2005cited by this paper
• Dissecting the puzzle of life: modularization of signal transduction networks

  2005cited by this paper
• Transactions on Computational Systems Biology I

  2005cited by this paper
• Brane Calculi

  2004cited by this paper
• BioAmbients: an abstraction for biological compartments

  2004cited by this paper
• Reduction of mathematical models of signal transduction networks: simulation-based approach applied to EGF receptor signalling.

  2004cited by this paper
• Brane Calculi Interactions of Biological Membranes

  2004cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Formal molecular biology

  2004cited by this paper
• Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by databased modeling

  2003cited by this paper
• Cells as Computation

  2003influential reference
• Principles of interleukin (IL)-6-type cytokine signalling and its regulation.

  2003cited by this paper
• Cellular abstractions: Cells as computation

  2002cited by this paper
• Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM

  2002cited by this paper
• Signaling through the JAK/STAT pathway, recent advances and future challenges.

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

  2000cited by this paper
• Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels

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

  2000cited by this paper
• Approximate Symbolic Model Checking of Continuous-Time Markov Chains

  1999cited by this paper
• Verifying Continuous Time Markov Chains

  1996cited by this paper
• A compositional approach to performance modelling

  1996cited by this paper
• Concurrency Theory

  1986cited by this paper
• BMC Systems Biology

  year unknowninfluential reference

• JAK inhibitors in immune-mediated rheumatic diseases: From a molecular perspective to clinical studies.

  2020cites this paper
• Cellular Signalling Systems

  2019cites this paper
• Modelling and Simulation of Biochemical Processes Using Petri Nets

  2018cites this paper
• Process calculi for biological processes

  2018cites this paper
• Improving process algebra model structure and parameters in infectious disease epidemiology through data mining

  2017cites this paper
• Formal verification using model checking

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

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

  2016cites this paper
• A petri net model for a composed biological system

  2015cites this paper
• An Integrated Qualitative and Quantitative Biochemical Model Learning Framework Using Evolutionary Strategy and Simulated Annealing

  2015cites this paper
• Spatio-temporal logic for the analysis of biochemical models

  2015cites this paper
• Hybrid semantics for Bio-PEPA

  2014cites this paper
• Model Checking in Biology

  2014cites this paper
• Formal methods for checking the consistency of biological models.

  2012cites this paper
• Modelling and analysis of structure in cellular signalling systems

  2012cites this paper
• Equivalences for a biological process algebra

  2011cites this paper
• Computational modeling of biological pathways by executable biology.

  2011cites this paper
• On verifying Bio-PEPA models

  2010influential citation
• Query-basedverificationofqualitativetrendsandoscillationsin biochemicalsystems

  2010cites this paper
• Query-based verification of qualitative trends and oscillations in biochemical systems

  2010cites this paper
• Explorer Design and Development of Software Tools for Bio-PEPA

  2009cites this paper
• Equivalence and Discretisation in Bio-PEPA

  2009cites this paper
• Design and development of software tools for Bio-PEPA

  2009influential citation
• Author's Personal Copy Theoretical Computer Science a Semantic Equivalence for Bio-pepa Based on Discretisation of Continuous Values

  year unknowncites this paper