Pages that link to "Item:Q1884862"

The following pages link to Modeling and querying biomolecular interaction networks (Q1884862):

Displaying 26 items.

• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
• Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
• Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
• Inferring reaction systems from ordinary differential equations (Q498919) (← links)
• 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 (Q533354) (← links)
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
• Modular modelling of signalling pathways and their cross-talk (Q714863) (← links)
• Bisimulations in calculi modelling membranes (Q939161) (← links)
• On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
• Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
• Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
• CTL update of Kripke models through protections (Q2453698) (← links)
• Abstract interpretation and types for systems biology (Q2518376) (← links)
• Dynamical modeling and analysis of large cellular regulatory networks (Q2787874) (← links)
• Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
• Proving Stabilization of Biological Systems (Q3075477) (← links)
• From Reaction Models to Influence Graphs and Back: A Theorem (Q3506870) (← links)
• Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
• Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods (Q3599207) (← links)
• Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
• Bio-Logics: Logical Analysis of Bioregulatory Networks (Q4916070) (← links)
• Translating Stochastic CLS into Maude (Q5179424) (← links)
• Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
• A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)
• Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)
• The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)