Francois Fages

Latest

• A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets
• Inferring Reaction Models from ODEs
• Reifying Global Constraints
• Automatic Curation of SBML Models based on their ODE Semantics
• SBGN support in BIOCHAM
• Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans
• Model-based Predictions of the Influence of Circadian Clock Genes Knock-Outs on the Cell Cycle
• On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
• On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
• A general computational method for robustness analysis with applications to synthetic gene networks
• Model Revision from Temporal Logic Properties in Computational Systems Biology
• On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
• Formal Cell Biology in Biocham
• From reaction models to influence graphs and back: a theorem
• Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming
• On Internalizing Modules as Agents in Concurrent Constraint Programming
• A Machine Learning approach to Biochemical Reaction Rules Discovery
• Learning Transition Rules from Temporal Logic Properties
• Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle
• Machine Learning Bio-molecular Interactions from Temporal Logic Properties
• The Biochemical Abstract Machine BIOCHAM
• Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM
• La programmation par contraintes