Personal information

Emails & domains

Verified email addresses

Verified email domains

Other IDs

ResearcherID: P-1780-2014
Scopus Author ID: 55892604800

Activities

Collapse all

Employment (2)

University of Catania: Catania, IT

1991-11-01 to present | Professor of Computer Science (Mathematics and Computer Science)
Employment
Source: Self-asserted source
Domenico Cantone

University of L'Aquila: L'Aquila, IT

1990-11-01 to 1991-10-31 | Professor of Computer Science (Mathematics and Computer Science)
Employment
Source: Self-asserted source
Domenico Cantone

Education and qualifications (2)

New York University: New York, NY, US

1983-09-15 to 1987-01 | Ph. D. (Graduate School of Arts and Science, Dept. of Computer Science)
Education
Source: Self-asserted source
Domenico Cantone

New York University: New York, NY, US

1983-09-15 to 1985 | Master Degree (Graduate School of Arts and Science - Dept. of Computer Science)
Education
Source: Self-asserted source
Domenico Cantone

Works (50 of 84)

Items per page:
Page 1 of 2

Onset and Today’s Perspectives of Multilevel Syllogistic

2024 | Book chapter
DOI: 10.1007/978-3-031-55248-9_2
Contributors: Domenico Cantone; Eugenio G. Omodeo
Source: check_circle
Crossref

Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator

ACM Transactions on Computational Logic
2024-01-31 | Journal article
DOI: 10.1145/3626823
Contributors: Domenico Cantone; Pietro Ursino
Source: check_circle
Crossref

Quantum String Matching Unfolded and Extended

2023 | Book chapter
DOI: 10.1007/978-3-031-38100-3_9
Contributors: Domenico Cantone; Simone Faro; Arianna Pavone
Source: check_circle
Crossref

Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages

Theoretical Computer Science
2023-04 | Journal article
DOI: 10.1016/j.tcs.2023.113786
Contributors: Domenico Cantone; Pietro Maugeri; Eugenio G. Omodeo
Source: check_circle
Crossref

Yet Another Proof Without Words of the Pythagorean Theorem

Mathematics Magazine
2020-08-07 | Journal article
DOI: 10.1080/0025570X.2020.1791531
Contributors: Domenico Cantone
Source: check_circle
Crossref

(m,n)-rationalizable choices

Journal of Mathematical Psychology
2016-08 | Journal article
DOI: 10.1016/j.jmp.2015.12.006
Contributors: Domenico Cantone; Alfio Giarlotta; Salvatore Greco; Stephen Watson
Source: check_circle
Crossref

Preface

Fundamenta Informaticae
2015 | Journal article
DOI: 10.3233/FI-2015-1251
EID:

2-s2.0-84941710466
Contributors: Cantone, D.; Asmundo, M.N.; Pettorossi, A.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A combined greedy-walk heuristic and simulated annealing approach for the closest string problem

Optimization Methods and Software
2014 | Journal article
DOI: 10.1080/10556788.2013.833616
EID:

2-s2.0-84894095482
Contributors: Pappalardo, E.; Cantone, D.; Pardalos, P.M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions

Theoretical Computer Science
2014 | Journal article
DOI: 10.1016/j.tcs.2014.03.021
EID:

2-s2.0-84927970897
Contributors: Cantone, D.; Longo, C.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A dual tableau-based decision procedure for a relational logic with the universal relation

CEUR Workshop Proceedings
2014 | Conference paper
EID:

2-s2.0-84925279502
Contributors: Cantone, D.; Nicolosi-Asmundo, M.; Orłowska, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A relational dual tableau decision procedure for multimodal and description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-07617-1_41
EID:

2-s2.0-84902491376
Contributors: Cantone, D.; Golińska-Pilarek, J.; Nicolosi-Asmundo, M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs

Journal of Discrete Algorithms
2014 | Journal article
DOI: 10.1016/j.jda.2013.03.005
EID:

2-s2.0-84891744285
Contributors: Cantone, D.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate

Information and Computation
2014 | Journal article
DOI: 10.1016/j.ic.2014.02.005
EID:

2-s2.0-84904669478
Contributors: Cantone, D.; Ursino, P.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Herbrand-satisfiability of a quantified set-theoretical fragment?

CEUR Workshop Proceedings
2014 | Conference paper
EID:

2-s2.0-84925252225
Contributors: Cantone, D.; Longo, C.; Asmundo, M.N.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Improved and self-tuned occurrence heuristics

Journal of Discrete Algorithms
2014 | Journal article
DOI: 10.1016/j.jda.2014.07.006
EID:

2-s2.0-84907600129
Contributors: Cantone, D.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Text searching allowing for inversions and translocations of factors

Discrete Applied Mathematics
2014 | Journal article
DOI: 10.1016/j.dam.2013.05.016
EID:

2-s2.0-84889660306
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Database systems in biology

Enterprise Business Modeling, Optimization Techniques, and Flexible Information Systems
2013 | Book
DOI: 10.4018/978-1-4666-3946-1.ch007
EID:

2-s2.0-84898096731
Contributors: Pappalardo, E.; Cantone, D.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Efficient string-matching allowing for non-overlapping inversions

Theoretical Computer Science
2013 | Journal article
DOI: 10.1016/j.tcs.2012.06.009
EID:

2-s2.0-84876409025
Contributors: Cantone, D.; Cristofaro, S.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Foreword

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84897613129
Contributors: Cantone, D.; Nicolosi-Asmundo, M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Further analysis of the remedian algorithm

Theoretical Computer Science
2013 | Journal article
DOI: 10.1016/j.tcs.2013.05.039
EID:

2-s2.0-84880216891
Contributors: Cantone, D.; Hofri, M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Improved and self-tuned occurrence heuristics

Proceedings of the Prague Stringology Conference 2013, PSC 2013
2013 | Conference paper
EID:

2-s2.0-84884637164
Contributors: Cantone, D.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic

Fundamenta Informaticae
2013 | Journal article
DOI: 10.3233/FI-2013-842
EID:

2-s2.0-84879509794
Contributors: Cantone, D.; Nicolosi-Asmundo, M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Representing kinship relations on the Semantic Web

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84923974571
Contributors: Cantone, D.; Gangemi, A.; Longo, C.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A compact representation of nondeterministic (suffix) automata for the bit-parallel approach

Information and Computation
2012 | Journal article
DOI: 10.1016/j.ic.2011.03.006
EID:

2-s2.0-84858079759
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A graphical representation of relational formulae with complementation

RAIRO - Theoretical Informatics and Applications
2012 | Journal article
DOI: 10.1051/ita/2012003
EID:

2-s2.0-84860379892
Contributors: Cantone, D.; Formisano, A.; Nicolosi-Asmundo, M.; Omodeo, E.G.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Adapting boyer-moore-like algorithms for searching huffman encoded texts

International Journal of Foundations of Computer Science
2012 | Journal article
DOI: 10.1142/S0129054112400163
EID:

2-s2.0-84868159003
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Decision procedures for elementary sublanguages of set theory. XVII. Commonly occurring decidable extensions of multi-level syllogistic

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
2012 | Book
DOI: 10.1007/978-1-4471-4282-9_5
EID:

2-s2.0-84929043859
Contributors: Cantone, D.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Dual tableau-based decision procedures for relational logics with restricted composition operator

Journal of Applied Non-Classical Logics
2012 | Journal article
DOI: 10.3166/JANCL.21.177-200
EID:

2-s2.0-84863827146
Contributors: Cantone, D.; Nicolosi-Asmundo, M.; Orłowska, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

On the bit-parallel simulation of the nondeterministic Aho-Corasick and suffix automata for a set of patterns

Journal of Discrete Algorithms
2012 | Journal article
DOI: 10.1016/j.jda.2011.02.001
EID:

2-s2.0-84857042908
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

On the elimination of quantifiers through descriptors in predicate logic

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84897606650
Contributors: Cantone, D.; Nicolosi-Asmundo, M.; Omodeo, E.G.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Pattern matching with swaps in practice

International Journal of Foundations of Computer Science
2012 | Journal article
DOI: 10.1142/S0129054112400151
EID:

2-s2.0-84868115219
Contributors: Campanelli, M.; Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Solvable (and unsolvable) cases of the decision problem for fragments of analysis

Rendiconti dell'Istituto di Matematica dell'Universita di Trieste
2012 | Journal article
EID:

2-s2.0-84874142942
Contributors: Cantone, D.; Omodeo, E.G.; Spartá, G.T.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A decidable quantified fragment of set theory involving ordered pairs with applications to description logics

Leibniz International Proceedings in Informatics, LIPIcs
2011 | Conference paper
DOI: 10.4230/LIPIcs.CSL.2011.129
EID:

2-s2.0-84880243027
Contributors: Cantone, D.; Longo, C.; Nicolosi-Asmundo, M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Efficient matching of biological sequences allowing for non-overlapping inversions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-21458-5_31
EID:

2-s2.0-79960087838
Contributors: Cantone, D.; Cristofaro, S.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic

CEUR Workshop Proceedings
2011 | Conference paper
EID:

2-s2.0-84897626430
Contributors: Cantone, D.; Nicolosi-Asmundo, M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A compact representation of nondeterministic (suffix) automata for the bit-parallel approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-13509-5_26
EID:

2-s2.0-79956309055
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A decision procedure for a two-sorted extension of multi-level syllogistic with the Cartesian product and some map constructs

CEUR Workshop Proceedings
2010 | Conference paper
EID:

2-s2.0-84897669174
Contributors: Cantone, D.; Longo, C.; Nicolosi-Asmundo, M.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A space-efficient implementation of the good-suffix heuristic

Proceedings of the Prague Stringology Conference 2010
2010 | Conference paper
EID:

2-s2.0-84869117902
Contributors: Cantone, D.; Cristofaro, S.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Approximate string matching allowing for inversions and translocations

Proceedings of the Prague Stringology Conference 2010
2010 | Conference paper
EID:

2-s2.0-79953760786
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Bit-(parallelism)2: Getting to the next level of parallelism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-13122-6_18
EID:

2-s2.0-79956320286
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Comparing description logics with multi-level syllogistics: The description logic DL(MLSS2,m ×)

SWAP 2010 - 6th Workshop on Semantic Web Applications and Perspectives
2010 | Conference paper
EID:

2-s2.0-84874240052
Contributors: Cantone, D.; Longo, C.; Pisasale, A.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Dual tableau-based decision procedures for some relational logics

CEUR Workshop Proceedings
2010 | Conference paper
EID:

2-s2.0-84897619796
Contributors: Cantone, D.; Nicolosi-Asmundo, M.; Orlowska, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

A new algorithm for efficient pattern matching with Swaps

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-10217-2_24
EID:

2-s2.0-78650598763
Contributors: Campanelli, M.; Cantone, D.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Adapting Boyer-Moore-like algorithms for searching Huffman encoded texts

Proceedings of the Prague Stringology Conference 2009
2009 | Conference paper
EID:

2-s2.0-84869134375
Contributors: Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

An efficient algorithm for approximate pattern matching with swaps

Proceedings of the Prague Stringology Conference 2009
2009 | Conference paper
EID:

2-s2.0-84868124447
Contributors: Campanelli, M.; Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Finite state models for the generation of large corpora of natural language texts

Frontiers in Artificial Intelligence and Applications
2009 | Book
DOI: 10.3233/978-1-58603-975-2-175
EID:

2-s2.0-72749118797
Contributors: Cantone, D.; Cristofaro, S.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

New efficient bit-parallel algorithms for the (δ, α)-matching problem with applications in music information retrieval

International Journal of Foundations of Computer Science
2009 | Journal article
DOI: 10.1142/S0129054109007054
EID:

2-s2.0-70749101246
Contributors: Cantone, D.; Cristofaro, S.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

Pattern matching with swaps for short patterns in linear time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-540-95891-8_25
EID:

2-s2.0-67650696601
Contributors: Cantone, D.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

New efficient bit-parallel algorithms for the δ-matching problem with α-bounded gaps in musical sequences

Proceedings of the Prague Stringology Conference 2008
2008 | Conference paper
EID:

2-s2.0-84868567919
Contributors: Cantone, D.; Cristofaro, S.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier

On some combinatorial problems concerning the harmonic structure of musical chord sequences

International Journal of Foundations of Computer Science
2008 | Journal article
DOI: 10.1142/S0129054108005565
EID:

2-s2.0-43949139274
Contributors: Cantone, D.; Cristofaro, S.; Faro, S.
Source: Self-asserted source
Domenico Cantone via Scopus - Elsevier
Items per page:
Page 1 of 2
How many people are using ORCID?