Alessio Mansutti

50 papers A* 8A 1B 10C 1Journal 24Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories.
Log. Methods Comput. Sci.
Christoph Haase, Alessio Mansutti, Amaury Pouly
2026 A* conf
Optimization Modulo Integer Linear-Exponential Programs.
SODA
S. Hitarth, Alessio Mansutti, Guruprerana Shabadi
2026 — ed.
Reachability Problems - 19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings
RP
Pierre Ganty, Alessio Mansutti
2025 A* conf
How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs.
ASE
Nicolas Amat, Pierre Ganty, Alessio Mansutti
2025 A conf
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number.
STACS
Jorge Gallego-Hernández, Alessio Mansutti
2025 J jnl
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number.
CoRR
Jorge Gallego-Hernández, Alessio Mansutti
2025 B conf
One-Parametric Presburger Arithmetic Has Quantifier Elimination.
MFCS
Alessio Mansutti, Mikhail R. Starchak
2025 J jnl
One-Parametric Presburger Arithmetic has Quantifier Elimination.
CoRR
Alessio Mansutti, Mikhail R. Starchak
2025 J jnl
Optimization Modulo Integer Linear-Exponential Programs.
CoRR
S. Hitarth, Alessio Mansutti, Guruprerana Shabadi
2024 A* conf
Integer Linear-Exponential Programming in NP by Quantifier Elimination.
ICALP
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
2024 J jnl
Integer Linear-Exponential Programming in NP by Quantifier Elimination.
CoRR
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
2024 A* conf
Integer Programming with GCD Constraints.
SODA
Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez
2024 J jnl
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories.
CoRR
Christoph Haase, Alessio Mansutti, Amaury Pouly
2024 J jnl
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version).
CoRR
Luca Geatti, Alessio Mansutti, Angelo Montanari
2024 — conf
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems.
FoSSaCS (2)
Luca Geatti, Alessio Mansutti, Angelo Montanari
2023 J jnl
Integer Programming with GCD Constraints.
CoRR
Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez
2023 J jnl
On Composing Finite Forests with Modal Logics.
ACM Trans. Comput. Log.
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
2023 B conf
On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract).
MFCS
Christoph Haase, Alessio Mansutti, Amaury Pouly
2023 A* conf
The Complexity of Presburger Arithmetic with Power or Powers.
ICALP
Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
2023 J jnl
The complexity of Presburger arithmetic with power or powers.
CoRR
Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
2022 J jnl
An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning.
Inf. Comput.
Alessio Mansutti
2022 A* conf
Geometric decision procedures and the VC dimension of linear arithmetic theories.
LICS
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
2022 B conf
Higher-Order Quantified Boolean Satisfiability.
MFCS
Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti
2022 B conf
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy.
FoSSaCS
Raul Fervari, Alessio Mansutti
2022 B conf
Quantifier elimination for counting extensions of Presburger arithmetic.
FoSSaCS
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
2021 J jnl
A Complete Axiomatisation for Quantifier-Free Separation Logic.
Log. Methods Comput. Sci.
Stéphane Demri, Étienne Lozes, Alessio Mansutti
2021 J jnl
Internal proof calculi for modal logics with separating conjunction.
J. Log. Comput.
Stéphane Demri, Raul Fervari, Alessio Mansutti
2021 J jnl
Notes on kAExp(pol) problems for deterministic machines.
CoRR
Alessio Mansutti
2021 B conf
On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes.
MFCS
Christoph Haase, Alessio Mansutti
2021 J jnl
Presburger arithmetic with threshold counting quantifiers is easy.
CoRR
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
2021 J jnl
The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic.
ACM Trans. Comput. Log.
Stéphane Demri, Étienne Lozes, Alessio Mansutti
2020 J jnl
A Complete Axiomatisation for Quantifier-Free Separation Logic.
CoRR
Stéphane Demri, Étienne Lozes, Alessio Mansutti
2020 A* conf
A Framework for Reasoning about Dynamic Axioms in Description Logics.
IJCAI
Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti
2020 B conf
An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning.
FoSSaCS
Alessio Mansutti
2020 B conf
Internal Calculi for Separation Logics.
CSL
Stéphane Demri, Étienne Lozes, Alessio Mansutti
2020 — —
Logiques de séparation : complexité, expressivité, calculs. (Reasoning with separation logics : complexity, expressive power, proof systems).
Alessio Mansutti
2020 J jnl
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material).
CoRR
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
2020 A* conf
Modal Logics with Composition on Finite Forests: Expressivity and Complexity.
LICS
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
2019 B conf
Axiomatising Logics with Separating Conjunction and Modalities.
JELIA
Stéphane Demri, Raul Fervari, Alessio Mansutti
2019 J jnl
Internal Calculi for Separation Logics.
CoRR
Stéphane Demri, Étienne Lozes, Alessio Mansutti
2018 — conf
Deciding Hedged Bisimilarity.
ICTCS
Alessio Mansutti, Marino Miculan
2018 — conf
Extending Propositional Separation Logic for Robustness Properties.
FSTTCS
Alessio Mansutti
2018 B conf
The Effects of Adding Reachability Predicates in Propositional Separation Logic.
FoSSaCS
Stéphane Demri, Étienne Lozes, Alessio Mansutti
2018 J jnl
The Effects of Adding Reachability Predicates in Propositional Separation Logic.
CoRR
Stéphane Demri, Étienne Lozes, Alessio Mansutti
2017 — conf
Loose Graph Simulations.
STAF Workshops
Alessio Mansutti, Marino Miculan, Marco Peressotti
2017 J jnl
Loose Graph Simulations.
CoRR
Alessio Mansutti, Marino Miculan, Marco Peressotti
2016 J jnl
Deciding Hedged Bisimilarity.
CoRR
Alessio Mansutti, Marino Miculan
2015 J jnl
Distributed execution of bigraphical reactive systems.
CoRR
Alessio Mansutti, Marino Miculan, Marco Peressotti
2014 J jnl
Distributed execution of bigraphical reactive systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Alessio Mansutti, Marino Miculan, Marco Peressotti
2014 C conf
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems.
DAIS
Alessio Mansutti, Marino Miculan, Marco Peressotti