Gianluca Cincotti

According to our database, Gianluca Cincotti authored at least 7 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., 2023

2021

A Decidable Theory Treating Addition of Differentiable Real Functions.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 35th Italian Conference on Computational Logic, 2020

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., 2006

2005

An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces.

Domenico Cantone, Gianluca Cincotti, Alfredo Ferro, Alfredo Pulvirenti

SIAM J. Optim., 2005

2002

QuickHeapsort, an efficient mix of classical sorting algorithms.

Domenico Cantone, Gianluca Cincotti

Theor. Comput. Sci., 2002

2000

An Efficient Algorithm for the Approximate Median Selection Problem.

Sebastiano Battiato, Domenico Cantone, Dario Catalano, Gianluca Cincotti, Micha Hofri

Proceedings of the Algorithms and Complexity, 4th Italian Conference, 2000