Login / Signup
Aladdin Shikhizada
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Model Checker
Temporal Logic
Satisfiability Problem
Process Mining
Top Venues
CoRR
Eng. Appl. Artif. Intell.
BPM (PhD/Demos)
</>
Publications
</>
Ivan Donadello
,
Chiara Di Francescomarino
,
Fabrizio Maria Maggi
,
Francesco Ricci
,
Aladdin Shikhizada
Outcome-Oriented Prescriptive Process Monitoring based on Temporal Logic Patterns.
Eng. Appl. Artif. Intell.
126 (2023)
Ivan Donadello
,
Francesco Riva
,
Fabrizio Maria Maggi
,
Aladdin Shikhizada
Declare4Py: A Python Library for Declarative Process Mining.
BPM (PhD/Demos)
(2022)
Ivan Donadello
,
Chiara Di Francescomarino
,
Fabrizio Maria Maggi
,
Francesco Ricci
,
Aladdin Shikhizada
Outcome-Oriented Prescriptive Process Monitoring Based on Temporal Logic Patterns.
CoRR
(2022)