Publisher
Springer International Publishing
Reference17 articles.
1. Nfer web site. http://nfer.io/. Accessed 11 Oct 2021
2. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
3. Lecture Notes in Computer Science;H Barringer,2011
4. Chen, J., DeWitt, D.J., Tian, F., Wang, Y.: NiagaraCQ: a scalable continuous query system for internet databases. In: International Conference on Management of Data (ACM SIGMOD 2000), pp. 379–390. ACM (2000)
5. Lecture Notes in Computer Science;L Convent,2018
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The complexity of evaluating nfer;Science of Computer Programming;2024-01
2. Log analysis and system monitoring with nfer;Science of Computer Programming;2023-01
3. The Complexity of Evaluating Nfer;Theoretical Aspects of Software Engineering;2022
4. TeSSLa – An Ecosystem for Runtime Verification;Runtime Verification;2022
5. Runtime Verification as Documentation;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022