Items where Author is "Pedreschi, Dino"

Book

Monreale, Anna and Nanni, Mirco and Grossi, Valerio and Trasarti, Roberto and Pedreschi, Dino (2013) Privacy in Distributed Monitoring. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Nanni, Mirco and Trasarti, Roberto and Monreale, Anna and Grossi, Valerio and Pedreschi, Dino (2013) Distributed monitoring of cluster quality for car insurance customer segmentation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Monreale, Anna and Wang, Wendy and Pratesi, Francesca and Rinzivillo, Salvatore and Pedreschi, Dino and Andrienko, Gennady and Andrienko, Natalia (2013) Differential Privacy in Distributed Mobility Analytics. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore and Turini, Franco (2007) Discrimination-aware data mining. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) On logic programs that do not fail. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1996) Modular Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1996) Verification of Meta-interpreters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Carboni, Marilisa and Giannotti, Fosca and Manco, Giuseppe and Pedreschi, Dino (1996) A Logic Abstract Machine for Active Object-Oriented Databases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.