Author:
Ceri S.,Gottlob G.,Tanca L.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems
Cited by
379 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. StarfishDB: A Query Execution Engine for Relational Probabilistic Programming;Proceedings of the ACM on Management of Data;2024-05-29
2. Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
3. Adaptive Recursive Query Optimization;2024 IEEE 40th International Conference on Data Engineering (ICDE);2024-05-13
4. Finding Cross-Rule Optimization Bugs in Datalog Engines;Proceedings of the ACM on Programming Languages;2024-04-29
5. Isabelle-verified correctness of Datalog programs for program analysis;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08