The following pages link to Jean-Paul Comet (Q359893):
Displaying 24 items.
- Embedding of biological regulatory networks and property preservation (Q359895) (← links)
- On circuit functionality in Boolean networks (Q371977) (← links)
- Stable periodicity and negative circuits in differential systems (Q659031) (← links)
- On the impact of the distance between two genes on their interaction curve (Q662600) (← links)
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets (Q1013380) (← links)
- (Q1870592) (redirect page) (← links)
- Application of max-plus algebra to biological sequence comparisons (Q1870593) (← links)
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer (Q2110690) (← links)
- Greening R. Thomas' framework with environment variables: a divide and conquer approach (Q2142101) (← links)
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic (Q2189295) (← links)
- Erratum to: ``Stable periodicity and negative circuits in differential systems'' (Q2257056) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- Necessary conditions for multistationarity in discrete dynamical systems (Q2462379) (← links)
- Graph Transformation for Topology Modelling (Q3540395) (← links)
- Delays in Biological Regulatory Networks (BRN) (Q3545140) (← links)
- Property Preservation along Embedding of Biological Regulatory Networks (Q3599198) (← links)
- (Q4413205) (← links)
- Modeling and Analysis of Gene Regulatory Networks (Q4554266) (← links)
- Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes (Q5227331) (← links)
- (Q5472864) (← links)
- Computational Methods in Systems Biology (Q5712411) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713503) (← links)
- Constrained Kripke structure for identifying parameters of biological models (Q6131194) (← links)
- Constraint identification using modified Hoare logic on hybrid models of gene networks (Q6486421) (← links)
