Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Cantone, Domenico"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
Domenico Cantone
,
Cristiano Longo
Theoretical Computer Science
560, Part 3
, 2014, pp. 307-325
Efficient string-matching allowing for non-overlapping inversions
Domenico Cantone
,
Salvatore Cristofaro
,
Simone Faro
Theoretical Computer Science
483
, 2013, pp. 85-95
Further analysis of the remedian algorithm
Domenico Cantone
,
Micha Hofri
Theoretical Computer Science
495
, 2013, pp. 1-16
Pattern matching with swaps in practice
Matteo Campanelli
,
Domenico Cantone
,
Simone Faro
,
Emanuele Giaquinta
International Journal of Foundations of Computer Science
23
(2), 2012, pp. 323-342
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach
Domenico Cantone
,
Simone Faro
,
Emanuele Giaquinta
Information and Computation
213
, 2012, pp. 3-12
Adapting Boyer-Moore-like algorithms for searching Huffman encoded texts
Domenico Cantone
,
Simone Faro
,
Emanuele Giaquinta
International Journal of Foundations of Computer Science
23
(2), 2012, pp. 343-356
Efficient matching of biological sequences allowing for non-overlapping inversions
Domenico Cantone
,
Salvatore Cristofaro
,
Simone Faro
Lecture Notes in Computer Science
6661
, 2011, pp. 364-375
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach
Domenico Cantone
,
Simone Faro
,
Emanuele Giaquinta
Lecture Notes in Computer Science
6129
, 2010, pp. 288-298
New efficient bit-parallel algorithms for the
(\delta, \alpha)
-matching problem with applications in music information retrieval
Domenico Cantone
,
Salvatore Cristofaro
,
Simone Faro
International Journal of Foundations of Computer Science
20
(6), 2009, pp. 1087-1108
On some combinatorial problems concerning the harmonic structure of musical chord sequences
Domenico Cantone
,
Salvatore Cristofaro
,
Simone Faro
International Journal of Foundations of Computer Science
19
(1), 2008, pp. 103-124
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates
Domenico Cantone
,
Gianluca Cincotti
,
Giovanni Gallo
Journal Symbolic Computation
41
(7), 2006, pp. 763-789
A space efficient bit-parallel algorithm for the multiple string matching problem
Domenico Cantone
,
Simone Faro
International Journal of Foundations of Computer Science
17
(6), 2006, pp. 1235-1251
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators
Domenico Cantone
,
Pietro Ursino
,
Eugenio G. Omodeo
Information and Computation
172
(2), 2002, pp. 165-201
An efficient algorithm for the approximate median selection problem
Sebastiano Battiato
,
Domenico Cantone
,
Dario Catalano
,
Gianluca Cincotti
,
Micha Hofri
Lecture Notes in Computer Science
1767
, 2000, pp. 226-238
QuickHeapsort, an efficient mix of classical sorting algorithms
Domenico Cantone
,
Gianluca Cincotti
Lecture Notes in Computer Science
1767
, 2000, pp. 150-162
Decision procedures for stratified set-theoretic syllogistics
Domenico Cantone
,
Vincenzo Cutello
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC'93 (Kiev, Ukraine, July 6-8, 1993)
, 1993, pp. 105-110
A decidable fragment of the elementary theory of relations and some applications
Domenico Cantone
,
Vincenzo Cutello
Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, ISSAC'90 (Tokyo, Japan, August 20-24, 1990)
, 1990, pp. 24-29
The automation of syllogistic - I. Syllogistic normal forms
Domenico Cantone
,
Susanna Ghelfo
,
Eugenio Omodeo
Journal Symbolic Computation
6
(1), 1988, pp. 83-98