Folgen
François Fages
François Fages
Research Director, Inria, Saclay - Ile de France
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Consistency of Clark's Completion and Existence of Stable Models
F Fages
Methods of Logic in Computer Science 1 (1), 51-60, 1994
460*1994
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
L Calzone, F Fages, S Soliman
Bioinformatics 22 (14), 1805-1807, 2006
3292006
Modeling and querying biomolecular interaction networks
N Chabrier-Rivier, M Chiaverini, V Danos, F Fages, V Schächter
Theoretical Computer Science 325 (1), 25-44, 2004
2662004
Long-term model predictive control of gene expression at the population and single-cell levels
J Uhlendorf, A Miermont, T Delaveau, G Charvin, F Fages, S Bottani, ...
Proceedings of the National Academy of Sciences 109 (35), 14271-14276, 2012
2622012
Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM
F Fages, S Soliman, N Chabrier-Rivier
Journal of Biological Physics and Chemistry 4, 64-73, 2004
2162004
Symbolic model checking of biochemical networks
N Chabrier, F Fages
International Conference on Computational Methods in Systems Biology, 149-162, 2003
2072003
A general computational method for robustness analysis with applications to synthetic gene networks
A Rizk, G Batt, F Fages, S Soliman
Bioinformatics 25 (12), i169-i178, 2009
1502009
Machine learning biochemical networks from temporal logic properties
L Calzone, N Chabrier-Rivier, F Fages, S Soliman
Transactions on computational systems biology VI, 68-94, 2006
1502006
Associative-commutative unification
F Fages
7th International Conference on Automated Deduction: Napa, California, USA …, 1984
1501984
On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology
A Rizk, G Batt, F Fages, S Soliman
Computational Methods in Systems Biology: 6th International Conference CMSB …, 2008
1272008
The biochemical abstract machine BIOCHAM
N Chabrier-Rivier, F Fages, S Soliman
International Conference on Computational Methods in Systems Biology, 172-191, 2004
1142004
Linear concurrent constraint programming: Operational and phase semantics
F Fages, P Ruet, S Soliman
Information and Computation 165 (1), 14-41, 2001
1122001
A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics
F Fages
New Generation Computing 9, 425-443, 1991
1111991
Abstract interpretation and types for systems biology
F Fages, S Soliman
Theoretical Computer Science 403 (1), 52-70, 2008
1092008
Strong turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs
F Fages, G Le Guludec, O Bournez, A Pouly
Computational Methods in Systems Biology: 15th International Conference …, 2017
1062017
Complete sets of unifiers and matchers in equational theories
F Fages, G Huet
Theoretical computer science 43, 189-200, 1986
1061986
Competing G protein‐coupled receptor kinases balance G protein and β‐arrestin signaling
D Heitzler, G Durand, N Gallay, A Rizk, S Ahn, J Kim, JD Violin, L Dupuy, ...
Molecular systems biology 8 (1), 590, 2012
1002012
Formal cell biology in biocham
F Fages, S Soliman
International School on Formal Methods for the Design of Computer …, 2008
942008
Constructive negation by pruning
F Fages
The Journal of Logic Programming 32 (2), 85-118, 1997
941997
Associative-commutative unification
F Fages
Journal of Symbolic Computation 3 (3), 257-275, 1987
871987
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20