Nombre de documents

91

CV de François Fages


Communication dans un congrès34 documents

  • Thierry Martinez, François Fages, Abder Aggoun. Un solveur d'optmization stochastique pour MiniZinc avec des applications à des problèmes de placements géométriques. Douzièmes Journées Francophones de Programmation par Contraintes JFPC'16, 2016, Montpellier, France. 2016, <https://hal.archives-ouvertes.fr/hal-01340084>. <hal-01378467>
  • François Fages, Thierry Martinez, David Rosenblueth, Sylvain Soliman. Influence Systems vs Reaction Systems. Ezio Bartocci; Pietro Lio; Nicola Paoletti. CMSB'16: Proceedings of the fourteenth international conference on Computational Methods in Systems Biology, Sep 2016, Cambridge, UK, United Kingdom. Springer-Verlag, 9859, pp.98-115, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-45177-0_7>. <hal-01378470>
  • Thierry Martinez, François Fages, Abder Aggoun. A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. Claude-Guy Quimper. Proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR'16, May 2016, Banff, Canada. Springer, Lecture Notes in Computer Science, 9676, pp.262-278, 2016, <10.1007/978-3-319-33954-2_19>. <hal-01378468>
  • 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'16 - 3rd IEEE International Conference on Logistics Operations Management , May 2016, Morocco, Morocco. 2016, <10.1109/GOL.2016.7731693>. <hal-01378469>
  • Thierry Martinez, François Fages. On Translating MiniZinc Constraint Models into Fitness Function for Evolutionary Algorithms: Application to Continuous Placement Problems. Proceedings of the sixth Workshop on Bin Packing and Placement Constraints BPPC'15, associated to CP'15, 2015, Cork, Ireland. 2015. <hal-01236263>
  • 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. Olivier Roux and Jérémie Bourdon. CMSB'15 - Proceedings of the thirteenth international conference on Computational Methods in Systems Biology, 2015, Nantes, France. Springer-Verlag, 9308, pp.208--221, 2015, Lecture Notes in BioInformatics. <10.1007/978-3-319-23401-4_18>. <hal-01236264>
  • Hui-Ju Chiang, Jie-Hong Jiang, François Fages. Reconfigurable Neuromorphic Computation in Biochemical Systems. EMBC 2015 - 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Aug 2015, Milano, Italy. pp.937 - 940, 2015, <10.1109/EMBC.2015.7318517>. <hal-01236265>
  • Thierry Martinez, François Fages, Sylvain Soliman. Search by Constraint Propagation. ACM. PPDP '15- 17th International Symposium on Principles and Practice of Declarative Programming, Jul 2015, Siena, Italy. pp.173--183, 2015, <10.1145/2790449.2790527>. <hal-01140761>
  • 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 (Best Student Paper Prize). CMSB'14: Proceedings of the twelth international conference on Computational Methods for Systems Biology, Nov 2014, Manchester, United Kingdom. Springer Verlag, pp.114--128, 2014, LNBI. <10.1007/978-3-319-12982-2>. <hal-01098529>
  • David Fournier, François Fages, Denis Mulard. A Greedy Heuristic for Optimizing Metro Regenerative Energy Usage. J. Pombo. Railways 2014, Apr 2014, Ajaccio, France. 2014, Proceedings of the Second Internaitonal Conference on Railway Technology: Research, Development and Maintenance. <http://www.civil-comp.com/>. <10.4203/ccp.104.240>. <hal-01103710>
  • Hui-Ju Chiang, Jie-Hong Jiang, François Fages. Building Reconfigurable Circuitry in a Biochemical World. IEEE Proceedings BioCAS 2014 - Biomedical Circuits and Systems Conference, Oct 2014, Lausanne, Switzerland. IEEE, pp.560 - 563, <10.1109/BioCAS.2014.6981787>. <hal-01103266>
  • Tai-Yin Chiu, Ruei-Yang Huang, Hui-Ju Chiang, Jie-Hong Jiang, François Fages. Configurable Linear Control of Biochemical Systems. IWBDA 2014 - 6th international workshop on bio-design automation, Jun 2014, Boston, United States. <http://www.iwbdaconf.org/2014/>. <hal-01103286>
  • François Fages. Cells as Machines: Towards Deciphering Biochemical Programs in the Cell. Raja Natarajan. ICDCIT 2014 - 10th International Conference Distributed Computing and Internet Technology, Feb 2014, Bhubanesvar, India. Springer-Verlag, 8337, pp.50 - 67, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-04483-5_6>. <hal-01103291>
  • François Fages. Cells as Machines: Towards Deciphering Biochemical Programs in the Cell (keynote talk). 21st European Conference on Artificial Intelligence, 2014, Prague, Czech Republic. 2014, <http://www.ecai2014.org/invited-speakers/>. <hal-01103333>
  • Katherine Chiang, François Fages, Jie-Hong Jiang, Sylvain Soliman. On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. Gupta, Ashutosh and Henzinger, Thomas A. CMSB - 11th International Conference on Computational Methods for Systems Biology - 2013, Sep 2013, Klosterneuburg, Austria. Springer, 8130, pp.192--205, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-40708-6_15>. <hal-00913292>
  • Sylvain Soliman, François Fages, Ovidiu Radulescu. A Constraint Solving Approach to Tropical Equilibration and Model Reduction. WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013, Sep 2013, Uppsala, Sweden. pp.27--36, 2013. <hal-00906419>
  • Steven Gay, François Fages, Francesco Santini, Sylvain Soliman. Solving Subgraph Epimorphism Problems using CLP and SAT. WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013 (2013), Sep 2013, Uppsala, Sweden. pp.67--74, 2013. <hal-00908973>
  • Thierry Martinez, Lumadaiara Vitorino, François Fages, Abderrahmane Aggoun. On Solving Mixed Shapes Packing Problems by Continuous Optimization with the CMA Evolution Strategy. BRICS-CCI 2013 - First BRICS countries congress on Computational Intelligence, Sep 2013, Recife, Brazil. 2013. <hal-00934917>
  • Ruei-Yang Huang, De-An Huang, Hui-Ju Katherine, Jie-Hong Jiang, Francois Fages. Species Minimization in Computation with Biochemical Reactions. IWBDA'13: Proceedings of the fifth International Workshop on Bio-Design Automation, Jul 2013, Imperial College, London, United Kingdom. 2013. <hal-00935829>
  • 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. JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. 2012. <hal-00810486>
  • David Fournier, Denis Mulard, François Fages. Optimisation énergétique de tables horaires de métros: une approche hybride. JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. 2012. <hal-00814169>
  • D. Heitzler, A. Rizk, G. Durand, V. Piketty, Pascale Crépieux, et al.. Modèle dynamique du réseau de signalisation induit par l'angiotensine. XXIXème Séminaire de la Société Francophone de Biologie Théorique, 2009, Saint-Flour, France. 2009. <hal-00793673>
  • Francois Fages, Thierry Martinez, Cleyton Rodrigues. CHR modulaire avec ask et tell. Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.75-85, 2009. <hal-00387855>
  • Francois Fages, Sylvain Soliman. From reaction models to influence graphs and back: a theorem. Springer-Verlag. Proceedings of Formal Methods in Systems Biology FMSB'08, Feb 2008, Cambridge, United Kingdom. 5054, 2008, LNCS. <10.1007/978-3-540-68413-8_7>. <inria-00419921>
  • Aurélien Rizk, Grégory Batt, Francois Fages, Sylvain Soliman. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. Springer-Verlag. CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, Oct 2008, Rostock, Germany. 5307, pp.251--268, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-88562-7_19>. <inria-00419781>
  • Francois Fages, Julien Martin. Des règles aux contraintes avec le langage de modélisation Rules2CP. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.361-371, 2008. <inria-00292793>
  • Francois Fages, Aurélien Rizk. Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.1-10, 2008. <inria-00290470>
  • Rémy Haemmerlé, Francois Fages. Un Système de Module Fermé pour la PLC. Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens, Université d'Artois, pp.169-178, 2005, Premières Journées Francophones de Programmation par Contraintes. <inria-00000067>
  • Emmanuel Coquery, Francois Fages. Un système de types pour CHR. Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens, Université d'Artois, pp.189-198, 2005, Premières Journées Francophones de Programmation par Contraintes. <inria-00000074>
  • Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Lucie Gentils, Sylvain Soliman. Machine Learning Bio-molecular Interactions from Temporal Logic Properties. Gordon Plotkin. Third Workshop on Computational Methods in Systems Biology, Apr 2005, Edinburgh, Scotland, 2005. <inria-00000117>
  • Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman. A Machine Learning approach to Biochemical Reaction Rules Discovery. Francis J. Doyle III. Proceedings of Foundations of Systems Biology and Engineering , 2005, Santa Barbara, pp.375--379, 2005. <inria-00000812>
  • Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman. Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle. Guy Perrière, Alain Guénoche et Christophe Geourjon. Actes de '05, Jul 2005, Lyon, pp.183--192, 2005. <inria-00000813>
  • Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman. The Biochemical Abstract Machine {BIOCHAM}. Vincent Danos and Vincent Schächter. : Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, Springer-Verlag, 3082, pp.172--191, 2004. <inria-00000814>
  • Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann. Average Case Analysis of Unification Algorithms. C. Choffrut and M. Jantzen. Proceedings of STACS'91 - 8th Annual Symposium on Theoretical Aspects of Computer Science, 1991, Hamburg, Germany. Springer, 480, pp.196-213, 1991, Lecture Notes in Computer Science. <10.1007/BFb0020799>. <hal-00917726>

Pré-publication, Document de travail5 documents

  • François Fages. AI in Biological Modelling. 2016. <hal-01409753>
  • François Fages, Guillaume Le Guludec. Programmes biochimiques et algorithmes mixtes analogiques-digitaux dans la cellule. 2016. <hal-01409743v2>
  • Nicolas Vasselin, François Fages. Mixture Model-CMA-ES . internship report. 2016. <hal-01420342>
  • Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages. Model-based Investigation of the Coupling between the Cell Cycle and the Circadian Clock in Mouse Embryonic Fibroblasts. 2015. <hal-01246846>
  • Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical modeling of the mammalian cell cycle. 2015. <hal-01246595>

Article dans une revue26 documents

  • 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, Springer Verlag, 2016, 21 (2), pp.251--276. <10.1007/s10601-015-9190-1>. <hal-01170962>
  • Abderrahmane Aggoun, Nicolas Beldiceanu, Gilles Chabert, François Fages. Packing with Complex Shapes. ERCIM News, ERCIM, 2016, pp.32. <http://ercim-news.ercim.eu/en105/special/packing-with-complex-shapes>. <hal-01378471>
  • 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. BioSystems, Elsevier, 2016, 149, pp.59--69. <10.1016/j.biosystems.2016.07.003>. <hal-01378466>
  • Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation. Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.i772-i780. <10.1093/bioinformatics/btw457>. <hal-01378465>
  • François Fages, Steven Gay, Sylvain Soliman. Inferring reaction systems from ordinary differential equations. Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 599, pp.64--78. <10.1016/j.tcs.2014.07.032>. <hal-01103692>
  • Hui-Ju Chiang, François Fages, Jie-Hong Jiang, Sylvain Soliman. Hybrid Simulations of Heterogeneous Biochemical Models in SBML. ACM Transactions on Modeling and Computer Simulation, Association for Computing Machinery, 2015, 25 (2), pp.14:1-14:22. <10.1145/2742545>. <hal-01170947>
  • Tai-Yin Chiu, Hui-Ju Chiang, Ruei-Yang Huang, Jie-Hong Jiang, François Fages. Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications. PLoS ONE, Public Library of Science, 2015, 10 (9), <10.1371/journal.pone.0137442>. <hal-01236266>
  • Sylvain Soliman, François Fages, Ovidiu Radulescu. A constraint solving approach to model reduction by tropical equilibration. Algorithms for Molecular Biology, BioMed Central, 2014, 9 (1), pp.24. <http://www.almob.org/content/9/1/24>. <10.1186/s13015-014-0024-2>. <hal-01098530>
  • Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon. On the subgraph Epimorphism Problem. Discrete Applied Mathematics, Elsevier, 2014, 162, pp.214--228. <10.1016/j.dam.2013.08.008>. <hal-01098527>
  • Domitille Heitzler, Guillaume Durand, Nathalie Gallay, Aurélien Rizk, Seungkirl Ahn, et al.. Competing G protein-coupled receptor kinases balance G protein and β-arrestin signaling.. Molecular Systems Biology, EMBO Press, 2012, 8, pp.590. <10.1038/msb.2012.22>. <hal-00776169>
  • Elisabetta De Maria, Francois 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.. Journal of Theoretical Computer Science (TCS), Elsevier, 2011, 412 (21), pp.2108-2127. <hal-01285815>
  • 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. Theoretical Computer Science, Elsevier, 2011, 412 (26), pp.2827 - 2839. <10.1016/j.tcs.2010.05.008>. <hal-01431314>
  • 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. Theoretical Computer Science, Elsevier, 2011, 412 (21), pp.2108--2127. <10.1016/j.tcs.2010.10.036>. <hal-01431360>
  • Aggoun Abder, Nicolas Beldiceanu, Mats Carlsson, Francois Fages. Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News, ERCIM, 2010, 81. <hal-00915805>
  • Steven Gay, Sylvain Soliman, François Fages. A graphical method for reducing and relating models in systems biology. Bioinformatics, Oxford University Press (OUP), 2010, 26 (18), pp.i575--i581. <10.1093/bioinformatics/btq388>. <hal-01431335>
  • Domitille Heitzler, Pascale Crépieux, Anne Poupon, Frédérique Clement, Francois Fages, et al.. Towards a systems biology approach of-G protein-coupled receptor signalling: challenges and expectations.. Comptes Rendus Biologies, Elsevier Masson, 2009, 332 (11), pp.947-57. <10.1016/j.crvi.2009.09.002>. <inria-00461545>
  • Krishnamachari Sriram, Sylvain Soliman, Francois Fages. Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans. Journal of Theoretical Biology, Elsevier, 2009, 258 (1), pp.71--88. <10.1016/j.jtbi.2009.01.008>. <inria-00419777>
  • Aurélien Rizk, Grégory Batt, Francois Fages, Sylvain Soliman. A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics, Oxford University Press (OUP), 2009, 25 (12), pp.il69--il78. <10.1093/bioinformatics/btp200>. <inria-00419708>
  • François Fages, Sylvain Soliman. Abstract interpretation and types for systems biology. Theoretical Computer Science, Elsevier, 2008, 403 (1), pp.52--70. <10.1016/j.tcs.2008.04.024>. <hal-01431355>
  • Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Loïc Fosse, Sylvain Soliman. Langages formels dans la machine abstraite biochimique BIOCHAM. Techniques et Sciences Informatiques, 2007, 26 (1-2), pp.47--72. <10.3166/tsi.26.47-72>. <hal-01431369>
  • Laurence Calzone, François Fages, Sylvain Soliman. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, Oxford University Press (OUP), 2006, 22 (14), pp.1805--1807. <10.1093/bioinformatics/btl172>. <hal-01431364>
  • Nathalie Chabrier, Marc Chiaverini, Vincent Danos, Francois Fages, Vincent Schachter. Modeling and Querying biological networks. Theoretical Computer Science, Elsevier, 2004, 325 (1), pp.25-44. <10.1016/j.tcs.2004.03.063>. <hal-00164592>
  • Sylvain Soliman, Francois Fages. La programmation par contraintes. Interstices, INRIA, 2004. <inria-00000571>
  • François Fages, Sylvain Soliman, Rémi Coolen. CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints, Springer Verlag, 2004, 9 (4), pp.241 - 262. <10.1023/B:CONS.0000049203.53383.c1>. <hal-01431350>
  • Francois Fages, Sylvain Soliman, Nathalie Chabrier-Rivier. Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM. Journal of Biological Physics and Chemistry, Basel, Switzerland : Collegium Basilea (Institute of Advanced Study) ; Tbilisi : Association of Modern Scientific Investigation (AMSI), 2004, 4 (2), pp.64--73. <hal-01431345>
  • François Fages, Paul Ruet, Sylvain Soliman. Linear Concurrent Constraint Programming: Operational and Phase Semantics. Information and Computation, Elsevier, 2001, 165 (1), pp.14--41. <10.1006/inco.2000.3002>. <hal-01431358>

Rapport19 documents

  • David Fournier, Thierry Martinez, François Fages, Denis Mulard. Metro Energy Optimization through Rescheduling: Mathematical Models and Heuristic Algorithm Compared to MILP and CMA-ES . [Research Report] Inria Saclay Ile de France. 2016. <hal-01420311>
  • Francois Fages, Steven Gay, Sylvain Soliman. Automatic Curation of SBML Models based on their ODE Semantics. [Research Report] RR-8014, INRIA. 2012. <hal-00723554>
  • Francois Fages, Sylvain Soliman. Reifying Global Constraints. [Research Report] RR-8084, INRIA. 2012, pp.18. <hal-00737768>
  • Sylvain Soliman, Claudine Chaouiya, Grégory Batt, Francois Fages, Élisabeth Remy, et al.. Modelling molecular networks: relationships between different formalisms and levels of details. [Research Report] RR-7221, INRIA. 2010. <inria-00461084>
  • Elisabetta De Maria, Francois Fages, Sylvain Soliman. Model-based Predictions of the Influence of Circadian Clock Genes Knock-Outs on the Cell Cycle. [Research Report] RR-7064, INRIA. 2009. <inria-00424950v2>
  • Francois Fages, Julien Martin. From Rules to Constraint Programs with the Rules2CP Modelling Language. [Research Report] RR-6495, INRIA. 2008. <inria-00270326v2>
  • Remy Haemmerle, Francois Fages, Sylvain Soliman. On Internalizing Modules as Agents in Concurrent Constraint Programming. [Research Report] RR-5981, INRIA. 2006. <inria-00096644v3>
  • Rémy Haemmerlé, Francois Fages. Modules for Prolog Revisited. [Research Report] RR-5869, INRIA. 2006, pp.17. <inria-00070157>
  • Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman, Laurence Calzone. Learning Transition Rules from Temporal Logic Properties. [Research Report] RR-5543, INRIA. 2005, pp.19. <inria-00070464>
  • Rémy Haemmerlé, Francois Fages. Closures are Needed for Closed Module Systems. [Research Report] RR-5575, INRIA. 2005, pp.19. <inria-00070431>
  • Sylvain Sécherre, Francois Fages. Allocation distribuée de ressources dans le système CONSENSUS. [Rapport de recherche] RT-0308, INRIA. 2005, pp.79. <inria-00069872>
  • Emmanuel Coquery, Francois Fages. A Type System for CHR. [Research Report] RR-5565, INRIA. 2005, pp.17. <inria-00070441>
  • Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for Web Rule Languages: a preliminary study. [Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p. <inria-00099859>
  • Emmanuel Coquery, Francois Fages. Subtyping constraints in quasi-lattices. [Research Report] RR-4926, INRIA. 2003. <inria-00071653>
  • Jan-Georg Smaus, Francois Fages, Pierre Deransart. Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. [Research Report] RR-4020, INRIA. 2000. <inria-00072621>
  • Luc Albert, Rafaël Casas, Francois Fages, Paul Zimmermann. Average case analysis of unification algorithms. [Research Report] RR-1213, INRIA. 1990. <inria-00075345>
  • Luc Albert, Francois Fages. Average case complexity analysis of the RETE multi-pattern match algorithm. [Research Report] RR-0773, INRIA. 1987. <inria-00075779>
  • Francois Fages. Le système KB : présentation et bibliographie,mise en oeuvre. [Rapport de recherche] RR-0368, INRIA. 1985. <inria-00076188>
  • Francois Fages. Associative-commutative unification. [Research Report] RR-0287, INRIA. 1984. <inria-00076271>

Chapitre d'ouvrage3 documents

  • François Fages, Pauline Traynard. Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers. Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, 2014, Bioengineering and health science series, 978-1-84821-680-8. <10.1002/9781119005223.ch8>. <hal-01103305>
  • Jannis Uhlendorf, Agnès Miermont, Thierry Delaveau, Gilles Charvin, François Fages, et al.. In silico control of biomolecular processes. Mario A. Marchisio. Computational Methods in Synthetic Biology, 1244, Springer New York, pp.8, 2014, Methods in Molecular Biology, 978-1-4939-1877-5. <10.1007/978-1-4939-1878-2_13>. <hal-01104057>
  • Francois Fages, Sylvain Soliman. Model Revision from Temporal Logic Properties in Computational Systems Biology. 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>. <hal-01431378>

Document associé à des manifestations scientifiques1 document

  • François Fages. Machinerie cellulaire et programmation biochimique: vers une informatique de la cellule. Forum des lauréats en informatique et mathématiques appliquées 2014, 2014, Collège de France, Paris, France. <hal-01103343>

Ouvrage (y compris édition critique et traduction)1 document

  • François Fages, Narendra Jussien, Christine Solnon. Special Issue: Journés Francophones de Programmation par Contraintes 2005. François Fages and Narendra Jussien and Christine Solnon. EDP Science, 40, pp.100, 2006, RAIRO ― Operations Research. <hal-00869097>

Direction d'ouvrage, Proceedings1 document

  • Francois Fages, Francesca Rossi, Sylvain Soliman. Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming. INRIA, 2007. <inria-00160403>

Autre publication1 document

  • Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 1 Introduction
    2 Descriptive typing for Xcerpt
    3 Prescriptive type inference for .. 2005, 71p. <hal-01149625>