dblp.uni-trier.dewww.uni-trier.de

Domenico Cantone Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
50EEDomenico Cantone, Simone Faro: Pattern Matching with Swaps for Short Patterns in Linear Time. SOFSEM 2009: 255-266
2008
49EEDomenico Cantone, Salvatore Cristofaro, Simone Faro, Emanuele Giaquinta: Finite State Models for the Generation of Large Corpora of Natural Language Texts. FSMNLP 2008: 175-182
48EEDomenico 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
47EEDomenico 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
46EEEugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz: A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems 2006: 117-139
45EEDomenico Cantone, Salvatore Cristofaro, Simone Faro: On some combinatorial problems concerning the harmonic structure of musical chord sequences. Stringology 2006: 49-64
44EEDomenico 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
43EEDomenico 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)
42EEDomenico 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
41EEDomenico 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
40EEDomenico 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
38EEDomenico Cantone, Calogero G. Zarba: A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. TABLEAUX 2005: 93-107
37EEDomenico 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
36EEDomenico Cantone, Salvatore Cristofaro, Simone Faro: An Efficient Algorithm for alpha-Approximate Matching with delta-Bounded Gaps in Musical Sequences. WEA 2005: 428-439
35EEDomenico 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)
34EEDomenico 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
32EEDomenico Cantone, Salvatore Cristofaro, Simone Faro: Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences. Stringology 2004: 33-47
31EEDomenico Cantone, Simone Faro: Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm. Electronic Notes in Discrete Mathematics 17: 81-86 (2004)
30EECalogero 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
28EEDomenico 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
27EEDomenico Cantone, Simone Faro: Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. WEA 2003: 47-58
26EEDomenico 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
24EEDomenico 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)
23EEDomenico Cantone, Gianluca Cincotti: QuickHeapsort, an efficient mix of classical sorting algorithms. Theor. Comput. Sci. 285(1): 25-42 (2002)
2000
22EEDomenico Cantone, Gianluca Cincotti: QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. CIAC 2000: 150-162
21EESebastiano 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
17EEDomenico Cantone, Marianna Nicolosi Asmundo: A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) 1998: 109-125
16EEDomenico 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
13EEDomenico 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
10EEDomenico Cantone, Vincenzo Cutello, Jacob T. Schwartz: Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. CSL 1990: 95-109
9EEDomenico 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
6EEDomenico 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)

Coauthor Index

1Marianna Nicolosi Asmundo [15] [17] [47]
2Sebastiano Battiato [21]
3Rosa Ruggeri Cannata [34]
4Dario Catalano [21]
5Gianluca Cincotti [21] [22] [23] [42]
6Salvatore Cristofaro [32] [36] [40] [41] [45] [48] [49]
7Vincenzo Cutello [3] [4] [6] [7] [9] [10] [13]
8Simone Faro [27] [31] [32] [33] [36] [39] [40] [41] [43] [45] [48] [49] [50]
9Alfredo Ferro [1] [3] [35] [37]
10Andrea Formisano [25]
11Giovanni Gallo [42]
12Susanna Ghelfo [2]
13Emanuele Giaquinta [49]
14Rosalba Giugno [37]
15Micha Hofri [21]
16Eugenio G. Omodeo [2] [5] [8] [15] [19] [24] [25] [28] [46]
17Alberto Policriti [6] [8] [46]
18Giuseppe Lo Presti [37]
19Alfredo Pulvirenti [35] [37]
20Diego Reforgiato Recupero [35]
21Jacob T. Schwartz [1] [10] [11] [26] [28] [30] [46]
22Dennis Shasha [35]
23Pietro Ursino [19] [24] [28]
24Calogero G. Zarba [16] [18] [20] [25] [26] [29] [30] [34] [38] [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)