BibTeX records: François Fages

download as .bib file

@article{DBLP:journals/tcs/GreugnyFRSS24,
  author       = {El{\'{e}}a Thibault Greugny and
                  Fran{\c{c}}ois Fages and
                  Ovidiu Radulescu and
                  Peter Szmolyan and
                  Georgios N. Stamatas},
  title        = {A skin microbiome model with {AMP} interactions and analysis of quasi-stability
                  vs stability in population dynamics},
  journal      = {Theor. Comput. Sci.},
  volume       = {983},
  pages        = {114294},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.tcs.2023.114294},
  doi          = {10.1016/J.TCS.2023.114294},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GreugnyFRSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-17286,
  author       = {Fran{\c{c}}ois Fages},
  title        = {A Constraint-based Mathematical Modeling Library in Prolog with Answer
                  Constraint Semantics},
  journal      = {CoRR},
  volume       = {abs/2402.17286},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.17286},
  doi          = {10.48550/ARXIV.2402.17286},
  eprinttype    = {arXiv},
  eprint       = {2402.17286},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-17286.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HemeryF23,
  author       = {Mathieu Hemery and
                  Fran{\c{c}}ois Fages},
  editor       = {Jun Pang and
                  Joachim Niehren},
  title        = {On Estimating Derivatives of Input Signals in Biochemistry},
  booktitle    = {Computational Methods in Systems Biology - 21st International Conference,
                  {CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14137},
  pages        = {78--96},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-42697-1\_6},
  doi          = {10.1007/978-3-031-42697-1\_6},
  timestamp    = {Fri, 15 Sep 2023 15:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/HemeryF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/ColleryBFK23,
  author       = {Marine Collery and
                  Philippe Bonnard and
                  Fran{\c{c}}ois Fages and
                  Remy Kusters},
  title        = {Neural-based classification rule learning for sequential data},
  booktitle    = {The Eleventh International Conference on Learning Representations,
                  {ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
  publisher    = {OpenReview.net},
  year         = {2023},
  url          = {https://openreview.net/pdf?id=7tJyBmu9iCj},
  timestamp    = {Fri, 30 Jun 2023 14:38:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/ColleryBFK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-11286,
  author       = {Marine Collery and
                  Philippe Bonnard and
                  Fran{\c{c}}ois Fages and
                  Remy Kusters},
  title        = {Neural-based classification rule learning for sequential data},
  journal      = {CoRR},
  volume       = {abs/2302.11286},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.11286},
  doi          = {10.48550/ARXIV.2302.11286},
  eprinttype    = {arXiv},
  eprint       = {2302.11286},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-11286.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15201,
  author       = {El{\'{e}}a Thibault Greugny and
                  Fran{\c{c}}ois Fages and
                  Ovidiu Radulescu and
                  Peter Szmolyan and
                  Georgios N. Stamatas},
  title        = {A Skin Microbiome Model with {AMP} interactions and Analysis of Quasi-Stability
                  vs Stability in Population Dynamics},
  journal      = {CoRR},
  volume       = {abs/2310.15201},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.15201},
  doi          = {10.48550/ARXIV.2310.15201},
  eprinttype    = {arXiv},
  eprint       = {2310.15201},
  timestamp    = {Tue, 31 Oct 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-15201.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/GrignardLVDSDF22,
  author       = {Jeremy Grignard and
                  V{\'{e}}ronique Lamamy and
                  Eva Vermersch and
                  Philippe Delagrange and
                  Jean{-}Philippe Stephan and
                  Thierry Dorval and
                  Fran{\c{c}}ois Fages},
  title        = {Mathematical modeling of the microtubule detyrosination/tyrosination
                  cycle for cell-based drug screening design},
  journal      = {PLoS Comput. Biol.},
  volume       = {18},
  number       = {6},
  year         = {2022},
  url          = {https://doi.org/10.1371/journal.pcbi.1010236},
  doi          = {10.1371/JOURNAL.PCBI.1010236},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ploscb/GrignardLVDSDF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HemeryF22,
  author       = {Mathieu Hemery and
                  Fran{\c{c}}ois Fages},
  editor       = {Ion Petre and
                  Andrei Paun},
  title        = {Algebraic Biochemistry: {A} Framework for Analog Online Computation
                  in Cells},
  booktitle    = {Computational Methods in Systems Biology - 20th International Conference,
                  {CMSB} 2022, Bucharest, Romania, September 14-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13447},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15034-0\_1},
  doi          = {10.1007/978-3-031-15034-0\_1},
  timestamp    = {Mon, 22 Aug 2022 15:58:28 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/HemeryF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/GreugnySF22,
  author       = {El{\'{e}}a Thibault Greugny and
                  Georgios N. Stamatas and
                  Fran{\c{c}}ois Fages},
  editor       = {Ion Petre and
                  Andrei Paun},
  title        = {Stability Versus Meta-stability in a Skin Microbiome Model},
  booktitle    = {Computational Methods in Systems Biology - 20th International Conference,
                  {CMSB} 2022, Bucharest, Romania, September 14-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13447},
  pages        = {179--197},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15034-0\_9},
  doi          = {10.1007/978-3-031-15034-0\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/GreugnySF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MartinelliDLTSL21,
  author       = {Julien Martinelli and
                  Sandrine Dulong and
                  Xiao{-}Mei Li and
                  Mich{\`{e}}le Teboul and
                  Sylvain Soliman and
                  Francis L{\'{e}}vi and
                  Fran{\c{c}}ois Fages and
                  Annabelle Ballesta},
  title        = {Model learning to identify systemic regulators of the peripheral circadian
                  clock},
  journal      = {Bioinform.},
  volume       = {37},
  number       = {Supplement},
  pages        = {401--409},
  year         = {2021},
  url          = {https://doi.org/10.1093/bioinformatics/btab297},
  doi          = {10.1093/BIOINFORMATICS/BTAB297},
  timestamp    = {Tue, 21 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/MartinelliDLTSL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HemeryFS21,
  author       = {Mathieu Hemery and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Eugenio Cinquemani and
                  Lo{\"{\i}}c Paulev{\'{e}}},
  title        = {Compiling Elementary Mathematical Functions into Finite Chemical Reaction
                  Networks via a Polynomialization Algorithm for ODEs},
  booktitle    = {Computational Methods in Systems Biology - 19th International Conference,
                  {CMSB} 2021, Bordeaux, France, September 22-24, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12881},
  pages        = {74--90},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85633-5\_5},
  doi          = {10.1007/978-3-030-85633-5\_5},
  timestamp    = {Tue, 14 Sep 2021 19:09:25 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/HemeryFS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DegrandFS20,
  author       = {Elisabeth Degrand and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Alessandro Abate and
                  Tatjana Petrov and
                  Verena Wolf},
  title        = {Graphical Conditions for Rate Independence in Chemical Reaction Networks},
  booktitle    = {Computational Methods in Systems Biology - 18th International Conference,
                  {CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12314},
  pages        = {61--78},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60327-4\_4},
  doi          = {10.1007/978-3-030-60327-4\_4},
  timestamp    = {Thu, 01 Oct 2020 13:38:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/DegrandFS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HemeryFS20,
  author       = {Mathieu Hemery and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Alessandro Abate and
                  Tatjana Petrov and
                  Verena Wolf},
  title        = {On the Complexity of Quadratization for Polynomial Differential Equations},
  booktitle    = {Computational Methods in Systems Biology - 18th International Conference,
                  {CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12314},
  pages        = {120--140},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60327-4\_7},
  doi          = {10.1007/978-3-030-60327-4\_7},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/HemeryFS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08910,
  author       = {Mathieu Hemery and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {On the Complexity of Quadratization for Polynomial Differential Equations},
  journal      = {CoRR},
  volume       = {abs/2007.08910},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.08910},
  eprinttype    = {arXiv},
  eprint       = {2007.08910},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-08910.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15642,
  author       = {Elisabeth Degrand and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Graphical Conditions for Rate Independence in Chemical Reaction Networks},
  journal      = {CoRR},
  volume       = {abs/2007.15642},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.15642},
  eprinttype    = {arXiv},
  eprint       = {2007.15642},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-15642.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biocas/HuangJFM19,
  author       = {Wei{-}Chih Huang and
                  Jie{-}Hong Roland Jiang and
                  Fran{\c{c}}ois Fages and
                  Franck Molina},
  title        = {Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity},
  booktitle    = {2019 {IEEE} Biomedical Circuits and Systems Conference, BioCAS 2019,
                  Nara, Japan, October 17-19, 2019},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/BIOCAS.2019.8919176},
  doi          = {10.1109/BIOCAS.2019.8919176},
  timestamp    = {Mon, 16 Dec 2019 13:05:43 +0100},
  biburl       = {https://dblp.org/rec/conf/biocas/HuangJFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DegrandHF19,
  author       = {Elisabeth Degrand and
                  Mathieu Hemery and
                  Fran{\c{c}}ois Fages},
  editor       = {Luca Bortolussi and
                  Guido Sanguinetti},
  title        = {On Chemical Reaction Network Design by a Nested Evolution Algorithm},
  booktitle    = {Computational Methods in Systems Biology - 17th International Conference,
                  {CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11773},
  pages        = {78--95},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31304-3\_5},
  doi          = {10.1007/978-3-030-31304-3\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/DegrandHF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MartinelliGSF19,
  author       = {Julien Martinelli and
                  Jeremy Grignard and
                  Sylvain Soliman and
                  Fran{\c{c}}ois Fages},
  editor       = {Luca Bortolussi and
                  Guido Sanguinetti},
  title        = {On Inferring Reactions from Data Time Series by a Statistical Learning
                  Greedy Heuristics},
  booktitle    = {Computational Methods in Systems Biology - 17th International Conference,
                  {CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11773},
  pages        = {352--355},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31304-3\_25},
  doi          = {10.1007/978-3-030-31304-3\_25},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/MartinelliGSF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FagesIKMS19,
  author       = {Fran{\c{c}}ois Fages and
                  Katsumi Inoue and
                  Heinz Koeppl and
                  Chris Myers and
                  Yoshihiro Shimizu},
  title        = {Formal methods for the synthesis of biomolecular circuits {(NII} Shonan
                  Meeting 157)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2019},
  year         = {2019},
  url          = {https://shonan.nii.ac.jp/seminars/157/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/FagesIKMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/BoulierFRSSSSWW18,
  author       = {Fran{\c{c}}ois Boulier and
                  Fran{\c{c}}ois Fages and
                  Ovidiu Radulescu and
                  Satya Swarup Samal and
                  Andreas Schuppert and
                  Werner M. Seiler and
                  Thomas Sturm and
                  Sebastian Walcher and
                  Andreas Weber},
  title        = {The {SYMBIONT} project: symbolic methods for biological networks},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {52},
  number       = {3},
  pages        = {67--70},
  year         = {2018},
  url          = {https://doi.org/10.1145/3313880.3313885},
  doi          = {10.1145/3313880.3313885},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/BoulierFRSSSSWW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesMRS18,
  author       = {Fran{\c{c}}ois Fages and
                  Thierry Martinez and
                  David A. Rosenblueth and
                  Sylvain Soliman},
  title        = {Influence Networks Compared with Reaction Networks: Semantics, Expressivity
                  and Attractors},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {15},
  number       = {4},
  pages        = {1138--1151},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCBB.2018.2805686},
  doi          = {10.1109/TCBB.2018.2805686},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcbb/FagesMRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesS18,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Milan Ceska and
                  David Safr{\'{a}}nek},
  title        = {On Robustness Computation and Optimization in {BIOCHAM-4}},
  booktitle    = {Computational Methods in Systems Biology - 16th International Conference,
                  {CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11095},
  pages        = {292--299},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99429-1\_18},
  doi          = {10.1007/978-3-319-99429-1\_18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/FagesS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-08891,
  author       = {Adrien Baudier and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Graphical Requirements for Multistationarity in Reaction Networks
                  and their Verification in BioModels},
  journal      = {CoRR},
  volume       = {abs/1809.08891},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.08891},
  eprinttype    = {arXiv},
  eprint       = {1809.08891},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-08891.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biocas/LaiJF17,
  author       = {Chun{-}Ning Lai and
                  Jie{-}Hong R. Jiang and
                  Fran{\c{c}}ois Fages},
  title        = {Recombinase-based genetic circuit optimization},
  booktitle    = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2017, Torino,
                  Italy, October 19-21, 2017},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/BIOCAS.2017.8325220},
  doi          = {10.1109/BIOCAS.2017.8325220},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/biocas/LaiJF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CarcanoFS17,
  author       = {Arthur Carcano and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {J{\'{e}}r{\^{o}}me Feret and
                  Heinz Koeppl},
  title        = {Probably Approximately Correct Learning of Regulatory Networks from
                  Time-Series Data},
  booktitle    = {Computational Methods in Systems Biology - 15th International Conference,
                  {CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10545},
  pages        = {74--90},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67471-1\_5},
  doi          = {10.1007/978-3-319-67471-1\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/CarcanoFS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesGBP17,
  author       = {Fran{\c{c}}ois Fages and
                  Guillaume Le Guludec and
                  Olivier Bournez and
                  Amaury Pouly},
  editor       = {J{\'{e}}r{\^{o}}me Feret and
                  Heinz Koeppl},
  title        = {Strong Turing Completeness of Continuous Chemical Reaction Networks
                  and Compilation of Mixed Analog-Digital Programs},
  booktitle    = {Computational Methods in Systems Biology - 15th International Conference,
                  {CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10545},
  pages        = {108--127},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67471-1\_7},
  doi          = {10.1007/978-3-319-67471-1\_7},
  timestamp    = {Mon, 18 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/FagesGBP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/TraynardFFT16,
  author       = {Pauline Traynard and
                  Adrien Faur{\'{e}} and
                  Fran{\c{c}}ois Fages and
                  Denis Thieffry},
  title        = {Logical model specification aided by model-checking techniques: application
                  to the mammalian cell cycle regulation},
  journal      = {Bioinform.},
  volume       = {32},
  number       = {17},
  pages        = {772--780},
  year         = {2016},
  url          = {https://doi.org/10.1093/bioinformatics/btw457},
  doi          = {10.1093/BIOINFORMATICS/BTW457},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/TraynardFFT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/TraynardFSDF16,
  author       = {Pauline Traynard and
                  C{\'{e}}line Feillet and
                  Sylvain Soliman and
                  Franck Delaunay and
                  Fran{\c{c}}ois Fages},
  title        = {Model-based investigation of the circadian clock and cell cycle coupling
                  in mouse embryonic fibroblasts: Prediction of RevErb-{\(\alpha\)}
                  up-regulation during mitosis},
  journal      = {Biosyst.},
  volume       = {149},
  pages        = {59--69},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.biosystems.2016.07.003},
  doi          = {10.1016/J.BIOSYSTEMS.2016.07.003},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/biosystems/TraynardFSDF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/NabliMFS16,
  author       = {Faten Nabli and
                  Thierry Martinez and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {On enumerating minimal siphons in Petri nets using {CLP} and {SAT}
                  solvers: theoretical and practical complexity},
  journal      = {Constraints An Int. J.},
  volume       = {21},
  number       = {2},
  pages        = {251--276},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10601-015-9190-1},
  doi          = {10.1007/S10601-015-9190-1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/NabliMFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesMRS16,
  author       = {Fran{\c{c}}ois Fages and
                  Thierry Martinez and
                  David A. Rosenblueth and
                  Sylvain Soliman},
  editor       = {Ezio Bartocci and
                  Pietro Li{\`{o}} and
                  Nicola Paoletti},
  title        = {Influence Systems vs Reaction Systems},
  booktitle    = {Computational Methods in Systems Biology - 14th International Conference,
                  {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9859},
  pages        = {98--115},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45177-0\_7},
  doi          = {10.1007/978-3-319-45177-0\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/FagesMRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MartinezFA16,
  author       = {Thierry Martinez and
                  Fran{\c{c}}ois Fages and
                  Abder Aggoun},
  editor       = {Claude{-}Guy Quimper},
  title        = {A Stochastic Continuous Optimization Backend for MiniZinc with Applications
                  to Geometrical Placement Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
                  May 29 - June 1, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9676},
  pages        = {262--278},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33954-2\_19},
  doi          = {10.1007/978-3-319-33954-2\_19},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MartinezFA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gol/AggounRF16,
  author       = {Abderrahmane Aggoun and
                  Ahmed Rhiat and
                  Fran{\c{c}}ois Fages},
  editor       = {Ahmed El Hilali Alaoui and
                  Youssef Benadada and
                  Jaouad Boukachour},
  title        = {Panorama of real-life applications in logistics embedding bin packing
                  optimization algorithms, robotics and cloud computing technologies},
  booktitle    = {3rd International Conference on Logistics Operations Management, {GOL}
                  2016, Fez, Morocco, May 23-25, 2016},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/GOL.2016.7731693},
  doi          = {10.1109/GOL.2016.7731693},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/gol/AggounRF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AggounBCF16,
  author       = {Abderrahmane Aggoun and
                  Nicolas Beldiceanu and
                  Gilles Chabert and
                  Fran{\c{c}}ois Fages},
  title        = {Packing with Complex Shapes},
  journal      = {{ERCIM} News},
  volume       = {2016},
  number       = {105},
  year         = {2016},
  url          = {http://ercim-news.ercim.eu/en105/special/packing-with-complex-shapes},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/AggounBCF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FagesGS15,
  author       = {Fran{\c{c}}ois Fages and
                  Steven Gay and
                  Sylvain Soliman},
  title        = {Inferring reaction systems from ordinary differential equations},
  journal      = {Theor. Comput. Sci.},
  volume       = {599},
  pages        = {64--78},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2014.07.032},
  doi          = {10.1016/J.TCS.2014.07.032},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FagesGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ChiangFJS15,
  author       = {Hui{-}Ju Katherine Chiang and
                  Fran{\c{c}}ois Fages and
                  Jie{-}Hong Roland Jiang and
                  Sylvain Soliman},
  title        = {Hybrid Simulations of Heterogeneous Biochemical Models in {SBML}},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {25},
  number       = {2},
  pages        = {14:1--14:22},
  year         = {2015},
  url          = {https://doi.org/10.1145/2742545},
  doi          = {10.1145/2742545},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/ChiangFJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TraynardFS15,
  author       = {Pauline Traynard and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Model-Based Investigation of the Effect of the Cell Cycle on the Circadian
                  Clock Through Transcription Inhibition During Mitosis},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {208--221},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_18},
  doi          = {10.1007/978-3-319-23401-4\_18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/TraynardFS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ChiangJF15,
  author       = {Hui{-}Ju Katherine Chiang and
                  Jie{-}Hong R. Jiang and
                  Fran{\c{c}}ois Fages},
  title        = {Reconfigurable neuromorphic computation in biochemical systems},
  booktitle    = {37th Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
                  2015},
  pages        = {937--940},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/EMBC.2015.7318517},
  doi          = {10.1109/EMBC.2015.7318517},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/ChiangJF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MartinezFS15,
  author       = {Thierry Martinez and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Search by constraint propagation},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {173--183},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790527},
  doi          = {10.1145/2790449.2790527},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MartinezFS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/almob/SolimanFR14,
  author       = {Sylvain Soliman and
                  Fran{\c{c}}ois Fages and
                  Ovidiu Radulescu},
  title        = {A constraint solving approach to model reduction by tropical equilibration},
  journal      = {Algorithms Mol. Biol.},
  volume       = {9},
  pages        = {24},
  year         = {2014},
  url          = {https://doi.org/10.1186/s13015-014-0024-2},
  doi          = {10.1186/S13015-014-0024-2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/almob/SolimanFR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/GayFMSS14,
  author       = {Steven Gay and
                  Fran{\c{c}}ois Fages and
                  Thierry Martinez and
                  Sylvain Soliman and
                  Christine Solnon},
  title        = {On the subgraph epimorphism problem},
  journal      = {Discret. Appl. Math.},
  volume       = {162},
  pages        = {214--228},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.dam.2013.08.008},
  doi          = {10.1016/J.DAM.2013.08.008},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/GayFMSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biocas/ChiangJF14,
  author       = {Hui{-}Ju Katherine Chiang and
                  Jie{-}Hong R. Jiang and
                  Fran{\c{c}}ois Fages},
  title        = {Building reconfigurable circuitry in a biochemical world},
  booktitle    = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2014, Proceedings,
                  Lausanne, Switzerland, October 22-24, 2014},
  pages        = {560--563},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/BioCAS.2014.6981787},
  doi          = {10.1109/BIOCAS.2014.6981787},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/biocas/ChiangJF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TraynardFS14,
  author       = {Pauline Traynard and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Pedro Mendes and
                  Joseph O. Dada and
                  Kieran Smallbone},
  title        = {Trace Simplifications Preserving Temporal Logic Formulae with Case
                  Study in a Coupled Model of the Cell Cycle and the Circadian Clock},
  booktitle    = {Computational Methods in Systems Biology - 12th International Conference,
                  {CMSB} 2014, Manchester, UK, November 17-19, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8859},
  pages        = {114--128},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12982-2\_9},
  doi          = {10.1007/978-3-319-12982-2\_9},
  timestamp    = {Sat, 09 Apr 2022 12:36:34 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/TraynardFS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/Fages14,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Raja Natarajan},
  title        = {Cells as Machines: Towards Deciphering Biochemical Programs in the
                  Cell},
  booktitle    = {Distributed Computing and Internet Technology - 10th International
                  Conference, {ICDCIT} 2014, Bhubaneswar, India, February 6-9, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8337},
  pages        = {50--67},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04483-5\_6},
  doi          = {10.1007/978-3-319-04483-5\_6},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcit/Fages14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmmb/2014,
  editor       = {Fran{\c{c}}ois Fages and
                  Carla Piazza},
  title        = {Formal Methods in Macro-Biology - First International Conference,
                  {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8738},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10398-3},
  doi          = {10.1007/978-3-319-10398-3},
  isbn         = {978-3-319-10397-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmmb/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/FagesGS13,
  author       = {Fran{\c{c}}ois Fages and
                  Simon de Givry and
                  Christine Solnon},
  title        = {Preface},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {47},
  number       = {2},
  pages        = {89--90},
  year         = {2013},
  url          = {https://doi.org/10.1051/ro/2013029},
  doi          = {10.1051/RO/2013029},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/FagesGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesS13,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Guest Editors' Introduction to the Special Section on Computational
                  Methods in Systems Biology},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {10},
  number       = {2},
  pages        = {308--309},
  year         = {2013},
  url          = {https://doi.org/10.1109/TCBB.2013.94},
  doi          = {10.1109/TCBB.2013.94},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcbb/FagesS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ChiangFJS13,
  author       = {Hui{-}Ju Katherine Chiang and
                  Fran{\c{c}}ois Fages and
                  Jie{-}Hong R. Jiang and
                  Sylvain Soliman},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {On the Hybrid Composition and Simulation of Heterogeneous Biochemical
                  Models},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {192--205},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_15},
  doi          = {10.1007/978-3-642-40708-6\_15},
  timestamp    = {Mon, 26 Aug 2019 08:02:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/ChiangFJS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-2948,
  author       = {Faten Nabli and
                  Fran{\c{c}}ois Fages and
                  Thierry Martinez and
                  Sylvain Soliman},
  title        = {Un mod{\`{e}}le bool{\'{e}}en pour l'{\'{e}}num{\'{e}}ration
                  des siphons et des pi{\`{e}}ges minimaux dans les r{\'{e}}seaux
                  de Petri},
  journal      = {CoRR},
  volume       = {abs/1304.2948},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.2948},
  eprinttype    = {arXiv},
  eprint       = {1304.2948},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-2948.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesS12,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Guest Editors' Introduction to the Special Section on Computational
                  Methods in Systems Biology},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {9},
  number       = {5},
  pages        = {1314--1315},
  year         = {2012},
  url          = {https://doi.org/10.1109/TCBB.2012.97},
  doi          = {10.1109/TCBB.2012.97},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcbb/FagesS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesGS12,
  author       = {Fran{\c{c}}ois Fages and
                  Steven Gay and
                  Sylvain Soliman},
  editor       = {David R. Gilbert and
                  Monika Heiner},
  title        = {Inferring Reaction Models from ODEs},
  booktitle    = {Computational Methods in Systems Biology - 10th International Conference,
                  {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7605},
  pages        = {370--373},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33636-2\_23},
  doi          = {10.1007/978-3-642-33636-2\_23},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/FagesGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NabliFMS12,
  author       = {Faten Nabli and
                  Fran{\c{c}}ois Fages and
                  Thierry Martinez and
                  Sylvain Soliman},
  editor       = {Michela Milano},
  title        = {A Boolean Model for Enumerating Minimal Siphons and Traps in Petri
                  Nets},
  booktitle    = {Principles and Practice of Constraint Programming - 18th International
                  Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
                  8-12, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7514},
  pages        = {798--814},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33558-7\_57},
  doi          = {10.1007/978-3-642-33558-7\_57},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/NabliFMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/LinsNFF12,
  author       = {Anthony Jos{\'{e}} da Cunha Carneiro Lins and
                  Fernando Buarque de Lima Neto and
                  Fran{\c{c}}ois Fages and
                  Carmelo J. A. Bastos Filho},
  editor       = {Hujun Yin and
                  Jos{\'{e}} Alfredo Ferreira Costa and
                  Guilherme De A. Barreto},
  title        = {A Comparative Analysis of {FSS} with {CMA-ES} and {S-PSO} in Ill-Conditioned
                  Problems},
  booktitle    = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2012
                  - 13th International Conference, Natal, Brazil, August 29-31, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7435},
  pages        = {416--422},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32639-4\_51},
  doi          = {10.1007/978-3-642-32639-4\_51},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ideal/LinsNFF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MariaFRS11,
  author       = {Elisabetta De Maria and
                  Fran{\c{c}}ois Fages and
                  Aur{\'{e}}lien Rizk and
                  Sylvain Soliman},
  title        = {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},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {21},
  pages        = {2108--2127},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2010.10.036},
  doi          = {10.1016/J.TCS.2010.10.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MariaFRS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RizkBFS11,
  author       = {Aur{\'{e}}lien Rizk and
                  Gr{\'{e}}gory Batt and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Continuous valuations of temporal logic specifications with applications
                  to parameter optimization and robustness measures},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {26},
  pages        = {2827--2839},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2010.05.008},
  doi          = {10.1016/J.TCS.2010.05.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RizkBFS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psb/UhlendorfBFHB11,
  author       = {Jannis Uhlendorf and
                  Samuele Bottani and
                  Fran{\c{c}}ois Fages and
                  Pascal Hersen and
                  Gr{\'{e}}gory Batt},
  editor       = {Russ B. Altman and
                  A. Keith Dunker and
                  Lawrence Hunter and
                  Tiffany Murray and
                  Teri E. Klein},
  title        = {Towards Real-Time Control of Gene Expression: Controlling the Hog
                  Signaling Cascade},
  booktitle    = {Biocomputing 2011: Proceedings of the Pacific Symposium, Kohala Coast,
                  Hawaii, USA, 3-7 January 2011},
  pages        = {338--349},
  publisher    = {World Scientific Publishing},
  year         = {2011},
  url          = {http://psb.stanford.edu/psb-online/proceedings/psb11/uhlendorf.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/psb/UhlendorfBFHB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2011,
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Computational Methods in Systems Biology, 9th International Conference,
                  {CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
  publisher    = {{ACM}},
  year         = {2011},
  isbn         = {978-1-4503-0817-5},
  timestamp    = {Sun, 04 Dec 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GaySF10,
  author       = {Steven Gay and
                  Sylvain Soliman and
                  Fran{\c{c}}ois Fages},
  title        = {A graphical method for reducing and relating models in systems biology},
  journal      = {Bioinform.},
  volume       = {26},
  number       = {18},
  year         = {2010},
  url          = {https://doi.org/10.1093/bioinformatics/btq388},
  doi          = {10.1093/BIOINFORMATICS/BTQ388},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/GaySF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Fages10,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Manuel V. Hermenegildo and
                  Torsten Schaub},
  title        = {A Logical Paradigm for Systems Biology (Invited Talk)},
  booktitle    = {Technical Communications of the 26th International Conference on Logic
                  Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series       = {LIPIcs},
  volume       = {7},
  pages        = {2--3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2010},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2010.2},
  doi          = {10.4230/LIPICS.ICLP.2010.2},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Fages10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AggounBCF10,
  author       = {Abder Aggoun and
                  Nicolas Beldiceanu and
                  Mats Carlsson and
                  Fran{\c{c}}ois Fages},
  title        = {Integrating Rule-Based Modelling and Constraint Programming for Solving
                  Industrial Packing Problems},
  journal      = {{ERCIM} News},
  volume       = {2010},
  number       = {81},
  year         = {2010},
  url          = {http://ercim-news.ercim.eu/en81/special/modelling-and-constraint-programming-for-solving-industrial-packing-problems},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/AggounBCF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FagesBMJRS10,
  author       = {Fran{\c{c}}ois Fages and
                  Gr{\'{e}}gory Batt and
                  Elisabetta De Maria and
                  Dragana Jovanovska and
                  Aur{\'{e}}lien Rizk and
                  Sylvain Soliman},
  title        = {Computational Systems Biology in {BIOCHAM}},
  journal      = {{ERCIM} News},
  volume       = {2010},
  number       = {82},
  pages        = {36},
  year         = {2010},
  url          = {http://ercim-news.ercim.eu/en82/special/computational-systems-biology-in-biocham},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/FagesBMJRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RizkBFS09,
  author       = {Aur{\'{e}}lien Rizk and
                  Gr{\'{e}}gory Batt and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {A general computational method for robustness analysis with applications
                  to synthetic gene networks},
  journal      = {Bioinform.},
  volume       = {25},
  number       = {12},
  year         = {2009},
  url          = {https://doi.org/10.1093/bioinformatics/btp200},
  doi          = {10.1093/BIOINFORMATICS/BTP200},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/RizkBFS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MariaFS09,
  author       = {Elisabetta De Maria and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Pierpaolo Degano and
                  Roberto Gorrieri},
  title        = {On Coupling Models Using Model-Checking: Effects of Irinotecan Injections
                  on the Mammalian Cell Cycle},
  booktitle    = {Computational Methods in Systems Biology, 7th International Conference,
                  {CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5688},
  pages        = {142--157},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03845-7\_10},
  doi          = {10.1007/978-3-642-03845-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/MariaFS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FagesR09,
  author       = {Fran{\c{c}}ois Fages and
                  Aur{\'{e}}lien Rizk},
  editor       = {Ian P. Gent},
  title        = {From Model-Checking to Temporal Logic Constraint Solving},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
                  International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
                  2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5732},
  pages        = {319--334},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04244-7\_26},
  doi          = {10.1007/978-3-642-04244-7\_26},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FagesR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/FagesM09,
  author       = {Fran{\c{c}}ois Fages and
                  Julien Martin},
  editor       = {Willem Jan van Hoeve and
                  John N. Hooker},
  title        = {Modelling Search Strategies in Rules2CP},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 6th International Conference,
                  {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5547},
  pages        = {321--322},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01929-6\_28},
  doi          = {10.1007/978-3-642-01929-6\_28},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/FagesM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/MartinMF09,
  author       = {Julien Martin and
                  Thierry Martinez and
                  Fran{\c{c}}ois Fages},
  editor       = {Javier Larrosa and
                  Barry O'Sullivan},
  title        = {Procedural Code Generation \emph{vs} Static Expansion in Modelling
                  Languages for Constraint Programming},
  booktitle    = {Recent Advances in Constraints - 14th Annual {ERCIM} International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6384},
  pages        = {38--58},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19486-3\_3},
  doi          = {10.1007/978-3-642-19486-3\_3},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/csclp/MartinMF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2008,
  editor       = {Angelo Oddi and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {5655},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03251-6},
  doi          = {10.1007/978-3-642-03251-6},
  isbn         = {978-3-642-03250-9},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FagesS08,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Abstract interpretation and types for systems biology},
  journal      = {Theor. Comput. Sci.},
  volume       = {403},
  number       = {1},
  pages        = {52--70},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2008.04.024},
  doi          = {10.1016/J.TCS.2008.04.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FagesS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FagesR08,
  author       = {Fran{\c{c}}ois Fages and
                  Aur{\'{e}}lien Rizk},
  title        = {On temporal logic constraint solving for analyzing numerical data
                  time series},
  journal      = {Theor. Comput. Sci.},
  volume       = {408},
  number       = {1},
  pages        = {55--65},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2008.07.004},
  doi          = {10.1016/J.TCS.2008.07.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FagesR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/RizkBFS08,
  author       = {Aur{\'{e}}lien Rizk and
                  Gr{\'{e}}gory Batt and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Monika Heiner and
                  Adelinde M. Uhrmacher},
  title        = {On a Continuous Degree of Satisfaction of Temporal Logic Formulae
                  with Applications to Systems Biology},
  booktitle    = {Computational Methods in Systems Biology, 6th International Conference,
                  {CMSB} 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5307},
  pages        = {251--268},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88562-7\_19},
  doi          = {10.1007/978-3-540-88562-7\_19},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/RizkBFS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/FagesM08,
  author       = {Fran{\c{c}}ois Fages and
                  Julien Martin},
  editor       = {Angelo Oddi and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {From Rules to Constraint Programs with the Rules2CP Modelling Language},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {5655},
  pages        = {66--83},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03251-6\_5},
  doi          = {10.1007/978-3-642-03251-6\_5},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/FagesM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsb/FagesS08,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Jasmin Fisher},
  title        = {From Reaction Models to Influence Graphs and Back: {A} Theorem},
  booktitle    = {Formal Methods in Systems Biology, First International Workshop, {FMSB}
                  2008, Cambridge, UK, June 4-5, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5054},
  pages        = {90--102},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68413-8\_7},
  doi          = {10.1007/978-3-540-68413-8\_7},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/fmsb/FagesS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/FagesS08,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Marco Bernardo and
                  Pierpaolo Degano and
                  Gianluigi Zavattaro},
  title        = {Formal Cell Biology in Biocham},
  booktitle    = {Formal Methods for Computational Systems Biology, 8th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5016},
  pages        = {54--80},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68894-5\_3},
  doi          = {10.1007/978-3-540-68894-5\_3},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/FagesS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/ilp/FagesS08,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Luc De Raedt and
                  Paolo Frasconi and
                  Kristian Kersting and
                  Stephen H. Muggleton},
  title        = {Model Revision from Temporal Logic Properties in Computational Systems
                  Biology},
  booktitle    = {Probabilistic Inductive Logic Programming - Theory and Applications},
  series       = {Lecture Notes in Computer Science},
  volume       = {4911},
  pages        = {287--304},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78652-8\_11},
  doi          = {10.1007/978-3-540-78652-8\_11},
  timestamp    = {Sat, 30 Apr 2022 12:43:31 +0200},
  biburl       = {https://dblp.org/rec/conf/ilp/FagesS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2007,
  editor       = {Fran{\c{c}}ois Fages and
                  Francesca Rossi and
                  Sylvain Soliman},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {5129},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89812-2},
  doi          = {10.1007/978-3-540-89812-2},
  isbn         = {978-3-540-89811-5},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/CalzoneCFFS07,
  author       = {Laurence Calzone and
                  Nathalie Chabrier{-}Rivier and
                  Fran{\c{c}}ois Fages and
                  L. Fosse and
                  Sylvain Soliman},
  title        = {Langages formels dans la machine abstraite biochimique {BIOCHAM}},
  journal      = {Tech. Sci. Informatiques},
  volume       = {26},
  number       = {1-2},
  pages        = {47--72},
  year         = {2007},
  url          = {https://doi.org/10.3166/tsi.26.47-72},
  doi          = {10.3166/TSI.26.47-72},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/CalzoneCFFS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesR07,
  author       = {Fran{\c{c}}ois Fages and
                  Aur{\'{e}}lien Rizk},
  editor       = {Muffy Calder and
                  Stephen Gilmore},
  title        = {On the Analysis of Numerical Data Time Series in Temporal Logic},
  booktitle    = {Computational Methods in Systems Biology, International Conference,
                  {CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4695},
  pages        = {48--63},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75140-3\_4},
  doi          = {10.1007/978-3-540-75140-3\_4},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/FagesR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HaemmerleFS07,
  author       = {R{\'{e}}my Haemmerl{\'{e}} and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Vikraman Arvind and
                  Sanjiva Prasad},
  title        = {Closures and Modules Within Linear Logic Concurrent Constraint Programming},
  booktitle    = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
                  Computer Science, 27th International Conference, New Delhi, India,
                  December 12-14, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4855},
  pages        = {544--556},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77050-3\_45},
  doi          = {10.1007/978-3-540-77050-3\_45},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/HaemmerleFS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HaemmerleF07,
  author       = {R{\'{e}}my Haemmerl{\'{e}} and
                  Fran{\c{c}}ois Fages},
  editor       = {Franz Baader},
  title        = {Abstract Critical Pairs and Confluence of Arbitrary Binary Relations},
  booktitle    = {Term Rewriting and Applications, 18th International Conference, {RTA}
                  2007, Paris, France, June 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4533},
  pages        = {214--228},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73449-9\_17},
  doi          = {10.1007/978-3-540-73449-9\_17},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HaemmerleF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2006,
  editor       = {Francisco Azevedo and
                  Pedro Barahona and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4651},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73817-6},
  doi          = {10.1007/978-3-540-73817-6},
  isbn         = {978-3-540-73816-9},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/jods/2007-8,
  editor       = {Stefano Spaccapietra and
                  Paolo Atzeni and
                  Fran{\c{c}}ois Fages and
                  Mohand{-}Said Hacid and
                  Michael Kifer and
                  John Mylopoulos and
                  Barbara Pernici and
                  Pavel Shvaiko and
                  Juan Trujillo and
                  Ilya Zaihrayeu},
  title        = {Journal on Data Semantics {VIII}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4380},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-70664-9},
  doi          = {10.1007/978-3-540-70664-9},
  isbn         = {978-3-540-70663-2},
  timestamp    = {Wed, 09 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jods/2007-8.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/jods/2007-9,
  editor       = {Stefano Spaccapietra and
                  Paolo Atzeni and
                  Fran{\c{c}}ois Fages and
                  Mohand{-}Said Hacid and
                  Michael Kifer and
                  John Mylopoulos and
                  Barbara Pernici and
                  Pavel Shvaiko and
                  Juan Trujillo and
                  Ilya Zaihrayeu},
  title        = {Journal on Data Semantics {IX}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4601},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74987-5},
  doi          = {10.1007/978-3-540-74987-5},
  isbn         = {978-3-540-74982-0},
  timestamp    = {Wed, 09 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jods/2007-9.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FagesA07,
  author       = {Fran{\c{c}}ois Fages and
                  Abder Aggoun},
  title        = {Net-WMS - {A} New Generation of Warehouse Management Systems Networked
                  Services},
  journal      = {{ERCIM} News},
  volume       = {2007},
  number       = {68},
  year         = {2007},
  url          = {http://ercim-news.ercim.eu/net-wms-a-new-generation-of-warehouse-management-systems-networked-services},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/FagesA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/ClairambaultFS07,
  author       = {Jean Clairambault and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Patient-Tailored Cancer Therapeutics - The Tempo Project},
  journal      = {{ERCIM} News},
  volume       = {2007},
  number       = {69},
  year         = {2007},
  url          = {http://ercim-news.ercim.eu/patient-tailored-cancer-therapeutics-the-tempo-project},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/ClairambaultFS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CalzoneFS06,
  author       = {Laurence Calzone and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {{BIOCHAM:} an environment for modeling biological systems and formalizing
                  experimental knowledge},
  journal      = {Bioinform.},
  volume       = {22},
  number       = {14},
  pages        = {1805--1807},
  year         = {2006},
  url          = {https://doi.org/10.1093/bioinformatics/btl172},
  doi          = {10.1093/BIOINFORMATICS/BTL172},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/CalzoneFS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/FagesL06,
  author       = {Fran{\c{c}}ois Fages and
                  Akash Lal},
  title        = {A constraint programming approach to cutset problems},
  journal      = {Comput. Oper. Res.},
  volume       = {33},
  number       = {10},
  pages        = {2852--2865},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.cor.2005.01.014},
  doi          = {10.1016/J.COR.2005.01.014},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cor/FagesL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/FagesJS06,
  author       = {Fran{\c{c}}ois Fages and
                  Narendra Jussien and
                  Christine Solnon},
  title        = {Editorial},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {40},
  number       = {4},
  pages        = {325--326},
  year         = {2006},
  url          = {https://doi.org/10.1051/ro:2007002},
  doi          = {10.1051/RO:2007002},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/FagesJS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/Fages06,
  author       = {Fran{\c{c}}ois Fages},
  title        = {From Syntax to Semantics in Systems Biology Towards Automated Reasoning
                  Tools},
  journal      = {Trans. Comp. Sys. Biology},
  volume       = {4},
  pages        = {68--70},
  year         = {2006},
  url          = {https://doi.org/10.1007/11732488\_6},
  doi          = {10.1007/11732488\_6},
  timestamp    = {Wed, 06 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcsb/Fages06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/CalzoneCFS06,
  author       = {Laurence Calzone and
                  Nathalie Chabrier{-}Rivier and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Machine Learning Biochemical Networks from Temporal Logic Properties},
  journal      = {Trans. Comp. Sys. Biology},
  volume       = {6},
  pages        = {68--94},
  year         = {2006},
  url          = {https://doi.org/10.1007/11880646\_4},
  doi          = {10.1007/11880646\_4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcsb/CalzoneCFS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesS06,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Corrado Priami},
  title        = {Type Inference in Systems Biology},
  booktitle    = {Computational Methods in Systems Biology, International Conference,
                  {CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4210},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11885191\_4},
  doi          = {10.1007/11885191\_4},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/FagesS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HaemmerleF06,
  author       = {R{\'{e}}my Haemmerl{\'{e}} and
                  Fran{\c{c}}ois Fages},
  editor       = {Sandro Etalle and
                  Miroslaw Truszczynski},
  title        = {Modules for Prolog Revisited},
  booktitle    = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
                  WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4079},
  pages        = {41--55},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11799573\_6},
  doi          = {10.1007/11799573\_6},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/HaemmerleF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2005,
  editor       = {Brahim Hnich and
                  Mats Carlsson and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3978},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11754602},
  doi          = {10.1007/11754602},
  isbn         = {3-540-34215-X},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5371,
  editor       = {Fran{\c{c}}ois Bry and
                  Fran{\c{c}}ois Fages and
                  Massimo Marchiori and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {Principles and Practices of Semantic Web Reasoning, 11.-16. September
                  2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05371},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/portals/05371/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2005P5371.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BattBEFHHKMMNSU06,
  author       = {Gr{\'{e}}gory Batt and
                  Jeremy T. Bradley and
                  Roland Ewald and
                  Fran{\c{c}}ois Fages and
                  Holger Hermanns and
                  Jane Hillston and
                  Peter Kemper and
                  Alke Martens and
                  Pieter J. Mosterman and
                  Flemming Nielson and
                  Oleg Sokolsky and
                  Adelinde M. Uhrmacher},
  editor       = {David M. Nicol and
                  Corrado Priami and
                  Hanne Riis Nielson and
                  Adelinde M. Uhrmacher},
  title        = {06161 Working Groups' Report: The Challlenge of Combining Simulation
                  and Verification},
  booktitle    = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06161},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/724},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BattBEFHHKMMNSU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/CoqueryF05,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Brahim Hnich and
                  Mats Carlsson and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {A Type System for {CHR}},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3978},
  pages        = {100--117},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11754602\_8},
  doi          = {10.1007/11754602\_8},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/CoqueryF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CoqueryF05,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Maurizio Gabbrielli and
                  Gopal Gupta},
  title        = {A Type System for {CHR}},
  booktitle    = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
                  Spain, October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3668},
  pages        = {402--403},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562931\_30},
  doi          = {10.1007/11562931\_30},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/CoqueryF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Fages05,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Patricia M. Hill},
  title        = {Temporal Logic Constraints in the Biochemical Abstract Machine {BIOCHAM}},
  booktitle    = {Logic Based Program Synthesis and Transformation, 15th International
                  Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3901},
  pages        = {1--5},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11680093\_1},
  doi          = {10.1007/11680093\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Fages05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2004,
  editor       = {Boi Faltings and
                  Adrian Petcu and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3419},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b106890},
  doi          = {10.1007/B106890},
  isbn         = {3-540-25176-6},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppswr/2005,
  editor       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  title        = {Principles and Practice of Semantic Web Reasoning, Third International
                  Workshop, {PPSWR} 2005, Dagstuhl Castle, Germany, September 11-16,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3703},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11552222},
  doi          = {10.1007/11552222},
  isbn         = {3-540-28793-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppswr/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BryFMO05,
  author       = {Fran{\c{c}}ois Bry and
                  Fran{\c{c}}ois Fages and
                  Massimo Marchiori and
                  Hans J{\"{u}}rgen Ohlbach},
  editor       = {Fran{\c{c}}ois Bry and
                  Fran{\c{c}}ois Fages and
                  Massimo Marchiori and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {05371 Abstracts Collection - Principles and Practices of Semantic
                  Web Reasoning},
  booktitle    = {Principles and Practices of Semantic Web Reasoning, 11.-16. September
                  2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05371},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/481},
  timestamp    = {Thu, 10 Jun 2021 13:02:04 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BryFMO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FagesSC04,
  author       = {Fran{\c{c}}ois Fages and
                  Sylvain Soliman and
                  R{\'{e}}mi Coolen},
  title        = {{CLPGUI:} {A} Generic Graphical User Interface for Constraint Logic
                  Programming},
  journal      = {Constraints An Int. J.},
  volume       = {9},
  number       = {4},
  pages        = {241--262},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:CONS.0000049203.53383.c1},
  doi          = {10.1023/B:CONS.0000049203.53383.C1},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/FagesSC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/RiedmillerFGWS04,
  author       = {Martin A. Riedmiller and
                  Fran{\c{c}}ois Fages and
                  Malik Ghallab and
                  Wolfgang Wahlster and
                  J{\"{o}}rg H. Siekmann},
  title        = {Invited talks},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {18},
  number       = {3},
  pages        = {44},
  year         = {2004},
  url          = {http://www.kuenstliche-intelligenz.de/archiv/2004\_3/KI-Tagung-2004-web.pdf},
  timestamp    = {Fri, 27 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ki/RiedmillerFGWS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Chabrier-RivierCDFS04,
  author       = {Nathalie Chabrier{-}Rivier and
                  Marc Chiaverini and
                  Vincent Danos and
                  Fran{\c{c}}ois Fages and
                  Vincent Sch{\"{a}}chter},
  title        = {Modeling and querying biomolecular interaction networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {325},
  number       = {1},
  pages        = {25--44},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.063},
  doi          = {10.1016/J.TCS.2004.03.063},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Chabrier-RivierCDFS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Chabrier-RivierFS04,
  author       = {Nathalie Chabrier{-}Rivier and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Vincent Danos and
                  Vincent Sch{\"{a}}chter},
  title        = {The Biochemical Abstract Machine {BIOCHAM}},
  booktitle    = {Computational Methods in Systems Biology, International Conference,
                  {CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3082},
  pages        = {172--191},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25974-9\_14},
  doi          = {10.1007/978-3-540-25974-9\_14},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/Chabrier-RivierFS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SolimanF04,
  author       = {Sylvain Soliman and
                  Fran{\c{c}}ois Fages},
  editor       = {Vincent Danos and
                  Vincent Sch{\"{a}}chter},
  title        = {CMBSlib: {A} Library for Comparing Formalisms and Models of Biological
                  Systems},
  booktitle    = {Computational Methods in Systems Biology, International Conference,
                  {CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3082},
  pages        = {231--235},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25974-9\_19},
  doi          = {10.1007/978-3-540-25974-9\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/SolimanF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Fages04,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Susanne Biundo and
                  Thom W. Fr{\"{u}}hwirth and
                  G{\"{u}}nther Palm},
  title        = {Automated Reasoning Tools for Molecular Biology},
  booktitle    = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
                  Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3238},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30221-6\_1},
  doi          = {10.1007/978-3-540-30221-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Fages04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2003,
  editor       = {Krzysztof R. Apt and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi and
                  P{\'{e}}ter Szeredi and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3010},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b96986},
  doi          = {10.1007/B96986},
  isbn         = {3-540-21834-3},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0405100,
  author       = {Fran{\c{c}}ois Fages and
                  Emmanuel Coquery},
  title        = {Typing constraint logic programs},
  journal      = {CoRR},
  volume       = {cs.PL/0405100},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0405100},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0405100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/ChabrierF03,
  author       = {Nathalie Chabrier and
                  Fran{\c{c}}ois Fages},
  title        = {"Model Checking" symbolique de r{\'{e}}seaux biochimiques},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {1},
  pages        = {155--168},
  year         = {2003},
  url          = {http://tsi.revuesonline.com/article.jsp?articleId=4652},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/ChabrierF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/CoqueryF03,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  title        = {Contraintes de sous-typage dans les quasi-treillis},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {1},
  pages        = {253--266},
  year         = {2003},
  url          = {http://tsi.revuesonline.com/article.jsp?articleId=4658},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/CoqueryF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ChabrierF03,
  author       = {Nathalie Chabrier and
                  Fran{\c{c}}ois Fages},
  editor       = {Corrado Priami},
  title        = {Symbolic Model Checking of Biochemical Networks},
  booktitle    = {Computational Methods in Systems Biology, First International Workshop,
                  {CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2602},
  pages        = {149--162},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36481-1\_13},
  doi          = {10.1007/3-540-36481-1\_13},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/ChabrierF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CoqueryF03,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Paritosh K. Pandya and
                  Jaikumar Radhakrishnan},
  title        = {Subtyping Constraints in Quasi-lattices},
  booktitle    = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
                  Computer Science, 23rd Conference, Mumbai, India, December 15-17,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2914},
  pages        = {136--148},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24597-1\_12},
  doi          = {10.1007/978-3-540-24597-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CoqueryF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Fages03,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Catuscia Palamidessi},
  title        = {Symbolic Model-Checking for Biochemical Systems},
  booktitle    = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
                  India, December 9-13, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2916},
  pages        = {102},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24599-5\_7},
  doi          = {10.1007/978-3-540-24599-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Fages03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/ChabrierF03,
  author       = {Nathalie Chabrier and
                  Fran{\c{c}}ois Fages},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {"Model Checking" symbolique de r{\'{e}}seaux bio-chimiques},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {155--168},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Mon, 24 May 2004 15:53:59 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/ChabrierF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CoqueryF03,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Contraintes de sous-typage dans les quasi-treillis},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {253--266},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/CoqueryF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CoqueryF02,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Peter J. Stuckey},
  title        = {{TCLP:} Overloading, Subtyping and Parametric Polymorphism Made Practical
                  for {CLP}},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {480},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_42},
  doi          = {10.1007/3-540-45619-8\_42},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/CoqueryF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CoqueryF02,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Michel Rueher},
  title        = {Surcharge et sous-typage dans {TCLP}},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
                  2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
  pages        = {273},
  year         = {2002},
  timestamp    = {Mon, 24 May 2004 15:53:56 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CoqueryF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Fages02,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Alexandre Tessier},
  title        = {{CLPGUI:} a generic graphical user interface for constraint logic
                  programming over finite domains},
  booktitle    = {Proceedings of the 12th International Workshop on Logic Programming
                  Environments, {WLPE} 2002, Copenhagen, Denmark, July 31, 2002},
  pages        = {47--62},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207048},
  timestamp    = {Thu, 09 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Fages02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FagesRS01,
  author       = {Fran{\c{c}}ois Fages and
                  Paul Ruet and
                  Sylvain Soliman},
  title        = {Linear Concurrent Constraint Programming: Operational and Phase Semantics},
  journal      = {Inf. Comput.},
  volume       = {165},
  number       = {1},
  pages        = {14--41},
  year         = {2001},
  url          = {https://doi.org/10.1006/inco.2000.3002},
  doi          = {10.1006/INCO.2000.3002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FagesRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FagesC01,
  author       = {Fran{\c{c}}ois Fages and
                  Emmanuel Coquery},
  title        = {Typing constraint logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {1},
  number       = {6},
  pages        = {751--777},
  year         = {2001},
  url          = {https://doi.org/10.1017/S1471068401001120},
  doi          = {10.1017/S1471068401001120},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/FagesC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CoqueryF01,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Philippe Codognet},
  title        = {Programmes logiques avec contraintes typ{\'{e}}s},
  booktitle    = {Programmation en logique avec contraintes, Actes des JFPLC'2001, 24
                  avril - 27 avril 2001, Cit{\'{e}} des sciences et de l'industrie,
                  Paris, France},
  pages        = {223--238},
  publisher    = {Hermes},
  year         = {2001},
  timestamp    = {Sat, 23 Jun 2018 18:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CoqueryF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0109033,
  author       = {Fran{\c{c}}ois Fages},
  title        = {{CLP} versus {LS} on Log-based Reconciliation Problems},
  journal      = {CoRR},
  volume       = {cs.PL/0109033},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0109033},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0109033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SmausFD00,
  author       = {Jan{-}Georg Smaus and
                  Fran{\c{c}}ois Fages and
                  Pierre Deransart},
  editor       = {Sanjiv Kapoor and
                  Sanjiva Prasad},
  title        = {Using Modes to Ensure Subject Reduction for Typed Logic Programs with
                  Subtyping},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1974},
  pages        = {214--226},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44450-5\_17},
  doi          = {10.1007/3-540-44450-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/SmausFD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Fages00,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Maurizio Gabbrielli and
                  Frank Pfenning},
  title        = {Concurrent constraint programming and linear logic (abstract)},
  booktitle    = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
                  on Principles and practice of declarative programming, Montreal, Canada,
                  September 20-23, 2000},
  pages        = {44},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351268.351274},
  doi          = {10.1145/351268.351274},
  timestamp    = {Tue, 27 Nov 2018 15:37:24 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Fages00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0010029,
  author       = {Jan{-}Georg Smaus and
                  Fran{\c{c}}ois Fages and
                  Pierre Deransart},
  title        = {Using Modes to Ensure Subject Reduction for Typed Logic Programs with
                  Subtyping},
  journal      = {CoRR},
  volume       = {cs.LO/0010029},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0010029},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0010029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/1999,
  editor       = {Fran{\c{c}}ois Fages},
  title        = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FagesFS98,
  author       = {Fran{\c{c}}ois Fages and
                  Julian Fowler and
                  Thierry Sola},
  title        = {Experiments in Reactive Constraint Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {37},
  number       = {1-3},
  pages        = {185--212},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(98)10008-0},
  doi          = {10.1016/S0743-1066(98)10008-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/FagesFS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FagesP98,
  author       = {Fran{\c{c}}ois Fages and
                  Massimo Paltrinieri},
  editor       = {Joxan Jaffar},
  title        = {A Generic Type System for CLP(chi)},
  booktitle    = {Proceedings of the 1998 Joint International Conference and Symposium
                  on Logic Programming, Manchester, UK, June 15-19, 1998},
  pages        = {353--354},
  publisher    = {{MIT} Press},
  year         = {1998},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/FagesP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FagesRS98,
  author       = {Fran{\c{c}}ois Fages and
                  Paul Ruet and
                  Sylvain Soliman},
  title        = {Phase Semantics and Verification of Concurrent Constraint Programs},
  booktitle    = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
                  Indiana, USA, June 21-24, 1998},
  pages        = {141--152},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/LICS.1998.705651},
  doi          = {10.1109/LICS.1998.705651},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FagesRS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FagesG98,
  author       = {Fran{\c{c}}ois Fages and
                  Roberta Gori},
  editor       = {Giorgio Levi},
  title        = {Analysis of Normal Logic Programs},
  booktitle    = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
                  September 14-16, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1503},
  pages        = {82--98},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49727-7\_5},
  doi          = {10.1007/3-540-49727-7\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/FagesG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Fages97,
  author       = {Fran{\c{c}}ois Fages},
  title        = {Constructive Negation by Pruning},
  journal      = {J. Log. Program.},
  volume       = {32},
  number       = {2},
  pages        = {85--118},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00092-1},
  doi          = {10.1016/S0743-1066(96)00092-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Fages97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RuetF97,
  author       = {Paul Ruet and
                  Fran{\c{c}}ois Fages},
  title        = {Combining Explicit Negation and Negation by Failure Via Belnap's Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {171},
  number       = {1-2},
  pages        = {61--75},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00125-9},
  doi          = {10.1016/S0304-3975(96)00125-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RuetF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RuetF97,
  author       = {Paul Ruet and
                  Fran{\c{c}}ois Fages},
  editor       = {Mogens Nielsen and
                  Wolfgang Thomas},
  title        = {Concurrent Constraint Programming and Non-commutative Logic},
  booktitle    = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
                  Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1414},
  pages        = {406--423},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0028028},
  doi          = {10.1007/BFB0028028},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/RuetF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FagesG96,
  author       = {Fran{\c{c}}ois Fages and
                  Roberta Gori},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Hierarchy of Semantics for Normal Constraint Logic Programs},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {77--91},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_5},
  doi          = {10.1007/3-540-61735-3\_5},
  timestamp    = {Thu, 14 Oct 2021 10:38:45 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/FagesG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Fages96,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Eugene C. Freuder},
  title        = {From Constraint Minimization to Goal Optimization in {CLP} Languages},
  booktitle    = {Proceedings of the Second International Conference on Principles and
                  Practice of Constraint Programming, Cambridge, Massachusetts, USA,
                  August 19-22, 1996},
  series       = {Lecture Notes in Computer Science},
  volume       = {1118},
  pages        = {537--538},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61551-2\_104},
  doi          = {10.1007/3-540-61551-2\_104},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Fages96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccp2/JourdanFRD95,
  author       = {Jean Jourdan and
                  Fran{\c{c}}ois Fages and
                  Didier Rozzonelli and
                  Alain Demeure},
  editor       = {Agostino Cortesi and
                  Philippe Codognet},
  title        = {Data Alignment and Task Scheduling on Parallel Machines Using Concurrent
                  Model-based Programming},
  booktitle    = {First International Workshop on Concurrent Constraint Programming,
                  {CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
  pages        = {3:1--3:15},
  publisher    = {{INRIA} Rocquencourt},
  year         = {1995},
  timestamp    = {Tue, 18 Apr 2023 16:18:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ccp2/JourdanFRD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FagesFS95,
  author       = {Fran{\c{c}}ois Fages and
                  Julian Fowler and
                  Thierry Sola},
  editor       = {Leon Sterling},
  title        = {A Reactive Constraint Logic Programming Scheme},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {149--163},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/FagesFS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/FowlerSF95,
  author       = {Julian Fowler and
                  Thierry Sola and
                  Fran{\c{c}}ois Fages},
  editor       = {Jean{-}Jacques Chabrier},
  title        = {Un mod{\`{e}}le d'ex{\'{e}}cution r{\'{e}}actif et interactif
                  pour la programmation logique avec contraintes},
  booktitle    = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation
                  par Contraintes et applications industrielles, 17-19 mai 1995, Dijon,
                  France},
  pages        = {21--33},
  year         = {1995},
  timestamp    = {Fri, 28 May 2004 07:52:18 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/FowlerSF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlcs/Fages94,
  author       = {Fran{\c{c}}ois Fages},
  title        = {Consistency of Clark's completion and existence of stable models},
  journal      = {Methods Log. Comput. Sci.},
  volume       = {1},
  number       = {1},
  pages        = {51--60},
  year         = {1994},
  timestamp    = {Tue, 31 Mar 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlcs/Fages94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FagesFS94,
  author       = {Fran{\c{c}}ois Fages and
                  Julian Fowler and
                  Thierry Sola},
  editor       = {Manuel V. Hermenegildo and
                  Jaan Penjam},
  title        = {Handling Preferences in Constraint Logic Programming with Relational
                  Optimization},
  booktitle    = {Programming Language Implementation and Logic Programming, 6th International
                  Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {844},
  pages        = {261--276},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58402-1\_19},
  doi          = {10.1007/3-540-58402-1\_19},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/FagesFS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/JourdanFRD94,
  author       = {Jean Jourdan and
                  Fran{\c{c}}ois Fages and
                  Didier Rozzonelli and
                  Alain Demeure},
  editor       = {Maurice Bruynooghe},
  title        = {Data Alignment and Task Scheduling On Parallel Machines Using Concurrent
                  Constraint Model-based Programming},
  booktitle    = {Logic Programming, Proceedings of the 1994 International Symposium,
                  Ithaca, New York, USA, November 13-17, 1994},
  pages        = {678},
  publisher    = {{MIT} Press},
  year         = {1994},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/JourdanFRD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/lncs/Fages94,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Andreas Podelski},
  title        = {Constructive Negation by Pruning and Optimizing Higher-Order Predicates
                  for {CLP} and {CC} Languages},
  booktitle    = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring
                  School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {910},
  pages        = {68--89},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-59155-9\_5},
  doi          = {10.1007/3-540-59155-9\_5},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/journals/lncs/Fages94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlbertCF93,
  author       = {Luc Albert and
                  Rafael Casas and
                  Fran{\c{c}}ois Fages},
  title        = {Average-Case Analysis of Unification Algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {113},
  number       = {1},
  pages        = {3--34},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90208-B},
  doi          = {10.1016/0304-3975(93)90208-B},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AlbertCF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Fages93,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {R. K. Shyamasundar},
  title        = {On the Semantics of Optimization Predicates in {CLP} Languages},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {761},
  pages        = {193--204},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57529-4\_53},
  doi          = {10.1007/3-540-57529-4\_53},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Fages93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/Fages93,
  author       = {Fran{\c{c}}ois Fages},
  title        = {On the Semantics of Optimization Predicates in {CLP} languages},
  booktitle    = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
                  Rhode Island},
  pages        = {51--59},
  year         = {1993},
  timestamp    = {Fri, 09 Aug 2019 11:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/Fages93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Fages91,
  author       = {Fran{\c{c}}ois Fages},
  title        = {A New Fixpoint Semantics for General Logic Programs Compared with
                  the Well-Founded and the Stable Model Semantics},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {425--444},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037172},
  doi          = {10.1007/BF03037172},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Fages91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AlbertCFTZ91,
  author       = {Luc Albert and
                  Rafael Casas and
                  Fran{\c{c}}ois Fages and
                  A. Torrecillas and
                  Paul Zimmermann},
  editor       = {Christian Choffrut and
                  Matthias Jantzen},
  title        = {Average Case Analysis of Unification Algorithms},
  booktitle    = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
                  Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {480},
  pages        = {196--213},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0020799},
  doi          = {10.1007/BFB0020799},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/AlbertCFTZ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/CodognetFS91,
  author       = {Philippe Codognet and
                  Fran{\c{c}}ois Fages and
                  Thierry Sola},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {A Metalevel Compiler of {CLP(FD)} and Its Combination with Intelligent
                  Backtracking},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {437--456},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 16:42:24 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/CodognetFS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Fages90,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {David H. D. Warren and
                  P{\'{e}}ter Szeredi},
  title        = {A New Fixpoint Semantics for General Logic Programs Compared with
                  the Well-Founded and the Stable Model Semantics},
  booktitle    = {Logic Programming, Proceedings of the Seventh International Conference,
                  Jerusalem, Israel, June 18-20, 1990},
  pages        = {441--458},
  publisher    = {{MIT} Press},
  year         = {1990},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Fages90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlbertF88,
  author       = {Luc Albert and
                  Fran{\c{c}}ois Fages},
  editor       = {Timo Lepist{\"{o}} and
                  Arto Salomaa},
  title        = {Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm},
  booktitle    = {Automata, Languages and Programming, 15th International Colloquium,
                  ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {317},
  pages        = {18--37},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19488-6\_104},
  doi          = {10.1007/3-540-19488-6\_104},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/AlbertF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Fages87,
  author       = {Fran{\c{c}}ois Fages},
  title        = {Associative-Commutative Unification},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {257--275},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80004-4},
  doi          = {10.1016/S0747-7171(87)80004-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Fages87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FagesH86,
  author       = {Fran{\c{c}}ois Fages and
                  G{\'{e}}rard P. Huet},
  title        = {Complete Sets of Unifiers and Matchers in Equational Theories},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {189--200},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90175-1},
  doi          = {10.1016/0304-3975(86)90175-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FagesH86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Fages84,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Robert E. Shostak},
  title        = {Associative-Commutative Unification},
  booktitle    = {7th International Conference on Automated Deduction, Napa, California,
                  USA, May 14-16, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {170},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-0-387-34768-4\_12},
  doi          = {10.1007/978-0-387-34768-4\_12},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Fages84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/FagesH83,
  author       = {Fran{\c{c}}ois Fages and
                  G{\'{e}}rard P. Huet},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Complete Sets of Unifiers and Matchers in Equational Theories},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {205--220},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_12},
  doi          = {10.1007/3-540-12727-5\_12},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/FagesH83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Fages83,
  author       = {Fran{\c{c}}ois Fages},
  editor       = {Mehmet Dincbas},
  title        = {Note sur l'unification des termes de premier ordre finis et infinis},
  booktitle    = {SPLT'83, S{\'{e}}minaire Programmation en Logique, 22-23 mars
                  1983, Perros-Guirec, France},
  year         = {1983},
  timestamp    = {Mon, 06 Sep 2004 15:14:20 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Fages83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics