S. Naldi:
Nonnegative polynomials and their Carathéodory number
Discrete Comput Geom Vol. 51, p. 559568, 2014

D. Henrion, S. Naldi, M. Safey El Din:
Real root finding for rank defects in linear Hankel matrices
ISSAC '15: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation p. 221-228, 2015

D. Henrion, S. Naldi, M.  Safey El Din:
Exact algorithms for linear matrix inequalities
SIAM J. Optim. Vol. 26, N. 4, p. 25122539, 2015

D. Henrion, S. Naldi, M. Safey El Din:
Real root finding for determinants of linear matrices
J. Symb. Comput. Vol. 74, p. 205-238, 2016

S. Naldi:
Solving rank-constrained semidefinite programs in exact arithmetic
J. Symb. Comput. Vol. 85, p. 206-223, 2016

D. Henrion, S. Naldi, M. Safey El Din:
Exact algorithms for semidefinite programs with degenerate feasible set
ISSAC '18: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation 2018

S. Naldi, D. Plaumann:
Symbolic computation in hyperbolic programming
J. Algebra Appl. Vol. 17, N. 10, p. 1850192, 2018

D. Henrion, S. Naldi, M. Safey El Din:
Real root finding for low rank linear matrices
Appl. Algebr. Eng. Comm. Vol. 31, p. 101-133, 2019

D. Henrion, S. Naldi, M. Safey El Din:
SPECTRA - a Maple library for solving linear matrix inequalities in exact  arithmetic
Optim. Method. Softw. Vol. 34, N. 1, p. 62-78, 2019

M. Kummer, S. Naldi, D. Plaumann:
Spectrahedral representations of plane hyperbolic curves
Pac. J. Math. Vol. 1, p. 243263, 2019

F. Arnault, Don Jean Baptiste Anoman, S. Naldi:
Quantum Random Number Generator based on Violations of the Free CHSH-3
  Inequality
(preprint) 2020

S. Naldi, V. Neiger:
A divide-and-conquer algorithm for computing Gröbner bases of syzygies  in finite dimension
ISSAC 20: Proceedings of the 2020 ACM International Symposium on Symbolic and Algebraic Computation Vol. 1, p. 380--387, 2020

S. Naldi, R. Sinn:
Conic programming: infeasibility certificates and projective geometry
J. Pure Appl. Algebra Vol. 225, N. 7, 2021

M. Korda, J. B. Lasserre, A. Lazarev, V. Magron, S. Naldi:
Urysohn in action: separating semialgebraic sets by polynomials
(preprint) 2022

D. Henrion, S. Naldi, M. Safey El Din:
Algebraic certificates for the truncated moment problem
(preprint) 2023

A. Conca, S. Naldi, G. Ottaviani, B. Sturmfels:
Taylor Polynomials of Rational Functions
Acta Mathematica Vietnamica (Accepted Paper) 2023