Gianluca Cincotti

According to our database1, Gianluca Cincotti authored at least 9 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Some Decidability Issues Concerning C^n Real Functions.
Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023
A decidable theory involving addition of differentiable real functions.
Theor. Comput. Sci., 2023

2021
A Decidable Theory Treating Addition of Differentiable Real Functions.
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.
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.
J. Symb. Comput., 2006

2005
An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces.
SIAM J. Optim., 2005

2002
QuickHeapsort, an efficient mix of classical sorting algorithms.
Theor. Comput. Sci., 2002

2000
An Efficient Algorithm for the Approximate Median Selection Problem.
Proceedings of the Algorithms and Complexity, 4th Italian Conference, 2000


  Loading...