CINCOTTI, Gianluca
CINCOTTI, Gianluca
MATEMATICA E INFORMATICA
A Decidable Theory Involving Addition of Differentiable Real Functions
2023-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
A decidable theory of differentiable functions with convexities and concavities on real intervals
2020-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory treating addition of differentiable real functions
2021-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
An Efficient Algorithm for the Approximate Median Selection Problem
file da validare2000-01-01 Battiato, Sebastiano; Cantone, Domenico; Catalano, Dario; Cincotti, Gianluca; Hofri, M.
An efficient approximate algorithm for the 1-median problem in metric spaces
2005-01-01 Cantone, Domenico; Cincotti, Gianluca; Ferro, Alfredo; Pulvirenti, Alfredo
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates
2006-01-01 Cantone, Domenico; Cincotti, Gianluca; Gallo, Giovanni
Decision algorithms for some fragments of real analysis (Short abstract)
file da validare2010-01-01 Cantone, Domenico; Cincotti, G; Spartà, G. T.
QuickHeapsort: an efficient mix of classical sorting algorithms
file da validare2000-01-01 Cantone, Domenico; Cincotti, Gianluca
QuickHeapsort: an efficient mix of classical sorting algorithms
file da validare2002-01-01 Cantone, Domenico; Cincotti, Gianluca
The decision problem in graph theory with reachability related constructs
file da validare2000-01-01 Cantone, Domenico; Cincotti, Gianluca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Decidable Theory Involving Addition of Differentiable Real Functions | 1-gen-2023 | Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano | |
A decidable theory of differentiable functions with convexities and concavities on real intervals | 1-gen-2020 | Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T. | |
A decidable theory treating addition of differentiable real functions | 1-gen-2021 | Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano | |
An Efficient Algorithm for the Approximate Median Selection Problem | 1-gen-2000 | Battiato, Sebastiano; Cantone, Domenico; Catalano, Dario; Cincotti, Gianluca; Hofri, M. | file da validare |
An efficient approximate algorithm for the 1-median problem in metric spaces | 1-gen-2005 | Cantone, Domenico; Cincotti, Gianluca; Ferro, Alfredo; Pulvirenti, Alfredo | |
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates | 1-gen-2006 | Cantone, Domenico; Cincotti, Gianluca; Gallo, Giovanni | |
Decision algorithms for some fragments of real analysis (Short abstract) | 1-gen-2010 | Cantone, Domenico; Cincotti, G; Spartà, G. T. | file da validare |
QuickHeapsort: an efficient mix of classical sorting algorithms | 1-gen-2000 | Cantone, Domenico; Cincotti, Gianluca | file da validare |
QuickHeapsort: an efficient mix of classical sorting algorithms | 1-gen-2002 | Cantone, Domenico; Cincotti, Gianluca | file da validare |
The decision problem in graph theory with reachability related constructs | 1-gen-2000 | Cantone, Domenico; Cincotti, Gianluca | file da validare |