Certifying Zeros of Polynomial Systems Using Interval Arithmetic. - Paul Breiding; Kemal Rose; Sascha Timme (ACM Trans. Math. Softw., 2023)

Algebraic optimization of sequential decision problems. - Mareike Dressler; Marina Garrote-López; Guido Montúfar; Johannes Müller; Kemal Rose (J. Symb. Comput., 2024)

Computing positive tropical varieties and lower bounds on the number of positive roots. - Kemal Rose; Máté L. Telek (J. Symb. Comput., 2026)