| BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge L Calzone, F Fages, S Soliman Bioinformatics 22 (14), 1805-1807, 2006 | 327 | 2006 |
| 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 | 213 | 2004 |
| 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 | 212 | 2020 |
| 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 | 148 | 2006 |
| 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 | 146 | 2009 |
| 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 | 126 | 2008 |
| The biochemical abstract machine BIOCHAM N Chabrier-Rivier, F Fages, S Soliman Computational Methods in Systems Biology, 172-191, 2005 | 116 | 2005 |
| Linear concurrent constraint programming: operational and phase semantics F Fages, P Ruet, S Soliman Information and Computation 165 (1), 14-41, 2001 | 112 | 2001 |
| Abstract interpretation and types for systems biology F Fages, S Soliman Theoretical Computer Science 403 (1), 52-70, 2008 | 110 | 2008 |
| Formal cell biology in biocham F Fages, S Soliman Formal Methods for Computational Systems Biology, 54-80, 2008 | 90 | 2008 |
| 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 | 85 | 2021 |
| A graphical method for reducing and relating models in systems biology S Gay, S Soliman, F Fages Bioinformatics 26 (18), i575-i581, 2010 | 80 | 2010 |
| 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 | 73 | 2010 |
| 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 | 64 | 2020 |
| Inferring reaction systems from ordinary differential equations F Fages, S Gay, S Soliman Theoretical Computer Science 599, 64-78, 2015 | 60 | 2015 |
| A unique transformation from ordinary differential equations to reaction networks S Soliman, M Heiner PloS one 5 (12), e14284, 2010 | 57 | 2010 |
| From reaction models to influence graphs and back: a theorem F Fages, S Soliman Formal Methods in Systems Biology, 90-102, 2008 | 53 | 2008 |
| On the subgraph epimorphism problem S Gay, F Fages, T Martinez, S Soliman, C Solnon Discrete Applied Mathematics 162, 214-228, 2014 | 42 | 2014 |
| 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 | 35 | 2009 |
| Phase semantics and verification of concurrent constraint programs F Fages, P Ruet, S Soliman Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE …, 1998 | 32 | 1998 |
François FagesResearch Director, Inria, Saclay - Ile de France在 inria.fr 的电子邮件经过验证
