Marcello Mamino

According to our database, Marcello Mamino authored at least 19 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Vector spaces with a union of independent subspaces.

Alessandro Berarducci, Marcello Mamino, Rosario Mennuni

Arch. Math. Log., May, 2024

Orthogonal Decomposition of Definable Groups.

Alessandro Berarducci, Pantelis E. Eleftheriou, Marcello Mamino

J. Symb. Log., 2024

2022

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation.

Manuel Bodirsky, Marcello Mamino, Caterina Viola

ACM Trans. Comput. Log., 2022

Asymptotic Analysis of Skolem's exponential Functions.

Alessandro Berarducci, Marcello Mamino

J. Symb. Log., 2022

2021

Fundamental group in o-minimal structures with definable Skolem functions.

Bruno Dinis, Mário J. Edmundo, Marcello Mamino

Ann. Pure Appl. Log., 2021

2020

Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables.

Manuel Bodirsky, Marcello Mamino, Caterina Viola

CoRR, 2020

2018

Tropically Convex Constraint Satisfaction.

Manuel Bodirsky, Marcello Mamino

Theory Comput. Syst., 2018

A polynomial-time algorithm for median-closed semilinear constraints.

Manuel Bodirsky, Marcello Mamino

CoRR, 2018

The Complexity of Disjunctive Linear Diophantine Constraints.

Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains.

Manuel Bodirsky, Marcello Mamino, Caterina Viola

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Strategy recovery for stochastic mean payoff games.

Marcello Mamino

Theor. Comput. Sci., 2017

Constraint Satisfaction Problems over Numeric Domains.

Manuel Bodirsky, Marcello Mamino

Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 2017

2016

Max-Closed Semilinear Constraint Satisfaction.

Manuel Bodirsky, Marcello Mamino

Proceedings of the Computer Science - Theory and Applications, 2016

Square Formation by Asynchronous Oblivious Robots.

Marcello Mamino, Giovanni Viglietta

Proceedings of the 28th Canadian Conference on Computational Geometry, 2016

2014

On the computing power of +, -, and ×.

Marcello Mamino

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

On the computational complexity of a game of cops and robbers.

Marcello Mamino

Theor. Comput. Sci., 2013

2011

Splitting definably compact groups in o-minimal structures.

Marcello Mamino

J. Symb. Log., 2011

On the homotopy type of definable groups in an o-minimal structure.

Alessandro Berarducci, Marcello Mamino

J. Lond. Math. Soc., 2011

2008

Arithmetic of Dedekind cuts of ordered Abelian groups.

Antongiulio Fornasiero, Marcello Mamino

Ann. Pure Appl. Log., 2008