Sylvain Soliman
Sylvain Soliman
Inria Saclay Île-de-France, Lifeware team
Dirección de correo verificada de inria.fr - Página principal
TítuloCitado porAño
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
L Calzone, F Fages, S Soliman
Bioinformatics 22 (14), 1805-1807, 2006
2602006
Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM
F Fages, S Soliman, N Chabrier-Rivier
Journal of Biological Physics and Chemistry 4, 64-73, 2004
1832004
Machine learning biochemical networks from temporal logic properties
L Calzone, N Chabrier-Rivier, F Fages, S Soliman
Transactions on Computational Systems Biology VI, 68-94, 2006
1302006
A general computational method for robustness analysis with applications to synthetic gene networks
A Rizk, G Batt, F Fages, S Soliman
Bioinformatics 25 (12), i169, 2009
1142009
On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology
A Rizk, G Batt, F Fages, S Soliman
Computational Methods in Systems Biology, 251-268, 2008
1102008
The biochemical abstract machine BIOCHAM
N Chabrier-Rivier, F Fages, S Soliman
Computational Methods in Systems Biology, 172-191, 2005
1012005
Linear concurrent constraint programming: operational and phase semantics
F Fages, P Ruet, S Soliman
Information and Computation 165 (1), 14-41, 2001
962001
Abstract interpretation and types for systems biology
F Fages, S Soliman
Theoretical Computer Science 403 (1), 52-70, 2008
762008
Formal cell biology in biocham
F Fages, S Soliman
Formal Methods for Computational Systems Biology, 54-80, 2008
732008
A graphical method for reducing and relating models in systems biology
S Gay, S Soliman, F Fages
Bioinformatics 26 (18), i575-i581, 2010
572010
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
A Rizk, G Batt, F Fages, S Soliman
Theoretical Computer Science, 2010
502010
From reaction models to influence graphs and back: a theorem
F Fages, S Soliman
Formal Methods in Systems Biology, 90-102, 2008
442008
A unique transformation from ordinary differential equations to reaction networks
S Soliman, M Heiner
PloS one 5 (12), e14284, 2010
392010
Invariants and other structural properties of biochemical models as a constraint satisfaction problem
S Soliman
Algorithms for Molecular Biology 7 (1), 15, 2012
282012
Phase semantics and verification of concurrent constraint programs
F Fages, P Ruet, S Soliman
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE …, 1998
281998
Inferring reaction systems from ordinary differential equations
F Fages, S Gay, S Soliman
Theoretical Computer Science 599, 64-78, 2015
272015
Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans
K Sriram, S Soliman, F Fages
Journal of theoretical biology 258 (1), 71-88, 2009
262009
CLPGUI: a generic graphical user interface for constraint logic programming
F Fages, S Soliman, R Coolen
Constraints 9 (4), 241-262, 2004
232004
Machine learning bio-molecular interactions from temporal logic properties
L Calzone, N Chabrier-Rivier, F Fages, L Gentils, S Soliman
222005
On coupling models using model-checking: effects of irinotecan injections on the mammalian cell cycle
E De Maria, F Fages, S Soliman
Computational Methods in Systems Biology, 142-157, 2009
212009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20