Ghidini, Chiara
Ghidini, Chiara
Computing unsatisfiable cores for LTLf specifications
2022-01-01 Roveri, Marco; Di Ciccio, Claudio; Di Francescomarino, Chiara; Ghidini, Chiara
Process mining for healthcare: Characteristics and challenges
2022-01-01 Munoz-Gama, Jorge; Martin, Niels; Fernandez-Llatas, Carlos; Johnson, Owen A; Sepúlveda, Marcos; Helm, Emmanuel; Galvez-Yanjari, Victor; Rojas, Eric; Martinez-Millana, Antonio; Aloini, Davide; Amantea, Ilaria Angela; Andrews, Robert; Arias, Michael; Beerepoot, Iris; Benevento, Elisabetta; Burattin, Andrea; Capurro, Daniel; Carmona, Josep; Comuzzi, Marco; Dalmas, Benjamin; de la Fuente, Rene; Di Francescomarino, Chiara; Di Ciccio, Claudio; Gatta, Roberto; Ghidini, Chiara; Gonzalez-Lopez, Fernanda; Ibanez-Sanchez, Gema; Klasky, Hilda B; Prima Kurniati, Angelina; Lu, Xixi; Mannhardt, Felix; Mans, Ronny; Marcos, Mar; Medeiros de Carvalho, Renata; Pegoraro, Marco; Poon, Simon K; Pufahl, Luise; Reijers, Hajo A; Remy, Simon; Rinderle-Ma, Stefanie; Sacchi, Lucia; Seoane, Fernando; Song, Minseok; Stefanini, Alessandro; Sulis, Emilio; Ter Hofstede, Arthur H M; Toussaint, Pieter J; Traver, Vicente; Valero-Ramon, Zoe; Weerd, Inge van de; van der Aalst, Wil M P; Vanwersch, Rob; Weske, Mathias; Wynn, Moe Thandar; Zerbato, Francesca
Semantic modeling and analysis of complex data-aware processes and their executions
2022-01-01 Bertoli, Piergiorgio; Corcoglioniti, Francesco; Di Francescomarino, Chiara; Dragoni, Mauro; Ghidini, Chiara; Pistore, Marco
Solving reachability problems on data-aware workflows
2022-01-01 De Masellis, R.; Di Francescomarino, C.; Ghidini, C.; Tessaris, S.
Theories and uses of context in knowledge representation and reasoning
2001-01-01 Bouquet, Paolo; Giunchiglia, Fausto; Blanzieri, Enrico; Ghidini, Chiara