Gianluca Cincotti

11 papers C 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals.
CoRR
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2024 J jnl
Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates.
CoRR
Domenico Cantone, Gianluca Cincotti
2024 — conf
Some Decidability Issues Concerning C^n Real Functions.
CILC
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2023 J jnl
A decidable theory involving addition of differentiable real functions.
Theor. Comput. Sci.
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2021 — conf
A Decidable Theory Treating Addition of Differentiable Real Functions.
ICTCS
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2020 — conf
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.
CILC
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2006 J jnl
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates.
J. Symb. Comput.
Domenico Cantone, Gianluca Cincotti, Giovanni Gallo
2005 J jnl
An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces.
SIAM J. Optim.
Domenico Cantone, Gianluca Cincotti, Alfredo Ferro, Alfredo Pulvirenti
2002 J jnl
QuickHeapsort, an efficient mix of classical sorting algorithms.
Theor. Comput. Sci.
Domenico Cantone, Gianluca Cincotti
2000 C conf
An Efficient Algorithm for the Approximate Median Selection Problem.
CIAC
Sebastiano Battiato, Domenico Cantone, Dario Catalano, Gianluca Cincotti, Micha Hofri
2000 C conf
QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms.
CIAC
Domenico Cantone, Gianluca Cincotti