Edit Profile (opens in new tab) Fages, François Co-Author Distance Author ID: fages.francois Published as: Fages, François; Fages, Francois; Fages, F. more...less Documents Indexed: 58 Publications since 1983 12 Contributions as Editor Co-Authors: 63 Co-Authors with 62 Joint Publications 1,124 Co-Co-Authors all top 5 Co-Authors 8 single-authored 21 Soliman, Sylvain 6 Hemery, Mathieu 6 Rossi, Francesca 5 Coquery, Emmanuel 5 Martinez, Thierry 3 Albert, Luc 3 Haemmerlé, Rémy 3 Rizk, Aurélien 3 Ruet, Paul 2 Atzeni, Paolo 2 Casas, Rafael 2 Chabrier-Rivier, Nathalie 2 Degrand, Elisabeth 2 Gay, Steven 2 Greugny, Eléa Thibault 2 Hacid, Mohand-Said 2 Huet, Gerard P. 2 Kifer, Michael 2 Martin, Julien 2 Mylopoulos, John 2 Pernici, Barbara 2 Shvaiko, Pavel 2 Solnon, Christine 2 Spaccapietra, Stefano 2 Stamatas, Georgios N. 2 Trujillo, Juan J. 2 Zaihrayeu, Ilya 1 Aggoun, Abder 1 Apt, Krzysztof Rafal 1 Azevedo, Francisco 1 Barahona, Pedro 1 Batt, Grégory 1 Baudier, Adrien 1 Bournez, Olivier 1 Carcano, Arthur 1 Carlsson, Mats 1 Chabrier, Nathalie 1 Chiaverini, Marc 1 Danos, Vincent 1 de Givry, Simon 1 De Maria, Elisabetta 1 Deransart, Pierre 1 Faltings, Boi Volkert 1 Fowler, Julian 1 Gori, Roberta 1 Lal, Akash 1 Le Guludec, Guillaume 1 Nabli, Faten 1 Oddi, Angelo 1 Paltrinieri, Massimo 1 Petcu, Adrian 1 Piazza, Carla 1 Pouly, Amaury 1 Radulescu, Ovidiu 1 Rosenblueth, David A. 1 Schachter, Vincent 1 Smaus, Jan-Georg 1 Sola, Thierry 1 Szeredi, Péter 1 Szmolyan, Peter 1 Torrecillas, A. 1 Váncza, József 1 Zimmermann, Paul all top 5 Serials 11 Theoretical Computer Science 9 Lecture Notes in Computer Science 2 The Journal of Logic Programming 2 Journal of Theoretical Biology 1 Discrete Applied Mathematics 1 Journal of Symbolic Computation 1 Information and Computation 1 Computers & Operations Research 1 Constraints 1 RAIRO. Operations Research 1 Theory and Practice of Logic Programming all top 5 Fields 52 Computer science (68-XX) 26 Biology and other natural sciences (92-XX) 12 General and overarching topics; collections (00-XX) 7 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Ordinary differential equations (34-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 44 Publications have been cited 351 times in 260 Documents Cited by ▼ Year ▼ Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002 Fages, François; Huet, Gérard 34 1986 Associative-commutative unification. Zbl 0547.03012 Fages, François 33 1984 Linear concurrent constraint programming: Operational and phase semantics. Zbl 1003.68065 Fages, François; Ruet, Paul; Soliman, Sylvain 29 2001 Modeling and querying biomolecular interaction networks. Zbl 1071.68098 Chabrier-Rivier, Nathalie; Chiaverini, Marc; Danos, Vincent; Fages, François; Schächter, Vincent 27 2004 Associative-commutative unification. Zbl 0638.68103 Fages, François 21 1987 Abstract interpretation and types for systems biology. Zbl 1155.68049 Fages, François; Soliman, Sylvain 19 2008 Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. Zbl 1416.92070 Fages, François; Le Guludec, Guillaume; Bournez, Olivier; Pouly, Amaury 18 2017 Symbolic model checking of biochemical networks. Zbl 1112.92312 Chabrier, Nathalie; Fages, François 17 2003 Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003 Fages, François; Huet, Gérard 15 1983 The biochemical abstract machine BIOCHAM. Zbl 1088.68817 Chabrier-Rivier, Nathalie; Fages, François; Soliman, Sylvain 13 2005 A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. Zbl 0737.68014 Fages, François 11 1991 Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Zbl 1216.68164 Rizk, Aurélien; Batt, Grégory; Fages, François; Soliman, Sylvain 10 2011 Inferring reaction systems from ordinary differential equations. Zbl 1337.92089 Fages, François; Gay, Steven; Soliman, Sylvain 9 2015 Concurrent constraint programming and non-commutative logic. Zbl 0908.03033 Ruet, Paul; Fages, François 8 1998 Constructive negation by pruning. Zbl 0882.68034 Fages, François 7 1997 On temporal logic constraint solving for analyzing numerical data time series. Zbl 1160.68545 Fages, François; Rizk, Aurélien 6 2008 On the complexity of quadratization for polynomial differential equations. Zbl 1506.92033 Hemery, Mathieu; Fages, François; Soliman, Sylvain 6 2020 Graphical requirements for multistationarity in reaction networks and their verification in BioModels. Zbl 1406.92265 Baudier, Adrien; Fages, François; Soliman, Sylvain 5 2018 Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans. Zbl 1402.92303 Sriram, K.; Soliman, Sylvain; Fages, François 5 2009 Typing constraint logic programs. Zbl 1066.68514 Fages, François; Coquery, Emmanuel 4 2001 Combining explicit negation and negation by failure via Belnap’s logic. Zbl 0874.68045 Ruet, Paul; Fages, François 4 1997 Closures and modules within linear logic concurrent constraint programming. Zbl 1135.68367 Haemmerlé, Rémy; Fages, François; Soliman, Sylvain 4 2007 From reaction models to influence graphs and back: a theorem. Zbl 1375.92021 Fages, François; Soliman, Sylvain 4 2008 Modules for Prolog revisited. Zbl 1131.68378 Haemmerlé, Rémy; Fages, François 4 2006 On the subgraph epimorphism problem. Zbl 1300.05179 Gay, Steven; Fages, François; Martinez, Thierry; Soliman, Sylvain; Solnon, Christine 4 2014 On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Zbl 1336.92031 Nabli, Faten; Martinez, Thierry; Fages, François; Soliman, Sylvain 4 2016 Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs. Zbl 1491.92052 Hemery, Mathieu; Fages, François; Soliman, Sylvain 4 2021 Experiments in reactive constraint logic programming. Zbl 0920.68031 Fages, Francois; Fowler, Julian; Sola, Thierry 3 1998 Model revision from temporal logic properties in computational systems biology. Zbl 1137.68534 Fages, François; Soliman, Sylvain 3 2008 Average-case analysis of unification algorithms. Zbl 0779.68043 Albert, Luc; Casas, Rafael; Fages, François 2 1993 Average case complexity analysis of the RETE multi-pattern match algorithm. Zbl 0661.68090 Albert, Luc; Fages, François 2 1988 Temporal logic constraints in the biochemical abstract machine BIOCHAM. Zbl 1156.68377 Fages, François 2 2006 A hierarchy of semantics for normal constraint logic programs. Zbl 1355.68034 Fages, François; Gori, Roberta 2 1996 Graphical conditions for rate independence in chemical reaction networks. Zbl 1506.92030 Degrand, Élisabeth; Fages, François; Soliman, Sylvain 2 2020 Average case analysis of unification algorithms. Zbl 0764.68056 Albert, Luc; Casas, Rafael; Fages, François; Torrecillas, A.; Zimmermann, Paul 1 1991 JFPLC ’99. Huitièmes journées Francophones de programmation logique et programmation par constraintes. Lyon, France, 2-4 juin 1999. (JFPLC ’99. 8th Francophones meeting on logic programming and programming by constraints). Zbl 0919.00071 1 1999 A constraint programming approach to cutset problems. Zbl 1086.90054 Fages, François; Lal, Akash 1 2006 From rules to constraint programs with the Rules2CP modelling language. Zbl 1248.68453 Fages, François; Martin, Julien 1 2009 Subtyping constraints in quasi-lattices. Zbl 1205.68121 Coquery, Emmanuel; Fages, François 1 2003 CMBSlib: A library for comparing formalisms and models of biological systems. Zbl 1088.68827 Soliman, Sylvain; Fages, François 1 2005 Influence systems vs reaction systems. Zbl 1382.92143 Fages, François; Martinez, Thierry; Rosenblueth, David A.; Soliman, Sylvain 1 2016 Probably approximately correct learning of regulatory networks from time-series data. Zbl 1416.92069 Carcano, Arthur; Fages, François; Soliman, Sylvain 1 2017 Algebraic biochemistry: a framework for analog online computation in cells. Zbl 1505.92075 Hemery, Mathieu; Fages, François 1 2022 Stability versus meta-stability in a skin microbiome model. Zbl 1505.92037 Greugny, Eléa Thibault; Stamatas, Georgios N.; Fages, François 1 2022 Algebraic biochemistry: a framework for analog online computation in cells. Zbl 1505.92075 Hemery, Mathieu; Fages, François 1 2022 Stability versus meta-stability in a skin microbiome model. Zbl 1505.92037 Greugny, Eléa Thibault; Stamatas, Georgios N.; Fages, François 1 2022 Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs. Zbl 1491.92052 Hemery, Mathieu; Fages, François; Soliman, Sylvain 4 2021 On the complexity of quadratization for polynomial differential equations. Zbl 1506.92033 Hemery, Mathieu; Fages, François; Soliman, Sylvain 6 2020 Graphical conditions for rate independence in chemical reaction networks. Zbl 1506.92030 Degrand, Élisabeth; Fages, François; Soliman, Sylvain 2 2020 Graphical requirements for multistationarity in reaction networks and their verification in BioModels. Zbl 1406.92265 Baudier, Adrien; Fages, François; Soliman, Sylvain 5 2018 Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. Zbl 1416.92070 Fages, François; Le Guludec, Guillaume; Bournez, Olivier; Pouly, Amaury 18 2017 Probably approximately correct learning of regulatory networks from time-series data. Zbl 1416.92069 Carcano, Arthur; Fages, François; Soliman, Sylvain 1 2017 On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Zbl 1336.92031 Nabli, Faten; Martinez, Thierry; Fages, François; Soliman, Sylvain 4 2016 Influence systems vs reaction systems. Zbl 1382.92143 Fages, François; Martinez, Thierry; Rosenblueth, David A.; Soliman, Sylvain 1 2016 Inferring reaction systems from ordinary differential equations. Zbl 1337.92089 Fages, François; Gay, Steven; Soliman, Sylvain 9 2015 On the subgraph epimorphism problem. Zbl 1300.05179 Gay, Steven; Fages, François; Martinez, Thierry; Soliman, Sylvain; Solnon, Christine 4 2014 Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Zbl 1216.68164 Rizk, Aurélien; Batt, Grégory; Fages, François; Soliman, Sylvain 10 2011 Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans. Zbl 1402.92303 Sriram, K.; Soliman, Sylvain; Fages, François 5 2009 From rules to constraint programs with the Rules2CP modelling language. Zbl 1248.68453 Fages, François; Martin, Julien 1 2009 Abstract interpretation and types for systems biology. Zbl 1155.68049 Fages, François; Soliman, Sylvain 19 2008 On temporal logic constraint solving for analyzing numerical data time series. Zbl 1160.68545 Fages, François; Rizk, Aurélien 6 2008 From reaction models to influence graphs and back: a theorem. Zbl 1375.92021 Fages, François; Soliman, Sylvain 4 2008 Model revision from temporal logic properties in computational systems biology. Zbl 1137.68534 Fages, François; Soliman, Sylvain 3 2008 Closures and modules within linear logic concurrent constraint programming. Zbl 1135.68367 Haemmerlé, Rémy; Fages, François; Soliman, Sylvain 4 2007 Modules for Prolog revisited. Zbl 1131.68378 Haemmerlé, Rémy; Fages, François 4 2006 Temporal logic constraints in the biochemical abstract machine BIOCHAM. Zbl 1156.68377 Fages, François 2 2006 A constraint programming approach to cutset problems. Zbl 1086.90054 Fages, François; Lal, Akash 1 2006 The biochemical abstract machine BIOCHAM. Zbl 1088.68817 Chabrier-Rivier, Nathalie; Fages, François; Soliman, Sylvain 13 2005 CMBSlib: A library for comparing formalisms and models of biological systems. Zbl 1088.68827 Soliman, Sylvain; Fages, François 1 2005 Modeling and querying biomolecular interaction networks. Zbl 1071.68098 Chabrier-Rivier, Nathalie; Chiaverini, Marc; Danos, Vincent; Fages, François; Schächter, Vincent 27 2004 Symbolic model checking of biochemical networks. Zbl 1112.92312 Chabrier, Nathalie; Fages, François 17 2003 Subtyping constraints in quasi-lattices. Zbl 1205.68121 Coquery, Emmanuel; Fages, François 1 2003 Linear concurrent constraint programming: Operational and phase semantics. Zbl 1003.68065 Fages, François; Ruet, Paul; Soliman, Sylvain 29 2001 Typing constraint logic programs. Zbl 1066.68514 Fages, François; Coquery, Emmanuel 4 2001 JFPLC ’99. Huitièmes journées Francophones de programmation logique et programmation par constraintes. Lyon, France, 2-4 juin 1999. (JFPLC ’99. 8th Francophones meeting on logic programming and programming by constraints). Zbl 0919.00071 1 1999 Concurrent constraint programming and non-commutative logic. Zbl 0908.03033 Ruet, Paul; Fages, François 8 1998 Experiments in reactive constraint logic programming. Zbl 0920.68031 Fages, Francois; Fowler, Julian; Sola, Thierry 3 1998 Constructive negation by pruning. Zbl 0882.68034 Fages, François 7 1997 Combining explicit negation and negation by failure via Belnap’s logic. Zbl 0874.68045 Ruet, Paul; Fages, François 4 1997 A hierarchy of semantics for normal constraint logic programs. Zbl 1355.68034 Fages, François; Gori, Roberta 2 1996 Average-case analysis of unification algorithms. Zbl 0779.68043 Albert, Luc; Casas, Rafael; Fages, François 2 1993 A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. Zbl 0737.68014 Fages, François 11 1991 Average case analysis of unification algorithms. Zbl 0764.68056 Albert, Luc; Casas, Rafael; Fages, François; Torrecillas, A.; Zimmermann, Paul 1 1991 Average case complexity analysis of the RETE multi-pattern match algorithm. Zbl 0661.68090 Albert, Luc; Fages, François 2 1988 Associative-commutative unification. Zbl 0638.68103 Fages, François 21 1987 Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002 Fages, François; Huet, Gérard 34 1986 Associative-commutative unification. Zbl 0547.03012 Fages, François 33 1984 Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003 Fages, François; Huet, Gérard 15 1983 all cited Publications top 5 cited Publications all top 5 Cited by 423 Authors 23 Fages, François 14 Soliman, Sylvain 13 Olarte, Carlos 10 Baader, Franz 7 Pimentel, Elaine 6 Fernández, Maribel 6 Rueda, Camilo 6 Valencia, Frank D. 5 Ayala-Rincón, Mauricio 5 Niehren, Joachim 5 Schmidt-Schauß, Manfred 5 Sobrinho, Daniele Nantes 4 Boudet, Alexandre 4 Falaschi, Moreno 4 Guzmán, Michell 4 Hemery, Mathieu 4 Lathrop, James I. 4 Lhoussaine, Cédric 4 Milazzo, Paolo 4 Narendran, Paliath 4 Nigam, Vivek 4 Troina, Angelo 4 Wan, Li 4 Zhou, Qinghua 3 Abdulrab, Habib 3 Andrei, Oana 3 Barbuti, Roberto 3 Brim, Luboš 3 Calder, Muffy 3 de Carvalho-Segundo, Washington 3 Hermann, Miki 3 Kirchner, Hélène 3 Klinge, Titus H. 3 Kolaitis, Phokion G. 3 Levi, Francesca 3 Lutz, Jack H. 3 Monteiro, Pedro T. 3 Perchy, Salim 3 Piazza, Carla 3 Rizk, Aurélien 3 Ruet, Paul 3 Šafránek, David 3 Snyder, Wayne 3 Thieffry, Denis 3 Vaginay, Athénaïs 3 Versari, Cristian 2 Apt, Krzysztof Rafal 2 Baral, Chitta R. 2 Barnat, Jiří 2 Benhamou, Belaid 2 Bournez, Olivier 2 Bürckert, Hans Jürgen 2 Bychkov, Andrey 2 Černá, Ivana 2 Chaouiya, Claudine 2 Chiarugi, Davide 2 Collavizza, Hélène 2 Comet, Jean-Paul 2 Contejean, Evelyne 2 de Jong, Hidde 2 Dershowitz, Nachum 2 Donaldson, Robin A. 2 Drazan, Sven 2 Dumas, Estelle 2 Fisher, Jasmin 2 Fortenbacher, Albrecht 2 Gabbrielli, Maurizio 2 Gallier, Jean H. 2 Gibart, Laetitia 2 Gori, Roberta 2 Goubault-Larrecq, Jean 2 Greugny, Eléa Thibault 2 Hermith, Diana 2 Hitzler, Pascal 2 Horne, Ross 2 Hsiang, Jieh 2 John, Mathias 2 Jouannaud, Jean-Pierre 2 Kapur, Deepak 2 Khurshid, Sarfraz 2 Kirchner, Claude 2 Krämer, Boris 2 Kutsia, Temur 2 Latch, Dana May 2 Li, Jizi 2 Lifschitz, Vladimir 2 Maggiolo-Schettini, Andrea 2 Mateescu, Radu 2 McCreesh, Ciaran 2 Meseguer Guaita, José 2 Naldi, Aurélien 2 Nutt, Werner 2 Orejas, Fernando 2 Palamidessi, Catuscia 2 Pasarella, Edelmira 2 Pino, Elvira 2 Piterman, Nir 2 Pogudin, Gleb A. 2 Prosser, Patrick 2 Remy, Elisabeth ...and 323 more Authors all top 5 Cited in 47 Serials 49 Theoretical Computer Science 24 Journal of Symbolic Computation 10 Theory and Practice of Logic Programming 7 Information and Computation 7 Journal of Automated Reasoning 5 Constraints 5 Natural Computing 4 Artificial Intelligence 4 Journal of Theoretical Biology 3 Information Processing Letters 3 The Journal of Logic and Algebraic Programming 2 Acta Informatica 2 Information Sciences 2 The Journal of Symbolic Logic 2 Mathematical Structures in Computer Science 2 RAIRO. Informatique Théorique et Applications 2 Annals of Mathematics and Artificial Intelligence 2 Abstract and Applied Analysis 2 SIAM Journal on Applied Dynamical Systems 2 Logical Methods in Computer Science 1 Computer Methods in Applied Mechanics and Engineering 1 Journal of Mathematical Biology 1 Nonlinearity 1 Bulletin of Mathematical Biology 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Automatica 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Algebra 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Journal of Soviet Mathematics 1 Semigroup Forum 1 Studia Logica 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 Applicable Algebra in Engineering, Communication and Computing 1 Cybernetics and Systems Analysis 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Chaos 1 Fundamenta Informaticae 1 Nonlinear Analysis. Real World Applications 1 Journal of Applied Logic 1 Mathematical Biosciences and Engineering 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 26 Fields 212 Computer science (68-XX) 83 Mathematical logic and foundations (03-XX) 78 Biology and other natural sciences (92-XX) 13 Group theory and generalizations (20-XX) 12 General algebraic systems (08-XX) 9 Ordinary differential equations (34-XX) 8 Information and communication theory, circuits (94-XX) 6 Combinatorics (05-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 Probability theory and stochastic processes (60-XX) 5 Systems theory; control (93-XX) 4 Category theory; homological algebra (18-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Numerical analysis (65-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year