Items where Author is "Ruggieri, Salvatore"

Book

Ruggieri, Salvatore (2013) Learning from Polyhedral Sets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romei, Andrea and Ruggieri, Salvatore (2011) A multidisciplinary survey on discrimination analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Ruggieri, Salvatore and Torquati, Massimo (2011) Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luong, Binh Thanh and Ruggieri, Salvatore and Turini, Franco (2011) k-NN as an Implementation of Situation Testing for Discrimination Discovery and Prevention. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Ruggieri, Salvatore and Torquati, Massimo (2010) Porting Decision Tree Algorithms to Multicore using FastFlow. 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.

Ruggieri, Salvatore (2000) Efficient C4.5. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ruggieri, Salvatore (1998) $\exists$-universal termination of logic programs. 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.