Ghidini, Chiara

Ghidini, Chiara  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.007 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. +
Theories and uses of context in knowledge representation and reasoning 1-gen-2001 Bouquet, PaoloGiunchiglia, FaustoBlanzieri, EnricoGhidini, Chiara