SPOLETINI, PAOLA
SPOLETINI, PAOLA
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
A Fuzzy Extension for the XPath Query Language
2009-01-01 Campi, Alessandro; GUINEA MONTALVO, SAM JESUS ALEJANDRO; E., Damiani; Marrara, Stefania; G., Pasi; Spoletini, Paola
An Efficient Solution for Model Checking Graph Transformation Systems
2008-01-01 Baresi, Luciano; V., Rafe; A., Torkaman Rahmani; Spoletini, Paola
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings
2018-01-01 Nacci, Alessandro A.; Rana, Vincenzo; Balaji, Bharathan; Spoletini, Paola; Gupta, Rajesh; Sciuto, Donatella; Agarwal, Yuvraj
Fuzzy time in linear temporal logic
2014-01-01 Frigeri, Achille; Pasquale, Liliana; Spoletini, Paola
TOrPEDO: witnessing model correctness with topological proofs
2021-01-01 Menghi, C.; Rizzi, A. M.; Bernasconi, A.; Spoletini, P.
Towards Automated Verification of Layered Graph Transformation Specifications
2009-01-01 V., Rafe; A. T., Rahmani; Baresi, Luciano; Spoletini, Paola
Validation of Web Service Compositions
2007-01-01 Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
XQuery layers
2007-01-01 Braga, DANIELE MARIA; Campi, Alessandro; Ceri, Stefano; Spoletini, Paola