Personal profile
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Preface
Fages, F. & Pérès, S., 1 Jan 2026, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15959 LNCS, p. v-viResearch output: Contribution to journal › Editorial
-
Graphical Conditions for the Existence, Unicity and Number of Regular Models
Trinh, V. G., Benhamou, B., Soliman, S. & Fages, F., 13 Feb 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 416, p. 175-187 13 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry
Fages, F., Hemery, M. & Soliman, S., 10 Jan 2025, In: ACM Communications in Computer Algebra. 58, 2, p. 15-22 8 p.Research output: Contribution to journal › Article › peer-review
Open Access -
On the Trap Space Semantics of Normal Logic Programs
Trinh, V. G., Soliman, S., Fages, F. & Benhamou, B., 1 Jan 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 439, p. 294-319 26 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
Fages, F., 1 Jan 2024, Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Proceedings. Gibbons, J. & Miller, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 135-150 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14659 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics
Thibault Greugny, E., Fages, F., Radulescu, O., Szmolyan, P. & Stamatas, G. N., 1 Feb 2024, In: Theoretical Computer Science. 983, 114294.Research output: Contribution to journal › Article › peer-review
Open Access -
Graphical Conditions Ensuring Equality Between Differential and Mean Stochastic Dynamics
Buscemi, H. & Fages, F., 1 Jan 2024, Computational Methods in Systems Biology - 22nd International Conference, CMSB 2024, Proceedings. Gori, R., Milazzo, P. & Tribastone, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 45-61 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14971 LNBI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
On a model of online analog computation in the cell with absolute functional robustness: Algebraic characterization, function compiler and error control
Hemery, M. & Fages, F., 12 Apr 2024, In: Theoretical Computer Science. 991, 114432.Research output: Contribution to journal › Article › peer-review
Open Access -
On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog
Fages, F., 1 Jan 2024, In: CEUR Workshop Proceedings. 3799Research output: Contribution to journal › Conference article › peer-review
-
Computational modelling predicts impaired barrier function and higher sensitivity to skin inflammation following pH elevation
Thibault Greugny, E., Bensaci, J., Fages, F. & Stamatas, G. N., 1 Feb 2023, In: Experimental Dermatology. 32, 2, p. 177-185 9 p.Research output: Contribution to journal › Article › peer-review
Open Access