inr_logo_rouge
Open Menu
Close Menu
Home
Publications
Projects
Teaching
Posts
Links
Contact
Publications
Laurence Calzone
,
Nathalie Chabrier-Rivier
,
Francois Fages
,
Lucie Gentils
,
Sylvain Soliman
(2005).
Machine Learning Bio-molecular Interactions from Temporal Logic Properties
. In Gordon Plotkin, editor,
Third Workshop on Computational Methods in Systems Biology
.
PDF
HAL
Nathalie Chabrier-Rivier
,
Francois Fages
,
Sylvain Soliman
(2004).
The Biochemical Abstract Machine BIOCHAM
. In Vincent Danos, Vincent Schächter, editor,
CMSB'04: Proceedings of the second Workshop on Computational Methods in Systems Biology
, pages 172–191, Springer-Verlag.
PDF
HAL
Francois Fages
,
Sylvain Soliman
,
Nathalie Chabrier-Rivier
(2004).
Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM
.
Journal of Biological Physics and Chemistry
, 4 (2):64–73.
HAL
François Fages
,
Sylvain Soliman
,
Rémi Coolen
(2004).
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
.
Constraints
, 9 (4):241 - 262.
HAL
DOI
Sylvain Soliman
,
Francois Fages
(2004).
La programmation par contraintes
.
Interstices
.
HAL
Sylvain Soliman
(2003).
Pi-calculus and LCC, a Space Odyssey
. Research Report.
PDF
HAL
Sylvain Soliman
(2001).
Concurrent constraint programming and linear logic
. Theses, Université Paris Diderot - Paris 7.
PDF
HAL
François Fages
,
Paul Ruet
,
Sylvain Soliman
(2001).
Linear Concurrent Constraint Programming: Operational and Phase Semantics
.
Information and Computation
, 165 (1):14–41.
PDF
HAL
DOI
« Previous