Author:
Arafailova Ekaterina,Beldiceanu Nicolas,Carlsson Mats,Flener Pierre,Francisco Rodríguez María Andreína,Pearson Justin,Simonis Helmut
Publisher
Springer International Publishing
Reference15 articles.
1. Almeida, M., Moreira, N., Reis, R.: Enumeration and generation with a string automata representation. Theor. Comput. Sci. 387(2), 93–102 (2007). The FAdo tool is available at http://fado.dcc.fc.up.pt/
2. Arafailova, E., Beldiceanu, N., Carlsson, M., Douence, R., Flener, P., Francisco Rodríguez, M.A., Pearson, J., Simonis, H.: Global constraint catalog, volume ii: time-series constraints. Technical report, Computing Research Repository (forthcoming). http://arxiv.org
3. Lecture Notes in Computer Science;E Arafailova,2016
4. Lecture Notes in Computer Science;N Beldiceanu,2001
5. Beldiceanu, N., Carlsson, M., Douence, R., Simonis, H.: Using finite transducers for describing and synthesising structural time-series constraints. Constraints 21(1), 22–40 (2016). Journal fast track of CP 2015: summary on p. 723 of LNCS 9255, Springer (2015)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献