dblp.uni-trier.dewww.uni-trier.de

Salvatore Ruggieri

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Miriam Baglioni [24]
2Primo Becuzzi [12]
3Francesco Bonchi [14] [16]
4Massimo Coppola [12]
5U. Ferrara [24]
6Fosca Giannotti [14] [16]
7Cristian Gozzi [14]
8Valerio Grossi [32]
9Paolo Mancarella [19]
10Giuseppe Manco [14] [16]
11Frédéric Mesnard [22] [23] [30]
12Mirco Nanni [14] [16]
13Dino Pedreschi [1] [4] [6] [8] [9] [10] [14] [15] [16] [17] [19] [20] [25] [26] [31]
14Chiara Renso [14] [16]
15Andrea Romei [24] [28] [29] [32]
16Jan-Georg Smaus [15] [17] [26]
17Franco Turini [24] [28] [29] [31]
18Marco Vanneschi [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)