An Efficient Algorithm for the Approximate Median Selection Problem. - Sebastiano Battiato; Domenico Cantone; Dario Catalano; Gianluca Cincotti; Micha Hofri (CIAC, 2000)

QuickHeapsort, an efficient mix of classical sorting algorithms. - Domenico Cantone; Gianluca Cincotti (Theor. Comput. Sci., 2002)

An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces. - Domenico Cantone; Gianluca Cincotti; Alfredo Ferro; Alfredo Pulvirenti (SIAM J. Optim., 2005)

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)

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à (CILC, 2020)

A Decidable Theory Treating Addition of Differentiable Real Functions. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (ICTCS, 2021)

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)

Some Decidability Issues Concerning C^n Real Functions. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (CILC, 2024)

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates. - Domenico Cantone; Gianluca Cincotti (CoRR, 2024)

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (CoRR, 2025)