Ekaterina Arafailova

Orcid: 0000-0001-9447-1142

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Invariants for time-series constraints.
Constraints An Int. J., 2020

2019
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints.
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).
PhD thesis, 2018

Deriving generic bounds for time-series constraints based on regular expressions characteristics.
Constraints An Int. J., 2018

2017
among Implied Constraints for Two Families of Time-Series Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Generating Linear Invariants for a Conjunction of Automata Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
Global Constraint Catalog, Volume II, Time-Series Constraints.
CoRR, 2016

Time-Series Constraints: Improvements and Application in CP and MIP Contexts.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2016


  Loading...