( en | de | ru )

 

Disambiguation of "Cantone, Domenico"

Author of the publication

copydeleteadd this publication to your clipboard
New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences.

, , and . Stringology, page 170184. Prague Stringology Club, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University in Prague, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Domenico Laurendi

Domenico Lupo

Domenico Castrigiano

Domenico Pavone

Domenico Tamburro

 

Other publications of authors with the same name

Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs., , and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 407-422. Springer, (1988)Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm., and . Electron. Notes Discret. Math., (2004)The order-preserving pattern matching problem in practice., , and . Discret. Appl. Math., (2020)Transitive Venn diagrams with applications to the decision problem in set theory., , and . APPIA-GULP-PRODE, page 167-182. (1999)A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions, and . GandALF, volume 96 of EPTCS, page 224-237. (2012)Dual tableau-based decision procedures for relational logics with restricted composition operator., , and . J. Appl. Non Class. Logics, 21 (2): 177-200 (2011)Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences., , and . ISMIR, page 460-463. (2005)The Automation of Syllogistic., , and . J. Autom. Reason., 6 (2): 173-187 (1990)A decidable theory involving addition of differentiable real functions., , , , and . Theor. Comput. Sci., 940 (Part): 124-148 (2023)Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator., , and . J. Comput. Syst. Sci., 34 (1): 1-18 (1987)