Concepedia

Domenico Cantone

DC

Statistics

Publications

24

Citations

480

H-Index

15

Active since

1985

Affiliations

University of Catania(Current)

Courant Institute of Mathematical Sciences

New York University

University of L'Aquila

Domenico Cantone is an author at University of Catania specializing in computer science, computing, and mathematics.

ORCID

Publications per year

1985–2019

24

Publications

24

Antipole tree indexing to support range search and k-nearest neighbor search in metric spaces

Domenico Cantone, Alfredo Ferro, Alfredo Pulvirenti et al. · IEEE Transactions on Knowledge and Data Engineering · 2005 · 60 citations

, , +12

Decision procedures for elementary sublanguages of set theory

Domenico Cantone, Vincenzo Cutello · Journal of Automated Reasoning · 1990 · 44 citations

, , +12

The automation of syllogistic

Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti · Journal of Automated Reasoning · 1990 · 36 citations · Full text

, , +2

Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators

Domenico Cantone · Journal of Automated Reasoning · 1991 · 25 citations

, , +12

Efficient string-matching allowing for non-overlapping inversions

Domenico Cantone, Salvatore Cristofaro, Simone Faro · Theoretical Computer Science · 2012 · 24 citations · Full text

, , +6

1–5 of 24