Alessio Mansutti

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 38

Top Topics

Decision Procedures

Presburger Arithmetic

Integer Programming

Top Venues

Publications

Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
Integer Linear-Exponential Programming in NP by Quantifier Elimination. ICALP (2024)
Luca Geatti, Alessio Mansutti, Angelo Montanari
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR (2024)
Luca Geatti, Alessio Mansutti, Angelo Montanari
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) (2024)
Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez
Integer Programming with GCD Constraints. SODA (2024)
Christoph Haase, Alessio Mansutti, Amaury Pouly
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories. CoRR (2024)
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
Integer Linear-Exponential Programming in NP by Quantifier Elimination. CoRR (2024)
Rémy Defossez, Christoph Haase, Alessio Mansutti, Guillermo A. Perez
Integer Programming with GCD Constraints. CoRR (2023)
Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
The complexity of Presburger arithmetic with power or powers. CoRR (2023)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics. ACM Trans. Comput. Log. 24 (2) (2023)
Christoph Haase, Alessio Mansutti, Amaury Pouly
On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract). MFCS (2023)
Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
The Complexity of Presburger Arithmetic with Power or Powers. ICALP (2023)
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
Quantifier elimination for counting extensions of Presburger arithmetic. FoSSaCS (2022)
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
Geometric decision procedures and the VC dimension of linear arithmetic theories. LICS (2022)
Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti
Higher-Order Quantified Boolean Satisfiability. MFCS (2022)
Alessio Mansutti
An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning. Inf. Comput. 285 (Part) (2022)
Raul Fervari, Alessio Mansutti
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. FoSSaCS (2022)
Stéphane Demri, Raul Fervari, Alessio Mansutti
Internal proof calculi for modal logics with separating conjunction. J. Log. Comput. 31 (3) (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
A Complete Axiomatisation for Quantifier-Free Separation Logic. Log. Methods Comput. Sci. 17 (3) (2021)
Alessio Mansutti
Notes on kAExp(pol) problems for deterministic machines. CoRR (2021)
Christoph Haase, Alessio Mansutti
On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes. MFCS (2021)
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
Presburger arithmetic with threshold counting quantifiers is easy. CoRR (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic. ACM Trans. Comput. Log. 22 (2) (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
A Complete Axiomatisation for Quantifier-Free Separation Logic. CoRR (2020)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Internal Calculi for Separation Logics. CSL (2020)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material). CoRR (2020)
Alessio Mansutti
An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. FoSSaCS (2020)
Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti
A Framework for Reasoning about Dynamic Axioms in Description Logics. IJCAI (2020)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
Modal Logics with Composition on Finite Forests: Expressivity and Complexity. LICS (2020)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Internal Calculi for Separation Logics. CoRR (2019)
Stéphane Demri, Raul Fervari, Alessio Mansutti
Axiomatising Logics with Separating Conjunction and Modalities. JELIA (2019)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Propositional Separation Logic. CoRR (2018)
Alessio Mansutti
Extending Propositional Separation Logic for Robustness Properties. FSTTCS (2018)
Alessio Mansutti, Marino Miculan
Deciding Hedged Bisimilarity. ICTCS (2018)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Propositional Separation Logic. FoSSaCS (2018)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Loose Graph Simulations. STAF Workshops (2017)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Loose Graph Simulations. CoRR (2017)
Alessio Mansutti, Marino Miculan
Deciding Hedged Bisimilarity. CoRR (2016)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Distributed execution of bigraphical reactive systems. CoRR (2015)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. DAIS (2014)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Distributed execution of bigraphical reactive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)