François Fages
INRIA, France
http://contraintes.inria.fr/~fages/
https://scholar.google.com/citations?user=SAkc_mEAAAAJ
https://mathgenealogy.org/id.php?id=137163
https://en.wikipedia.org/wiki/Fran%C3%A7ois_Fages
https://orcid.org/0000-0001-5650-8266
https://www.wikidata.org/entity/Q27863085
https://mathscinet.ams.org/mathscinet/MRAuthorID/210882
https://id.loc.gov/authorities/names/nb2005014430
https://d-nb.info/gnd/1059103737
Eléa Thibault Greugny
François Fages
Ovidiu Radulescu
Peter Szmolyan
Georgios N. Stamatas
A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics.
114294
2024
February
983
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2023.114294
db/journals/tcs/tcs983.html#GreugnyFRSS24
François Fages
A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics.
2024
abs/2402.17286
CoRR
https://doi.org/10.48550/arXiv.2402.17286
db/journals/corr/corr2402.html#abs-2402-17286
Mathieu Hemery
François Fages
On Estimating Derivatives of Input Signals in Biochemistry.
78-96
2023
CMSB
https://doi.org/10.1007/978-3-031-42697-1_6
conf/cmsb/2023
db/conf/cmsb/cmsb2023.html#HemeryF23
Marine Collery
Philippe Bonnard
François Fages
Remy Kusters
Neural-based classification rule learning for sequential data.
2023
ICLR
https://openreview.net/pdf?id=7tJyBmu9iCj
conf/iclr/2023
db/conf/iclr/iclr2023.html#ColleryBFK23
Marine Collery
Philippe Bonnard
François Fages
Remy Kusters
Neural-based classification rule learning for sequential data.
2023
abs/2302.11286
CoRR
https://doi.org/10.48550/arXiv.2302.11286
db/journals/corr/corr2302.html#abs-2302-11286
Eléa Thibault Greugny
François Fages
Ovidiu Radulescu
Peter Szmolyan
Georgios N. Stamatas
A Skin Microbiome Model with AMP interactions and Analysis of Quasi-Stability vs Stability in Population Dynamics.
2023
abs/2310.15201
CoRR
https://doi.org/10.48550/arXiv.2310.15201
db/journals/corr/corr2310.html#abs-2310-15201
Jeremy Grignard
Véronique Lamamy
Eva Vermersch
Philippe Delagrange
Jean-Philippe Stephan
Thierry Dorval
François Fages
Mathematical modeling of the microtubule detyrosination/tyrosination cycle for cell-based drug screening design.
2022
18
PLoS Comput. Biol.
6
https://doi.org/10.1371/journal.pcbi.1010236
https://www.wikidata.org/entity/Q113308450
db/journals/ploscb/ploscb18.html#GrignardLVDSDF22
Mathieu Hemery
François Fages
Algebraic Biochemistry: A Framework for Analog Online Computation in Cells.
3-20
2022
CMSB
https://doi.org/10.1007/978-3-031-15034-0_1
conf/cmsb/2022
db/conf/cmsb/cmsb2022.html#HemeryF22
Eléa Thibault Greugny
Georgios N. Stamatas
François Fages
Stability Versus Meta-stability in a Skin Microbiome Model.
179-197
2022
CMSB
https://doi.org/10.1007/978-3-031-15034-0_9
conf/cmsb/2022
db/conf/cmsb/cmsb2022.html#GreugnySF22
Julien Martinelli
Sandrine Dulong
Xiao-Mei Li
Michèle Teboul
Sylvain Soliman
Francis Lévi
François Fages
Annabelle Ballesta
Model learning to identify systemic regulators of the peripheral circadian clock.
401-409
2021
37
Bioinform.
Supplement
https://doi.org/10.1093/bioinformatics/btab297
db/journals/bioinformatics/bioinformatics37.html#MartinelliDLTSL21
Mathieu Hemery
François Fages
Sylvain Soliman
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs.
74-90
2021
CMSB
https://doi.org/10.1007/978-3-030-85633-5_5
conf/cmsb/2021
db/conf/cmsb/cmsb2021.html#HemeryFS21
Elisabeth Degrand
François Fages
Sylvain Soliman
Graphical Conditions for Rate Independence in Chemical Reaction Networks.
61-78
2020
CMSB
https://doi.org/10.1007/978-3-030-60327-4_4
conf/cmsb/2020
db/conf/cmsb/cmsb2020.html#DegrandFS20
Mathieu Hemery
François Fages
Sylvain Soliman
On the Complexity of Quadratization for Polynomial Differential Equations.
120-140
2020
CMSB
https://doi.org/10.1007/978-3-030-60327-4_7
conf/cmsb/2020
db/conf/cmsb/cmsb2020.html#HemeryFS20
Mathieu Hemery
François Fages
Sylvain Soliman
On the Complexity of Quadratization for Polynomial Differential Equations.
2020
abs/2007.08910
CoRR
https://arxiv.org/abs/2007.08910
db/journals/corr/corr2007.html#abs-2007-08910
Elisabeth Degrand
François Fages
Sylvain Soliman
Graphical Conditions for Rate Independence in Chemical Reaction Networks.
2020
abs/2007.15642
CoRR
https://arxiv.org/abs/2007.15642
db/journals/corr/corr2007.html#abs-2007-15642
Wei-Chih Huang
Jie-Hong Roland Jiang
François Fages
Franck Molina
Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity.
1-4
2019
BioCAS
https://doi.org/10.1109/BIOCAS.2019.8919176
conf/biocas/2019
db/conf/biocas/biocas2019.html#HuangJFM19
Elisabeth Degrand
Mathieu Hemery
François Fages
On Chemical Reaction Network Design by a Nested Evolution Algorithm.
78-95
2019
CMSB
https://doi.org/10.1007/978-3-030-31304-3_5
conf/cmsb/2019
db/conf/cmsb/cmsb2019.html#DegrandHF19
Julien Martinelli
Jeremy Grignard
Sylvain Soliman
François Fages
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics.
352-355
2019
CMSB
https://doi.org/10.1007/978-3-030-31304-3_25
conf/cmsb/2019
db/conf/cmsb/cmsb2019.html#MartinelliGSF19
François Fages
Katsumi Inoue
Heinz Koeppl
Chris Myers
Yoshihiro Shimizu
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157).
2019
2019
NII Shonan Meet. Rep.
https://shonan.nii.ac.jp/seminars/157/
db/journals/shonan-reports/shonan-reports2019.html#FagesIKMS19
François Boulier
François Fages
Ovidiu Radulescu
Satya Swarup Samal
Andreas Schuppert
Werner M. Seiler
Thomas Sturm 0001
Sebastian Walcher
Andreas Weber 0004
The SYMBIONT project: symbolic methods for biological networks.
67-70
2018
52
ACM Commun. Comput. Algebra
3
https://doi.org/10.1145/3313880.3313885
db/journals/cca/cca52.html#BoulierFRSSSSWW18
François Fages
Thierry Martinez
David A. Rosenblueth
Sylvain Soliman
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors.
1138-1151
2018
15
IEEE ACM Trans. Comput. Biol. Bioinform.
4
https://doi.org/10.1109/TCBB.2018.2805686
https://doi.ieeecomputersociety.org/10.1109/TCBB.2018.2805686
https://dl.acm.org/doi/10.1109/TCBB.2018.2805686
https://www.wikidata.org/entity/Q89560713
db/journals/tcbb/tcbb15.html#FagesMRS18
François Fages
Sylvain Soliman
On Robustness Computation and Optimization in BIOCHAM-4.
292-299
2018
CMSB
https://doi.org/10.1007/978-3-319-99429-1_18
conf/cmsb/2018
db/conf/cmsb/cmsb2018.html#FagesS18
Adrien Baudier
François Fages
Sylvain Soliman
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels.
2018
abs/1809.08891
CoRR
http://arxiv.org/abs/1809.08891
db/journals/corr/corr1809.html#abs-1809-08891
Chun-Ning Lai
Jie-Hong R. Jiang
François Fages
Recombinase-based genetic circuit optimization.
1-4
2017
BioCAS
https://doi.org/10.1109/BIOCAS.2017.8325220
conf/biocas/2017
db/conf/biocas/biocas2017.html#LaiJF17
Arthur Carcano
François Fages
Sylvain Soliman
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data.
74-90
2017
CMSB
https://doi.org/10.1007/978-3-319-67471-1_5
conf/cmsb/2017
db/conf/cmsb/cmsb2017.html#CarcanoFS17
François Fages
Guillaume Le Guludec
Olivier Bournez
Amaury Pouly
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs.
108-127
2017
CMSB
https://doi.org/10.1007/978-3-319-67471-1_7
conf/cmsb/2017
db/conf/cmsb/cmsb2017.html#FagesGBP17
Pauline Traynard
Adrien Fauré
François Fages
Denis Thieffry
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.
772-780
2016
32
Bioinform.
17
https://doi.org/10.1093/bioinformatics/btw457
https://www.wikidata.org/entity/Q39429278
db/journals/bioinformatics/bioinformatics32.html#TraynardFFT16
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.
59-69
2016
149
Biosyst.
https://doi.org/10.1016/j.biosystems.2016.07.003
https://www.wikidata.org/entity/Q38839169
db/journals/biosystems/biosystems149.html#TraynardFSDF16
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.
251-276
2016
21
Constraints An Int. J.
2
https://doi.org/10.1007/s10601-015-9190-1
db/journals/constraints/constraints21.html#NabliMFS16
François Fages
Thierry Martinez
David A. Rosenblueth
Sylvain Soliman
Influence Systems vs Reaction Systems.
98-115
2016
CMSB
https://doi.org/10.1007/978-3-319-45177-0_7
conf/cmsb/2016
db/conf/cmsb/cmsb2016.html#FagesMRS16
Thierry Martinez
François Fages
Abder Aggoun
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems.
262-278
2016
CPAIOR
https://doi.org/10.1007/978-3-319-33954-2_19
conf/cpaior/2016
db/conf/cpaior/cpaior2016.html#MartinezFA16
Abderrahmane Aggoun
Ahmed Rhiat
François Fages
Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies.
1-4
2016
GOL
https://doi.org/10.1109/GOL.2016.7731693
conf/gol/2016
db/conf/gol/gol2016.html#AggounRF16
Abderrahmane Aggoun
Nicolas Beldiceanu
Gilles Chabert
François Fages
Packing with Complex Shapes
2016
2016
ERCIM News
105
http://ercim-news.ercim.eu/en105/special/packing-with-complex-shapes
db/journals/ercim/ercim2016.html#AggounBCF16
François Fages
Steven Gay
Sylvain Soliman
Inferring reaction systems from ordinary differential equations.
64-78
2015
599
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2014.07.032
db/journals/tcs/tcs599.html#FagesGS15
Hui-Ju Katherine Chiang
François Fages
Jie-Hong Roland Jiang
Sylvain Soliman
Hybrid Simulations of Heterogeneous Biochemical Models in SBML.
14:1-14:22
2015
25
ACM Trans. Model. Comput. Simul.
2
https://doi.org/10.1145/2742545
db/journals/tomacs/tomacs25.html#ChiangFJS15
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.
208-221
2015
CMSB
https://doi.org/10.1007/978-3-319-23401-4_18
conf/cmsb/2015
db/conf/cmsb/cmsb2015.html#TraynardFS15
Hui-Ju Katherine Chiang
Jie-Hong R. Jiang
François Fages
Reconfigurable neuromorphic computation in biochemical systems.
937-940
2015
EMBC
https://doi.org/10.1109/EMBC.2015.7318517
https://www.wikidata.org/entity/Q45952522
conf/embc/2015
db/conf/embc/embc2015.html#ChiangJF15
Thierry Martinez
François Fages
Sylvain Soliman
Search by constraint propagation.
173-183
2015
PPDP
https://doi.org/10.1145/2790449.2790527
conf/ppdp/2015
db/conf/ppdp/ppdp2015.html#MartinezFS15
Sylvain Soliman
François Fages
Ovidiu Radulescu
A constraint solving approach to model reduction by tropical equilibration.
24
2014
9
Algorithms Mol. Biol.
https://doi.org/10.1186/s13015-014-0024-2
https://www.wikidata.org/entity/Q39476923
db/journals/almob/almob9.html#SolimanFR14
Steven Gay
François Fages
Thierry Martinez
Sylvain Soliman
Christine Solnon
On the subgraph epimorphism problem.
214-228
2014
162
Discret. Appl. Math.
https://doi.org/10.1016/j.dam.2013.08.008
db/journals/dam/dam162.html#GayFMSS14
Hui-Ju Katherine Chiang
Jie-Hong R. Jiang
François Fages
Building reconfigurable circuitry in a biochemical world.
560-563
2014
BioCAS
https://doi.org/10.1109/BioCAS.2014.6981787
conf/biocas/2014
db/conf/biocas/biocas2014.html#ChiangJF14
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.
114-128
2014
CMSB
https://doi.org/10.1007/978-3-319-12982-2_9
conf/cmsb/2014
db/conf/cmsb/cmsb2014.html#TraynardFS14
François Fages
Cells as Machines: Towards Deciphering Biochemical Programs in the Cell.
50-67
2014
ICDCIT
https://doi.org/10.1007/978-3-319-04483-5_6
conf/icdcit/2014
db/conf/icdcit/icdcit2014.html#Fages14
François Fages
Carla Piazza
Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings
2014
Springer
Lecture Notes in Computer Science
8738
https://doi.org/10.1007/978-3-319-10398-3
978-3-319-10397-6
FMMB
db/conf/fmmb/fmmb2014.html
François Fages
Simon de Givry
Christine Solnon
Preface.
89-90
2013
47
RAIRO Oper. Res.
2
https://doi.org/10.1051/ro/2013029
db/journals/rairo/rairo47.html#FagesGS13
François Fages
Sylvain Soliman
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology.
308-309
2013
10
IEEE ACM Trans. Comput. Biol. Bioinform.
2
https://doi.org/10.1109/TCBB.2013.94
https://doi.ieeecomputersociety.org/10.1109/TCBB.2013.94
https://dl.acm.org/doi/10.1109/TCBB.2013.94
https://www.wikidata.org/entity/Q51158785
db/journals/tcbb/tcbb10.html#FagesS13
Hui-Ju Katherine Chiang
François Fages
Jie-Hong R. Jiang
Sylvain Soliman
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models.
192-205
2013
CMSB
https://doi.org/10.1007/978-3-642-40708-6_15
conf/cmsb/2013
db/conf/cmsb/cmsb2013.html#ChiangFJS13
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
http://arxiv.org/abs/1304.2948
2013
CoRR
abs/1304.2948
db/journals/corr/corr1304.html#abs-1304-2948
François Fages
Sylvain Soliman
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology.
1314-1315
2012
9
IEEE ACM Trans. Comput. Biol. Bioinform.
5
https://doi.org/10.1109/TCBB.2012.97
https://doi.ieeecomputersociety.org/10.1109/TCBB.2012.97
https://dl.acm.org/doi/10.1109/TCBB.2012.97
https://www.wikidata.org/entity/Q51303988
db/journals/tcbb/tcbb9.html#FagesS12
François Fages
Steven Gay
Sylvain Soliman
Inferring Reaction Models from ODEs.
370-373
2012
CMSB
https://doi.org/10.1007/978-3-642-33636-2_23
conf/cmsb/2012
db/conf/cmsb/cmsb2012.html#FagesGS12
Faten Nabli
François Fages
Thierry Martinez
Sylvain Soliman
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets.
798-814
2012
CP
https://doi.org/10.1007/978-3-642-33558-7_57
conf/cp/2012
db/conf/cp/cp2012.html#NabliFMS12
Anthony José da Cunha Carneiro Lins
Fernando Buarque de Lima Neto
François Fages
Carmelo J. A. Bastos Filho
A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems.
416-422
2012
IDEAL
https://doi.org/10.1007/978-3-642-32639-4_51
https://www.wikidata.org/entity/Q58683063
conf/ideal/2012
db/conf/ideal/ideal2012.html#LinsNFF12
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.
2108-2127
2011
412
Theor. Comput. Sci.
21
https://doi.org/10.1016/j.tcs.2010.10.036
db/journals/tcs/tcs412.html#MariaFRS11
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.
2827-2839
2011
412
Theor. Comput. Sci.
26
https://doi.org/10.1016/j.tcs.2010.05.008
db/journals/tcs/tcs412.html#RizkBFS11
Jannis Uhlendorf
Samuele Bottani
François Fages
Pascal Hersen
Grégory Batt
Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade.
338-349
2011
Pacific Symposium on Biocomputing
http://psb.stanford.edu/psb-online/proceedings/psb11/uhlendorf.pdf
conf/psb/2011
db/conf/psb/psb2011.html#UhlendorfBFHB11
François Fages
Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Paris, France, September 21-23, 2011. Proceedings
2011
978-1-4503-0817-5
CMSB
ACM
db/conf/cmsb/cmsb2011.html
Steven Gay
Sylvain Soliman
François Fages
A graphical method for reducing and relating models in systems biology.
2010
26
Bioinform.
18
https://doi.org/10.1093/bioinformatics/btq388
https://www.wikidata.org/entity/Q34110409
db/journals/bioinformatics/bioinformatics26.html#GaySF10
François Fages
A Logical Paradigm for Systems Biology (Invited Talk).
2-3
2010
ICLP (Technical Communications)
https://doi.org/10.4230/LIPIcs.ICLP.2010.2
conf/iclp/2010
db/conf/iclp/iclp2010.html#Fages10
Abder Aggoun
Nicolas Beldiceanu
Mats Carlsson
François Fages
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems.
2010
2010
ERCIM News
81
http://ercim-news.ercim.eu/en81/special/modelling-and-constraint-programming-for-solving-industrial-packing-problems
db/journals/ercim/ercim2010.html#AggounBCF10
François Fages
Grégory Batt
Elisabetta De Maria
Dragana Jovanovska
Aurélien Rizk
Sylvain Soliman
Computational Systems Biology in BIOCHAM.
36
2010
2010
ERCIM News
82
http://ercim-news.ercim.eu/en82/special/computational-systems-biology-in-biocham
db/journals/ercim/ercim2010.html#FagesBMJRS10
Aurélien Rizk
Grégory Batt
François Fages
Sylvain Soliman
A general computational method for robustness analysis with applications to synthetic gene networks.
2009
25
Bioinform.
12
https://doi.org/10.1093/bioinformatics/btp200
https://www.wikidata.org/entity/Q42741749
db/journals/bioinformatics/bioinformatics25.html#RizkBFS09
Elisabetta De Maria
François Fages
Sylvain Soliman
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.
142-157
2009
CMSB
https://doi.org/10.1007/978-3-642-03845-7_10
conf/cmsb/2009
db/conf/cmsb/cmsb2009.html#MariaFS09
François Fages
Aurélien Rizk
From Model-Checking to Temporal Logic Constraint Solving.
319-334
2009
CP
https://doi.org/10.1007/978-3-642-04244-7_26
conf/cp/2009
db/conf/cp/cp2009.html#FagesR09
François Fages
Julien Martin
Modelling Search Strategies in Rules2CP.
321-322
2009
CPAIOR
https://doi.org/10.1007/978-3-642-01929-6_28
conf/cpaior/2009
db/conf/cpaior/cpaior2009.html#FagesM09
Julien Martin
Thierry Martinez
François Fages
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming.
38-58
2009
CSCLP
https://doi.org/10.1007/978-3-642-19486-3_3
conf/csclp/2009
db/conf/csclp/csclp2009.html#MartinMF09
Angelo Oddi
François Fages
Francesca Rossi 0001
Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
5655
2009
https://doi.org/10.1007/978-3-642-03251-6
978-3-642-03250-9
CSCLP
Lecture Notes in Computer Science
Springer
db/conf/csclp/csclp2008.html
François Fages
Sylvain Soliman
Abstract interpretation and types for systems biology.
52-70
2008
403
Theor. Comput. Sci.
1
https://doi.org/10.1016/j.tcs.2008.04.024
db/journals/tcs/tcs403.html#FagesS08
François Fages
Aurélien Rizk
On temporal logic constraint solving for analyzing numerical data time series.
55-65
2008
408
Theor. Comput. Sci.
1
https://doi.org/10.1016/j.tcs.2008.07.004
db/journals/tcs/tcs408.html#FagesR08
Aurélien Rizk
Grégory Batt
François Fages
Sylvain Soliman
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
251-268
2008
CMSB
https://doi.org/10.1007/978-3-540-88562-7_19
conf/cmsb/2008
db/conf/cmsb/cmsb2008.html#RizkBFS08
François Fages
Julien Martin
From Rules to Constraint Programs with the Rules2CP Modelling Language.
66-83
2008
CSCLP
https://doi.org/10.1007/978-3-642-03251-6_5
conf/csclp/2008
db/conf/csclp/csclp2008.html#FagesM08
François Fages
Sylvain Soliman
From Reaction Models to Influence Graphs and Back: A Theorem.
90-102
2008
FMSB
https://doi.org/10.1007/978-3-540-68413-8_7
conf/fmsb/2008
db/conf/fmsb/fmsb2008.html#FagesS08
François Fages
Sylvain Soliman
Formal Cell Biology in Biocham.
54-80
2008
SFM
https://doi.org/10.1007/978-3-540-68894-5_3
conf/sfm/2008
db/conf/sfm/sfm2008.html#FagesS08
François Fages
Sylvain Soliman
Model Revision from Temporal Logic Properties in Computational Systems Biology.
287-304
2008
Probabilistic Inductive Logic Programming
https://doi.org/10.1007/978-3-540-78652-8_11
conf/ilp/2008p
db/conf/ilp/lncs4911.html#FagesS08
François Fages
Francesca Rossi 0001
Sylvain Soliman
Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers
5129
2008
978-3-540-89811-5
CSCLP
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/978-3-540-89812-2
db/conf/csclp/csclp2007.html
Laurence Calzone
Nathalie Chabrier-Rivier
François Fages
L. Fosse
Sylvain Soliman
Langages formels dans la machine abstraite biochimique BIOCHAM.
47-72
2007
26
Tech. Sci. Informatiques
1-2
https://doi.org/10.3166/tsi.26.47-72
https://www.wikidata.org/entity/Q61034498
db/journals/tsi/tsi26.html#CalzoneCFFS07
François Fages
Aurélien Rizk
On the Analysis of Numerical Data Time Series in Temporal Logic.
48-63
2007
conf/cmsb/2007
CMSB
https://doi.org/10.1007/978-3-540-75140-3_4
db/conf/cmsb/cmsb2007.html#FagesR07
Rémy Haemmerlé
François Fages
Sylvain Soliman
Closures and Modules Within Linear Logic Concurrent Constraint Programming.
544-556
2007
conf/fsttcs/2007
FSTTCS
https://doi.org/10.1007/978-3-540-77050-3_45
db/conf/fsttcs/fsttcs2007.html#HaemmerleFS07
Rémy Haemmerlé
François Fages
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.
214-228
2007
conf/rta/2007
RTA
https://doi.org/10.1007/978-3-540-73449-9_17
db/conf/rta/rta2007.html#HaemmerleF07
Francisco Azevedo
Pedro Barahona
François Fages
Francesca Rossi 0001
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
CSCLP
Lecture Notes in Computer Science
4651
Springer
2007
978-3-540-73816-9
https://doi.org/10.1007/978-3-540-73817-6
db/conf/csclp/csclp2006.html
Stefano Spaccapietra
Paolo Atzeni
François Fages
Mohand-Said Hacid
Michael Kifer
John Mylopoulos
Barbara Pernici
Pavel Shvaiko
Juan Trujillo 0001
Ilya Zaihrayeu
Journal on Data Semantics VIII
Lecture Notes in Computer Science
4380
Springer
2007
978-3-540-70663-2
Journal on Data Semantics VIII
https://doi.org/10.1007/978-3-540-70664-9
db/journals/jods/jods8.html
Stefano Spaccapietra
Paolo Atzeni
François Fages
Mohand-Said Hacid
Michael Kifer
John Mylopoulos
Barbara Pernici
Pavel Shvaiko
Juan Trujillo 0001
Ilya Zaihrayeu
Journal on Data Semantics IX
Journal on Data Semantics IX
Lecture Notes in Computer Science
4601
Springer
2007
978-3-540-74982-0
https://doi.org/10.1007/978-3-540-74987-5
db/journals/jods/jods9.html
François Fages
Abder Aggoun
Net-WMS - A New Generation of Warehouse Management Systems Networked Services.
2007
2007
ERCIM News
68
http://ercim-news.ercim.eu/net-wms-a-new-generation-of-warehouse-management-systems-networked-services
db/journals/ercim/ercim2007.html#FagesA07
Jean Clairambault
François Fages
Sylvain Soliman
Patient-Tailored Cancer Therapeutics - The Tempo Project.
2007
2007
ERCIM News
69
http://ercim-news.ercim.eu/patient-tailored-cancer-therapeutics-the-tempo-project
db/journals/ercim/ercim2007.html#ClairambaultFS07
Laurence Calzone
François Fages
Sylvain Soliman
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
1805-1807
2006
22
Bioinform.
14
https://doi.org/10.1093/bioinformatics/btl172
https://www.wikidata.org/entity/Q44870332
db/journals/bioinformatics/bioinformatics22.html#CalzoneFS06
François Fages
Akash Lal
A constraint programming approach to cutset problems.
2852-2865
2006
33
Comput. Oper. Res.
10
https://doi.org/10.1016/j.cor.2005.01.014
db/journals/cor/cor33.html#FagesL06
François Fages
Narendra Jussien
Christine Solnon
Editorial.
325-326
2006
40
RAIRO Oper. Res.
4
https://doi.org/10.1051/ro:2007002
db/journals/rairo/rairo40.html#FagesJS06
François Fages
From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools.
68-70
2006
journals/tcsb/2006-4
4
Trans. Comp. Sys. Biology
https://doi.org/10.1007/11732488_6
db/journals/tcsb/tcsb4.html#Fages06
Laurence Calzone
Nathalie Chabrier-Rivier
François Fages
Sylvain Soliman
Machine Learning Biochemical Networks from Temporal Logic Properties.
68-94
2006
journals/tcsb/2006-6
6
Trans. Comp. Sys. Biology
https://doi.org/10.1007/11880646_4
db/journals/tcsb/tcsb6.html#CalzoneCFS06
François Fages
Sylvain Soliman
Type Inference in Systems Biology.
48-62
2006
conf/cmsb/2006
CMSB
https://doi.org/10.1007/11885191_4
db/conf/cmsb/cmsb2006.html#FagesS06
Rémy Haemmerlé
François Fages
Modules for Prolog Revisited.
41-55
2006
conf/iclp/2006
ICLP
https://doi.org/10.1007/11799573_6
db/conf/iclp/iclp2006.html#HaemmerleF06
Brahim Hnich
Mats Carlsson
François Fages
Francesca Rossi 0001
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
3978
2006
3-540-34215-X
CSCLP
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/11754602
db/conf/csclp/csclp2005.html
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005
Principles and Practices of Semantic Web Reasoning
François Bry
François Fages
Massimo Marchiori
Hans Jürgen Ohlbach
05371
2006
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany
Dagstuhl Seminar Proceedings
db/conf/dagstuhl/P5371.html
http://drops.dagstuhl.de/portals/05371/
Grégory Batt
Jeremy T. Bradley
Roland Ewald
François Fages
Holger Hermanns
Jane Hillston
Peter Kemper
Alke Martens
Pieter J. Mosterman
Flemming Nielson
Oleg Sokolsky
Adelinde M. Uhrmacher
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
2006
Simulation and Verification of Dynamic Systems
http://drops.dagstuhl.de/opus/volltexte/2006/724
conf/dagstuhl/2006P6161
db/conf/dagstuhl/P6161.html#BattBEFHHKMMNSU06
Emmanuel Coquery
François Fages
A Type System for CHR.
100-117
2005
conf/csclp/2005
CSCLP
https://doi.org/10.1007/11754602_8
db/conf/csclp/csclp2005.html#CoqueryF05
Emmanuel Coquery
François Fages
A Type System for CHR.
402-403
2005
conf/iclp/2005
ICLP
https://doi.org/10.1007/11562931_30
db/conf/iclp/iclp2005.html#CoqueryF05
François Fages
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.
1-5
2005
conf/lopstr/2005
LOPSTR
https://doi.org/10.1007/11680093_1
db/conf/lopstr/lopstr2005.html#Fages05
Boi Faltings
Adrian Petcu
François Fages
Francesca Rossi 0001
Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
3419
2005
3-540-25176-6
CSCLP
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/b106890
db/conf/csclp/csclp2004.html
François Fages
Sylvain Soliman
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
3703
2005
3-540-28793-0
PPSWR
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/11552222
db/conf/ppswr/ppswr2005.html
François Bry
François Fages
Massimo Marchiori
Hans Jürgen Ohlbach
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.
2005
conf/dagstuhl/2005P5371
Principles and Practices of Semantic Web Reasoning
http://drops.dagstuhl.de/opus/volltexte/2006/481
db/conf/dagstuhl/P5371.html#BryFMO05
François Fages
Sylvain Soliman
Rémi Coolen
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.
241-262
2004
9
Constraints An Int. J.
4
https://doi.org/10.1023/B:CONS.0000049203.53383.c1
https://www.wikidata.org/entity/Q111096846
db/journals/constraints/constraints9.html#FagesSC04
Martin A. Riedmiller
François Fages
Malik Ghallab
Wolfgang Wahlster
Jörg H. Siekmann
Invited talks.
44-
2004
18
Künstliche Intell.
3
http://www.kuenstliche-intelligenz.de/archiv/2004_3/KI-Tagung-2004-web.pdf
db/journals/ki/ki18.html#RiedmillerFGWS04
Nathalie Chabrier-Rivier
Marc Chiaverini
Vincent Danos
François Fages
Vincent Schächter
Modeling and querying biomolecular interaction networks.
25-44
2004
325
Theor. Comput. Sci.
1
https://doi.org/10.1016/j.tcs.2004.03.063
db/journals/tcs/tcs325.html#Chabrier-RivierCDFS04
Nathalie Chabrier-Rivier
François Fages
Sylvain Soliman
The Biochemical Abstract Machine BIOCHAM.
172-191
https://doi.org/10.1007/978-3-540-25974-9_14
2004
conf/cmsb/2004
CMSB
db/conf/cmsb/cmsb2004.html#Chabrier-RivierFS04
Sylvain Soliman
François Fages
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.
231-235
https://doi.org/10.1007/978-3-540-25974-9_19
2004
conf/cmsb/2004
CMSB
db/conf/cmsb/cmsb2004.html#SolimanF04
François Fages
Automated Reasoning Tools for Molecular Biology.
1-2
https://doi.org/10.1007/978-3-540-30221-6_1
2004
conf/ki/2004
KI
db/conf/ki/ki2004.html#Fages04
Krzysztof R. Apt
François Fages
Francesca Rossi 0001
Péter Szeredi
József Váncza
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
CSCLP
Lecture Notes in Computer Science
3010
Springer
2004
3-540-21834-3
https://doi.org/10.1007/b96986
db/conf/csclp/csclp2003.html
François Fages
Emmanuel Coquery
Typing constraint logic programs
http://arxiv.org/abs/cs/0405100
2004
CoRR
cs.PL/0405100
db/journals/corr/corr0405.html#cs-PL-0405100
Nathalie Chabrier
François Fages
"Model Checking" symbolique de réseaux biochimiques.
155-168
2003
22
Tech. Sci. Informatiques
1
http://tsi.revuesonline.com/article.jsp?articleId=4652
db/journals/tsi/tsi22.html#ChabrierF03
Emmanuel Coquery
François Fages
Contraintes de sous-typage dans les quasi-treillis.
253-266
2003
22
Tech. Sci. Informatiques
1
http://tsi.revuesonline.com/article.jsp?articleId=4658
db/journals/tsi/tsi22.html#CoqueryF03
Nathalie Chabrier
François Fages
Symbolic Model Checking of Biochemical Networks.
149-162
2003
conf/cmsb/2003
CMSB
https://doi.org/10.1007/3-540-36481-1_13
db/conf/cmsb/cmsb2003.html#ChabrierF03
Emmanuel Coquery
François Fages
Subtyping Constraints in Quasi-lattices.
136-148
https://doi.org/10.1007/978-3-540-24597-1_12
2003
conf/fsttcs/2003
FSTTCS
db/conf/fsttcs/fsttcs2003.html#CoqueryF03
François Fages
Symbolic Model-Checking for Biochemical Systems.
102
https://doi.org/10.1007/978-3-540-24599-5_7
2003
conf/iclp/2003
ICLP
db/conf/iclp/iclp2003.html#Fages03
Nathalie Chabrier
François Fages
"Model Checking" symbolique de réseaux bio-chimiques.
155-168
2003
conf/jfplc/2003
JFPLC
db/conf/jfplc/jfplc2003.html#ChabrierF03
Emmanuel Coquery
François Fages
Contraintes de sous-typage dans les quasi-treillis.
253-266
2003
conf/jfplc/2003
JFPLC
db/conf/jfplc/jfplc2003.html#CoqueryF03
Emmanuel Coquery
François Fages
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.
480
2002
conf/iclp/2002
ICLP
https://doi.org/10.1007/3-540-45619-8_42
db/conf/iclp/iclp2002.html#CoqueryF02
Emmanuel Coquery
François Fages
Surcharge et sous-typage dans TCLP.
273-
2002
conf/jfplc/2002
JFPLC
db/conf/jfplc/jfplc2002.html#CoqueryF02
François Fages
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains.
47-62
2002
conf/lpe/2002
WLPE
https://arxiv.org/abs/cs/0207048
db/conf/lpe/wlpe2002.html#Fages02
François Fages
Paul Ruet
Sylvain Soliman
Linear Concurrent Constraint Programming: Operational and Phase Semantics.
14-41
2001
165
Inf. Comput.
1
db/journals/iandc/iandc165.html#FagesRS01
https://doi.org/10.1006/inco.2000.3002
François Fages
Emmanuel Coquery
Typing constraint logic programs.
751-777
2001
1
Theory Pract. Log. Program.
6
db/journals/tplp/tplp1.html#FagesC01
https://doi.org/10.1017/S1471068401001120
Emmanuel Coquery
François Fages
Programmes logiques avec contraintes typés.
223-238
2001
conf/jfplc/2001
JFPLC
db/conf/jfplc/jfplc2001.html#CoqueryF01
François Fages
CLP versus LS on Log-based Reconciliation Problems
https://arxiv.org/abs/cs/0109033
2001
CoRR
cs.PL/0109033
db/journals/corr/corr0109.html#cs-PL-0109033
Jan-Georg Smaus
François Fages
Pierre Deransart
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.
214-226
2000
conf/fsttcs/2000
FSTTCS
https://doi.org/10.1007/3-540-44450-5_17
db/conf/fsttcs/fsttcs2000.html#SmausFD00
François Fages
Concurrent constraint programming and linear logic (abstract).
44
2000
conf/ppdp/2000
PPDP
https://doi.org/10.1145/351268.351274
db/conf/ppdp/ppdp2000.html#Fages00
Jan-Georg Smaus
François Fages
Pierre Deransart
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
https://arxiv.org/abs/cs/0010029
2000
CoRR
cs.LO/0010029
db/journals/corr/corr0010.html#cs-LO-0010029
François Fages
JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France
Hermes
JFPLC
1999
db/conf/jfplc/jfplc1999.html
François Fages
Julian Fowler
Thierry Sola
Experiments in Reactive Constraint Logic Programming.
185-212
1998
37
J. Log. Program.
1-3
db/journals/jlp/jlp37.html#FagesFS98
https://doi.org/10.1016/S0743-1066(98)10008-0
François Fages
Massimo Paltrinieri
A Generic Type System for CLP(chi).
353-354
1998
conf/iclp/1998
IJCSLP
db/conf/iclp/iclp98.html#FagesP98
François Fages
Paul Ruet
Sylvain Soliman
Phase Semantics and Verification of Concurrent Constraint Programs.
141-152
1998
conf/lics/1998
LICS
db/conf/lics/lics98.html#FagesRS98
https://doi.org/10.1109/LICS.1998.705651
https://doi.ieeecomputersociety.org/10.1109/LICS.1998.705651
François Fages
Roberta Gori
Analysis of Normal Logic Programs.
82-98
https://doi.org/10.1007/3-540-49727-7_5
1998
conf/sas/1998
SAS
db/conf/sas/sas98.html#FagesG98
François Fages
Constructive Negation by Pruning.
85-118
1997
32
J. Log. Program.
2
db/journals/jlp/jlp32.html#Fages97
https://doi.org/10.1016/S0743-1066(96)00092-1
Paul Ruet
François Fages
Combining Explicit Negation and Negation by Failure Via Belnap's Logic.
61-75
1997
171
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs171.html#RuetF97
https://doi.org/10.1016/S0304-3975(96)00125-9
Paul Ruet
François Fages
Concurrent Constraint Programming and Non-commutative Logic.
406-423
1997
conf/csl/1997
CSL
db/conf/csl/csl97.html#RuetF97
https://doi.org/10.1007/BFb0028028
François Fages
Roberta Gori
A Hierarchy of Semantics for Normal Constraint Logic Programs.
77-91
1996
conf/alp/1996
ALP
db/conf/alp/alp96.html#FagesG96
https://doi.org/10.1007/3-540-61735-3_5
François Fages
From Constraint Minimization to Goal Optimization in CLP Languages.
537-538
1996
conf/cp/1996
CP
db/conf/cp/cp96.html#Fages96
https://doi.org/10.1007/3-540-61551-2_104
Jean Jourdan
François Fages
Didier Rozzonelli
Alain Demeure
Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Model-based Programming.
3:1-3:15
1995
CCP
conf/ccp2/1995
db/conf/ccp2/ccp1995.html#JourdanFRD95
François Fages
Julian Fowler
Thierry Sola
A Reactive Constraint Logic Programming Scheme.
149-163
1995
conf/iclp/1995
ICLP
db/conf/iclp/iclp95.html#FagesFS95
Julian Fowler
Thierry Sola
François Fages
Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes.
21-33
1995
conf/jfplc/1995
JFPLC
db/conf/jfplc/jfplc1995.html#FowlerSF95
François Fages
Consistency of Clark's completion and existence of stable models.
51-60
1994
1
Methods Log. Comput. Sci.
1
db/journals/mlcs/mlcs1.html#Fages94
François Fages
Julian Fowler
Thierry Sola
Handling Preferences in Constraint Logic Programming with Relational Optimization.
261-276
1994
conf/plilp/1994
PLILP
db/conf/plilp/plilp94.html#FagesFS94
https://doi.org/10.1007/3-540-58402-1_19
Jean Jourdan
François Fages
Didier Rozzonelli
Alain Demeure
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming.
678
1994
conf/slp/1994
ILPS
db/conf/slp/slp94.html#JourdanFRD94
François Fages
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages
68-89
Constraint Programming
journals/lncs/1994-910
1994
db/journals/lncs/lncs910.html#Fages94
https://doi.org/10.1007/3-540-59155-9_5
Luc Albert
Rafael Casas
François Fages
Average-Case Analysis of Unification Algorithms.
3-34
1993
113
Theor. Comput. Sci.
1
db/journals/tcs/tcs113.html#AlbertCF93
https://doi.org/10.1016/0304-3975(93)90208-B
François Fages
On the Semantics of Optimization Predicates in CLP Languages.
193-204
1993
conf/fsttcs/1993
FSTTCS
db/conf/fsttcs/fsttcs93.html#Fages93
https://doi.org/10.1007/3-540-57529-4_53
François Fages
On the Semantics of Optimization Predicates in CLP languages.
51-59
1993
conf/ppcp/1993
PPCP
db/conf/ppcp/ppcp93.html#Fages93
François Fages
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics.
425-444
1991
9
New Gener. Comput.
3/4
db/journals/ngc/ngc9.html#Fages91
https://doi.org/10.1007/BF03037172
Luc Albert
Rafael Casas
François Fages
A. Torrecillas
Paul Zimmermann
Average Case Analysis of Unification Algorithms.
196-213
1991
conf/stacs/1991
STACS
db/conf/stacs/stacs91.html#AlbertCFTZ91
https://doi.org/10.1007/BFb0020799
Philippe Codognet
François Fages
Thierry Sola
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
437-456
1991
conf/wclp/1991
WCLP
db/conf/wclp/wclp91.html#CodognetFS91
François Fages
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics.
441-458
1990
conf/iclp/1990
ICLP
db/conf/iclp/iclp90.html#Fages90
Luc Albert
François Fages
Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm.
18-37
1988
conf/icalp/1988
ICALP
db/conf/icalp/icalp88.html#AlbertF88
https://doi.org/10.1007/3-540-19488-6_104
François Fages
Associative-Commutative Unification.
257-275
1987
3
J. Symb. Comput.
3
db/journals/jsc/jsc3.html#Fages87
https://doi.org/10.1016/S0747-7171(87)80004-4
https://www.wikidata.org/entity/Q56092434
François Fages
Gérard P. Huet
Complete Sets of Unifiers and Matchers in Equational Theories.
189-200
1986
43
Theor. Comput. Sci.
db/journals/tcs/tcs43.html#FagesH86
https://doi.org/10.1016/0304-3975(86)90175-1
https://www.wikidata.org/entity/Q56092426
François Fages
Associative-Commutative Unification.
194-208
1984
conf/cade/1984
CADE
db/conf/cade/cade84.html#Fages84
https://doi.org/10.1007/978-0-387-34768-4_12
François Fages
Gérard P. Huet
Complete Sets of Unifiers and Matchers in Equational Theories.
205-220
1983
conf/caap/1983
CAAP
db/conf/caap/caap83.html#FagesH83
https://doi.org/10.1007/3-540-12727-5_12
François Fages
Note sur l'unification des termes de premier ordre finis et infinis.
1983
conf/jfplc/1983
SPLT
db/conf/jfplc/jfplc1983.html#Fages83
Abderrahmane AggounAbder Aggoun
Luc Albert
Krzysztof R. Apt
Paolo Atzeni
Francisco Azevedo
Annabelle Ballesta
Pedro Barahona
Grégory Batt
Adrien Baudier
Nicolas Beldiceanu
Philippe Bonnard
Samuele Bottani
François Boulier
Olivier Bournez
Jeremy T. Bradley
François Bry
Laurence Calzone
Arthur Carcano
Mats Carlsson
Rafael Casas
Gilles Chabert
Nathalie Chabrier
Nathalie Chabrier-Rivier
Hui-Ju Katherine Chiang
Marc Chiaverini
Jean Clairambault
Philippe Codognet
Marine Collery
Rémi Coolen
Emmanuel Coquery
Vincent Danos
Elisabeth Degrand
Philippe Delagrange
Franck Delaunay
Alain Demeure
Pierre Deransart
Thierry Dorval
Sandrine Dulong
Roland Ewald
Boi Faltings
Adrien Fauré
Céline Feillet
Carmelo J. A. Bastos Filho
L. Fosse
Julian Fowler
Steven Gay
Malik Ghallab
Simon de Givry
Roberta Gori
Eléa Thibault Greugny
Jeremy Grignard
Guillaume Le Guludec
Mohand-Said Hacid
Rémy Haemmerlé
Mathieu Hemery
Holger Hermanns
Pascal Hersen
Jane Hillston
Brahim Hnich
Wei-Chih Huang
Gérard P. Huet
Katsumi Inoue
Jie-Hong Roland JiangJie-Hong R. Jiang
Jean Jourdan
Dragana Jovanovska
Narendra Jussien
Peter Kemper
Michael Kifer
Heinz Koeppl
Remy Kusters
Chun-Ning Lai
Akash Lal
Véronique Lamamy
Francis Lévi
Xiao-Mei Li
Anthony José da Cunha Carneiro Lins
Massimo Marchiori
Elisabetta De Maria
Alke Martens
Julien Martin
Julien Martinelli
Thierry Martinez
Franck Molina
Pieter J. Mosterman
Chris Myers
John Mylopoulos
Faten Nabli
Fernando B. Lima NetoFernando Buarque de Lima Neto
Flemming Nielson
Angelo Oddi
Hans Jürgen Ohlbach
Massimo Paltrinieri
Barbara Pernici
Adrian Petcu
Carla Piazza
Amaury Pouly
Ovidiu Radulescu
Ahmed Rhiat
Martin A. Riedmiller
Aurélien Rizk
David A. Rosenblueth
Francesca Rossi 0001
Didier Rozzonelli
Paul Ruet
Satya Swarup Samal
Vincent Schächter
Andreas Schuppert
Werner M. Seiler
Yoshihiro Shimizu
Pavel Shvaiko
Jörg H. Siekmann
Jan-Georg Smaus
Oleg Sokolsky
Thierry Sola
Sylvain Soliman
Christine Solnon
Stefano Spaccapietra
Georgios N. Stamatas
Jean-Philippe Stephan
Thomas Sturm 0001
Péter Szeredi
Peter Szmolyan
Michèle Teboul
Denis Thieffry
A. Torrecillas
Pauline Traynard
Juan Trujillo 0001
Jannis Uhlendorf
Adelinde M. Uhrmacher
József Váncza
Eva Vermersch
Wolfgang Wahlster
Sebastian Walcher
Andreas Weber 0004
Ilya Zaihrayeu
Paul Zimmermann