Salvatore Ruggieri Vis

*	2009
36	EE	Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166
35	EE	Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592
	2008
34	EE	Valerio Grossi, Andrea Romei, Salvatore Ruggieri: A Case Study in Sequential Pattern Mining for IT-Operational Risk. ECML/PKDD (1) 2008: 424-439
33	EE	Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Discrimination-aware data mining. KDD 2008: 560-568
32	EE	Salvatore Ruggieri, Frédéric Mesnard: Typing Linear Constraints for Moding CLP() Programs. SAS 2008: 128-143
	2006
31	EE	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)
	2005
30		Andrea Romei, Salvatore Ruggieri, Franco Turini: KDDML: a middleware language and system for knowledge discovery in databases. SEBD 2005: 208-219
	2004
29	EE	Salvatore Ruggieri: YaDT: Yet another Decision Tree Builder. ICTAI 2004: 260-265
28	EE	Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431
27	EE	Dino Pedreschi, Salvatore Ruggieri: Bounded Nondeterminism of Logic Programs. Ann. Math. Artif. Intell. 42(4): 313-343 (2004)
	2003
26	EE	Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini: Preprocessing and Mining Web Log Data for Web Personalization. AI*IA 2003: 237-249
25	EE	Frédéric Mesnard, Salvatore Ruggieri: On proving left termination of constraint logic programs. ACM Trans. Comput. Log. 4(2): 1-26 (2003)
24	EE	Frédéric Mesnard, Salvatore Ruggieri: On proving left termination of constraint logic programs. ACM Trans. Comput. Log. 4(2): 207-259 (2003)
23	EE	Salvatore Ruggieri: On computing the semi-sum of two integers. Inf. Process. Lett. 87(2): 67-71 (2003)
22	EE	Dino Pedreschi, Salvatore Ruggieri: On logic programs that always succeed. Sci. Comput. Program. 48(2-3): 163-196 (2003)
	2002
21	EE	Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri: Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272
20	EE	Salvatore Ruggieri: Efficient C4.5. IEEE Trans. Knowl. Data Eng. 14(2): 438-444 (2002)
19		Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of terminating logic programs. TPLP 2(3): 369-418 (2002)
	2001
18	EE	Francesco Bonchi, Fosca Giannotti, Giuseppe Manco, Chiara Renso, Mirco Nanni, Dino Pedreschi, Salvatore Ruggieri: Data Mining for Intelligent Web Caching. ITCC 2001: 599-603
17	EE	Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of Terminating Logic Programs CoRR cs.LO/0106050: (2001)
16	EE	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)
15	EE	Salvatore Ruggieri: exists-Universal termination of logic programs. Theor. Comput. Sci. 254(1-2): 273-296 (2001)
	2000
14	EE	Primo Becuzzi, Massimo Coppola, Salvatore Ruggieri, Marco Vanneschi: Parallelisation of C4.5 as a Particular Divide and Conquer Computation. IPDPS Workshops 2000: 382-389
13		Salvatore Ruggieri: Decidability of logic program semantics and applications to testing. J. Log. Program. 46(1-2): 103-137 (2000)
	1999
12		Dino Pedreschi, Salvatore Ruggieri: Bounded Nondeterminism of Logic Programs. ICLP 1999: 350-364
11	EE	Dino Pedreschi, Salvatore Ruggieri: On Logic Programs That Do Not Fail. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
10		Dino Pedreschi, Salvatore Ruggieri: Verification of Logic Programs. J. Log. Program. 39(1-3): 125-176 (1999)
	1998
9	EE	Salvatore Ruggieri: A Complete Declarative Debugger of Missing Answers. ESOP 1998: 236-251
8	EE	Dino Pedreschi, Salvatore Ruggieri: Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett. 67(3): 145-150 (1998)
	1997
7	EE	Salvatore Ruggieri: Termination of Constraint Logic Programs. ICALP 1997: 838-848
6		Dino Pedreschi, Salvatore Ruggieri: Verification of Meta-Interpreters. J. Log. Comput. 7(2): 267-303 (1997)
	1996
5		Salvatore Ruggieri: On Termination of Constraint Logic Programs. APPIA-GULP-PRODE 1996: 391-406
4		Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael Wilson: Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. MMM 1996: 3-20
3	EE	Salvatore Ruggieri: Decidability of Logic Program Semantics and Applications to Testing. PLILP 1996: 347-362
	1995
2		Dino Pedreschi, Salvatore Ruggieri: A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE 1995: 643-654
	1994
1		Dino Pedreschi, Salvatore Ruggieri: Termination is Language-Independent. GULP-PRODE (1) 1994: 418-433

Coauthor Index

1	Miriam Baglioni	[26]
2	Primo Becuzzi	[14]
3	Francesco Bonchi	[16] [18]
4	Monica Bordegoni	[4]
5	Massimo Coppola	[14]
6	Giorgio P. Faconti (Giorgio Faconti)	[4]
7	U. Ferrara	[26]
8	Fosca Giannotti	[16] [18]
9	Cristian Gozzi	[16]
10	Valerio Grossi	[34]
11	Paolo Mancarella	[21]
12	Giuseppe Manco	[16] [18]
13	Frédéric Mesnard	[24] [25] [32]
14	Mirco Nanni	[16] [18]
15	Dino Pedreschi	[1] [2] [6] [8] [10] [11] [12] [16] [17] [18] [19] [21] [22] [27] [28] [33] [35] [36]
16	Chiara Renso	[16] [18]
17	Thomas Rist	[4]
18	Andrea Romei	[26] [30] [31] [34]
19	Jan-Georg Smaus	[17] [19] [28]
20	Panos E. Trahanias	[4]
21	Franco Turini	[26] [30] [31] [33] [35] [36]
22	Marco Vanneschi	[14]
23	Michael Wilson	[4]

Colors in the list of coauthors