Ghidini, Chiara

Ghidini, Chiara  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Computing unsatisfiable cores for LTLf specifications 1-gen-2022 Marco RoveriChiara Di FrancescomarinoChiara Ghidini +
Process mining for healthcare: Characteristics and challenges 1-gen-2022 Di Francescomarino, ChiaraGhidini, Chiara +
Semantic modeling and analysis of complex data-aware processes and their executions 1-gen-2022 Francesco CorcoglionitiChiara Di FrancescomarinoMauro DragoniChiara GhidiniMarco Pistore +
Solving reachability problems on data-aware workflows 1-gen-2022 Di Francescomarino C.Ghidini C. +