Domenico Cantone

Domenico Cantone, Salvatore Cristofaro, Simone Faro: Efficient string-matching allowing for non-overlapping inversions. Theor. Comput. Sci. 483: 85-95 (2013)

Domenico Cantone, Marianna Nicolosi Asmundo: On the satisfiability problem for a 3-level quantified syllogistic. CoRR abs/1304.2412 (2013)

Domenico Cantone, Simone Faro, Emanuele Giaquinta: A compact representation of nondeterministic (suffix) automata for the bit-parallel approach. Inf. Comput. 213: 3-12 (2012)

Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta: Pattern Matching with Swaps in Practice. Int. J. Found. Comput. Sci. 23(2): 323-342 (2012)

Domenico Cantone, Simone Faro, Emanuele Giaquinta: Adapting Boyer-Moore-like Algorithms for Searching Huffman Encoded Texts. Int. J. Found. Comput. Sci. 23(2): 343-356 (2012)

Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo: A graphical representation of relational formulae with complementation. RAIRO - Theor. Inf. and Applic. 46(2): 261-289 (2012)

Domenico Cantone, Simone Faro, Emanuele Giaquinta: On the bit-parallel simulation of the nondeterministic Aho-Corasick and suffix automata for a set of patterns. J. Discrete Algorithms 11: 25-36 (2012)

Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo: On the Elimination of Quantifiers through Descriptors in Predicate Logic. CILC 2012: 17-31

Domenico Cantone, Cristiano Longo: A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. GandALF 2012: 224-237

Domenico Cantone, Marianna Nicolosi Asmundo: On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version). CoRR abs/1209.1943 (2012)

Antonio Pisasale, Domenico Cantone: An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World. CoRR abs/1211.4957 (2012)

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo: Computational Logic and Set Theory - Applying Formalized Logic to Analysis. Springer 2011, isbn 978-0-85729-807-2, pp. I-XVII, 1-416

Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska: Dual tableau-based decision procedures for relational logics with restricted composition operator. Journal of Applied Non-Classical Logics 21(2): 177-200 (2011)

Domenico Cantone, Marianna Nicolosi Asmundo: On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. CILC 2011: 73-97

Domenico Cantone, Salvatore Cristofaro, Simone Faro: Efficient Matching of Biological Sequences Allowing for Non-overlapping Inversions. CPM 2011: 364-375

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo: A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. CSL 2011: 129-143

Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska: Dual Tableau-based Decision Procedures for Some Relational Logics. CILC 2010

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo: A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. CILC 2010

Domenico Cantone, Simone Faro, Emanuele Giaquinta: A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. CPM 2010: 288-298

Domenico Cantone, Simone Faro, Emanuele Giaquinta: Bit-(Parallelism)²: Getting to the Next Level of Parallelism. FUN 2010: 166-177

Domenico Cantone, Simone Faro, Emanuele Giaquinta: Approximate String Matching Allowing for Inversions and Translocations. Stringology 2010: 37-51

Domenico Cantone, Salvatore Cristofaro, Simone Faro: A Space-Efficient Implementation of the Good-Suffix Heuristic. Stringology 2010: 63-75

Domenico Cantone, Simone Faro: On Tuning the Bad-Character Rule: the Worst-Character Rule. CoRR abs/1012.1338 (2010)

Domenico Cantone, Salvatore Cristofaro, Simone Faro: New Efficient Bit-Parallel Algorithms for the (delta, alpha)-Matching Problem with Applications in Music Information Retrieval. Int. J. Found. Comput. Sci. 20(6): 1087-1108 (2009)

Matteo Campanelli, Domenico Cantone, Simone Faro: A New Algorithm for Efficient Pattern Matching with Swaps. IWOCA 2009: 230-241

Domenico Cantone, Simone Faro: Pattern Matching with Swaps for Short Patterns in Linear Time. SOFSEM 2009: 255-266

Domenico Cantone, Simone Faro, Emanuele Giaquinta: Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts. Stringology 2009: 29-39

Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta: An Efficient Algorithm for Approximate Pattern Matching with Swaps. Stringology 2009: 90-104

Domenico Cantone, Salvatore Cristofaro, Simone Faro: On Some Combinatorial Problems Concerning the Harmonic Structure of Musical Chord Sequences. Int. J. Found. Comput. Sci. 19(1): 103-124 (2008)

Domenico Cantone, Salvatore Cristofaro, Simone Faro, Emanuele Giaquinta: Finite State Models for the Generation of Large Corpora of Natural Language Texts. FSMNLP 2008: 175-182

Domenico Cantone, Salvatore Cristofaro, Simone Faro: New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences. Stringology 2008: 170184

Domenico Cantone, Marianna Nicolosi Asmundo: A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. J. Autom. Reasoning 38(1-3): 31-56 (2007)

Domenico Cantone, Simone Faro: A Space Efficient Bit-parallel Algorithm for the Multiple String Matching Problem. Int. J. Found. Comput. Sci. 17(6): 1235-1252 (2006)

Domenico Cantone, Gianluca Cincotti, Giovanni Gallo: Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. J. Symb. Comput. 41(7): 763-789 (2006)

Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 318-333

Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz: A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems 2006: 117-139

Domenico Cantone, Salvatore Cristofaro, Simone Faro: On some combinatorial problems concerning the harmonic structure of musical chord sequences. Stringology 2006: 49-64

Domenico Cantone, Simone Faro: Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm. Journal of Automata, Languages and Combinatorics 10(5/6): 589-608 (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, Gianluca Cincotti, Alfredo Ferro, Alfredo Pulvirenti: An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces. SIAM Journal on Optimization 16(2): 434-451 (2005)

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, 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, Simone Faro: A space efficient bit-parallel algorithm for the multiple string matching problem. Stringology 2005: 109-124

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, Simone Faro: Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm. Electronic Notes in Discrete Mathematics 17: 81-86 (2004)

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, Simone Faro: Two-Levels-Greedy: A Generalized of Dijkstra's Shortest Path Algorithm. CTW 2004: 75-80

Domenico Cantone, Salvatore Cristofaro, Simone Faro: Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences. Stringology 2004: 33-47

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): 49-60 (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, 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: Forward-Fast-Search: Another Fast Variant of the Boyer-Moore String Matching Algorithm. Stringology 2003: 10-24

Domenico Cantone, Simone Faro: Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. WEA 2003: 47-58

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, 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, 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, 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, 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, Susanna Ghelfo, Eugenio G. Omodeo: The Automation of Syllogistic I. Syllogistic Normal Forms. J. Symb. Comput. 6(1): 83-98 (1988)

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, 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)