Author:
Bagheri Hariri Babak,Calvanese Diego,De Giacomo Giuseppe,Deutsch Alin,Montali Marco
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Unary Communicating Datalog Programs;Proceedings of the ACM on Management of Data;2024-05-10
2. A decision making Framework for the Selection of Business Process Modeling Languages;2024 Seventh International Women in Data Science Conference at Prince Sultan University (WiDS PSU);2024-03-03
3. Correctness Notions for Petri Nets with Identifiers;Fundamenta Informaticae;2024-01-30
4. Integration Patterns and Processes;Fundamentals of Information Systems Interoperability;2024
5. The Impact of Propositional Messages on Termination of Declarative Distributed Systems;Selected Reflections in Language, Logic, and Information;2023-12-28