Domenico Cantone

	2012
68		Domenico Cantone, Simone Faro, Emanuele Giaquinta: A compact representation of nondeterministic (suffix) automata for the bit-parallel approach. Inf. Comput. 213: 3-12 (2012)
67		Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta: Pattern Matching with Swaps in Practice. Int. J. Found. Comput. Sci. 23(2): 323-342 (2012)
66		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)
65		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)
	2011
64		Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo: Computational Logic and Set Theory - Applying Formalized Logic to Analysis. Springer 2011: I-XVII, 1-416
63		Domenico Cantone, Salvatore Cristofaro, Simone Faro: Efficient Matching of Biological Sequences Allowing for Non-overlapping Inversions. CPM 2011: 364-375
62		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
61		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)
	2010
60		Domenico Cantone, Simone Faro, Emanuele Giaquinta: A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. CPM 2010: 288-298
59		Domenico Cantone, Simone Faro, Emanuele Giaquinta: Bit-(Parallelism)2: Getting to the Next Level of Parallelism. FUN 2010: 166-177
58		Domenico Cantone, Simone Faro: On Tuning the Bad-Character Rule: the Worst-Character Rule CoRR abs/1012.1338: (2010)
	2009
57		Matteo Campanelli, Domenico Cantone, Simone Faro: A New Algorithm for Efficient Pattern Matching with Swaps. IWOCA 2009: 230-241
56		Domenico Cantone, Simone Faro: Pattern Matching with Swaps for Short Patterns in Linear Time. SOFSEM 2009: 255-266
55		Domenico Cantone, Simone Faro, Emanuele Giaquinta: Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts. Stringology 2009: 29-39
54		Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta: An Efficient Algorithm for Approximate Pattern Matching with Swaps. Stringology 2009: 90-104
53		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)
	2008
52		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
51		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
50		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
49		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
48		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
47		Domenico Cantone, Salvatore Cristofaro, Simone Faro: On some combinatorial problems concerning the harmonic structure of musical chord sequences. Stringology 2006: 49-64
46		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
45		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)
44		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
43		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
42		Domenico Cantone, Salvatore Cristofaro, Simone Faro: Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences. ISMIR 2005: 460-463
41		Domenico Cantone, Simone Faro: A space efficient bit-parallel algorithm for the multiple string matching problem. Stringology 2005: 109-124
40		Domenico Cantone, Calogero G. Zarba: A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. TABLEAUX 2005: 93-107
39		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
38		Domenico Cantone, Salvatore Cristofaro, Simone Faro: An Efficient Algorithm for alpha-Approximate Matching with delta-Bounded Gaps in Musical Sequences. WEA 2005: 428-439
37		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)
36		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)
35		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)
34		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)
	2004
33		Domenico Cantone, Simone Faro: Two-Levels-Greedy: A Generalized of Dijkstra's Shortest Path Algorithm. CTW 2004: 75-80
32		Domenico Cantone, Salvatore Cristofaro, Simone Faro: Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences. Stringology 2004: 33-47
31		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		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		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		Domenico Cantone, Simone Faro: Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. WEA 2003: 47-58
26		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)
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		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		Domenico Cantone, Gianluca Cincotti: QuickHeapsort, an efficient mix of classical sorting algorithms. Theor. Comput. Sci. 285(1): 25-42 (2002)
	2000
22		Domenico Cantone, Gianluca Cincotti: QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. CIAC 2000: 150-162
21		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		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		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		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		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)

Coauthor Index

1	Marianna Nicolosi Asmundo	[15] [17] [49] [61] [62]
2	Sebastiano Battiato	[21]
3	Matteo Campanelli	[54] [57] [67]
4	Rosa Ruggeri Cannata	[36]
5	Dario Catalano	[21]
6	Gianluca Cincotti	[21] [22] [23] [34] [44]
7	Salvatore Cristofaro	[32] [38] [42] [43] [47] [50] [51] [52] [53] [63]
8	Vincenzo Cutello	[3] [4] [6] [7] [9] [10] [13]
9	Simone Faro	[27] [31] [32] [33] [35] [38] [41] [42] [43] [45] [47] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [63] [65] [66] [67] [68]
10	Alfredo Ferro	[1] [3] [34] [37] [39]
11	Andrea Formisano	[25]
12	Giovanni Gallo	[44]
13	Susanna Ghelfo	[2]
14	Emanuele Giaquinta	[52] [54] [55] [59] [60] [65] [66] [67] [68]
15	Rosalba Giugno	[39]
16	Micha Hofri	[21]
17	Cristiano Longo	[62]
18	Eugenio G. Omodeo	[2] [5] [8] [15] [19] [24] [25] [28] [48] [64]
19	Ewa Orlowska	[61]
20	Alberto Policriti	[6] [8] [48]
21	Giuseppe Lo Presti	[39]
22	Alfredo Pulvirenti	[34] [37] [39]
23	Diego Reforgiato Recupero	[37]
24	Jacob T. Schwartz	[1] [10] [11] [26] [28] [30] [48] [64]
25	Dennis Shasha (Dennis E. Shasha)	[37]
26	Pietro Ursino	[19] [24] [28]
27	Calogero G. Zarba	[16] [18] [20] [25] [26] [29] [30] [36] [40] [46]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page