Sylvain Soliman

71 papers A* 2A 2B 2C 1Journal 36Unranked 23
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the Boolean Network Theory of Datalog
CoRR
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages
2025 B conf
On the Trap Space Semantics of Normal Logic Programs.
ICLP
Van-Giang Trinh, Sylvain Soliman, François Fages, Belaid Benhamou
2024 B conf
Graphical Conditions for the Existence, Unicity and Number of Regular Models.
ICLP
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages
2024 J jnl
MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps.
J. Integr. Bioinform.
Sahar Aghakhani, Anna Niarakis, Sylvain Soliman
2024 J jnl
On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry.
ACM Commun. Comput. Algebra
François Fages, Mathieu Hemery, Sylvain Soliman
2024 A* conf
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.
AAAI
Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman
2023 A conf
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.
CP
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
2023 J jnl
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding.
Theor. Comput. Sci.
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
2022 J jnl
Addressing
Briefings Bioinform.
Anna Niarakis, Dagmar Waltemath, James A. 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
2022 J jnl
Metabolic reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: A hybrid modeling approach.
PLoS Comput. Biol.
Sahar Aghakhani, Sylvain Soliman, Anna Niarakis
2022 — conf
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.
CMSB
Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman
2021 — conf
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs.
CMSB
Mathieu Hemery, François Fages, Sylvain Soliman
2021 J jnl
Model learning to identify systemic regulators of the peripheral circadian clock.
Bioinform.
Julien Martinelli, Sandrine Dulong, Xiao-Mei Li, Michèle Teboul, Sylvain Soliman, Francis Lévi, François Fages, Annabelle Ballesta
2021 J jnl
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.
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
2020 J jnl
Automated inference of Boolean models from molecular interaction maps using CaSQ.
Bioinform.
Sara Sadat Aghamiri, Vidisha Singh, Aurélien Naldi, Tomás Helikar, Sylvain Soliman, Anna Niarakis, Jinbo Xu
2020 — conf
Graphical Conditions for Rate Independence in Chemical Reaction Networks.
CMSB
Elisabeth Degrand, François Fages, Sylvain Soliman
2020 J jnl
Graphical Conditions for Rate Independence in Chemical Reaction Networks.
CoRR
Elisabeth Degrand, François Fages, Sylvain Soliman
2020 — conf
On the Complexity of Quadratization for Polynomial Differential Equations.
CMSB
Mathieu Hemery, François Fages, Sylvain Soliman
2020 J jnl
On the Complexity of Quadratization for Polynomial Differential Equations.
CoRR
Mathieu Hemery, François Fages, Sylvain Soliman
2019 — conf
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics.
CMSB
Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages
2018 J jnl
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels.
CoRR
Adrien Baudier, François Fages, Sylvain Soliman
2018 J jnl
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors.
IEEE ACM Trans. Comput. Biol. Bioinform.
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
2018 — conf
On Robustness Computation and Optimization in BIOCHAM-4.
CMSB
François Fages, Sylvain Soliman
2017 — conf
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data.
CMSB
Arthur Carcano, François Fages, Sylvain Soliman
2016 — book
A structural perspective on the dynamics of biochemical systems. (Une perspective structurelle sur la dynamique des systèmes biochimiques).
Sylvain Soliman
2016 — conf
Influence Systems vs Reaction Systems.
CMSB
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
2016 J jnl
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis.
Biosyst.
Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages
2016 J jnl
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.
Constraints An Int. J.
Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman
2015 J jnl
Hybrid Simulations of Heterogeneous Biochemical Models in SBML.
ACM Trans. Model. Comput. Simul.
Hui-Ju Katherine Chiang, François Fages, Jie-Hong Roland Jiang, Sylvain Soliman
2015 J jnl
Inferring reaction systems from ordinary differential equations.
Theor. Comput. Sci.
François Fages, Steven Gay, Sylvain Soliman
2015 — conf
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis.
CMSB
Pauline Traynard, François Fages, Sylvain Soliman
2015 C conf
Search by constraint propagation.
PPDP
Thierry Martinez, François Fages, Sylvain Soliman
2014 J jnl
A constraint solving approach to model reduction by tropical equilibration.
Algorithms Mol. Biol.
Sylvain Soliman, François Fages, Ovidiu Radulescu
2014 J jnl
On the subgraph epimorphism problem.
Discret. Appl. Math.
Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon
2014 — conf
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock.
CMSB
Pauline Traynard, François Fages, Sylvain Soliman
2013 J jnl
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology.
IEEE ACM Trans. Comput. Biol. Bioinform.
François Fages, Sylvain Soliman
2013 — conf
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models.
CMSB
Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman
2013 J jnl
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri
CoRR
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
2012 A conf
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets.
CP
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
2012 J jnl
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology.
IEEE ACM Trans. Comput. Biol. Bioinform.
François Fages, Sylvain Soliman
2012 — conf
Inferring Reaction Models from ODEs.
CMSB
François Fages, Steven Gay, Sylvain Soliman
2012 J jnl
Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem.
Algorithms Mol. Biol.
Sylvain Soliman
2011 J jnl
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.
Theor. Comput. Sci.
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2011 J jnl
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.
Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman
2010 J jnl
A graphical method for reducing and relating models in systems biology.
Bioinform.
Steven Gay, Sylvain Soliman, François Fages
2010 J jnl
Computational Systems Biology in BIOCHAM.
ERCIM News
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
2010 — conf
Steady-state solution of biochemical systems, beyond S-systems via T-invariants.
CMSB
Faten Nabli, Sylvain Soliman
2009 J jnl
A general computational method for robustness analysis with applications to synthetic gene networks.
Bioinform.
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2009 — conf
Analyzing various models of Circadian Clock and Cell Cycle coupling.
Formal Methods in Molecular Biology
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
2009 J jnl
Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure.
Simul. Notes Eur.
Sylvain Soliman
2009 — conf
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.
CMSB
Elisabetta De Maria, François Fages, Sylvain Soliman
2008 J jnl
Abstract interpretation and types for systems biology.
Theor. Comput. Sci.
François Fages, Sylvain Soliman
2008 — conf
Formal Cell Biology in Biocham.
SFM
François Fages, Sylvain Soliman
2008 — conf
From Reaction Models to Influence Graphs and Back: A Theorem.
FMSB
François Fages, Sylvain Soliman
2008 — ch.
Model Revision from Temporal Logic Properties in Computational Systems Biology.
Probabilistic Inductive Logic Programming
François Fages, Sylvain Soliman
2008 — conf
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
CMSB
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2008 — ed.
Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers
CSCLP
François Fages, Francesca Rossi, Sylvain Soliman
2007 — conf
Closures and Modules Within Linear Logic Concurrent Constraint Programming.
FSTTCS
Rémy Haemmerlé, François Fages, Sylvain Soliman
2007 J jnl
Langages formels dans la machine abstraite biochimique BIOCHAM.
Tech. Sci. Informatiques
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman
2007 J jnl
Patient-Tailored Cancer Therapeutics - The Tempo Project.
ERCIM News
Jean Clairambault, François Fages, Sylvain Soliman
2006 J jnl
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
Bioinform.
Laurence Calzone, François Fages, Sylvain Soliman
2006 J jnl
Machine Learning Biochemical Networks from Temporal Logic Properties.
Trans. Comp. Sys. Biology
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
2006 — conf
Type Inference in Systems Biology.
CMSB
François Fages, Sylvain Soliman
2005 — ed.
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
PPSWR
François Fages, Sylvain Soliman
2004 J jnl
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.
Constraints An Int. J.
François Fages, Sylvain Soliman, Rémi Coolen
2004 — conf
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.
CMSB
Sylvain Soliman, François Fages
2004 — conf
Pi-calcul et LCC, une odyssée de l'espace.
JFPLC
Sylvain Soliman
2004 — conf
The Biochemical Abstract Machine BIOCHAM.
CMSB
Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
2001 — —
Concurrent constraint programming and linear logic.
Sylvain Soliman
2001 J jnl
Linear Concurrent Constraint Programming: Operational and Phase Semantics.
Inf. Comput.
François Fages, Paul Ruet, Sylvain Soliman
1998 A* conf
Phase Semantics and Verification of Concurrent Constraint Programs.
LICS
François Fages, Paul Ruet, Sylvain Soliman