Search the dblp DataBase
Domenico Cantone :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Domenico Cantone , Gianluca Cincotti QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. [Citation Graph (0, 0)][DBLP ] CIAC, 2000, pp:150-162 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Domenico Cantone , Vincenzo Cutello Decision Procedures for Stratified Set-Theoretic Syllogistics. [Citation Graph (0, 0)][DBLP ] ISSAC, 1993, pp:105-110 [Conf ] 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 ] 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 ] 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 ] Domenico Cantone A Fast Saturation Strategy for Set-Theoretic Tableaux. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1997, pp:122-137 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. [Citation Graph (, )][DBLP ] Pattern Matching with Swaps for Short Patterns in Linear Time. [Citation Graph (, )][DBLP ] New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences. [Citation Graph (, )][DBLP ] Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts. [Citation Graph (, )][DBLP ] An Efficient Algorithm for Approximate Pattern Matching with Swaps. [Citation Graph (, )][DBLP ] Finite State Models for the Generation of Large Corpora of Natural Language Texts. [Citation Graph (, )][DBLP ] Bit-(Parallelism)2 : Getting to the Next Level of Parallelism. [Citation Graph (, )][DBLP ] A New Algorithm for Efficient Pattern Matching with Swaps. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.489secs