Follow
Ekaterina Arafailova
Ekaterina Arafailova
IMT Atlantique
Verified email at imt-atlantique.fr
Title
Cited by
Cited by
Year
Global constraint catalog, volume ii, time-series constraints
E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ...
arXiv preprint arXiv:1609.08925, 2016
222016
Time-series constraints: Improvements and application in CP and MIP contexts
E Arafailova, N Beldiceanu, R Douence, P Flener, ...
Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016
172016
Systematic derivation of bounds and glue constraints for time-series constraints
E Arafailova, N Beldiceanu, M Carlsson, P Flener, ...
International Conference on Principles and Practice of Constraint …, 2016
82016
Generating linear invariants for a conjunction of automata constraints
E Arafailova, N Beldiceanu, H Simonis
International Conference on Principles and Practice of Constraint …, 2017
72017
Deriving generic bounds for time-series constraints based on regular expressions characteristics
E Arafailova, N Beldiceanu, H Simonis
Constraints 23 (1), 44-86, 2018
62018
Global constraint catalog, volume ii, time-series constraints. CoRR abs/1609.08925 (2016)
E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ...
6
Functional description of sequence constraints and synthesis of combinatorial objects
E Arafailova
Ecole nationale supérieure Mines-Télécom Atlantique, 2018
42018
Global Constraint Catalog, Volume II
E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ...
Time-Series Constraints. CoRR, abs/1609.08925 31, 88-96, 2016
42016
among Implied Constraints for Two Families of Time-Series Constraints
E Arafailova, N Beldiceanu, H Simonis
International Conference on Principles and Practice of Constraint …, 2017
22017
Invariants for time-series constraints
E Arafailova, N Beldiceanu, H Simonis
Constraints 25 (3), 71-120, 2020
12020
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
E Arafailova, N Beldiceanu, H Simonis
arXiv preprint arXiv:1901.09793, 2019
2019
Beyond the Holy Grail-Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints
E Arafailova, N Beldiceanu, H Simonis
Workshop on Progress Towards the Holy Grail, 2017
2017
Automatically Mining and Proving Generic Invariants on Integer Sequences
E Arafailova, N Beldiceanu, H Simonis
A Transducer-Based Model for Representing Functional Constraints on Integer Sequences
E Arafailova, N Beldiceanu, M Carlsson, R Douence, MAF Rodrıguez, ...
The system can't perform the operation now. Try again later.
Articles 1–14