Gianluca Cincotti

Most-cited papers

1. An Efficient Algorithm for the Approximate Median Selection Problem

   S. Battiato, Domenico Cantone, D. Catalano, Gianluca Cincotti +1 more

   2000International/Italian Conference on Algorithms and Complexity37 citations Open access

   Semantic Scholar

   Save

2. QuickHeapsort, an efficient mix of classical sorting algorithms

   Domenico Cantone, Gianluca Cincotti

   2000Theoretical Computer Science23 citations Open access

   Semantic Scholar

   Save

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

   Domenico Cantone, Gianluca Cincotti, A. Ferro, A. Pulvirenti

   2005SIAM Journal on Optimization14 citations

   Semantic Scholar

   Save

4. Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates

   Domenico Cantone, Gianluca Cincotti, G. Gallo

   2006Journal of symbolic computation11 citations Open access

   Semantic Scholar

   Save

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

   Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, E. Omodeo +1 more

   2020Italian Conference on Computational Logic3 citations

   Semantic Scholar

   Save

6. An Efficient Approximate Algorithm for the k-th Selection Problem

   Domenico Cantone, Gianluca Cincotti, M. Hofri

   20062 citations

   Semantic Scholar

   Save

7. Some Decidability Issues Concerning C^n Real Functions

   Gabriele Buriola, D. Cantone, Gianluca Cincotti, E. Omodeo +1 more

   2024Italian Conference on Computational Logic1 citations

   Semantic Scholar

   Save

8. Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates

   Domenico Cantone, Gianluca Cincotti

   2024arXiv.org1 citations

   Semantic Scholar

   Save

9. A decidable theory involving addition of differentiable real functions

   Gabriele Buriola, D. Cantone, Gianluca Cincotti, E. Omodeo +1 more

   2022Theoretical Computer Science1 citations Open access

   Semantic Scholar

   Save

10. A Decidable Theory Treating Addition of Differentiable Real Functions

    Gabriele Buriola, D. Cantone, Gianluca Cincotti, E. Omodeo +1 more

    2021Italian Conference on Theoretical Computer Science1 citations

    Semantic Scholar

    Save

11. Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals

    Gabriele Buriola, D. Cantone, Gianluca Cincotti, E. Omodeo +1 more

    2025arXiv.org0 citations

    Semantic Scholar

    Save