Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ekaterina Arafailova
@article{DBLP:journals/constraints/ArafailovaBS20, author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis}, title = {Invariants for time-series constraints}, journal = {Constraints An Int. J.}, volume = {25}, number = {3-4}, pages = {71--120}, year = {2020}, url = {https://doi.org/10.1007/s10601-020-09308-z}, doi = {10.1007/S10601-020-09308-Z}, timestamp = {Fri, 18 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/ArafailovaBS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-09793, author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis}, title = {Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints}, journal = {CoRR}, volume = {abs/1901.09793}, year = {2019}, url = {http://arxiv.org/abs/1901.09793}, eprinttype = {arXiv}, eprint = {1901.09793}, timestamp = {Sat, 02 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-09793.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/hal/Arafailova18, author = {Ekaterina Arafailova}, title = {Functional description of sequence constraints and synthesis of combinatorial objects. (Description fonctionnelle de contraintes sur des s{\'{e}}quences et synth{\`{e}}se d'objets combinatoires)}, school = {{IMT} Atlantique, Nancy, France}, year = {2018}, url = {https://tel.archives-ouvertes.fr/tel-01962957}, timestamp = {Mon, 12 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/hal/Arafailova18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/constraints/ArafailovaBS18, author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis}, title = {Deriving generic bounds for time-series constraints based on regular expressions characteristics}, journal = {Constraints An Int. J.}, volume = {23}, number = {1}, pages = {44--86}, year = {2018}, url = {https://doi.org/10.1007/s10601-017-9276-z}, doi = {10.1007/S10601-017-9276-Z}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/ArafailovaBS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ArafailovaBS17, author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis}, editor = {J. Christopher Beck}, title = {Generating Linear Invariants for a Conjunction of Automata Constraints}, booktitle = {Principles and Practice of Constraint Programming - 23rd International Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10416}, pages = {21--37}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66158-2\_2}, doi = {10.1007/978-3-319-66158-2\_2}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/ArafailovaBS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ArafailovaBS17a, author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis}, editor = {J. Christopher Beck}, title = {among Implied Constraints for Two Families of Time-Series Constraints}, booktitle = {Principles and Practice of Constraint Programming - 23rd International Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10416}, pages = {38--54}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66158-2\_3}, doi = {10.1007/978-3-319-66158-2\_3}, timestamp = {Wed, 23 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ArafailovaBS17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ArafailovaBS17, author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis}, title = {Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics}, journal = {CoRR}, volume = {abs/1703.06783}, year = {2017}, url = {http://arxiv.org/abs/1703.06783}, eprinttype = {arXiv}, eprint = {1703.06783}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ArafailovaBS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ArafailovaBCFRP16, author = {Ekaterina Arafailova and Nicolas Beldiceanu and Mats Carlsson and Pierre Flener and Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and Justin Pearson and Helmut Simonis}, editor = {Michel Rueher}, title = {Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints}, booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9892}, pages = {13--29}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-44953-1\_2}, doi = {10.1007/978-3-319-44953-1\_2}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ArafailovaBCFRP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/ArafailovaBDFRP16, author = {Ekaterina Arafailova and Nicolas Beldiceanu and R{\'{e}}mi Douence and Pierre Flener and Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and Justin Pearson and Helmut Simonis}, editor = {Claude{-}Guy Quimper}, title = {Time-Series Constraints: Improvements and Application in {CP} and {MIP} Contexts}, 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 = {18--34}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-33954-2\_2}, doi = {10.1007/978-3-319-33954-2\_2}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/ArafailovaBDFRP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ArafailovaBDCFR16, author = {Ekaterina Arafailova and Nicolas Beldiceanu and R{\'{e}}mi Douence and Mats Carlsson and Pierre Flener and Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and Justin Pearson and Helmut Simonis}, title = {Global Constraint Catalog, Volume II, Time-Series Constraints}, journal = {CoRR}, volume = {abs/1609.08925}, year = {2016}, url = {http://arxiv.org/abs/1609.08925}, eprinttype = {arXiv}, eprint = {1609.08925}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ArafailovaBDCFR16.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.