2006 |
4 | EE | 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): 763-789 (2006) |
2002 |
3 | EE | Domenico Cantone,
Gianluca Cincotti:
QuickHeapsort, an efficient mix of classical sorting algorithms.
Theor. Comput. Sci. 285(1): 25-42 (2002) |
2000 |
2 | EE | Domenico Cantone,
Gianluca Cincotti:
QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms.
CIAC 2000: 150-162 |
1 | EE | Sebastiano Battiato,
Domenico Cantone,
Dario Catalano,
Gianluca Cincotti,
Micha Hofri:
An Efficient Algorithm for the Approximate Median Selection Problem.
CIAC 2000: 226-238 |