The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Salvatore Ruggieri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  30. Termination is Language-Independent. [Citation Graph (, )][DBLP]


  31. Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]


  32. Discrimination-aware data mining. [Citation Graph (, )][DBLP]


  33. Frequent regular itemset mining. [Citation Graph (, )][DBLP]


  34. Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. [Citation Graph (, )][DBLP]


  35. A Case Study in Sequential Pattern Mining for IT-Operational Risk. [Citation Graph (, )][DBLP]


  36. Porting Decision Tree Algorithms to Multicore Using FastFlow. [Citation Graph (, )][DBLP]


  37. Variable ranges in linear constraints. [Citation Graph (, )][DBLP]


  38. Typing Linear Constraints for Moding CLP() Programs. [Citation Graph (, )][DBLP]


  39. Measuring Discrimination in Socially-Sensitive Decision Records. [Citation Graph (, )][DBLP]


  40. DCUBE: discrimination discovery in databases. [Citation Graph (, )][DBLP]


  41. Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]


  42. Porting Decision Tree Algorithms to Multicore using FastFlow [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002