Arithmetic of Dedekind cuts of ordered Abelian groups. - Antongiulio Fornasiero; Marcello Mamino (Ann. Pure Appl. Log., 2008)

On the homotopy type of definable groups in an o-minimal structure. - Alessandro Berarducci; Marcello Mamino (J. Lond. Math. Soc., 2011)

Splitting definably compact groups in o-minimal structures. - Marcello Mamino (J. Symb. Log., 2011)

On the computational complexity of a game of cops and robbers. - Marcello Mamino (Theor. Comput. Sci., 2013)

On the computing power of +, -, and ×. - Marcello Mamino (CSL-LICS, 2014)

Square Formation by Asynchronous Oblivious Robots. - Marcello Mamino; Giovanni Viglietta (CCCG, 2016)

Max-Closed Semilinear Constraint Satisfaction. - Manuel Bodirsky; Marcello Mamino (CSR, 2016)

Constraint Satisfaction Problems over Numeric Domains. - Manuel Bodirsky; Marcello Mamino (The Constraint Satisfaction Problem, 2017)

Strategy recovery for stochastic mean payoff games. - Marcello Mamino (Theor. Comput. Sci., 2017)

Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. - Manuel Bodirsky; Marcello Mamino; Caterina Viola (CSL, 2018)

The Complexity of Disjunctive Linear Diophantine Constraints. - Manuel Bodirsky; Barnaby Martin; Marcello Mamino; Antoine Mottet (MFCS, 2018)

A polynomial-time algorithm for median-closed semilinear constraints. - Manuel Bodirsky; Marcello Mamino (CoRR, 2018)

Tropically Convex Constraint Satisfaction. - Manuel Bodirsky; Marcello Mamino (Theory Comput. Syst., 2018)

Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables. - Manuel Bodirsky; Marcello Mamino; Caterina Viola (CoRR, 2020)

Fundamental group in o-minimal structures with definable Skolem functions. - Bruno Dinis; Mário J. Edmundo; Marcello Mamino (Ann. Pure Appl. Log., 2021)

Asymptotic Analysis of Skolem's exponential Functions. - Alessandro Berarducci; Marcello Mamino (J. Symb. Log., 2022)

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation. - Manuel Bodirsky; Marcello Mamino; Caterina Viola (ACM Trans. Comput. Log., 2022)

Orthogonal Decomposition of Definable Groups. - Alessandro Berarducci; Pantelis E. Eleftheriou; Marcello Mamino (J. Symb. Log., 2024)

Vector spaces with a union of independent subspaces. - Alessandro Berarducci; Marcello Mamino; Rosario Mennuni (Arch. Math. Log., 2024)