Claudio Di Ciccio

6 Seguidores

15 SlideShares 6 Seguidores 2 Siguiendos

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

Presentaciones
Documentos
Infografías

Más reciente Más populares

Claudio Di Ciccio

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

Measurement of Rule-based LTLf Declarative Process Specifications

Blockchain and smart contracts: infrastructure and platforms

Discovering Target-Branched Declare Constraints

Introduction to the declarative specification of processes

Declarative Specification of Processes: Discovery and Reasoning

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

Execution of business processes on the blockchain

Blockchain based traceability of inter-organisational business processes

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

Resolving Inconsistencies and Redundancies in Declarative Process Models

Automated Discovery of Declarative Process Models

Semantical Vacuity Detection in Declarative Process Mining

Detecting Flight Trajectory Anomalies and Predicting Diversions in Freight Transportation

Ensuring Model Consistency in Declarative Process Discovery