On deciding linear arithmetic constraints over -adic integers for all primes by Haase, C, Mansutti, A

Modal logics and local quantifiers: A zoo in the elementary hierarchy by Fervari, R, Mansutti, A

A complete axiomisation for quantifier-free separation logic by Demri, S, Lozes, E, Mansutti, A

Internal proof calculi for modal logics with separating conjunction by Demri, S, Fervari, R, Mansutti, A

The effects of adding reachability predicates in quantifier-free separation logic by Demri, S, Lozes, É, Mansutti, A

Quantifier elimination for counting extensions of Presburger arithmetic by Chistikov, D, Haase, C, Mansutti, A

The complexity of Presburger arithmetic with power or powers by Benedikt, M, Chistikov, D, Mansutti, A

Geometric decision procedures and the VC dimension of linear arithmetic theories by Chistikov, D, Haase, C, Mansutti, A

Higher-order quantified boolean satisfiability by Chistikov, D, Haase, C, Hadizadeh, Z, Mansutti, A