Claudio Di Ciccio

6 Seguidores

17 SlideShares 6 Seguidores 6 Siguiendos

Claudio Di Ciccio is an associate professor at the Department of Information and Computing Science of Utrecht University (Netherlands). Previously, he was an associate professor at the Department of Computer Science of Sapienza University of Rome (Italy), and, earier on, an assistant professor at the Institute for Information Business of the Vienna University of Economics and Business (WU Vienna), Austria. He received a PhD in Computer Science and Engineering in 2013 at Sapienza. His research interests include Process Mining, Formal Methods, Automated Reasoning in AI, and Blockchain Technologies.

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

Actividad
Acerca de

Claudio Di Ciccio

Presentaciones

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

“I’m still / I’m still / Chaining from the Block”

CAKE: Sharing Slices of Confidential Data on Blockchain

Recomendaciones

CONFINE: Preserving Data Secrecy in Decentralized Process Mining (Demo Poster)

Trusted Execution Environment for Decentralized Process Mining

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?