Gianluca Cincotti
According to our database1,
Gianluca Cincotti
authored at least 9 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
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 OtherLinks
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
Proceedings of the 39th Italian Conference on Computational Logic, 2024
2023
Theor. Comput. Sci., 2023
2021
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
SIAM J. Optim., 2005
2002
Theor. Comput. Sci., 2002
2000
Proceedings of the Algorithms and Complexity, 4th Italian Conference, 2000