Gianluca Cincotti

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 4

Top Topics

Theoretical Foundation

Top Venues

Theor. Comput. Sci.

Publications

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