Finding descending sequences through ill-Founded linear Orders. - Jun Le Goh; Arno Pauly; Manlio Valenti (J. Symb. Log., 2021)

The Open and Clopen Ramsey theorems in the Weihrauch Lattice. - Alberto Marcone; Manlio Valenti (J. Symb. Log., 2021)

A journey through computability, topology and analysis. - Manlio Valenti (Bull. Symb. Log., 2022)

Effective aspects of Hausdorff and Fourier dimension. - Alberto Marcone; Manlio Valenti (Comput., 2022)

Minimal covers in the Weihrauch degrees. - Steffen Lempp; Joseph S. Miller; Arno Pauly; Mariya Ivanova Soskova; Manlio Valenti (CoRR, 2023)

Algebraic properties of the first-order part of a problem. - Giovanni Soldà; Manlio Valenti (Ann. Pure Appl. Log., 2023)

The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders. - Jun Le Goh; Arno Pauly; Manlio Valenti (CiE, 2024)

Represented Spaces of Represented Spaces. - Johanna Franklin; Eike Neumann; Arno Pauly; Cécilia Pradic; Manlio Valenti (CiE, 2025)

Computably Discrete Represented Spaces. - Eike Neumann; Arno Pauly; Cécilia Pradic; Manlio Valenti (CiE, 2025)

THE WEIHRAUCH LATTICE AT THE LEVEL OF $ boldsymbol { Pi }^1_1{-} mathsf{CA}_0$ : THE CANTOR-BENDIXSON THEOREM. - Vittorio Cipriani; Alberto Marcone; Manlio Valenti (J. Symb. Log., 2025)

Categorifying computable reducibilities. - Davide Trotta; Manlio Valenti; Valeria de Paiva (Log. Methods Comput. Sci., 2025)