↓ Skip to main content

Computational Methods in Systems Biology

Overview of attention for book
Cover of 'Computational Methods in Systems Biology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Qualitative Modeling and Simulation of Bacterial Regulatory Networks
  3. Altmetric Badge
    Chapter 2 Integrated Analysis from Abstract Stochastic Process Algebra Models
  4. Altmetric Badge
    Chapter 3 An Exact Brownian Dynamics Method for Cell Simulation
  5. Altmetric Badge
    Chapter 4 Multiscale Modelling of Neuronal Signalling
  6. Altmetric Badge
    Chapter 5 Systems Biology of Halophilic Archaea
  7. Altmetric Badge
    Chapter 6 A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data
  8. Altmetric Badge
    Chapter 7 Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe
  9. Altmetric Badge
    Chapter 8 Component-Based Modelling of RNA Structure Folding
  10. Altmetric Badge
    Chapter 9 A Language for Biochemical Systems
  11. Altmetric Badge
    Chapter 10 The Attributed Pi Calculus
  12. Altmetric Badge
    Chapter 11 The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
  13. Altmetric Badge
    Chapter 12 Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems
  14. Altmetric Badge
    Chapter 13 Formal Analysis of Abnormal Excitation in Cardiac Tissue
  15. Altmetric Badge
    Chapter 14 The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock
  16. Altmetric Badge
    Chapter 15 SED-ML – An XML Format for the Implementation of the MIASE Guidelines
  17. Altmetric Badge
    Chapter 16 On Parallel Stochastic Simulation of Diffusive Systems
  18. Altmetric Badge
    Chapter 17 Large-Scale Design Space Exploration of SSA
  19. Altmetric Badge
    Chapter 18 Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
  20. Altmetric Badge
    Chapter 19 On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
  21. Altmetric Badge
    Chapter 20 A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
  22. Altmetric Badge
    Chapter 21 Compositional Definitions of Minimal Flows in Petri Nets
  23. Altmetric Badge
    Chapter 22 On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network
  24. Altmetric Badge
    Chapter 23 A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data
  25. Altmetric Badge
    Chapter 24 An Exact Brownian Dynamics Method for Cell Simulation
  26. Altmetric Badge
    Chapter 25 Stochastic Analysis of Amino Acid Substitution in Protein Synthesis
  27. Altmetric Badge
    Chapter 26 A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics
  28. Altmetric Badge
    Chapter 27 Erratum: Analyzing a Discrete Model of Aplysia Central Pattern Generator
Attention for Chapter 19: On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
33 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
Chapter number 19
Book title
Computational Methods in Systems Biology
Published by
Springer, Berlin, Heidelberg, October 2008
DOI 10.1007/978-3-540-88562-7_19
Book ISBNs
978-3-54-088561-0, 978-3-54-088562-7
Authors

Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman, Rizk, Aurélien, Batt, Grégory, Fages, François, Soliman, Sylvain

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 33 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Czechia 2 6%
France 1 3%
United Kingdom 1 3%
United States 1 3%
Poland 1 3%
Unknown 27 82%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 12 36%
Researcher 11 33%
Professor > Associate Professor 3 9%
Student > Master 3 9%
Student > Doctoral Student 1 3%
Other 1 3%
Unknown 2 6%
Readers by discipline Count As %
Computer Science 21 64%
Agricultural and Biological Sciences 6 18%
Engineering 2 6%
Chemistry 1 3%
Mathematics 1 3%
Other 0 0%
Unknown 2 6%