Streamable regular transductions-Reference-Cited by-同舟云学术

Streamable regular transductions

Author:

Alur Rajeev,Fisman Dana,Mamouras Konstantinos,Raghothaman Mukund,Stanford Caleb

Funder

National Sleep Foundation

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference44 articles.

1. Regular programming for quantitative properties of data streams;Alur,2016

2. StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data;Mamouras,2017

3. An introduction to the StreamQRE language;Alur,2017

4. Quantitative network monitoring with NetQRE;Yuan,2017

5. Regular functions and cost register automata;Alur,2013

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. A GPU-accelerated Data Transformation Framework Rooted in Pushdown Transducers;2022 IEEE 29th International Conference on High Performance Computing, Data, and Analytics (HiPC);2022-12

4. A Formal Framework for Complex Event Recognition;ACM Transactions on Database Systems;2021-12-31

5. Quantitative and Approximate Monitoring;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29