Publications

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages (2024). Graphical conditions for the existence, unicity and number of regular models. In Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift, editor, ICLP 2024 - 40th International Conference on Logic Programming, pages 175-187.

François Fages, Mathieu Hemery, Sylvain Soliman (2024). On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry. In ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation.

Giang Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman (2024). Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. In AAAI 2024 - The 38th Annual Conference on Artificial Intelligence, pages 10714-10722.

Sahar Aghakhani, Anna Niarakis, Sylvain Soliman (2024). MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps. Journal of Integrative Bioinformatics, 21 (1):20230048.

Anna Niarakis Et Al (2024). Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches. Frontiers in Immunology, 14.

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman (2023). Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding. Theoretical Computer Science, 971:114073.

Sahar Aghakhani, Sacha E Silva-Saffar, Sylvain Soliman, Anna Niarakis (2023). Hybrid computational modeling highlights reverse warburg effect in breast cancer-associated fibroblasts. Computational and Structural Biotechnology Journal, 21:4196-4206.

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman (2023). Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. In Roland H. C. Yap, editor, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), pages 35:1–35:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Vidisha Singh, Aurélien Naldi, Sylvain Soliman, Anna Niarakis (2023). A large-scale Boolean model of the rheumatoid arthritis fibroblast-like synoviocytes predicts drug synergies in the arthritic joint. npj Systems Biology and Applications, 9 (33).

Sahar Aghakhani, Sylvain Soliman, Anna Niarakis (2022). Metabolic Reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: a Hybrid Modeling Approach. PLoS Computational Biology, 18 (12):e1010408.