Sylvain Soliman's Den
Sylvain Soliman's Den
Home
Publications
Projects
Teaching
Posts
Links
Contact
Light
Dark
Automatic
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
Cite
×