2009 |
50 | EE | Domenico Cantone,
Simone Faro:
Pattern Matching with Swaps for Short Patterns in Linear Time.
SOFSEM 2009: 255-266 |
2008 |
49 | EE | 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 |
48 | EE | 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) |
2007 |
47 | EE | 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) |
2006 |
46 | EE | 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 |
45 | EE | Domenico Cantone,
Salvatore Cristofaro,
Simone Faro:
On some combinatorial problems concerning the harmonic structure of musical chord sequences.
Stringology 2006: 49-64 |
44 | EE | 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 |
43 | EE | 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) |
42 | EE | 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) |
2005 |
41 | EE | 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 |
40 | EE | Domenico Cantone,
Salvatore Cristofaro,
Simone Faro:
Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences.
ISMIR 2005: 460-463 |
39 | | Domenico Cantone,
Simone Faro:
A space efficient bit-parallel algorithm for the multiple string matching problem.
Stringology 2005: 109-124 |
38 | EE | Domenico Cantone,
Calogero G. Zarba:
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.
TABLEAUX 2005: 93-107 |
37 | EE | 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 |
36 | EE | Domenico Cantone,
Salvatore Cristofaro,
Simone Faro:
An Efficient Algorithm for alpha-Approximate Matching with delta-Bounded Gaps in Musical Sequences.
WEA 2005: 428-439 |
35 | EE | 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) |
34 | EE | 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) |
33 | | 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) |
2004 |
32 | EE | Domenico Cantone,
Salvatore Cristofaro,
Simone Faro:
Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences.
Stringology 2004: 33-47 |
31 | EE | Domenico Cantone,
Simone Faro:
Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm.
Electronic Notes in Discrete Mathematics 17: 81-86 (2004) |
30 | EE | 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) |
2003 |
29 | | Domenico Cantone,
Calogero G. Zarba:
A Decision Procedure for Monotone Functions over Lattices.
APPIA-GULP-PRODE 2003: 1-12 |
28 | EE | 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 |
27 | EE | Domenico Cantone,
Simone Faro:
Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm.
WEA 2003: 47-58 |
26 | EE | 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) |
25 | | 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) |
2002 |
24 | EE | 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) |
23 | EE | Domenico Cantone,
Gianluca Cincotti:
QuickHeapsort, an efficient mix of classical sorting algorithms.
Theor. Comput. Sci. 285(1): 25-42 (2002) |
2000 |
22 | EE | Domenico Cantone,
Gianluca Cincotti:
QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms.
CIAC 2000: 150-162 |
21 | EE | Sebastiano Battiato,
Domenico Cantone,
Dario Catalano,
Gianluca Cincotti,
Micha Hofri:
An Efficient Algorithm for the Approximate Median Selection Problem.
CIAC 2000: 226-238 |
20 | | Domenico Cantone,
Calogero G. Zarba:
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.
TABLEAUX 2000: 143-159 |
1999 |
19 | | 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 |
18 | | 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 |
1998 |
17 | EE | 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 |
16 | EE | 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 |
1997 |
15 | | Domenico Cantone,
Marianna Nicolosi Asmundo,
Eugenio G. Omodeo:
Global Skolemization with Grouped Quantifiers.
APPIA-GULP-PRODE 1997: 405-414 |
14 | | Domenico Cantone:
A Fast Saturation Strategy for Set-Theoretic Tableaux.
TABLEAUX 1997: 122-137 |
1993 |
13 | EE | Domenico Cantone,
Vincenzo Cutello:
Decision Procedures for Stratified Set-Theoretic Syllogistics.
ISSAC 1993: 105-110 |
1991 |
12 | | 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) |
11 | | 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) |
1990 |
10 | | Domenico Cantone,
Vincenzo Cutello,
Jacob T. Schwartz:
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets.
CSL 1990: 95-109 |
9 | EE | Domenico Cantone,
Vincenzo Cutello:
A Decidable Fragment of the Elementary Theory of Relations and Some Applications.
ISSAC 1990: 24-29 |
8 | | Domenico Cantone,
Eugenio G. Omodeo,
Alberto Policriti:
The Automation of Syllogistic.
J. Autom. Reasoning 6(2): 173-187 (1990) |
7 | | Domenico Cantone,
Vincenzo Cutello:
Decision Procedures for Elementary Sublanguages of Set Theory.
J. Autom. Reasoning 6(2): 189-201 (1990) |
1989 |
6 | | Domenico Cantone,
Vincenzo Cutello,
Alberto Policriti:
Set-Theoretic Reductions of Hilbert's Tenth Problem.
CSL 1989: 65-75 |
5 | | Domenico Cantone,
Eugenio G. Omodeo:
On the Decidability of Formulae Involving Continuous and Closed Functions.
IJCAI 1989: 425-430 |
4 | | 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) |
1988 |
3 | | 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 |
2 | | Domenico Cantone,
Susanna Ghelfo,
Eugenio G. Omodeo:
The Automation of Syllogistic I. Syllogistic Normal Forms.
J. Symb. Comput. 6(1): 83-98 (1988) |
1987 |
1 | | 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) |