| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Domenico Cantone 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. ISMIR 2005 : 454-459 Domenico Cantone, Salvatore Cristofaro , Simone Faro : Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences. ISMIR 2005 : 460-463 Domenico Cantone, Calogero G. Zarba : A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. TABLEAUX 2005 : 93-107 Domenico Cantone, Alfredo Ferro , Rosalba Giugno , Giuseppe Lo Presti , Alfredo Pulvirenti : Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces. WEA 2005 : 265-276 Domenico Cantone, Salvatore Cristofaro , Simone Faro : An Efficient Algorithm for alpha-Approximate Matching with delta -Bounded Gaps in Musical Sequences. WEA 2005 : 428-439 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. IEEE Trans. Knowl. Data Eng. 17 (4): 535-550 (2005) Domenico Cantone, Calogero G. Zarba , Rosa Ruggeri Cannata : A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. J. Autom. Reasoning 34 (1): 49-72 (2005) Domenico Cantone, Salvatore Cristofaro , Simone Faro : Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences. Stringology 2004 : 33-47 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. J. Autom. Reasoning 33 (3-4): 251-269 (2004) Domenico Cantone, Calogero G. Zarba : A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003 : 1-12 Domenico Cantone, Eugenio G. Omodeo , Jacob T. Schwartz , Pietro Ursino : Notes from the Logbook of a Proof-Checker's Project. Verification: Theory and Practice 2003 : 182-207 Domenico Cantone, Simone Faro : Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. WEA 2003 : 47-58 Domenico Cantone, Jacob T. Schwartz , Calogero G. Zarba : A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. Electr. Notes Theor. Comput. Sci. 86 (1): (2003) Domenico Cantone, Andrea Formisano , Eugenio G. Omodeo , Calogero G. Zarba : Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293 (2): 447-475 (2003) Domenico Cantone, Pietro Ursino , Eugenio G. Omodeo : Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. Inf. Comput. 172 (2): 165-201 (2002) Domenico Cantone, Gianluca Cincotti : QuickHeapsort, an efficient mix of classical sorting algorithms. Theor. Comput. Sci. 285 (1): 25-42 (2002) Domenico Cantone, Gianluca Cincotti : QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. CIAC 2000 : 150-162 Sebastiano Battiato , Domenico Cantone, Dario Catalano , Gianluca Cincotti , Micha Hofri : An Efficient Algorithm for the Approximate Median Selection Problem. CIAC 2000 : 226-238 Domenico Cantone, Calogero G. Zarba : A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. TABLEAUX 2000 : 143-159 Domenico Cantone, Eugenio G. Omodeo , Pietro Ursino : Transitive Venn diagrams with applications to the decision problem in set theory. APPIA-GULP-PRODE 1999 : 167-182 Domenico Cantone, Calogero G. Zarba : A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. TABLEAUX 1999 : 97-112 Domenico Cantone, Marianna Nicolosi Asmundo : A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) 1998 : 109-125 Domenico Cantone, Calogero G. Zarba : A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. FTP (LNCS Selection) 1998 : 126-136 Domenico Cantone, Marianna Nicolosi Asmundo , Eugenio G. Omodeo : Global Skolemization with Grouped Quantifiers. APPIA-GULP-PRODE 1997 : 405-414 Domenico Cantone: A Fast Saturation Strategy for Set-Theoretic Tableaux. TABLEAUX 1997 : 122-137 Domenico Cantone, Vincenzo Cutello : Decision Procedures for Stratified Set-Theoretic Syllogistics. ISSAC 1993 : 105-110 Domenico Cantone: Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators. J. Autom. Reasoning 7 (2): 193-230 (1991) Domenico Cantone, Jacob T. Schwartz : Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. J. Autom. Reasoning 7 (2): 231-256 (1991) Domenico Cantone, Vincenzo Cutello , Jacob T. Schwartz : Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. CSL 1990 : 95-109 Domenico Cantone, Vincenzo Cutello : A Decidable Fragment of the Elementary Theory of Relations and Some Applications. ISSAC 1990 : 24-29 Domenico Cantone, Eugenio G. Omodeo , Alberto Policriti : The Automation of Syllogistic. J. Autom. Reasoning 6 (2): 173-187 (1990) Domenico Cantone, Vincenzo Cutello : Decision Procedures for Elementary Sublanguages of Set Theory. J. Autom. Reasoning 6 (2): 189-201 (1990) Domenico Cantone, Vincenzo Cutello , Alberto Policriti : Set-Theoretic Reductions of Hilbert's Tenth Problem. CSL 1989 : 65-75 Domenico Cantone, Eugenio G. Omodeo : On the Decidability of Formulae Involving Continuous and Closed Functions. IJCAI 1989 : 425-430 Domenico Cantone, Vincenzo Cutello : Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection. Bulletin of the EATCS 39 : 139-148 (1989) Domenico Cantone, Vincenzo Cutello , Alfredo Ferro : Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. ISSAC 1988 : 407-422 Domenico Cantone, Susanna Ghelfo , Eugenio G. Omodeo : The Automation of Syllogistic I. Syllogistic Normal Forms. J. Symb. Comput. 6 (1): 83-98 (1988) Domenico Cantone, Alfredo Ferro , Jacob T. Schwartz : Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. J. Comput. Syst. Sci. 34 (1): 1-18 (1987) 1 [ 15 ] [ 17 ] 2 [ 21 ] 3 [ 32 ] 4 [ 21 ] 5 [ 21 ] [ 22 ] [ 23 ] 6 [ 31 ] [ 34 ] [ 37 ] [ 38 ] 7 [ 3 ] [ 4 ] [ 6 ] [ 7 ] [ 9 ] [ 10 ] [ 13 ] 8 [ 27 ] [ 31 ] [ 34 ] [ 37 ] [ 38 ] 9 [ 1 ] [ 3 ] [ 33 ] [ 35 ] 10 [ 25 ] 11 [ 2 ] 12 [ 35 ] 13 [ 21 ] 14 [ 2 ] [ 5 ] [ 8 ] [ 15 ] [ 19 ] [ 24 ] [ 25 ] [ 28 ] 15 [ 6 ] [ 8 ] 16 [ 35 ] 17 [ 33 ] [ 35 ] 18 [ 33 ] 19 [ 1 ] [ 10 ] [ 11 ] [ 26 ] [ 28 ] [ 30 ] 20 [ 33 ] 21 [ 19 ] [ 24 ] [ 28 ] 22 [ 16 ] [ 18 ] [ 20 ] [ 25 ] [ 26 ] [ 29 ] [ 30 ] [ 32 ] [ 36 ]  ©2006 Association for Computing Machinery |
