Funder
Horizon 2020 Framework Programme
Gaspard Monge Program for Optimization and Operations Research (PGMO)
Science Foundation Ireland
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software
Reference17 articles.
1. Alur, R., D’Antoni, L., Deshmukh, J. V., Raghothaman, M., & Yuan, Y. (2013). Regular functions and cost register automata. In 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013 (pp. 13–22). New Orleans: IEEE Computer Society.
2. Alur, R., Fisman, D., & Raghothaman, M. (2016). Regular programming for quantitative properties of data streams. In Thiemann, P (Ed.) Programming languages and systems - 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Lecture notes in computer science (Vol. 9632, pp. 15–40). Eindhoven: Springer.
3. Arafailova, E., Beldiceanu, N., Carlsson, M., Flener, P., Francisco Rodríguez, M.A., Pearson, J., & Simonis, H. (2016). Systematic derivation of bounds and glue constraints for time-series constraints. In Rueher, M. (Ed.) CP 2016. LNCS (Vol. 9892, pp. 13–29). Cham: Springer.
4. Arafailova, E., Beldiceanu, N., Douence, R., Carlsson, M., Flener, P., Rodríguez, M.A.F., Pearson, J., & Simonis, H. (2016). Global constraint catalog, volume ii, time-series constraints. CoRR
1609.08925
.
5. Arafailova, E., Beldiceanu, N., Douence, R., Flener, P., Francisco Rodríguez, M.A., Pearson, J., & Simonis, H. (2016). Time-series constraints: improvements and application in CP and MIP contexts. In Quimper, C.G. (Ed.) CP-AI-OR 2016. LNCS (Vol. 9676, pp. 18–34). Cham: Springer.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献