Sylvain Soliman

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 25

Top Venues

CMSB

CoRR

Bioinform.

IEEE ACM Trans. Comput. Biol. Bioinform.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding. Theor. Comput. Sci. 971 (2023)
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. CP (2023)
Sahar Aghakhani, Sylvain Soliman, Anna Niarakis
Metabolic reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: A hybrid modeling approach. PLoS Comput. Biol. 18 (12) (2022)
Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding. CMSB (2022)
Anna Niarakis, Dagmar Waltemath, James Glazier, Falk Schreiber, Sarah M. Keating, David P. Nickerson, Claudine Chaouiya, Anne Siegel, Vincent Noël, Henning Hermjakob, Tomás Helikar, Sylvain Soliman, Laurence Calzone
. Briefings Bioinform. 23 (4) (2022)
Julien Martinelli, Sandrine Dulong, Xiao-Mei Li, Michèle Teboul, Sylvain Soliman, Francis Lévi, François Fages, Annabelle Ballesta
Model learning to identify systemic regulators of the peripheral circadian clock. Bioinform. 37 (Supplement) (2021)
Anna Niarakis, Martin Kuiper, Marek Ostaszewski, Rahuman S. Malik-Sheriff, Cristina Casals-Casas, Denis Thieffry, Tom C. Freeman, Paul D. Thomas, Vasundra Touré, Vincent Noël, Gautier Stoll, Julio Saez-Rodriguez, Aurélien Naldi, Eugenia Oshurko, Ioannis Xenarios, Sylvain Soliman, Claudine Chaouiya, Tomás Helikar, Laurence Calzone
Setting the basis of best practices and standards for curation and annotation of logical models in biology - highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop. Briefings Bioinform. 22 (2) (2021)
Mathieu Hemery, François Fages, Sylvain Soliman
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs. CMSB (2021)
Elisabeth Degrand, François Fages, Sylvain Soliman
Graphical Conditions for Rate Independence in Chemical Reaction Networks. CoRR (2020)
Mathieu Hemery, François Fages, Sylvain Soliman
On the Complexity of Quadratization for Polynomial Differential Equations. CMSB (2020)
Sara Sadat Aghamiri, Vidisha Singh, Aurélien Naldi, Tomás Helikar, Sylvain Soliman, Anna Niarakis, Jinbo Xu
Automated inference of Boolean models from molecular interaction maps using CaSQ. Bioinform. 36 (16) (2020)
Elisabeth Degrand, François Fages, Sylvain Soliman
Graphical Conditions for Rate Independence in Chemical Reaction Networks. CMSB (2020)
Mathieu Hemery, François Fages, Sylvain Soliman
On the Complexity of Quadratization for Polynomial Differential Equations. CoRR (2020)
Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. CMSB (2019)
François Fages, Sylvain Soliman
On Robustness Computation and Optimization in BIOCHAM-4. CMSB (2018)
Adrien Baudier, François Fages, Sylvain Soliman
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels. CoRR (2018)
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Arthur Carcano, François Fages, Sylvain Soliman
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. CMSB (2017)
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Systems vs Reaction Systems. CMSB (2016)
Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis. Biosyst. 149 (2016)
Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Constraints An Int. J. 21 (2) (2016)
Hui-Ju Katherine Chiang, François Fages, Jie-Hong Roland Jiang, Sylvain Soliman
Hybrid Simulations of Heterogeneous Biochemical Models in SBML. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
François Fages, Steven Gay, Sylvain Soliman
Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599 (2015)
Pauline Traynard, François Fages, Sylvain Soliman
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis. CMSB (2015)
Thierry Martinez, François Fages, Sylvain Soliman
Search by constraint propagation. PPDP (2015)
Pauline Traynard, François Fages, Sylvain Soliman
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. CMSB (2014)
Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon
On the subgraph epimorphism problem. Discret. Appl. Math. 162 (2014)
Sylvain Soliman, François Fages, Ovidiu Radulescu
A constraint solving approach to model reduction by tropical equilibration. Algorithms Mol. Biol. 9 (2014)
Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. CMSB (2013)
François Fages, Sylvain Soliman
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (2) (2013)
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri CoRR (2013)
François Fages, Sylvain Soliman
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (5) (2012)
François Fages, Steven Gay, Sylvain Soliman
Inferring Reaction Models from ODEs. CMSB (2012)
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP (2012)
Sylvain Soliman
Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem. Algorithms Mol. Biol. 7 (2012)
Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman
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 constraints. Theor. Comput. Sci. 412 (21) (2011)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412 (26) (2011)
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
Computational Systems Biology in BIOCHAM. ERCIM News 2010 (82) (2010)
Steven Gay, Sylvain Soliman, François Fages
A graphical method for reducing and relating models in systems biology. Bioinform. 26 (18) (2010)
Faten Nabli, Sylvain Soliman
Steady-state solution of biochemical systems, beyond S-systems via T-invariants. CMSB (2010)
Attila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini
Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology (2009)
Elisabetta De Maria, François Fages, Sylvain Soliman
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB (2009)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
A general computational method for robustness analysis with applications to synthetic gene networks. Bioinform. 25 (12) (2009)
Sylvain Soliman
Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure. Simul. Notes Eur. 19 (3-4) (2009)
François Fages, Sylvain Soliman
Formal Cell Biology in Biocham. SFM (2008)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. CMSB (2008)
François Fages, Sylvain Soliman
From Reaction Models to Influence Graphs and Back: A Theorem. FMSB (2008)
François Fages, Sylvain Soliman
Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403 (1) (2008)
Rémy Haemmerlé, François Fages, Sylvain Soliman
Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS (2007)
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman
Langages formels dans la machine abstraite biochimique BIOCHAM. Tech. Sci. Informatiques 26 (1-2) (2007)
Jean Clairambault, François Fages, Sylvain Soliman
Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007 (69) (2007)
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
Machine Learning Biochemical Networks from Temporal Logic Properties. Trans. Comp. Sys. Biology 6 (2006)
François Fages, Sylvain Soliman
Type Inference in Systems Biology. CMSB (2006)
Laurence Calzone, François Fages, Sylvain Soliman
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinform. 22 (14) (2006)
François Fages, Sylvain Soliman, Rémi Coolen
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints An Int. J. 9 (4) (2004)
Sylvain Soliman, François Fages
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB (2004)
Sylvain Soliman
Pi-calcul et LCC, une odyssée de l'espace. JFPLC (2004)
Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
The Biochemical Abstract Machine BIOCHAM. CMSB (2004)
François Fages, Paul Ruet, Sylvain Soliman
Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165 (1) (2001)
François Fages, Paul Ruet, Sylvain Soliman
Phase Semantics and Verification of Concurrent Constraint Programs. LICS (1998)

Sylvain Soliman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sylvain Soliman