Francois Fages

The Biochemical Abstract Machine BIOCHAM

In this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for networks biology. Biocham provides a precise …

Nathalie Chabrier-Rivier
Read more

Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM

Recent progress in high-throughput data-production technologies pushes research towardsystems biology, focusing on the global interaction between the components ofbiomolecular …

Francois Fages
Read more

La programmation par contraintes

Sylvain Soliman
Read more