Остановите войну!
for scientists:
default search action
François Fages
- > Home > Persons > François Fages
Publications
- 2024
- [j42]Eléa Thibault Greugny, François Fages, Ovidiu Radulescu, Peter Szmolyan, Georgios N. Stamatas:
A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics. Theor. Comput. Sci. 983: 114294 (2024) - 2023
- [c80]Mathieu Hemery, François Fages:
On Estimating Derivatives of Input Signals in Biochemistry. CMSB 2023: 78-96 - [c79]Marine Collery, Philippe Bonnard, François Fages, Remy Kusters:
Neural-based classification rule learning for sequential data. ICLR 2023 - [i17]Marine Collery, Philippe Bonnard, François Fages, Remy Kusters:
Neural-based classification rule learning for sequential data. CoRR abs/2302.11286 (2023) - [i16]Eléa Thibault Greugny, François Fages, Ovidiu Radulescu, Peter Szmolyan, Georgios N. Stamatas:
A Skin Microbiome Model with AMP interactions and Analysis of Quasi-Stability vs Stability in Population Dynamics. CoRR abs/2310.15201 (2023) - 2022
- [j41]Jeremy Grignard, Véronique Lamamy, Eva Vermersch, Philippe Delagrange, Jean-Philippe Stephan, Thierry Dorval, François Fages:
Mathematical modeling of the microtubule detyrosination/tyrosination cycle for cell-based drug screening design. PLoS Comput. Biol. 18(6) (2022) - [c78]Mathieu Hemery, François Fages:
Algebraic Biochemistry: A Framework for Analog Online Computation in Cells. CMSB 2022: 3-20 - [c77]Eléa Thibault Greugny, Georgios N. Stamatas, François Fages:
Stability Versus Meta-stability in a Skin Microbiome Model. CMSB 2022: 179-197 - 2021
- [j40]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): 401-409 (2021) - [c76]Mathieu Hemery, François Fages, Sylvain Soliman:
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs. CMSB 2021: 74-90 - 2020
- [c75]Elisabeth Degrand, François Fages, Sylvain Soliman:
Graphical Conditions for Rate Independence in Chemical Reaction Networks. CMSB 2020: 61-78 - [c74]Mathieu Hemery, François Fages, Sylvain Soliman:
On the Complexity of Quadratization for Polynomial Differential Equations. CMSB 2020: 120-140 - [i15]Mathieu Hemery, François Fages, Sylvain Soliman:
On the Complexity of Quadratization for Polynomial Differential Equations. CoRR abs/2007.08910 (2020) - [i14]Elisabeth Degrand, François Fages, Sylvain Soliman:
Graphical Conditions for Rate Independence in Chemical Reaction Networks. CoRR abs/2007.15642 (2020) - 2019
- [c73]Wei-Chih Huang, Jie-Hong Roland Jiang, François Fages, Franck Molina:
Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity. BioCAS 2019: 1-4 - [c72]Elisabeth Degrand, Mathieu Hemery, François Fages:
On Chemical Reaction Network Design by a Nested Evolution Algorithm. CMSB 2019: 78-95 - [c71]Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages:
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. CMSB 2019: 352-355 - [i13]François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu:
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [j39]François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber:
The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra 52(3): 67-70 (2018) - [j38]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): 1138-1151 (2018) - [c70]François Fages, Sylvain Soliman:
On Robustness Computation and Optimization in BIOCHAM-4. CMSB 2018: 292-299 - [i12]Adrien Baudier, François Fages, Sylvain Soliman:
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels. CoRR abs/1809.08891 (2018) - 2017
- [c69]Chun-Ning Lai, Jie-Hong R. Jiang, François Fages:
Recombinase-based genetic circuit optimization. BioCAS 2017: 1-4 - [c68]Arthur Carcano, François Fages, Sylvain Soliman:
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. CMSB 2017: 74-90 - 2016
- [j37]Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry:
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Bioinform. 32(17): 772-780 (2016) - [j36]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: 59-69 (2016) - [j35]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): 251-276 (2016) - [c66]François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman:
Influence Systems vs Reaction Systems. CMSB 2016: 98-115 - [c65]Thierry Martinez, François Fages, Abder Aggoun:
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. CPAIOR 2016: 262-278 - [c64]Abderrahmane Aggoun, Ahmed Rhiat, François Fages:
Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies. GOL 2016: 1-4 - [i11]Abderrahmane Aggoun, Nicolas Beldiceanu, Gilles Chabert, François Fages:
Packing with Complex Shapes. ERCIM News 2016(105) (2016) - 2015
- [j34]François Fages, Steven Gay, Sylvain Soliman:
Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599: 64-78 (2015) - [j33]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): 14:1-14:22 (2015) - [c63]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: 208-221 - [c62]Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages:
Reconfigurable neuromorphic computation in biochemical systems. EMBC 2015: 937-940 - [c61]Thierry Martinez, François Fages, Sylvain Soliman:
Search by constraint propagation. PPDP 2015: 173-183 - 2014
- [j32]Sylvain Soliman, François Fages, Ovidiu Radulescu:
A constraint solving approach to model reduction by tropical equilibration. Algorithms Mol. Biol. 9: 24 (2014) - [j31]Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon:
On the subgraph epimorphism problem. Discret. Appl. Math. 162: 214-228 (2014) - [c60]Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages:
Building reconfigurable circuitry in a biochemical world. BioCAS 2014: 560-563 - [c59]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: 114-128 - [e13]François Fages, Carla Piazza:
Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. Lecture Notes in Computer Science 8738, Springer 2014, ISBN 978-3-319-10397-6 [contents] - 2013
- [j30]François Fages, Simon de Givry, Christine Solnon:
Preface. RAIRO Oper. Res. 47(2): 89-90 (2013) - [j29]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): 308-309 (2013) - [c57]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: 192-205 - [i10]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 abs/1304.2948 (2013) - 2012
- [j28]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): 1314-1315 (2012) - [c56]François Fages, Steven Gay, Sylvain Soliman:
Inferring Reaction Models from ODEs. CMSB 2012: 370-373 - [c55]Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman:
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP 2012: 798-814 - 2011
- [j27]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): 2108-2127 (2011) - [j26]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): 2827-2839 (2011) - [c53]Jannis Uhlendorf, Samuele Bottani, François Fages, Pascal Hersen, Grégory Batt:
Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. Pacific Symposium on Biocomputing 2011: 338-349 - 2010
- [j25]Steven Gay, Sylvain Soliman, François Fages:
A graphical method for reducing and relating models in systems biology. Bioinform. 26(18) (2010) - [i9]Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages:
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News 2010(81) (2010) - [i8]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): 36 (2010) - 2009
- [j24]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) - [c51]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: 142-157 - [c50]François Fages, Aurélien Rizk:
From Model-Checking to Temporal Logic Constraint Solving. CP 2009: 319-334 - [c49]François Fages, Julien Martin:
Modelling Search Strategies in Rules2CP. CPAIOR 2009: 321-322 - [c48]Julien Martin, Thierry Martinez, François Fages:
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. CSCLP 2009: 38-58 - [e11]Angelo Oddi, François Fages, Francesca Rossi:
Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5655, Springer 2009, ISBN 978-3-642-03250-9 [contents] - 2008
- [j23]François Fages, Sylvain Soliman:
Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008) - [j22]François Fages, Aurélien Rizk:
On temporal logic constraint solving for analyzing numerical data time series. Theor. Comput. Sci. 408(1): 55-65 (2008) - [c47]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: 251-268 - [c46]François Fages, Julien Martin:
From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP 2008: 66-83 - [c45]François Fages, Sylvain Soliman:
From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102 - [c44]François Fages, Sylvain Soliman:
Formal Cell Biology in Biocham. SFM 2008: 54-80 - [p1]François Fages, Sylvain Soliman:
Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304 - [e10]François Fages, Francesca Rossi, Sylvain Soliman:
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. Lecture Notes in Computer Science 5129, Springer 2008, ISBN 978-3-540-89811-5 [contents] - 2007
- [j21]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): 47-72 (2007) - [c43]François Fages, Aurélien Rizk:
On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63 - [c42]Rémy Haemmerlé, François Fages, Sylvain Soliman:
Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556 - [c41]Rémy Haemmerlé, François Fages:
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228 - [e9]Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi:
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4651, Springer 2007, ISBN 978-3-540-73816-9 [contents] - [i7]François Fages, Abder Aggoun:
Net-WMS - A New Generation of Warehouse Management Systems Networked Services. ERCIM News 2007(68) (2007) - [i6]Jean Clairambault, François Fages, Sylvain Soliman:
Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007(69) (2007) - 2006
- [j20]Laurence Calzone, François Fages, Sylvain Soliman:
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinform. 22(14): 1805-1807 (2006) - [j18]François Fages, Narendra Jussien, Christine Solnon:
Editorial. RAIRO Oper. Res. 40(4): 325-326 (2006) - [j16]Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman:
Machine Learning Biochemical Networks from Temporal Logic Properties. Trans. Comp. Sys. Biology 6: 68-94 (2006) - [c40]François Fages, Sylvain Soliman:
Type Inference in Systems Biology. CMSB 2006: 48-62 - [c39]Rémy Haemmerlé, François Fages:
Modules for Prolog Revisited. ICLP 2006: 41-55 - [e6]Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi:
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3978, Springer 2006, ISBN 3-540-34215-X [contents] - [e5]François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach:
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005. Dagstuhl Seminar Proceedings 05371, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [i5]Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006 - 2005
- [e4]Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi:
Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3419, Springer 2005, ISBN 3-540-25176-6 [contents] - [e3]François Fages, Sylvain Soliman:
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings. Lecture Notes in Computer Science 3703, Springer 2005, ISBN 3-540-28793-0 [contents] - [i4]François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach:
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning 2005 - 2004
- [j15]François Fages, Sylvain Soliman, Rémi Coolen:
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints An Int. J. 9(4): 241-262 (2004) - [j14]Martin A. Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann:
Invited talks. Künstliche Intell. 18(3): 44- (2004) - [j13]Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter:
Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. 325(1): 25-44 (2004) - [c35]Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman:
The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191 - [c34]Sylvain Soliman, François Fages:
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB 2004: 231-235 - [e2]Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza:
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers. Lecture Notes in Computer Science 3010, Springer 2004, ISBN 3-540-21834-3 [contents] - 2001
- [j10]François Fages, Paul Ruet, Sylvain Soliman:
Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165(1): 14-41 (2001) - 1998
- [j8]François Fages, Julian Fowler, Thierry Sola:
Experiments in Reactive Constraint Logic Programming. J. Log. Program. 37(1-3): 185-212 (1998) - [c20]François Fages, Paul Ruet, Sylvain Soliman:
Phase Semantics and Verification of Concurrent Constraint Programs. LICS 1998: 141-152 - 1997
- [j6]Paul Ruet, François Fages:
Combining Explicit Negation and Negation by Failure Via Belnap's Logic. Theor. Comput. Sci. 171(1-2): 61-75 (1997) - [c18]Paul Ruet, François Fages:
Concurrent Constraint Programming and Non-commutative Logic. CSL 1997: 406-423 - 1995
- [c15]Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure:
Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Model-based Programming. CCP 1995: 3:1-3:15 - [c14]François Fages, Julian Fowler, Thierry Sola:
A Reactive Constraint Logic Programming Scheme. ICLP 1995: 149-163 - [c13]Julian Fowler, Thierry Sola, François Fages:
Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. JFPLC 1995: 21-33 - 1994
- [c12]François Fages, Julian Fowler, Thierry Sola:
Handling Preferences in Constraint Logic Programming with Relational Optimization. PLILP 1994: 261-276 - [c11]Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure:
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. ILPS 1994: 678 - 1991
- [c6]Philippe Codognet, François Fages, Thierry Sola:
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-26 21:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint