Gianluca Cincotti

dblp:96/2255 · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
1since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 1 since 2021
YearPublicationVenuePosition
2023 A decidable theory involving addition of differentiable real functions
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
Theor. Comput. Sci.3
2006 Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates
Domenico Cantone, Gianluca Cincotti, Giovanni Gallo
J. Symb. Comput.2
2002 QuickHeapsort, an efficient mix of classical sorting algorithms
Domenico Cantone, Gianluca Cincotti
Theor. Comput. Sci.2
2000 An Efficient Algorithm for the Approximate Median Selection Problem
Sebastiano Battiato, Domenico Cantone, Dario Catalano, Gianluca Cincotti, Micha Hofri
CIAC4
2000 QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms
Domenico Cantone, Gianluca Cincotti
CIAC2