Author:
Alur Rajeev,DAntoni Loris,Deshmukh Jyotirmoy,Raghothaman Mukund,Yuan Yifei
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A robust class of linear recurrence sequences;Information and Computation;2022-11
2. A Formal Framework for Complex Event Recognition;ACM Transactions on Database Systems;2021-12-31
3. Automatically derived stateful network functions including non-field attributes;2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2021-10
4. Pumping lemmas for weighted automata;Logical Methods in Computer Science;2021-07-21
5. On Polynomial Recursive Sequences;Theory of Computing Systems;2021-06-02