Claudio Di Ciccio

6 Followers

business process management process mining declarative modelling blockchain linear temporal logic business intelligence ethereum business rules process discovery process monitoring cryptocurrency ipfs distributed architectures process data analytics attribute-based encryption process science smart contract oracle cryptography distributed ledger technology specification mining association rule mining bitcoin smartcontract compliance analytics supply chain distributed ledgers temporal logic query checking aircraft navigation logistics airplane trajectory air transportation machine learning prediction methods

Aktivität
Info

Claudio Di Ciccio

Präsentationen

Ensuring Model Consistency in Declarative Process Discovery

Detecting Flight Trajectory Anomalies and Predicting Diversions in Freight Transportation

Semantical Vacuity Detection in Declarative Process Mining

Automated Discovery of Declarative Process Models

Resolving Inconsistencies and Redundancies in Declarative Process Models

Log-Based Understanding of Business Processes through Temporal Logic Query Checking

Blockchain based traceability of inter-organisational business processes

Execution of business processes on the blockchain

Extracting Event Logs for Process Mining from Data Stored on the Blockchain

Declarative Specification of Processes: Discovery and Reasoning

Introduction to the declarative specification of processes

Discovering Target-Branched Declare Constraints

Blockchain and smart contracts: infrastructure and platforms

Measurement of Rule-based LTLf Declarative Process Specifications

Look but don’t touch: On the impalpable bond between blockchain and process

Gefällt mir

Improving Accuracy and Explainability in Event-Case Correlation via Rule Mining

Prescriptive Process Monitoring for Cost-Aware Cycle Time Reduction

Blockchain and BPM - Reflections on Four Years of Research and Applications

How to write a BPM conference paper?