Hindman's theorem for sums along the full binary tree, Σ 02-induction and the Pigeonhole principle for trees. - Lorenzo Carlucci; Daniele Tavernelli (Arch. Math. Log., 2022)

Linear Time Reconciliation With Bounded Transfers of Genes. - Daniele Tavernelli; Tiziana Calamoneri; Paola Vocca (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

Modeling and Approximating the Visit of a Set of Sites With a Fleet of UAVs. - Tiziana Calamoneri; Daniele Tavernelli (Comput. J., 2023)