Ekaterina Arafailova

ORCID

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 9

Top Venues

CoRR

Constraints An Int. J.

CPAIOR

Ecole nationale supérieure Mines-Télécom Atlantique, Nancy, France (PHD)

Education History

Ecole nationale supérieure Mines-Télécom Atlantique, Nancy, France

PHD

Publications

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Invariants for time-series constraints. Constraints An Int. J. 25 (3-4) (2020)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints. CoRR (2019)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Deriving generic bounds for time-series constraints based on regular expressions characteristics. Constraints An Int. J. 23 (1) (2018)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
among Implied Constraints for Two Families of Time-Series Constraints. CP (2017)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics. CoRR (2017)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Generating Linear Invariants for a Conjunction of Automata Constraints. CP (2017)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Time-Series Constraints: Improvements and Application in CP and MIP Contexts. CPAIOR (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR (2016)

Ekaterina Arafailova.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ekaterina Arafailova