Author:
Corea Carl,Grant John,Thimm Matthias
Publisher
Springer International Publishing
Reference24 articles.
1. Cecconi, A., De Giacomo, G., Di Ciccio, C., Maggi, F.M., Mendling, J.: A temporal logic-based measurement framework for process mining. In: Proceedings of the 2nd ICPM, pp. 113–120. IEEE (2020)
2. Lecture Notes in Business Information Processing;C Corea,2021
3. Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64, 425–446 (2017)
4. Fionda, V., Greco, G.: The complexity of LTL on finite traces: hard and easy fragments. In: Proceedings of the 30th AAAI Conference on AI, Phoenix, pp. 971–977. AAAI (2016)
5. Giacomo, G.D., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd IJCAI, Beijing, pp. 854–860. AAAI (2013)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献