S. Abney, Partial parsing via finite-state cascades, Natural Language Engineering, vol.2, issue.4, pp.337-344, 1996.
DOI : 10.1017/S1351324997001599

N. Beldiceanu, M. Carlsson, R. Debruyne, and T. Petit, Reformulation of Global Constraints Based on Constraints Checkers, Constraints, vol.11, issue.2, pp.339-362, 2005.
DOI : 10.1007/s10601-005-2809-x

N. Beldiceanu, M. Carlsson, S. Demassey, and T. Petit, Global Constraint Catalogue: Past, Present and Future, Constraints, vol.2, issue.1, pp.21-62, 2007.
DOI : 10.1007/s10601-006-9010-8

N. Beldiceanu, M. Carlsson, P. Flener, and J. Pearson, On the reification of global constraints, Constraints, vol.13, issue.3, pp.1-6, 2013.
DOI : 10.1007/s10601-012-9132-0
URL : https://hal.archives-ouvertes.fr/hal-00754039

N. Beldiceanu, M. Carlsson, P. Flener, M. A. Rodríguez, and J. Pearson, Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators, Principles and Practice of Constraint Programming, pp.142-157, 2014.
DOI : 10.1007/978-3-319-10428-7_13
URL : https://hal.archives-ouvertes.fr/hal-01086755

N. Beldiceanu, M. Carlsson, and J. X. Rampon, Global constraint catalog, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00485396

N. Beldiceanu, P. Flener, J. N. Monette, J. Pearson, and H. Simonis, Toward sustainable development in constraint programming, Constraints, vol.31, issue.6, pp.139-149, 2014.
DOI : 10.1007/s10601-013-9152-4
URL : https://hal.archives-ouvertes.fr/hal-00874276

N. Beldiceanu, G. Ifrim, A. Lenoir, and H. Simonis, Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker, Principles and Practice of Constraint Programming, pp.733-748, 2013.
DOI : 10.1007/978-3-642-40627-0_54
URL : https://hal.archives-ouvertes.fr/hal-00874326

N. Beldiceanu and H. Simonis, A Constraint Seeker: Finding and Ranking Global Constraints from Examples, Principles and Practice of Constraint Programming, pp.12-26, 2011.
DOI : 10.1007/978-3-642-23786-7_4
URL : https://hal.archives-ouvertes.fr/hal-00754010

N. Beldiceanu and H. Simonis, A Model Seeker: Extracting Global Constraint Models from Positive Examples, Principles and Practice of Constraint Programming -18th International Conference, pp.141-157978, 2012.
DOI : 10.1007/978-3-642-33558-7_13
URL : https://hal.archives-ouvertes.fr/hal-00754361

J. Berstel, Transductions and Context-Free Languages, Teubner, 1979.
DOI : 10.1007/978-3-663-09367-1
URL : https://hal.archives-ouvertes.fr/hal-00619779

M. Carlsson, SICStus Prolog User's Manual. Swedish Institute of Computer Science , 4.3.1 edn, 2014.

T. Fu, A review on time series data mining, Engineering Applications of Artificial Intelligence, vol.24, issue.1, pp.164-181, 2011.
DOI : 10.1016/j.engappai.2010.09.007

D. S. Fung, Methods for the Estimation of Missing Values in Time Series, 2006.

I. P. Gent, C. Jefferson, S. Linton, I. Miguel, and P. Nightingale, Generating custom propagators for arbitrary constraints, Artificial Intelligence, vol.211, pp.1-33, 2014.
DOI : 10.1016/j.artint.2014.03.001

D. Q. Goldin and P. C. Kanellakis, On similarity queries for time-series data: Constraint specification and implementation, Principles and Practice of Constraint Programming, pp.137-153, 1995.
DOI : 10.1007/3-540-60299-2_9

T. Guns, S. Nijssen, and L. De-raedt, Itemset mining: A constraint programming perspective, Artificial Intelligence, vol.175, issue.12-13, pp.12-13, 2011.
DOI : 10.1016/j.artint.2011.05.002

A. Harvey, Forecasting, Structural Time Series Models and the Kalman Filter, 1991.

J. L. Laurière, Constraint propagation or automatic programming, Tech. Rep. IBP- Laforia, vol.19, 1996.

T. W. Liao, Clustering of time series data???a survey, Pattern Recognition, vol.38, issue.11, pp.1857-1874, 2005.
DOI : 10.1016/j.patcog.2005.01.025

D. T. Nhon, L. Wilkinson, G. Bebis, R. Boyle, B. Parvin et al., TimeExplorer: Similarity search time series by their signatures, 9th International Symposium on Advances in Visual Computing, pp.280-289, 2013.

C. S. Perng, H. Wang, S. R. Zhang, and D. S. Parker, Landmarks: a new model for similarity-based pattern querying in time series databases, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073), pp.33-42, 2000.
DOI : 10.1109/ICDE.2000.839385

C. Ratanamahatana, J. Lin, D. Gunopulos, E. Keogh, M. Vlachos et al., Mining Time Series Data, Data Mining and Knowledge Discovery Handbook, pp.1049-1077, 2010.
DOI : 10.1007/978-0-387-09823-4_56

J. Sakarovitch, Elements of Language Theory, 2009.

D. R. Smith and S. J. Westfold, Toward the synthesis of constraint solvers, 2013.

M. Veanes, P. Hooimeijer, B. Livshits, D. Molnar, and N. Bjørner, Symbolic finite state transducers: algorithms and applications, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.137-150, 2012.