inr_logo_rouge
Open Menu
Close Menu
Home
Publications
Projects
Teaching
Posts
Links
Contact
Publications
Francois Fages
,
Francesca Rossi
,
Sylvain Soliman
(2007).
Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming
.
PDF
HAL
Laurence Calzone
,
Nathalie Chabrier-Rivier
,
François Fages
,
Loïc Fosse
,
Sylvain Soliman
(2007).
Langages formels dans la machine abstraite biochimique BIOCHAM
.
Revue des Sciences et Technologies de l’Information - Série TSI : Technique et Science Informatiques
, 26 (1-2):47–72.
PDF
HAL
DOI
Rémy Haemmerlé
,
François Fages
,
Sylvain Soliman
(2007).
Closures and Modules Within Linear Logic Concurrent Constraint Programming
. In Arvind, V. and Prasad, Sanjiva, editor,
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
, pages 544–556, Springer Berlin Heidelberg.
HAL
Remy Haemmerle
,
Francois Fages
,
Sylvain Soliman
(2006).
On Internalizing Modules as Agents in Concurrent Constraint Programming
. Research Report.
PDF
HAL
Laurence Calzone
,
Nathalie Chabrier-Rivier
,
François Fages
,
Sylvain Soliman
(2006).
Machine Learning Biochemical Networks from Temporal Logic Properties
. In Priami, Corradoand Plotkin, Gordon, editor,
Transactions on Computational Systems Biology VI
, pages 68–94, Springer Berlin Heidelberg.
HAL
Laurence Calzone
,
Sylvain Soliman
(2006).
Coupling the Cell cycle and the Circadian Cycle
. Research Report.
PDF
HAL
Laurence Calzone
,
François Fages
,
Sylvain Soliman
(2006).
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
.
Bioinformatics
, 22 (14):1805–1807.
HAL
DOI
Nathalie Chabrier-Rivier
,
Francois Fages
,
Sylvain Soliman
,
Laurence Calzone
(2005).
Learning Transition Rules from Temporal Logic Properties
. Research Report.
PDF
HAL
Laurence Calzone
,
Nathalie Chabrier-Rivier
,
Francois Fages
,
Sylvain Soliman
(2005).
A Machine Learning approach to Biochemical Reaction Rules Discovery
. In Francis J. Doyle III, editor,
Proceedings of Foundations of Systems Biology and Engineering FOSBE'05
, pages 375–379.
PDF
HAL
Laurence Calzone
,
Nathalie Chabrier-Rivier
,
Francois Fages
,
Sylvain Soliman
(2005).
Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle
. In Alain Guénoche et Christophe Geourjon Guy Perrière, editor,
Actes de JOBIM'05
, pages 183–192.
PDF
HAL
« Previous
Next »