Sylvain Soliman

Cited by

	All	Since 2019
Citations	2889	1035
h-index	25	17
i10-index	44	27

240

120

180

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 20 46 97 71 108 151 132 163 125 165 144 178 145 105 120 107 126 162 200 229 210

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

François FagesResearch Director, Inria, Saclay - Ile de FranceVerified email at inria.fr
Aurélien RizkInterAx Biotech, CEOVerified email at interaxbiotech.com
Steven GayGoogle FranceVerified email at google.com
Thierry MartinezInriaVerified email at nsup.org
Gregory BattINRIA and Institut PasteurVerified email at inria.fr
Claudine ChaouiyaI2M UMR 7373, Aix Marseille University (France)Verified email at univ-amu.fr
Ovidiu RadulescuProfessor at University of MontpellierVerified email at umontpellier.fr
Franck DelaunayProfesseur de Physiologie Animale, Université Côte d'AzurVerified email at univ-cotedazur.fr
Denis ThieffryProfessor of Systems Biology, Institut de Biologie de l'Ecole Normale Supérieure (IBENS), ParisVerified email at ens.fr
Christine SolnonProfessor of Computer Science, INSA Lyon, CITIVerified email at insa-lyon.fr
Jie-Hong Roland JiangProfessor of Electrical Engineering, National Taiwan UniversityVerified email at ntu.edu.tw
Liviu BadeaVerified email at ici.ro
Elisabeth RemyDirectrice de Recherche, CNRS, Aix-Marseille UniversitéVerified email at univ-amu.fr
Philippe MorignotChercheur seniorVerified email at vedecom.fr
Mikael BerndtssonUniversity of Skövde, SwedenVerified email at his.se
Alessandro RomanelDepartment of Cellular, Computational and Integrative (CIBIO), University of Trento, ItalyVerified email at unitn.it
Attila Csikász-NagyPázmány Péter Catholic University, HungaryVerified email at itk.ppke.hu
Paolo BallariniUniversity of Paris SaclayVerified email at centralesupelec.fr
Heike SiebertFU BerlinVerified email at mi.fu-berlin.de
Adrien FauréYamaguchi UniversityVerified email at yamaguchi-u.ac.jp

Sylvain Soliman

Inria Saclay, Lifeware team

Verified email at inria.fr - Homepage

Constraint Programming Computational Systems Biology


Title Sort by citations Sort by year Sort by 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	329	2006
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	238	2020
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	214	2004
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	150	2009
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	149	2006
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	113	2001
Abstract interpretation and types for systems biology F Fages, S Soliman Theoretical Computer Science 403 (1), 52-70, 2008	111	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	90	2021
Formal cell biology in biocham F Fages, S Soliman Formal Methods for Computational Systems Biology, 54-80, 2008	90	2008
A graphical method for reducing and relating models in systems biology S Gay, S Soliman, F Fages Bioinformatics 26 (18), i575-i581, 2010	81	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	76	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	68	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	60	2010
From reaction models to influence graphs and back: a theorem F Fages, S Soliman Formal Methods in Systems Biology, 90-102, 2008	54	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	36	2009
Invariants and other structural properties of biochemical models as a constraint satisfaction problem S Soliman Algorithms for Molecular Biology 7, 1-9, 2012	32	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors