Salvatore Ruggieri

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: The Discovery of Discrimination. Discrimination and Privacy in the Information Society 2013: 91-108

Andrea Romei, Salvatore Ruggieri: Discrimination Data Analysis: A Multi-disciplinary Bibliography. Discrimination and Privacy in the Information Society 2013: 109-135

Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr J. Wojciechowski: A complexity perspective on entailment of parameterized linear constraints. Constraints 17(4): 461-487 (2012)

Salvatore Ruggieri: Deciding Membership in a Class of Polyhedra. ECAI 2012: 702-707

Andrea Romei, Salvatore Ruggieri, Franco Turini: Discovering Gender Discrimination in Project Funding. ICDM Workshops 2012: 394-401

Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr J. Wojciechowski: Computational complexity of inclusion queries over polyhedral sets. ISAIM 2012

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: A study of top-k measures for discrimination discovery. SAC 2012: 126-131

Salvatore Ruggieri: Subtree Replacement in Decision Tree Simplification. SDM 2012: 379-390

Salvatore Rinzivillo, Salvatore Ruggieri: Who/Where Are My New Customers? ISMIS Industrial Session 2011: 307-317

Binh Luong Thanh, Salvatore Ruggieri, Franco Turini: k-NN as an implementation of situation testing for discrimination discovery and prevention. KDD 2011: 502-510

Salvatore Ruggieri, Dino Pedreschi, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. Artif. Intell. Law 18(1): 1-43 (2010)

Salvatore Ruggieri, Dino Pedreschi, Franco Turini: Data mining for discrimination discovery. TKDD 4(2) (2010)

Salvatore Ruggieri, Fred Mesnard: Typing linear constraints. ACM Trans. Program. Lang. Syst. 32(6) (2010)

Salvatore Ruggieri: Frequent regular itemset mining. KDD 2010: 263-272

Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati: Porting Decision Tree Algorithms to Multicore Using FastFlow. ECML/PKDD (1) 2010: 7-23

Salvatore Ruggieri, Fred Mesnard: Variable ranges in linear constraints. SAC 2010: 2061-2065

Salvatore Ruggieri, Dino Pedreschi, Franco Turini: DCUBE: discrimination discovery in databases. SIGMOD Conference 2010: 1127-1130

Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati: Porting Decision Tree Algorithms to Multicore using FastFlow. CoRR abs/1006.3424 (2010)

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Discrimination-aware data mining. KDD 2008: 560-568

Valerio Grossi, Andrea Romei, Salvatore Ruggieri: A Case Study in Sequential Pattern Mining for IT-Operational Risk. ECML/PKDD (1) 2008: 424-439

Salvatore Ruggieri, Frédéric Mesnard: Typing Linear Constraints for Moding CLP() Programs. SAS 2008: 128-143

Andrea Romei, Salvatore Ruggieri, Franco Turini: KDDML: A middleware language and system for knowledge discovery in databases. Data Knowl. Eng. 57(2): 179-220 (2006)

Andrea Romei, Salvatore Ruggieri, Franco Turini: KDDML: a middleware language and system for knowledge discovery in databases. SEBD 2005: 208-219

Dino Pedreschi, Salvatore Ruggieri: Bounded Nondeterminism of Logic Programs. Ann. Math. Artif. Intell. 42(4): 313-343 (2004)

Salvatore Ruggieri: YaDT: Yet another Decision Tree Builder. ICTAI 2004: 260-265

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431

Salvatore Ruggieri: On computing the semi-sum of two integers. Inf. Process. Lett. 87(2): 67-71 (2003)

Dino Pedreschi, Salvatore Ruggieri: On logic programs that always succeed. Sci. Comput. Program. 48(2-3): 163-196 (2003)

Frédéric Mesnard, Salvatore Ruggieri: On proving left termination of constraint logic programs. ACM Trans. Comput. Log. 4(2): 1-26 (2003)

Frédéric Mesnard, Salvatore Ruggieri: On proving left termination of constraint logic programs. ACM Trans. Comput. Log. 4(2): 207-259 (2003)

Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini: Preprocessing and Mining Web Log Data for Web Personalization. AI*IA 2003: 237-249

Salvatore Ruggieri: Efficient C4.5. IEEE Trans. Knowl. Data Eng. 14(2): 438-444 (2002)

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of terminating logic programs. TPLP 2(3): 369-418 (2002)

Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri: Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272

Francesco Bonchi, Fosca Giannotti, Cristian Gozzi, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Chiara Renso, Salvatore Ruggieri: Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng. 39(2): 165-189 (2001)

Salvatore Ruggieri: exists-Universal termination of logic programs. Theor. Comput. Sci. 254(1-2): 273-296 (2001)

Francesco Bonchi, Fosca Giannotti, Giuseppe Manco, Chiara Renso, Mirco Nanni, Dino Pedreschi, Salvatore Ruggieri: Data Mining for Intelligent Web Caching. ITCC 2001: 599-603

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of Terminating Logic Programs. CoRR cs.LO/0106050 (2001)

Salvatore Ruggieri: Decidability of logic program semantics and applications to testing. J. Log. Program. 46(1-2): 103-137 (2000)

Primo Becuzzi, Massimo Coppola, Salvatore Ruggieri, Marco Vanneschi: Parallelisation of C4.5 as a Particular Divide and Conquer Computation. IPDPS Workshops 2000: 382-389

Dino Pedreschi, Salvatore Ruggieri: Verification of Logic Programs. J. Log. Program. 39(1-3): 125-176 (1999)

Dino Pedreschi, Salvatore Ruggieri: On Logic Programs That Do Not Fail. Electr. Notes Theor. Comput. Sci. 30(1): 77-101 (1999)

Dino Pedreschi, Salvatore Ruggieri: Bounded Nondeterminism of Logic Programs. ICLP 1999: 350-364

Dino Pedreschi, Salvatore Ruggieri: Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett. 67(3): 145-150 (1998)

Salvatore Ruggieri: A Complete Declarative Debugger of Missing Answers. ESOP 1998: 236-251

Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri: On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62

Monica Bordegoni, Giorgio P. Faconti, Steven Feiner, Mark T. Maybury, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson: A standard reference model for intelligent multimedia presentation systems. Computer Standards & Interfaces 18(6-7): 477-496 (1997)

Salvatore Ruggieri, Michael D. Wilson: Describing the MMI2 demonstrators with the IMMPS reference model. Computer Standards & Interfaces 18(6-7): 613-621 (1997)

Dino Pedreschi, Salvatore Ruggieri: Verification of Meta-Interpreters. J. Log. Comput. 7(2): 267-303 (1997)

Salvatore Ruggieri: Termination of Constraint Logic Programs. ICALP 1997: 838-848

Salvatore Ruggieri: On Termination of Constraint Logic Programs. APPIA-GULP-PRODE 1996: 391-406

Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson: Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. MMM 1996: 3-20

Salvatore Ruggieri: Decidability of Logic Program Semantics and Applications to Testing. PLILP 1996: 347-362

Dino Pedreschi, Salvatore Ruggieri: A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE 1995: 643-654

Dino Pedreschi, Salvatore Ruggieri: Termination is Language-Independent. GULP-PRODE (1) 1994: 418-433