Alessio Mansutti

According to our database, Alessio Mansutti authored at least 31 papers between 2014 and 2024.

Collaborative distances:

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

2024

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories.

Christoph Haase, Alessio Mansutti, Amaury Pouly

CoRR, 2024

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version).

Luca Geatti, Alessio Mansutti, Angelo Montanari

CoRR, 2024

Integer Programming with GCD Constraints.

Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez

Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024

Integer Linear-Exponential Programming in NP by Quantifier Elimination.

Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems.

Luca Geatti, Alessio Mansutti, Angelo Montanari

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

On Composing Finite Forests with Modal Logics.

Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti

ACM Trans. Comput. Log., April, 2023

On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract).

Christoph Haase, Alessio Mansutti, Amaury Pouly

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

The Complexity of Presburger Arithmetic with Power or Powers.

Michael Benedikt, Dmitry Chistikov, Alessio Mansutti

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning.

Alessio Mansutti

Inf. Comput., 2022

Higher-Order Quantified Boolean Satisfiability.

Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Geometric decision procedures and the VC dimension of linear arithmetic theories.

Dmitry Chistikov, Christoph Haase, Alessio Mansutti

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy.

Raul Fervari, Alessio Mansutti

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Quantifier elimination for counting extensions of Presburger arithmetic.

Dmitry Chistikov, Christoph Haase, Alessio Mansutti

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

ACM Trans. Comput. Log., 2021

Internal proof calculi for modal logics with separating conjunction.

Stéphane Demri, Raul Fervari, Alessio Mansutti

J. Log. Comput., 2021

A Complete Axiomatisation for Quantifier-Free Separation Logic.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

Log. Methods Comput. Sci., 2021

Notes on kAExp(pol) problems for deterministic machines.

Alessio Mansutti

CoRR, 2021

Presburger arithmetic with threshold counting quantifiers is easy.

Dmitry Chistikov, Christoph Haase, Alessio Mansutti

CoRR, 2021

On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes.

Christoph Haase, Alessio Mansutti

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

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

Alessio Mansutti

PhD thesis, 2020

Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material).

Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti

CoRR, 2020

Modal Logics with Composition on Finite Forests: Expressivity and Complexity.

Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

A Framework for Reasoning about Dynamic Axioms in Description Logics.

Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Internal Calculi for Separation Logics.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Axiomatising Logics with Separating Conjunction and Modalities.

Stéphane Demri, Raul Fervari, Alessio Mansutti

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Deciding Hedged Bisimilarity.

Alessio Mansutti, Marino Miculan

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Extending Propositional Separation Logic for Robustness Properties.

Alessio Mansutti

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

The Effects of Adding Reachability Predicates in Propositional Separation Logic.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Loose Graph Simulations.

Alessio Mansutti, Marino Miculan, Marco Peressotti

Proceedings of the Software Technologies: Applications and Foundations, 2017

2014

Distributed execution of bigraphical reactive systems.

Alessio Mansutti, Marino Miculan, Marco Peressotti

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems.

Alessio Mansutti, Marino Miculan, Marco Peressotti

Proceedings of the Distributed Applications and Interoperable Systems, 2014