( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.

, , , и . ACM Trans. Softw. Eng. Methodol., 31 (4): 68:1-68:44 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Riccardo De Gottardi

Riccardo Mattei

Riccardo Rubbiani

Riccardo Caccavale

Riccardo Satta

 

Другие публикации лиц с тем же именем

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces., , , и . CoRR, (2020)Foundations of Relational Artifacts Verification., , , , и . BPM, том 6896 из Lecture Notes in Computer Science, стр. 379-395. Springer, (2011)Learning Hybrid Process Models from Events - Process Discovery Without Faking Confidence., , , и . BPM, том 10445 из Lecture Notes in Computer Science, стр. 59-76. Springer, (2017)Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces., , , , и . Journal on Data Semantics, стр. 1-25. (2014)A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies., , и . STM, том 9331 из Lecture Notes in Computer Science, стр. 55-71. Springer, (2015)Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes., и . ICSOC, том 8274 из Lecture Notes in Computer Science, стр. 54-68. Springer, (2013)Verification of Conjunctive-Query Based Semantic Artifacts., , , и . Description Logics, том 745 из CEUR Workshop Proceedings, CEUR-WS.org, (2011)Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness., , и . Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, стр. 1027-1033. AAAI Press, (2014)Composition of Partially Observable Services Exporting their Behaviour., , и . ICAPS, AAAI, (2009)Verification of Conjunctive Artifact-Centric Services., , и . Int. J. Cooperative Inf. Syst., 21 (2): 111-140 (2012)