Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. - Alessio Mansutti; Marino Miculan; Marco Peressotti (DAIS, 2014)

Distributed execution of bigraphical reactive systems. - Alessio Mansutti; Marino Miculan; Marco Peressotti (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Loose Graph Simulations. - Alessio Mansutti; Marino Miculan; Marco Peressotti (STAF Workshops, 2017)

The Effects of Adding Reachability Predicates in Propositional Separation Logic. - Stéphane Demri; Étienne Lozes; Alessio Mansutti (FoSSaCS, 2018)

Extending Propositional Separation Logic for Robustness Properties. - Alessio Mansutti (FSTTCS, 2018)

Deciding Hedged Bisimilarity. - Alessio Mansutti; Marino Miculan (ICTCS, 2018)

Axiomatising Logics with Separating Conjunction and Modalities. - Stéphane Demri; Raul Fervari; Alessio Mansutti (JELIA, 2019)

Internal Calculi for Separation Logics. - Stéphane Demri; Étienne Lozes; Alessio Mansutti (CSL, 2020)

A Framework for Reasoning about Dynamic Axioms in Description Logics. - Bartosz Bednarczyk; Stéphane Demri; Alessio Mansutti (IJCAI, 2020)

Modal Logics with Composition on Finite Forests: Expressivity and Complexity. - Bartosz Bednarczyk; Stéphane Demri; Raul Fervari; Alessio Mansutti (LICS, 2020)

Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material). - Bartosz Bednarczyk; Stéphane Demri; Raul Fervari; Alessio Mansutti (CoRR, 2020)

Logiques de séparation : complexité, expressivité, calculs. (Reasoning with separation logics : complexity, expressive power, proof systems). - Alessio Mansutti (2020)

On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes. - Christoph Haase; Alessio Mansutti (MFCS, 2021)

Presburger arithmetic with threshold counting quantifiers is easy. - Dmitry Chistikov 001; Christoph Haase; Alessio Mansutti (CoRR, 2021)

Notes on kAExp(pol) problems for deterministic machines. - Alessio Mansutti (CoRR, 2021)

A Complete Axiomatisation for Quantifier-Free Separation Logic. - Stéphane Demri; Étienne Lozes; Alessio Mansutti (Log. Methods Comput. Sci., 2021)

Internal proof calculi for modal logics with separating conjunction. - Stéphane Demri; Raul Fervari; Alessio Mansutti (J. Log. Comput., 2021)

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic. - Stéphane Demri; Étienne Lozes; Alessio Mansutti (ACM Trans. Comput. Log., 2021)

Quantifier elimination for counting extensions of Presburger arithmetic. - Dmitry Chistikov 001; Christoph Haase; Alessio Mansutti (FoSSaCS, 2022)

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. - Raul Fervari; Alessio Mansutti (FoSSaCS, 2022)

Geometric decision procedures and the VC dimension of linear arithmetic theories. - Dmitry Chistikov 001; Christoph Haase; Alessio Mansutti (LICS, 2022)

Higher-Order Quantified Boolean Satisfiability. - Dmitry Chistikov 001; Christoph Haase; Zahra Hadizadeh; Alessio Mansutti (MFCS, 2022)

An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning. - Alessio Mansutti (Inf. Comput., 2022)

The Complexity of Presburger Arithmetic with Power or Powers. - Michael Benedikt; Dmitry Chistikov 001; Alessio Mansutti (ICALP, 2023)

On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract). - Christoph Haase; Alessio Mansutti; Amaury Pouly (MFCS, 2023)

On Composing Finite Forests with Modal Logics. - Bartosz Bednarczyk; Stéphane Demri; Raul Fervari; Alessio Mansutti (ACM Trans. Comput. Log., 2023)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. - Luca Geatti; Alessio Mansutti; Angelo Montanari (FoSSaCS (2), 2024)

Integer Linear-Exponential Programming in NP by Quantifier Elimination. - Dmitry Chistikov 001; Alessio Mansutti; Mikhail R. Starchak (ICALP, 2024)

Integer Programming with GCD Constraints. - Rémy Défossez; Christoph Haase; Alessio Mansutti; Guillermo A. Pérez 001 (SODA, 2024)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). - Luca Geatti; Alessio Mansutti; Angelo Montanari (CoRR, 2024)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories. - Christoph Haase; Alessio Mansutti; Amaury Pouly (CoRR, 2024)

One-Parametric Presburger Arithmetic Has Quantifier Elimination. - Alessio Mansutti; Mikhail R. Starchak (MFCS, 2025)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number. - Jorge Gallego-Hernández; Alessio Mansutti (STACS, 2025)