Sylvain Soliman
Sylvain Soliman
Inria Saclay Île-de-France, Lifeware team
Email verificata su inria.fr - Home page
Titolo
Citata da
Citata da
Anno
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
L Calzone, F Fages, S Soliman
Bioinformatics 22 (14), 1805-1807, 2006
2932006
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
1962004
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
1402006
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
1312009
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
1182008
The biochemical abstract machine BIOCHAM
N Chabrier-Rivier, F Fages, S Soliman
Computational Methods in Systems Biology, 172-191, 2005
1072005
Linear concurrent constraint programming: operational and phase semantics
F Fages, P Ruet, S Soliman
Information and Computation 165 (1), 14-41, 2001
1022001
Abstract interpretation and types for systems biology
F Fages, S Soliman
Theoretical Computer Science 403 (1), 52-70, 2008
932008
Formal cell biology in biocham
F Fages, S Soliman
Formal Methods for Computational Systems Biology, 54-80, 2008
862008
A graphical method for reducing and relating models in systems biology
S Gay, S Soliman, F Fages
Bioinformatics 26 (18), i575-i581, 2010
722010
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
592010
From reaction models to influence graphs and back: a theorem
F Fages, S Soliman
Formal Methods in Systems Biology, 90-102, 2008
492008
A unique transformation from ordinary differential equations to reaction networks
S Soliman, M Heiner
PloS one 5 (12), e14284, 2010
402010
Inferring reaction systems from ordinary differential equations
F Fages, S Gay, S Soliman
Theoretical Computer Science 599, 64-78, 2015
382015
Invariants and other structural properties of biochemical models as a constraint satisfaction problem
S Soliman
Algorithms for Molecular Biology 7 (1), 1-9, 2012
302012
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
302009
Phase semantics and verification of concurrent constraint programs
F Fages, P Ruet, S Soliman
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE …, 1998
291998
On the subgraph epimorphism problem
S Gay, F Fages, T Martinez, S Soliman, C Solnon
Discrete Applied Mathematics 162, 214-228, 2014
282014
CLPGUI: a generic graphical user interface for constraint logic programming
F Fages, S Soliman, R Coolen
Constraints 9 (4), 241-262, 2004
282004
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic …
E De Maria, F Fages, A Rizk, S Soliman
Theoretical Computer Science 412 (21), 2108-2127, 2011
242011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20