Folgen
Sylvain Soliman
Sylvain Soliman
Inria Saclay, Lifeware team
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
L Calzone, F Fages, S Soliman
Bioinformatics 22 (14), 1805-1807, 2006
3292006
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
2382020
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
2142004
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
1502009
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
1492006
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
1262008
The biochemical abstract machine BIOCHAM
N Chabrier-Rivier, F Fages, S Soliman
Computational Methods in Systems Biology, 172-191, 2005
1162005
Linear concurrent constraint programming: operational and phase semantics
F Fages, P Ruet, S Soliman
Information and Computation 165 (1), 14-41, 2001
1132001
Abstract interpretation and types for systems biology
F Fages, S Soliman
Theoretical Computer Science 403 (1), 52-70, 2008
1112008
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
902021
Formal cell biology in biocham
F Fages, S Soliman
Formal Methods for Computational Systems Biology, 54-80, 2008
902008
A graphical method for reducing and relating models in systems biology
S Gay, S Soliman, F Fages
Bioinformatics 26 (18), i575-i581, 2010
812010
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
762010
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
682020
Inferring reaction systems from ordinary differential equations
F Fages, S Gay, S Soliman
Theoretical Computer Science 599, 64-78, 2015
602015
A unique transformation from ordinary differential equations to reaction networks
S Soliman, M Heiner
PloS one 5 (12), e14284, 2010
602010
From reaction models to influence graphs and back: a theorem
F Fages, S Soliman
Formal Methods in Systems Biology, 90-102, 2008
542008
On the subgraph epimorphism problem
S Gay, F Fages, T Martinez, S Soliman, C Solnon
Discrete Applied Mathematics 162, 214-228, 2014
422014
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
362009
Invariants and other structural properties of biochemical models as a constraint satisfaction problem
S Soliman
Algorithms for Molecular Biology 7, 1-9, 2012
322012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20