Marcello Mamino

27 papers B 2Misc 1Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Orthogonal Decomposition of Definable Groups.
J. Symb. Log.
Alessandro Berarducci, Pantelis E. Eleftheriou, Marcello Mamino
2024 J jnl
Vector spaces with a union of independent subspaces.
Arch. Math. Log.
Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
2022 J jnl
Asymptotic Analysis of Skolem's exponential Functions.
J. Symb. Log.
Alessandro Berarducci, Marcello Mamino
2022 J jnl
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation.
ACM Trans. Comput. Log.
Manuel Bodirsky, Marcello Mamino, Caterina Viola
2021 J jnl
Fundamental group in o-minimal structures with definable Skolem functions.
Ann. Pure Appl. Log.
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
2020 J jnl
Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables.
CoRR
Manuel Bodirsky, Marcello Mamino, Caterina Viola
2019 J jnl
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation.
CoRR
Manuel Bodirsky, Marcello Mamino, Caterina Viola
2018 J jnl
A polynomial-time algorithm for median-closed semilinear constraints.
CoRR
Manuel Bodirsky, Marcello Mamino
2018 B conf
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains.
CSL
Manuel Bodirsky, Marcello Mamino, Caterina Viola
2018 J jnl
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains.
CoRR
Manuel Bodirsky, Marcello Mamino, Caterina Viola
2018 B conf
The Complexity of Disjunctive Linear Diophantine Constraints.
MFCS
Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet
2018 J jnl
The complexity of disjunctive linear Diophantine constraints.
CoRR
Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet
2018 J jnl
Tropically Convex Constraint Satisfaction.
Theory Comput. Syst.
Manuel Bodirsky, Marcello Mamino
2017 — ch.
Constraint Satisfaction Problems over Numeric Domains.
The Constraint Satisfaction Problem
Manuel Bodirsky, Marcello Mamino
2017 J jnl
Strategy recovery for stochastic mean payoff games.
Theor. Comput. Sci.
Marcello Mamino
2016 Misc conf
Max-Closed Semilinear Constraint Satisfaction.
CSR
Manuel Bodirsky, Marcello Mamino
2016 — conf
Square Formation by Asynchronous Oblivious Robots.
CCCG
Marcello Mamino, Giovanni Viglietta
2016 J jnl
Square Formation by Asynchronous Oblivious Robots.
CoRR
Marcello Mamino, Giovanni Viglietta
2015 J jnl
Max-Closed Semilinear Constraint Satisfaction.
CoRR
Manuel Bodirsky, Marcello Mamino
2015 J jnl
Strategy Recovery for Stochastic Mean Payoff Games.
CoRR
Marcello Mamino
2014 J jnl
On the Computing Power of +, -, and ˟.
CoRR
Marcello Mamino
2014 — conf
On the computing power of +, -, and ×.
CSL-LICS
Marcello Mamino
2013 J jnl
On the computational complexity of a game of cops and robbers.
Theor. Comput. Sci.
Marcello Mamino
2012 J jnl
On the computational complexity of a game of cops and robbers
CoRR
Marcello Mamino
2011 J jnl
On the homotopy type of definable groups in an o-minimal structure.
J. Lond. Math. Soc.
Alessandro Berarducci, Marcello Mamino
2011 J jnl
Splitting definably compact groups in o-minimal structures.
J. Symb. Log.
Marcello Mamino
2008 J jnl
Arithmetic of Dedekind cuts of ordered Abelian groups.
Ann. Pure Appl. Log.
Antongiulio Fornasiero, Marcello Mamino