Edit Profile (opens in new tab) Fages, François Compute Distance To: Compute Author ID: fages.francois Published as: Fages, François; Fages, Francois; Fages, F. more...less Documents Indexed: 55 Publications since 1983 12 Contributions as Editor Co-Authors: 62 Co-Authors with 59 Joint Publications 998 Co-Co-Authors all top 5 Co-Authors 8 single-authored 21 Soliman, Sylvain 6 Rossi, Francesca 5 Coquery, Emmanuel 5 Martinez, Thierry 4 Hemery, Mathieu 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 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 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 Greugny, Eléa Thibault 1 Hnich, Brahim 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 Rosenblueth, David A. 1 Schachter, Vincent 1 Smaus, Jan-Georg 1 Sola, Thierry 1 Stamatas, Georgios N. 1 Szeredi, Péter 1 Torrecillas, A. 1 Váncza, József 1 Zimmermann, Paul all top 5 Serials 9 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 50 Computer science (68-XX) 25 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 40 Publications have been cited 263 times in 204 Documents Cited by ▼ Year ▼ Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002Fages, François; Huet, Gérard 28 1986 Linear concurrent constraint programming: Operational and phase semantics. Zbl 1003.68065Fages, François; Ruet, Paul; Soliman, Sylvain 25 2001 Modeling and querying biomolecular interaction networks. Zbl 1071.68098Chabrier-Rivier, Nathalie; Chiaverini, Marc; Danos, Vincent; Fages, François; Schächter, Vincent 21 2004 Associative-commutative unification. Zbl 0547.03012Fages, François 19 1984 Associative-commutative unification. Zbl 0638.68103Fages, François 18 1987 Symbolic model checking of biochemical networks. Zbl 1112.92312Chabrier, Nathalie; Fages, François 14 2003 Abstract interpretation and types for systems biology. Zbl 1155.68049Fages, François; Soliman, Sylvain 14 2008 The biochemical abstract machine BIOCHAM. Zbl 1088.68817Chabrier-Rivier, Nathalie; Fages, François; Soliman, Sylvain 12 2005 Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003Fages, François; Huet, Gérard 10 1983 A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. Zbl 0737.68014Fages, François 10 1991 Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. Zbl 1416.92070Fages, François; Le Guludec, Guillaume; Bournez, Olivier; Pouly, Amaury 9 2017 Constructive negation by pruning. Zbl 0882.68034Fages, François 7 1997 Concurrent constraint programming and non-commutative logic. Zbl 0908.03033Ruet, Paul; Fages, François 7 1998 Inferring reaction systems from ordinary differential equations. Zbl 1337.92089Fages, François; Gay, Steven; Soliman, Sylvain 6 2015 On temporal logic constraint solving for analyzing numerical data time series. Zbl 1160.68545Fages, François; Rizk, Aurélien 5 2008 Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Zbl 1216.68164Rizk, Aurélien; Batt, Grégory; Fages, François; Soliman, Sylvain 5 2011 From reaction models to influence graphs and back: a theorem. Zbl 1375.92021Fages, François; Soliman, Sylvain 4 2008 Combining explicit negation and negation by failure via Belnap’s logic. Zbl 0874.68045Ruet, Paul; Fages, François 4 1997 Closures and modules within linear logic concurrent constraint programming. Zbl 1135.68367Haemmerlé, Rémy; Fages, François; Soliman, Sylvain 4 2007 Typing constraint logic programs. Zbl 1066.68514Fages, François; Coquery, Emmanuel 4 2001 Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans. Zbl 1402.92303Sriram, K.; Soliman, Sylvain; Fages, François 4 2009 Graphical requirements for multistationarity in reaction networks and their verification in BioModels. Zbl 1406.92265Baudier, Adrien; Fages, François; Soliman, Sylvain 3 2018 Experiments in reactive constraint logic programming. Zbl 0920.68031Fages, Francois; Fowler, Julian; Sola, Thierry 3 1998 Modules for Prolog revisited. Zbl 1131.68378Haemmerlé, Rémy; Fages, François 3 2006 On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Zbl 1336.92031Nabli, Faten; Martinez, Thierry; Fages, François; Soliman, Sylvain 3 2016 Average-case analysis of unification algorithms. Zbl 0779.68043Albert, Luc; Casas, Rafael; Fages, François 2 1993 Temporal logic constraints in the biochemical abstract machine BIOCHAM. Zbl 1156.68377Fages, François 2 2006 Model revision from temporal logic properties in computational systems biology. Zbl 1137.68534Fages, François; Soliman, Sylvain 2 2008 A hierarchy of semantics for normal constraint logic programs. Zbl 1355.68034Fages, François; Gori, Roberta 2 1996 On the subgraph epimorphism problem. Zbl 1300.05179Gay, Steven; Fages, François; Martinez, Thierry; Soliman, Sylvain; Solnon, Christine 2 2014 On the complexity of quadratization for polynomial differential equations. Zbl 1506.92033Hemery, Mathieu; Fages, François; Soliman, Sylvain 2 2020 Average case complexity analysis of the RETE multi-pattern match algorithm. Zbl 0661.68090Albert, Luc; Fages, François 1 1988 A constraint programming approach to cutset problems. Zbl 1086.90054Fages, François; Lal, Akash 1 2006 From rules to constraint programs with the Rules2CP modelling language. Zbl 1248.68453Fages, François; Martin, Julien 1 2009 Subtyping constraints in quasi-lattices. Zbl 1205.68121Coquery, Emmanuel; Fages, François 1 2003 Influence systems vs reaction systems. Zbl 1382.92143Fages, François; Martinez, Thierry; Rosenblueth, David A.; Soliman, Sylvain 1 2016 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. Zbl 1211.92015De Maria, Elisabetta; Fages, François; Rizk, Aurélien; Soliman, Sylvain 1 2011 Average case analysis of unification algorithms. Zbl 0764.68056Albert, Luc; Casas, Rafael; Fages, François; Torrecillas, A.; Zimmermann, Paul 1 1991 CMBSlib: A library for comparing formalisms and models of biological systems. Zbl 1088.68827Soliman, Sylvain; Fages, François 1 2005 Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs. Zbl 1491.92052Hemery, Mathieu; Fages, François; Soliman, Sylvain 1 2021 Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs. Zbl 1491.92052Hemery, Mathieu; Fages, François; Soliman, Sylvain 1 2021 On the complexity of quadratization for polynomial differential equations. Zbl 1506.92033Hemery, Mathieu; Fages, François; Soliman, Sylvain 2 2020 Graphical requirements for multistationarity in reaction networks and their verification in BioModels. Zbl 1406.92265Baudier, Adrien; Fages, François; Soliman, Sylvain 3 2018 Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. Zbl 1416.92070Fages, François; Le Guludec, Guillaume; Bournez, Olivier; Pouly, Amaury 9 2017 On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Zbl 1336.92031Nabli, Faten; Martinez, Thierry; Fages, François; Soliman, Sylvain 3 2016 Influence systems vs reaction systems. Zbl 1382.92143Fages, François; Martinez, Thierry; Rosenblueth, David A.; Soliman, Sylvain 1 2016 Inferring reaction systems from ordinary differential equations. Zbl 1337.92089Fages, François; Gay, Steven; Soliman, Sylvain 6 2015 On the subgraph epimorphism problem. Zbl 1300.05179Gay, Steven; Fages, François; Martinez, Thierry; Soliman, Sylvain; Solnon, Christine 2 2014 Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Zbl 1216.68164Rizk, Aurélien; Batt, Grégory; Fages, François; Soliman, Sylvain 5 2011 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. Zbl 1211.92015De Maria, Elisabetta; Fages, François; Rizk, Aurélien; Soliman, Sylvain 1 2011 Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans. Zbl 1402.92303Sriram, K.; Soliman, Sylvain; Fages, François 4 2009 From rules to constraint programs with the Rules2CP modelling language. Zbl 1248.68453Fages, François; Martin, Julien 1 2009 Abstract interpretation and types for systems biology. Zbl 1155.68049Fages, François; Soliman, Sylvain 14 2008 On temporal logic constraint solving for analyzing numerical data time series. Zbl 1160.68545Fages, François; Rizk, Aurélien 5 2008 From reaction models to influence graphs and back: a theorem. Zbl 1375.92021Fages, François; Soliman, Sylvain 4 2008 Model revision from temporal logic properties in computational systems biology. Zbl 1137.68534Fages, François; Soliman, Sylvain 2 2008 Closures and modules within linear logic concurrent constraint programming. Zbl 1135.68367Haemmerlé, Rémy; Fages, François; Soliman, Sylvain 4 2007 Modules for Prolog revisited. Zbl 1131.68378Haemmerlé, Rémy; Fages, François 3 2006 Temporal logic constraints in the biochemical abstract machine BIOCHAM. Zbl 1156.68377Fages, François 2 2006 A constraint programming approach to cutset problems. Zbl 1086.90054Fages, François; Lal, Akash 1 2006 The biochemical abstract machine BIOCHAM. Zbl 1088.68817Chabrier-Rivier, Nathalie; Fages, François; Soliman, Sylvain 12 2005 CMBSlib: A library for comparing formalisms and models of biological systems. Zbl 1088.68827Soliman, Sylvain; Fages, François 1 2005 Modeling and querying biomolecular interaction networks. Zbl 1071.68098Chabrier-Rivier, Nathalie; Chiaverini, Marc; Danos, Vincent; Fages, François; Schächter, Vincent 21 2004 Symbolic model checking of biochemical networks. Zbl 1112.92312Chabrier, Nathalie; Fages, François 14 2003 Subtyping constraints in quasi-lattices. Zbl 1205.68121Coquery, Emmanuel; Fages, François 1 2003 Linear concurrent constraint programming: Operational and phase semantics. Zbl 1003.68065Fages, François; Ruet, Paul; Soliman, Sylvain 25 2001 Typing constraint logic programs. Zbl 1066.68514Fages, François; Coquery, Emmanuel 4 2001 Concurrent constraint programming and non-commutative logic. Zbl 0908.03033Ruet, Paul; Fages, François 7 1998 Experiments in reactive constraint logic programming. Zbl 0920.68031Fages, Francois; Fowler, Julian; Sola, Thierry 3 1998 Constructive negation by pruning. Zbl 0882.68034Fages, François 7 1997 Combining explicit negation and negation by failure via Belnap’s logic. Zbl 0874.68045Ruet, Paul; Fages, François 4 1997 A hierarchy of semantics for normal constraint logic programs. Zbl 1355.68034Fages, François; Gori, Roberta 2 1996 Average-case analysis of unification algorithms. Zbl 0779.68043Albert, 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.68014Fages, François 10 1991 Average case analysis of unification algorithms. Zbl 0764.68056Albert, 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.68090Albert, Luc; Fages, François 1 1988 Associative-commutative unification. Zbl 0638.68103Fages, François 18 1987 Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002Fages, François; Huet, Gérard 28 1986 Associative-commutative unification. Zbl 0547.03012Fages, François 19 1984 Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003Fages, François; Huet, Gérard 10 1983 all cited Publications top 5 cited Publications all top 5 Cited by 341 Authors 15 Fages, François 13 Olarte, Carlos 10 Soliman, Sylvain 7 Baader, Franz 7 Pimentel, Elaine 6 Rueda, Camilo 6 Valencia, Frank D. 5 Fernández, Maribel 4 Ayala-Rincón, Mauricio 4 Boudet, Alexandre 4 Falaschi, Moreno 4 Guzmán, Michell 4 Niehren, Joachim 4 Nigam, Vivek 4 Schmidt-Schauß, Manfred 4 Sobrinho, Daniele Nantes 3 Andrei, Oana 3 Brim, Luboš 3 Calder, Muffy 3 de Carvalho-Segundo, Washington 3 Hermann, Miki 3 Kirchner, Hélène 3 Kolaitis, Phokion G. 3 Levi, Francesca 3 Lhoussaine, Cédric 3 Monteiro, Pedro T. 3 Perchy, Salim 3 Rizk, Aurélien 3 Ruet, Paul 3 Šafránek, David 3 Thieffry, Denis 3 Troina, Angelo 3 Versari, Cristian 3 Wan, Li 3 Zhou, Qinghua 2 Abdulrab, Habib 2 Apt, Krzysztof Rafal 2 Baral, Chitta R. 2 Barbuti, Roberto 2 Barnat, Jiří 2 Bournez, Olivier 2 Bürckert, Hans Jürgen 2 Černá, Ivana 2 Chaouiya, Claudine 2 Chiarugi, Davide 2 Contejean, Evelyne 2 de Jong, Hidde 2 Dershowitz, Nachum 2 Donaldson, Robin A. 2 Dražan, S. 2 Dumas, Estelle 2 Fortenbacher, Albrecht 2 Gabbrielli, Maurizio 2 Gallier, Jean H. 2 Gori, Roberta 2 Hemery, Mathieu 2 Hermith, Diana 2 Hitzler, Pascal 2 Horne, Ross 2 Hsiang, Jieh 2 John, Mathias 2 Jouannaud, Jean-Pierre 2 Kirchner, Claude 2 Klinge, Titus H. 2 Lathrop, James I. 2 Lifschitz, Vladimir 2 Mateescu, Radu 2 Milazzo, Paolo 2 Naldi, Aurélien 2 Narendran, Paliath 2 Orejas, Fernando 2 Palamidessi, Catuscia 2 Pasarella, Edelmira 2 Piazza, Carla 2 Pino, Elvira 2 Remy, Elisabeth 2 Seda, Anthony Karel 2 Siekmann, Jörg H. 2 Smolka, Gert 2 Snyder, Wayne 2 Vaginay, Athénaïs 1 Acclavio, Matteo 1 Adi, Mohamed 1 Aït-Kaci, Hassan 1 Akhlaghpour, Hessameddin 1 Allart, Emilie 1 Aluf-Medina, Michelle 1 Amendola, Giovanni 1 Anderson, David Frederick 1 Andreychenko, Aleksandr 1 Antoniotti, Marco 1 Aranda, Jesús 1 Arias, Jaime 1 Artamonov, Vyacheslav Aleksandrovich 1 Asuncion, Vernon 1 Bachmair, Leo 1 Bagnara, Roberto 1 Banks, C. J. 1 Bates, Declan G. 1 Batt, Grégory ...and 241 more Authors all top 5 Cited in 42 Serials 41 Theoretical Computer Science 19 Journal of Symbolic Computation 9 Theory and Practice of Logic Programming 7 Journal of Automated Reasoning 6 Information and Computation 5 Constraints 4 Journal of Theoretical Biology 3 Artificial Intelligence 3 Information Processing Letters 2 Acta Informatica 2 Information Sciences 2 The Journal of Symbolic Logic 2 MSCS. 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 The Journal of Logic and Algebraic Programming 2 Logical Methods in Computer Science 1 Journal of Mathematical Biology 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 Soviet Mathematics 1 Semigroup Forum 1 Studia Logica 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 International Journal of Adaptive Control and Signal Processing 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 SIAM Journal on Applied Dynamical Systems 1 Journal of Applied Logic 1 Mathematical Biosciences and Engineering 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 27 Fields 167 Computer science (68-XX) 68 Mathematical logic and foundations (03-XX) 58 Biology and other natural sciences (92-XX) 10 General algebraic systems (08-XX) 9 Group theory and generalizations (20-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 Combinatorics (05-XX) 5 Ordinary differential equations (34-XX) 5 Information and communication theory, circuits (94-XX) 4 Probability theory and stochastic processes (60-XX) 3 Category theory; homological algebra (18-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Numerical analysis (65-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Special functions (33-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