Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: François Fages
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.