( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Foundations of Relational Artifacts Verification.

, , , , и . BPM, том 6896 из Lecture Notes in Computer Science, стр. 379-395. Springer, (2011)

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

 

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

Foundations of Relational Artifacts Verification., , , , и . BPM, том 6896 из Lecture Notes in Computer Science, стр. 379-395. Springer, (2011)Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces., , , и . CoRR, (2020)Learning Hybrid Process Models from Events - Process Discovery Without Faking Confidence., , , и . BPM, том 10445 из Lecture Notes in Computer Science, стр. 59-76. Springer, (2017)Declarative Process Models: Different Ways to Be Hierarchical., , , и . ICSOC, том 9936 из Lecture Notes in Computer Science, стр. 104-119. Springer, (2016)Verification of Description Logic Knowledge and Action Bases., , , , , и . ECAI, том 242 из Frontiers in Artificial Intelligence and Applications, стр. 103-108. IOS Press, (2012)Logic-based specification and verification of homogeneous dynamic multi-agent systems., и . Auton. Agents Multi Agent Syst., 34 (2): 34 (2020)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)Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces., , , , и . Journal on Data Semantics, стр. 1-25. (2014)Verification of Conjunctive-Query Based Semantic Artifacts., , , и . Description Logics, том 745 из CEUR Workshop Proceedings, CEUR-WS.org, (2011)