Access content directly

Sylvain Soliman

Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
76%
Open access
76
Documents
Current affiliations
  • 454733
Researcher identifiers
  • IdHAL sylvain-soliman
  • ResearcherId : B-7445-2009
  • ORCID 0000-0001-5525-7418
  • IdRef : 089050983
  • Google Scholar : https://scholar.google.fr/citations?user=8WmCFEkAAAAJ
  • ResearcherId : http://www.researcherid.com/rid/B-7445-2009
Contact

Presentation

My research interests focus around Computational Biology and Theoretical Computer Science. In this context I’m one of the main developers and maintainers of the BIOCHAM platform. This is where most of the techniques I develop, using Constraint Programming, Model-Checking, and other formal methods get implemented<a rel="me" href="https://pouet.chapril.org/@soliman">.</a>

Publications

Image document

MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps

Sahar Aghakhani , Anna Niarakis , Sylvain Soliman
Journal of Integrative Bioinformatics, 2024, pp.20230048. ⟨10.1515/jib-2023-0048⟩
Journal articles hal-04439008v1
Image document

Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches

Anna Niarakis , Marek Ostaszewski , Alexander Mazein , Inna Kuperstein , Martina Kutmon
Frontiers in Immunology, 2024, 14, ⟨10.3389/fimmu.2023.1282859⟩
Journal articles hal-04454379v1
Image document

Hybrid computational modeling highlights reverse warburg effect in breast cancer-associated fibroblasts

Sahar Aghakhani , Sacha E Silva-Saffar , Sylvain Soliman , Anna Niarakis
Computational and Structural Biotechnology Journal, 2023, 21, pp.4196-4206. ⟨10.1016/j.csbj.2023.08.015⟩
Journal articles hal-04192259v1
Image document

A large-scale Boolean model of the rheumatoid arthritis fibroblast-like synoviocytes predicts drug synergies in the arthritic joint

Vidisha Singh , Aurélien Naldi , Sylvain Soliman , Anna Niarakis
npj Systems Biology and Applications, 2023, 9 (33), ⟨10.1038/s41540-023-00294-5⟩
Journal articles hal-04187223v1
Image document

Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding

Van-Giang Trinh , Belaid Benhamou , Sylvain Soliman
Theoretical Computer Science, 2023, 971, pp.114073. ⟨10.1016/j.tcs.2023.114073⟩
Journal articles hal-04167028v1
Image document

Addressing barriers in comprehensiveness, accessibility, reusability, interoperability and reproducibility of computational models in systems biology

Anna Niarakis , Dagmar Waltemath , James Glazier , Falk Schreiber , Sarah Keating
Briefings in Bioinformatics, 2022, 23 (4), pp.1-11. ⟨10.1093/bib/bbac212⟩
Journal articles hal-03690604v1
Image document

Metabolic Reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: a Hybrid Modeling Approach

Sahar Aghakhani , Sylvain Soliman , Anna Niarakis
PLoS Computational Biology, 2022, 18 (12), pp.e1010408. ⟨10.1371/journal.pcbi.1010408⟩
Journal articles hal-03880870v2
Image document

Model learning to identify systemic regulators of the peripheral circadian clock

Julien Martinelli , Sandrine Dulong , Xiao-Mei Li , Michèle Teboul , Sylvain Soliman
Bioinformatics, 2021, 37 (Supplement_1), pp.9. ⟨10.1093/bioinformatics/btab297⟩
Journal articles hal-03183579v1
Image document

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

Anna Niarakis , Martin Kuiper , Marek Ostaszewski , Rahuman Malik Sheriff , Cristina Casals-Casas
Briefings in Bioinformatics, 2021, 22 (2), pp.1848--1859. ⟨10.1093/bib/bbaa046⟩
Journal articles hal-02549796v1
Image document

COVID19 Disease Map, a computational knowledge repository of virus-host interaction mechanisms

Marek Ostaszewski , Anna Niarakis , Alexander Mazein , Inna Kuperstein , Robert Phair
Molecular Systems Biology, 2021, 17 (10), pp.e10387. ⟨10.15252/msb.202110387⟩
Journal articles hal-03385317v2
Image document

Automated inference of Boolean models from molecular interaction maps using CaSQ

Sara Sadat Aghamiri , Vidisha Singh , Aurélien Naldi , Tomáš Helikar , Sylvain Soliman
Bioinformatics, 2020, 36 (16), pp.4473-4482. ⟨10.1093/bioinformatics/btaa484⟩
Journal articles hal-02590714v1
Image document

SBML Level 3: an extensible format for the exchange and reuse of biological models

Sarah Keating , Frank Bergmann , Tomáš Helikar , Rahuman Malik‐sheriff , Ion Moraru
Molecular Systems Biology, 2020, 16 (8), pp.1-21. ⟨10.15252/msb.20199110⟩
Journal articles hal-02924909v1
Image document

Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels

Adrien Baudier , François Fages , Sylvain Soliman
Journal of Theoretical Biology, 2018, 459, pp.79--89. ⟨10.1016/j.jtbi.2018.09.024⟩
Journal articles hal-01879735v1
Image document

Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors

François Fages , Thierry Martinez , David A Rosenblueth , Sylvain Soliman
IEEE/ACM Transactions on Computational Biology and Bioinformatics, In press, PP (99), pp.1-14. ⟨10.1109/TCBB.2018.2805686⟩
Journal articles hal-01510216v3
Image document

On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity

Faten Nabli , Thierry Martinez , François Fages , Sylvain Soliman
Constraints, 2016, 21 (2), pp.251--276. ⟨10.1007/s10601-015-9190-1⟩
Journal articles hal-01170962v1
Image document

Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis

Pauline Traynard , Céline Feillet , Sylvain Soliman , Franck Delaunay , François Fages
BioSystems, 2016, 149, pp.59--69. ⟨10.1016/j.biosystems.2016.07.003⟩
Journal articles hal-01378466v1

Hybrid Simulations of Heterogeneous Biochemical Models in SBML

Hui-Ju Chiang , François Fages , Jie-Hong Jiang , Sylvain Soliman
ACM Transactions on Modeling and Computer Simulation, 2015, 25 (2), pp.14:1-14:22. ⟨10.1145/2742545⟩
Journal articles hal-01170947v1
Image document

Inferring reaction systems from ordinary differential equations

François Fages , Steven Gay , Sylvain Soliman
Theoretical Computer Science, 2015, 599, pp.64--78. ⟨10.1016/j.tcs.2014.07.032⟩
Journal articles hal-01103692v1
Image document

A constraint solving approach to model reduction by tropical equilibration

Sylvain Soliman , François Fages , Ovidiu Radulescu
Algorithms for Molecular Biology, 2014, 9 (1), pp.24. ⟨10.1186/s13015-014-0024-2⟩
Journal articles hal-01098530v1
Image document

On the subgraph Epimorphism Problem

Steven Gay , François Fages , Thierry Martinez , Sylvain Soliman , Christine Solnon
Discrete Applied Mathematics, 2014, 162, pp.214--228. ⟨10.1016/j.dam.2013.08.008⟩
Journal articles hal-01098527v1
Image document

A stronger necessary condition for the multistationarity of chemical reaction networks

Sylvain Soliman
Bulletin of Mathematical Biology, 2013, 75 (11), pp.2289-2303. ⟨10.1007/s11538-013-9893-7⟩
Journal articles hal-00772438v5
Image document

Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem

Sylvain Soliman
Algorithms for Molecular Biology, 2012, 7 (1), pp.15. ⟨10.1186/1748-7188-7-15⟩
Journal articles hal-00784404v1
Image document

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

Aurélien Rizk , Grégory Batt , François Fages , Sylvain Soliman
Theoretical Computer Science, 2011, 412 (26), pp.2827 - 2839. ⟨10.1016/j.tcs.2010.05.008⟩
Journal articles hal-01431314v1
Image document

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

Elisabetta de Maria , François Fages , Aurélien Rizk , Sylvain Soliman
Theoretical Computer Science, 2011, 412 (21), pp.2108--2127. ⟨10.1016/j.tcs.2010.10.036⟩
Journal articles hal-01285815v2

SBGN support in BIOCHAM

Dragana Jovanovska , Francois Fages , Sylvain Soliman
Nature Precedings, 2010, ⟨10.1038/npre.2010.5189⟩
Journal articles hal-02308513v1
Image document

A Unique Transformation from Ordinary Differential Equations to Reaction Networks

Sylvain Soliman , Monika Heiner
PLoS ONE, 2010, 5 (12), pp.e14284. ⟨10.1371/journal.pone.0014284⟩
Journal articles hal-01431261v1
Image document

A graphical method for reducing and relating models in systems biology

Steven Gay , Sylvain Soliman , François Fages
Bioinformatics, 2010, 26 (18), pp.i575--i581. ⟨10.1093/bioinformatics/btq388⟩
Journal articles hal-01431335v1

Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans

Krishnamachari Sriram , Sylvain Soliman , Francois Fages
Journal of Theoretical Biology, 2009, 258 (1), pp.71--88. ⟨10.1016/j.jtbi.2009.01.008⟩
Journal articles inria-00419777v1

A general computational method for robustness analysis with applications to synthetic gene networks

Aurélien Rizk , Grégory Batt , Francois Fages , Sylvain Soliman
Bioinformatics, 2009, 25 (12), pp.il69--il78. ⟨10.1093/bioinformatics/btp200⟩
Journal articles inria-00419708v1
Image document

Abstract interpretation and types for systems biology

François Fages , Sylvain Soliman
Theoretical Computer Science, 2008, 403 (1), pp.52--70. ⟨10.1016/j.tcs.2008.04.024⟩
Journal articles hal-01431355v1
Image document

Langages formels dans la machine abstraite biochimique BIOCHAM

Laurence Calzone , Nathalie Chabrier-Rivier , François Fages , Loïc Fosse , Sylvain Soliman
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26 (1-2), pp.47--72. ⟨10.3166/tsi.26.47-72⟩
Journal articles hal-01431369v1

BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Laurence Calzone , François Fages , Sylvain Soliman
Bioinformatics, 2006, 22 (14), pp.1805--1807. ⟨10.1093/bioinformatics/btl172⟩
Journal articles hal-01431364v1

CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming

François Fages , Sylvain Soliman , Rémi Coolen
Constraints, 2004, 9 (4), pp.241 - 262. ⟨10.1023/B:CONS.0000049203.53383.c1⟩
Journal articles hal-01431350v1

La programmation par contraintes

Sylvain Soliman , Francois Fages
Interstices, 2004
Journal articles inria-00000571v1

Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM

Francois Fages , Sylvain Soliman , Nathalie Chabrier-Rivier
Journal of Biological Physics and Chemistry, 2004, 4 (2), pp.64--73
Journal articles hal-01431345v1
Image document

Linear Concurrent Constraint Programming: Operational and Phase Semantics

François Fages , Paul Ruet , Sylvain Soliman
Information and Computation, 2001, 165 (1), pp.14--41. ⟨10.1006/inco.2000.3002⟩
Journal articles hal-01431358v1
Image document

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming

Giang Trinh , Belaid Benhamou , Samuel Pastva , Sylvain Soliman
AAAI 2024 - The 38th Annual Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.10714-10722, ⟨10.1609/aaai.v38i9.28943⟩
Conference papers hal-04523118v1
Image document

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming

Van-Giang Trinh , Belaid Benhamou , Sylvain Soliman
29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. pp.35:1--35:19, ⟨10.4230/LIPIcs.CP.2023.35⟩
Conference papers hal-04209296v1
Image document

Minimal trap spaces of Logical models are maximal siphons of their Petri net encoding

Van-Giang Trinh , Belaid Benhamou , Kunihiko Hiraishi , Sylvain Soliman
CMSB 2022 - International Conference on Computational Methods in Systems Biology, Sep 2022, Bucarest, Romania. pp.158--176, ⟨10.1007/978-3-031-15034-0_8⟩
Conference papers hal-03721508v1
Image document

A Polynomialization Algorithm for Elementary Functions and ODEs, and their Compilation into Chemical Reaction Networks

Mathieu Hemery , François Fages , Sylvain Soliman
CASC'21 - Computer Algebra in Scientific Computing., Sep 2021, Sochi, Russia
Conference papers hal-03271828v1
Image document

Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs

Mathieu Hemery , François Fages , Sylvain Soliman
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France
Conference papers hal-03220725v3
Image document

Graphical Conditions for Rate Independence in Chemical Reaction Networks

Elisabeth Degrand , François Fages , Sylvain Soliman
CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany
Conference papers hal-02900758v1
Image document

On the Complexity of Quadratization for Polynomial Differential Equations

Mathieu Hemery , François Fages , Sylvain Soliman
CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany
Conference papers hal-02900798v2
Image document

On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics

Julien Martinelli , Jeremy Grignard , Sylvain Soliman , François Fages
CMSB 2019 - 17th Computational Methods in Systems Biology, Sep 2019, Trieste, Italy
Conference papers hal-02173721v1
Image document

A Statistical Unsupervised Learning Algorithm for Inferring Reaction Networks from Time Series Data

Julien Martinelli , Jeremy Grignard , Sylvain Soliman , François Fages
ICML 2019 - Workshop on Computational Biology, Jun 2019, Long Beach, CA, United States
Conference papers hal-02163862v1
Image document

On Robustness Computation and Optimization in BIOCHAM-4

François Fages , Sylvain Soliman
16th Int. Conf. on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. ⟨10.1007/978-3-319-99429-1_18⟩
Conference papers hal-01814854v1

Model-based Investigation of the Circadian Clock and Cell Cycle Coupling in Mouse Embryonic Fibroblasts: Prediction of RevErb-α Up-regulation During Mitosis

Pauline Traynard , Celine Feillet , Sylvain Soliman , Franck Delaunay , François Fages
Dynamics Days 2017 - XXXVII Dynamics Days Europe International Conference, Jun 2017, Szeged, Hungary
Conference papers hal-01651833v1
Image document

Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data

Arthur Carcano , François Fages , Sylvain Soliman
CMSB'17 - 15th International Conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.74-90
Conference papers hal-01519826v2
Image document

Influence Systems vs Reaction Systems

François Fages , Thierry Martinez , David Rosenblueth , Sylvain Soliman
CMSB'16: Proceedings of the fourteenth international conference on Computational Methods in Systems Biology, Sep 2016, Cambridge, UK, United Kingdom. pp.98-115, ⟨10.1007/978-3-319-45177-0_7⟩
Conference papers hal-01378470v1

Model-based Investigation of the Effect of the Cell Cycle on the Circadian Clock through Transcription Inhibition during Mitosis

Pauline Traynard , François Fages , Sylvain Soliman
CMSB'15 - Proceedings of the thirteenth international conference on Computational Methods in Systems Biology, 2015, Nantes, France. pp.208--221, ⟨10.1007/978-3-319-23401-4_18⟩
Conference papers hal-01236264v1
Image document

Search by Constraint Propagation

Thierry Martinez , François Fages , Sylvain Soliman
PPDP '15- 17th International Symposium on Principles and Practice of Declarative Programming, Jul 2015, Siena, Italy. pp.173--183, ⟨10.1145/2790449.2790527⟩
Conference papers hal-01140761v1

Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (Best Student Paper Prize)

Pauline Traynard , François Fages , Sylvain Soliman
CMSB'14: Proceedings of the twelth international conference on Computational Methods for Systems Biology, Nov 2014, Manchester, United Kingdom. pp.114--128, ⟨10.1007/978-3-319-12982-2⟩
Conference papers hal-01098529v1
Image document

Solving Subgraph Epimorphism Problems using CLP and SAT

Steven Gay , François Fages , Francesco Santini , Sylvain Soliman
WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013 (2013), Sep 2013, Uppsala, Sweden. pp.67--74
Conference papers hal-00908973v1

On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models

Katherine Chiang , François Fages , Jie-Hong Jiang , Sylvain Soliman
CMSB - 11th International Conference on Computational Methods for Systems Biology - 2013, Sep 2013, Klosterneuburg, Austria. pp.192--205, ⟨10.1007/978-3-642-40708-6_15⟩
Conference papers hal-00913292v1
Image document

A Constraint Solving Approach to Tropical Equilibration and Model Reduction

Sylvain Soliman , François Fages , Ovidiu Radulescu
WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013, Sep 2013, Uppsala, Sweden. pp.27--36
Conference papers hal-00906419v1
Image document

Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri

Faten Nabli , François Fages , Thierry Martinez , Sylvain Soliman
JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes, AFPC, May 2012, Toulouse, France
Conference papers hal-00810486v1

A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets

Faten Nabli , Francois Fages , Thierry Martinez , Sylvain Soliman
CP 2012: Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.798-814, ⟨10.1007/978-3-642-33558-7_57⟩
Conference papers hal-02308495v1

Inferring Reaction Models from ODEs

Francois Fages , Steven Gay , Sylvain Soliman
CMSB 2012: Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. pp.370-373, ⟨10.1007/978-3-642-33636-2_23⟩
Conference papers hal-02308508v1

Steady-state Solution of Biochemical Systems, Beyond S-systems via T-invariants

Faten Nabli , Sylvain Soliman
Proceedings of the 8th International Conference on Computational Methods in Systems Biology, 2010, New York, NY, USA, Unknown Region. pp.14--22, ⟨10.1145/1839764.1839768⟩
Conference papers hal-01779507v1

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Elisabetta de Maria , Francois Fages , Sylvain Soliman
Computational Methods in Systems Biology, 2009, Berlin, Heidelberg, Unknown Region. pp.142--157
Conference papers hal-01779515v1

Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure

Sylvain Soliman
Proceedings of the 6th Vienna Conference on Mathematical Modelling MATHMOD'09, Feb 2009, Vienna, Austria. pp.2304--2312
Conference papers inria-00419776v1

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Elisabetta de Maria , Francois Fages , Sylvain Soliman
CMSB 2009: Computational Methods in Systems Biology, Aug 2009, Bologna, Italy. pp.142-157, ⟨10.1007/978-3-642-03845-7_10⟩
Conference papers hal-02308529v1

From reaction models to influence graphs and back: a theorem

Francois Fages , Sylvain Soliman
Proceedings of Formal Methods in Systems Biology FMSB'08, Feb 2008, Cambridge, United Kingdom. ⟨10.1007/978-3-540-68413-8_7⟩
Conference papers inria-00419921v1

Formal Cell Biology in Biocham

Francois Fages , Sylvain Soliman
SFM 2008: Formal Methods for Computational Systems Biology, Jun 2008, Bertinoro, Italy. pp.54-80, ⟨10.1007/978-3-540-68894-5_3⟩
Conference papers hal-02308547v1

On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

Aurélien Rizk , Grégory Batt , Francois Fages , Sylvain Soliman
CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, Monika Heiner and Adeline Uhrmacher, Oct 2008, Rostock, Germany. pp.251--268, ⟨10.1007/978-3-540-88562-7_19⟩
Conference papers inria-00419781v1

Modelling of FSHR-induced signalling network

Domitille Heitzler , Guillaume Durand , Laurence Dupuy , Christophe Gauthier , Vincent Piketty
International Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p
Conference papers hal-02822871v1

Closures and Modules Within Linear Logic Concurrent Constraint Programming

Rémy Haemmerlé , François Fages , Sylvain Soliman
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007, Berlin, Heidelberg, Unknown Region. pp.544--556
Conference papers hal-01779531v1

Machine Learning Biochemical Networks from Temporal Logic Properties

Laurence Calzone , Nathalie Chabrier-Rivier , François Fages , Sylvain Soliman
Transactions on Computational Systems Biology VI, 2006, Berlin, Heidelberg, Unknown Region. pp.68--94
Conference papers hal-01779529v1
Image document

Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle

Laurence Calzone , Nathalie Chabrier-Rivier , Francois Fages , Sylvain Soliman
Actes de {JOBIM}'05, Jul 2005, Lyon, pp.183--192
Conference papers inria-00000813v1
Image document

Machine Learning Bio-molecular Interactions from Temporal Logic Properties

Laurence Calzone , Nathalie Chabrier-Rivier , Francois Fages , Lucie Gentils , Sylvain Soliman
Third Workshop on Computational Methods in Systems Biology, Apr 2005, Edinburgh, Scotland
Conference papers inria-00000117v1
Image document

A Machine Learning approach to Biochemical Reaction Rules Discovery

Laurence Calzone , Nathalie Chabrier-Rivier , Francois Fages , Sylvain Soliman
Proceedings of Foundations of Systems Biology and Engineering {FOSBE'05}, 2005, Santa Barbara, pp.375--379
Conference papers inria-00000812v1
Image document

The Biochemical Abstract Machine {BIOCHAM}

Nathalie Chabrier-Rivier , Francois Fages , Sylvain Soliman
{CMSB'04}: Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191
Conference papers inria-00000814v1
Image document

Model Revision from Temporal Logic Properties in Computational Systems Biology

Francois Fages , Sylvain Soliman
Luc de Raedt and Paolo Frasconi and Kristian Kersting and Stephen Muggleton. Probabilistic Inductive Logic Programming, pp.287--304, 2008, ⟨10.1007/978-3-540-78652-8_11⟩
Book sections hal-01431378v1
Image document

Concurrent constraint programming and linear logic

Sylvain Soliman
Langage de programmation [cs.PL]. Université Paris Diderot - Paris 7, 2001. Français. ⟨NNT : ⟩
Theses tel-01431238v1
Image document

A structural perspective on the dynamics of biochemical systems

Sylvain Soliman
Bioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016
Habilitation à diriger des recherches tel-01403712v1