Follow
Sylvain Soliman
Sylvain Soliman
Inria Saclay Île-de-France, Lifeware team
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
L Calzone, F Fages, S Soliman
Bioinformatics 22 (14), 1805-1807, 2006
3232006
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
2152004
SBML Level 3: an extensible format for the exchange and reuse of biological models
SM Keating, D Waltemath, M König, F Zhang, A Dräger, C Chaouiya, ...
Molecular systems biology 16 (8), e9110, 2020
1962020
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
1472006
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
1462009
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
1232008
The biochemical abstract machine BIOCHAM
N Chabrier-Rivier, F Fages, S Soliman
Computational Methods in Systems Biology, 172-191, 2005
1142005
Linear concurrent constraint programming: operational and phase semantics
F Fages, P Ruet, S Soliman
Information and Computation 165 (1), 14-41, 2001
1112001
Abstract interpretation and types for systems biology
F Fages, S Soliman
Theoretical Computer Science 403 (1), 52-70, 2008
1072008
Formal cell biology in biocham
F Fages, S Soliman
Formal Methods for Computational Systems Biology, 54-80, 2008
912008
COVID19 Disease Map, a computational knowledge repository of virus–host interaction mechanisms
M Ostaszewski, A Niarakis, A Mazein, I Kuperstein, R Phair, ...
Molecular systems biology 17 (10), e10387, 2021
792021
A graphical method for reducing and relating models in systems biology
S Gay, S Soliman, F Fages
Bioinformatics 26 (18), i575-i581, 2010
792010
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
712010
Automated inference of Boolean models from molecular interaction maps using CaSQ
SS Aghamiri, V Singh, A Naldi, T Helikar, S Soliman, A Niarakis
Bioinformatics 36 (16), 4473-4482, 2020
602020
Inferring reaction systems from ordinary differential equations
F Fages, S Gay, S Soliman
Theoretical Computer Science 599, 64-78, 2015
572015
A unique transformation from ordinary differential equations to reaction networks
S Soliman, M Heiner
PloS one 5 (12), e14284, 2010
562010
From reaction models to influence graphs and back: a theorem
F Fages, S Soliman
Formal Methods in Systems Biology, 90-102, 2008
532008
On the subgraph epimorphism problem
S Gay, F Fages, T Martinez, S Soliman, C Solnon
Discrete Applied Mathematics 162, 214-228, 2014
412014
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
342009
Invariants and other structural properties of biochemical models as a constraint satisfaction problem
S Soliman
Algorithms for Molecular Biology 7, 1-9, 2012
312012
The system can't perform the operation now. Try again later.
Articles 1–20