Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CP, 2016)

Time-Series Constraints: Improvements and Application in CP and MIP Contexts. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CPAIOR, 2016)

Global Constraint Catalog, Volume II, Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CoRR, 2016)

Generating Linear Invariants for a Conjunction of Automata Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CP, 2017)

among Implied Constraints for Two Families of Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CP, 2017)

Deriving generic bounds for time-series constraints based on regular expressions characteristics. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (Constraints An Int. J., 2018)

Functional description of sequence constraints and synthesis of combinatorial objects. (Description fonctionnelle de contraintes sur des séquences et synthèse d'objets combinatoires). - Ekaterina Arafailova (2018)

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CoRR, 2019)

Invariants for time-series constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (Constraints An Int. J., 2020)