The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Domenico Cantone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Domenico Cantone, Calogero G. Zarba
    A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:318-333 [Conf]
  2. Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
    Global Skolemization with Grouped Quantifiers. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:405-414 [Conf]
  3. Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino
    Transitive Venn diagrams with applications to the decision problem in set theory. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:167-182 [Conf]
  4. Domenico Cantone, Calogero G. Zarba
    A Decision Procedure for Monotone Functions over Lattices. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:1-12 [Conf]
  5. Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino
    Notes from the Logbook of a Proof-Checker's Project. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:182-207 [Conf]
  6. Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz
    A Computerized Referee. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:117-139 [Conf]
  7. Sebastiano Battiato, Domenico Cantone, Dario Catalano, Gianluca Cincotti, Micha Hofri
    An Efficient Algorithm for the Approximate Median Selection Problem. [Citation Graph (0, 0)][DBLP]
    CIAC, 2000, pp:226-238 [Conf]
  8. Domenico Cantone, Gianluca Cincotti
    QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. [Citation Graph (0, 0)][DBLP]
    CIAC, 2000, pp:150-162 [Conf]
  9. Domenico Cantone, Vincenzo Cutello, Alberto Policriti
    Set-Theoretic Reductions of Hilbert's Tenth Problem. [Citation Graph (0, 0)][DBLP]
    CSL, 1989, pp:65-75 [Conf]
  10. Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz
    Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. [Citation Graph (0, 0)][DBLP]
    CSL, 1990, pp:95-109 [Conf]
  11. Domenico Cantone, Marianna Nicolosi Asmundo
    A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:109-125 [Conf]
  12. Domenico Cantone, Calogero G. Zarba
    A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:126-136 [Conf]
  13. Domenico Cantone, Eugenio G. Omodeo
    On the Decidability of Formulae Involving Continuous and Closed Functions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:425-430 [Conf]
  14. Domenico Cantone, Salvatore Cristofaro, Simone Faro
    On Tuning the (\delta, \alpha)-Sequential-Sampling Algorithm for \delta-Approximate Matching with Alpha-Bounded Gaps in Musical Sequences. [Citation Graph (0, 0)][DBLP]
    ISMIR, 2005, pp:454-459 [Conf]
  15. Domenico Cantone, Salvatore Cristofaro, Simone Faro
    Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences. [Citation Graph (0, 0)][DBLP]
    ISMIR, 2005, pp:460-463 [Conf]
  16. Domenico Cantone, Vincenzo Cutello
    A Decidable Fragment of the Elementary Theory of Relations and Some Applications. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:24-29 [Conf]
  17. Domenico Cantone, Vincenzo Cutello
    Decision Procedures for Stratified Set-Theoretic Syllogistics. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:105-110 [Conf]
  18. Domenico Cantone, Vincenzo Cutello, Alfredo Ferro
    Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1988, pp:407-422 [Conf]
  19. Domenico Cantone, Salvatore Cristofaro, Simone Faro
    Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences. [Citation Graph (0, 0)][DBLP]
    Stringology, 2004, pp:33-47 [Conf]
  20. Domenico Cantone, Salvatore Cristofaro, Simone Faro
    On some combinatorial problems concerning the harmonic structure of musical chord sequences. [Citation Graph (0, 0)][DBLP]
    Stringology, 2006, pp:49-64 [Conf]
  21. Domenico Cantone
    A Fast Saturation Strategy for Set-Theoretic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:122-137 [Conf]
  22. Domenico Cantone, Calogero G. Zarba
    A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:143-159 [Conf]
  23. Domenico Cantone, Calogero G. Zarba
    A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2005, pp:93-107 [Conf]
  24. Domenico Cantone, Calogero G. Zarba
    A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:97-112 [Conf]
  25. Domenico Cantone, Salvatore Cristofaro, Simone Faro
    An Efficient Algorithm for alpha-Approximate Matching with delta-Bounded Gaps in Musical Sequences. [Citation Graph (0, 0)][DBLP]
    WEA, 2005, pp:428-439 [Conf]
  26. Domenico Cantone, Simone Faro
    Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. [Citation Graph (0, 0)][DBLP]
    WEA, 2003, pp:47-58 [Conf]
  27. Domenico Cantone, Alfredo Ferro, Rosalba Giugno, Giuseppe Lo Presti, Alfredo Pulvirenti
    Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces. [Citation Graph (0, 0)][DBLP]
    WEA, 2005, pp:265-276 [Conf]
  28. Domenico Cantone, Vincenzo Cutello
    Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:39, n:, pp:139-148 [Journal]
  29. Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba
    A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  30. Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo
    Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:2, pp:165-201 [Journal]
  31. Domenico Cantone, Simone Faro
    A Space Efficient Bit-parallel Algorithm for the Multiple String Matching Problem. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:6, pp:1235-1252 [Journal]
  32. Domenico Cantone
    Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:193-230 [Journal]
  33. Domenico Cantone, Vincenzo Cutello
    Decision Procedures for Elementary Sublanguages of Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:2, pp:189-201 [Journal]
  34. Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
    The Automation of Syllogistic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:2, pp:173-187 [Journal]
  35. Domenico Cantone, Jacob T. Schwartz
    Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:231-256 [Journal]
  36. Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata
    A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:1, pp:49-72 [Journal]
  37. Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz
    A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:33, n:3-4, pp:251-269 [Journal]
  38. Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz
    Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:1, pp:1-18 [Journal]
  39. Domenico Cantone, Gianluca Cincotti, Giovanni Gallo
    Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:7, pp:763-789 [Journal]
  40. Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo
    The Automation of Syllogistic I. Syllogistic Normal Forms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:6, n:1, pp:83-98 [Journal]
  41. Domenico Cantone, Gianluca Cincotti
    QuickHeapsort, an efficient mix of classical sorting algorithms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:1, pp:25-42 [Journal]
  42. Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba
    Compiling dyadic first-order specifications into map algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:293, n:2, pp:447-475 [Journal]
  43. Domenico Cantone, Alfredo Ferro, Alfredo Pulvirenti, Diego Reforgiato Recupero, Dennis Shasha
    Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2005, v:17, n:4, pp:535-550 [Journal]
  44. Domenico Cantone, Simone Faro
    A space efficient bit-parallel algorithm for the multiple string matching problem. [Citation Graph (0, 0)][DBLP]
    Stringology, 2005, pp:109-124 [Conf]
  45. Domenico Cantone, Marianna Nicolosi Asmundo
    A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:38, n:1-3, pp:31-56 [Journal]

  46. A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. [Citation Graph (, )][DBLP]


  47. Pattern Matching with Swaps for Short Patterns in Linear Time. [Citation Graph (, )][DBLP]


  48. New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences. [Citation Graph (, )][DBLP]


  49. Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts. [Citation Graph (, )][DBLP]


  50. An Efficient Algorithm for Approximate Pattern Matching with Swaps. [Citation Graph (, )][DBLP]


  51. Finite State Models for the Generation of Large Corpora of Natural Language Texts. [Citation Graph (, )][DBLP]


  52. Bit-(Parallelism)2: Getting to the Next Level of Parallelism. [Citation Graph (, )][DBLP]


  53. A New Algorithm for Efficient Pattern Matching with Swaps. [Citation Graph (, )][DBLP]


Search in 0.173secs, Finished in 0.175secs
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