The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

François Fages: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. François Fages
    Associative-Commutative Unification. [Citation Graph (1, 0)][DBLP]
    CADE, 1984, pp:194-208 [Conf]
  2. François Fages
    Associative-Commutative Unification. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1987, v:3, n:3, pp:257-275 [Journal]
  3. François Fages
    A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. [Citation Graph (1, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:3/4, pp:425-444 [Journal]
  4. François Fages, Roberta Gori
    A Hierarchy of Semantics for Normal Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:77-91 [Conf]
  5. François Fages, Gérard P. Huet
    Complete Sets of Unifiers and Matchers in Equational Theories. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:205-220 [Conf]
  6. Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
    The Biochemical Abstract Machine BIOCHAM. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:172-191 [Conf]
  7. Nathalie Chabrier, François Fages
    Symbolic Model Checking of Biochemical Networks. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:149-162 [Conf]
  8. François Fages, Sylvain Soliman
    Type Inference in Systems Biology. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:48-62 [Conf]
  9. Sylvain Soliman, François Fages
    CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:231-235 [Conf]
  10. François Fages
    From Constraint Minimization to Goal Optimization in CLP Languages. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:537-538 [Conf]
  11. Emmanuel Coquery, François Fages
    A Type System for CHR. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2005, pp:100-117 [Conf]
  12. Paul Ruet, François Fages
    Concurrent Constraint Programming and Non-commutative Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:406-423 [Conf]
  13. François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
    05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. [Citation Graph (0, 0)][DBLP]
    Principles and Practices of Semantic Web Reasoning, 2005, pp:- [Conf]
  14. François Fages
    On the Semantics of Optimization Predicates in CLP Languages. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1993, pp:193-204 [Conf]
  15. Emmanuel Coquery, François Fages
    Subtyping Constraints in Quasi-lattices. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:136-148 [Conf]
  16. Jan-Georg Smaus, François Fages, Pierre Deransart
    Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:214-226 [Conf]
  17. Luc Albert, François Fages
    Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. [Citation Graph (0, 0)][DBLP]
    ICALP, 1988, pp:18-37 [Conf]
  18. Emmanuel Coquery, François Fages
    TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:480- [Conf]
  19. Emmanuel Coquery, François Fages
    A Type System for CHR. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:402-403 [Conf]
  20. François Fages
    Symbolic Model-Checking for Biochemical Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:102- [Conf]
  21. François Fages
    A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:441-458 [Conf]
  22. François Fages, Julian Fowler, Thierry Sola
    A Reactive Constraint Logic Programming Scheme. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:149-163 [Conf]
  23. François Fages, Massimo Paltrinieri
    A Generic Type System for CLP(chi). [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:353-354 [Conf]
  24. Rémy Haemmerlé, François Fages
    Modules for Prolog Revisited. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:41-55 [Conf]
  25. Nathalie Chabrier, François Fages
    "Model Checking" symbolique de réseaux bio-chimiques. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2003, pp:155-168 [Conf]
  26. Emmanuel Coquery, François Fages
    Programmes logiques avec contraintes typés. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:223-238 [Conf]
  27. Emmanuel Coquery, François Fages
    Surcharge et sous-typage dans TCLP. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:273-0 [Conf]
  28. Emmanuel Coquery, François Fages
    Contraintes de sous-typage dans les quasi-treillis. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2003, pp:253-266 [Conf]
  29. Julian Fowler, Thierry Sola, François Fages
    Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:21-33 [Conf]
  30. François Fages
    Note sur l'unification des termes de premier ordre finis et infinis. [Citation Graph (0, 0)][DBLP]
    SPLT, 1983, pp:- [Conf]
  31. François Fages
    Automated Reasoning Tools for Molecular Biology. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:1-2 [Conf]
  32. François Fages, Paul Ruet, Sylvain Soliman
    Phase Semantics and Verification of Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:141-152 [Conf]
  33. François Fages
    Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:1-5 [Conf]
  34. François Fages
    CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. [Citation Graph (0, 0)][DBLP]
    WLPE, 2002, pp:47-62 [Conf]
  35. François Fages, Julian Fowler, Thierry Sola
    Handling Preferences in Constraint Logic Programming with Relational Optimization. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:261-276 [Conf]
  36. François Fages
    On the Semantics of Optimization Predicates in CLP languages. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:51-59 [Conf]
  37. François Fages
    Concurrent constraint programming and linear logic (abstract). [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:44- [Conf]
  38. François Fages, Roberta Gori
    Analysis of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:82-98 [Conf]
  39. Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure
    Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:678- [Conf]
  40. Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann
    Average Case Analysis of Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    STACS, 1991, pp:196-213 [Conf]
  41. Philippe Codognet, François Fages, Thierry Sola
    A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:437-456 [Conf]
  42. Laurence Calzone, François Fages, Sylvain Soliman
    BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:14, pp:1805-1807 [Journal]
  43. François Fages, Sylvain Soliman, Rémi Coolen
    CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:4, pp:241-262 [Journal]
  44. François Fages, Akash Lal
    A constraint programming approach to cutset problems. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2006, v:33, n:10, pp:2852-2865 [Journal]
  45. Jan-Georg Smaus, François Fages, Pierre Deransart
    Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  46. François Fages
    CLP versus LS on Log-based Reconciliation Problems [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  47. François Fages, Emmanuel Coquery
    Typing constraint logic programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  48. François Fages
    CLPGUI: a generic graphical user interface for constraint logic programming over finite domains [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  49. François Fages, Paul Ruet, Sylvain Soliman
    Linear Concurrent Constraint Programming: Operational and Phase Semantics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:165, n:1, pp:14-41 [Journal]
  50. François Fages
    Constructive Negation by Pruning. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:32, n:2, pp:85-118 [Journal]
  51. François Fages, Julian Fowler, Thierry Sola
    Experiments in Reactive Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:185-212 [Journal]
  52. Martin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann
    Invited talks. [Citation Graph (0, 0)][DBLP]
    KI, 2004, v:18, n:3, pp:44-0 [Journal]
  53. François Fages
    Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:68-89 [Journal]
  54. Luc Albert, Rafael Casas, François Fages
    Average-Case Analysis of Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:3-34 [Journal]
  55. Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter
    Modeling and querying biomolecular interaction networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:25-44 [Journal]
  56. François Fages, Gérard P. Huet
    Complete Sets of Unifiers and Matchers in Equational Theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:43, n:, pp:189-200 [Journal]
  57. Paul Ruet, François Fages
    Combining Explicit Negation and Negation by Failure Via Belnap's Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:171, n:1-2, pp:61-75 [Journal]
  58. François Fages
    From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:68-70 [Journal]
  59. Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
    Machine Learning Biochemical Networks from Temporal Logic Properties. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:68-94 [Journal]
  60. François Fages, Emmanuel Coquery
    Typing constraint logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:6, pp:751-777 [Journal]
  61. Emmanuel Coquery, François Fages
    Contraintes de sous-typage dans les quasi-treillis. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:253-266 [Journal]
  62. Nathalie Chabrier, François Fages
    "Model Checking" symbolique de réseaux biochimiques. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:155-168 [Journal]
  63. François Fages, Aurélien Rizk
    On the Analysis of Numerical Data Time Series in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:48-63 [Conf]
  64. Rémy Haemmerlé, François Fages
    Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:214-228 [Conf]

  65. On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. [Citation Graph (, )][DBLP]


  66. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. [Citation Graph (, )][DBLP]


  67. From Model-Checking to Temporal Logic Constraint Solving. [Citation Graph (, )][DBLP]


  68. Modelling Search Strategies in Rules2CP. [Citation Graph (, )][DBLP]


  69. From Rules to Constraint Programs with the Rules2CP Modelling Language. [Citation Graph (, )][DBLP]


  70. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]


  71. Closures and Modules Within Linear Logic Concurrent Constraint Programming. [Citation Graph (, )][DBLP]


  72. A Logical Paradigm for Systems Biology (Invited Talk). [Citation Graph (, )][DBLP]


  73. Model Revision from Temporal Logic Properties in Computational Systems Biology. [Citation Graph (, )][DBLP]


  74. Formal Cell Biology in Biocham. [Citation Graph (, )][DBLP]


  75. From Reaction Models to Influence Graphs and Back: A Theorem. [Citation Graph (, )][DBLP]


  76. A general computational method for robustness analysis with applications to synthetic gene networks. [Citation Graph (, )][DBLP]


Search in 0.418secs, Finished in 0.422secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002