Ekaterina Arafailova

Identifiers

No identifiers captured yet.

Papers (3)

1. Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints cs.AI · 2019 · author #1
2. Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics cs.FL · 2017 · author #1
3. Global Constraint Catalog, Volume II, Time-Series Constraints cs.AI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Helmut Simonis 3 shared papers
• Nicolas Beldiceanu 3 shared papers
• Justin Pearson 1 shared papers
• Mar\'ia Andre\'ina Francisco Rodr\'iguez 1 shared papers
• Mats Carlsson 1 shared papers
• Pierre Flener 1 shared papers
• R\'emi Douence 1 shared papers