Ekaterina Arafailova

According to our database, Ekaterina Arafailova authored at least 9 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Invariants for time-series constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Constraints An Int. J., 2020

2019

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

CoRR, 2019

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

PhD thesis, 2018

Deriving generic bounds for time-series constraints based on regular expressions characteristics.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Constraints An Int. J., 2018

2017

among Implied Constraints for Two Families of Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2017

Generating Linear Invariants for a Conjunction of Automata Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2017

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

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

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

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

Proceedings of the Principles and Practice of Constraint Programming, 2016