Modeling and querying biomolecular interaction networks

DOI10.1016/j.tcs.2004.03.063zbMath1071.68098OpenAlexW2066322491MaRDI QIDQ1884862

Vincent Danos, François Fages, Vincent Schächter, Nathalie Chabrier-Rivier, Marc Chiaverini

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.03.063

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (27)

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity ⋮ Analyzing Oscillatory Behavior with Formal Methods ⋮ A formal approach for tuning stochastic oscillators ⋮ From Reaction Models to Influence Graphs and Back: A Theorem ⋮ Reasoning about non-immediate triggers in biological networks ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ CTL update of Kripke models through protections ⋮ Bisimulations in calculi modelling membranes ⋮ Inferring reaction systems from ordinary differential equations ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ A Model and Analysis of the AKAP Scaffold ⋮ Bio-Logics: Logical Analysis of Bioregulatory Networks ⋮ On temporal logic constraint solving for analyzing numerical data time series ⋮ Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Translating Stochastic CLS into Maude ⋮ Modular modelling of signalling pathways and their cross-talk ⋮ Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods ⋮ Dynamical modeling and analysis of large cellular regulatory networks ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ Abstract interpretation and types for systems biology ⋮ Proving Stabilization of Biological Systems ⋮ Process Algebra Modelling Styles for Biomolecular Processes

Uses Software

• NuSMV

Cites Work

• A calculus of mobile processes. II
• BioAmbients: an abstraction for biological compartments
• On Solving Temporal Logic Queries
• Computational Methods in Systems Biology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling and querying biomolecular interaction networks