| Multi-agent systems design and prototyping with bigraphical reactive systems A Mansutti, M Miculan, M Peressotti DAIS'14, 201-208, 2014 | 42 | 2014 |
| The Effects of Adding Reachability Predicates in Propositional Separation Logic S Demri, É Lozes, A Mansutti FOSSACS'18, 476-493, 2018 | 32 | 2018 |
| Distributed execution of bigraphical reactive systems A Mansutti, M Miculan, M Peressotti ECEASST 71, 2015 | 15 | 2015 |
| Axiomatising logics with separating conjunction and modalities S Demri, R Fervari, A Mansutti JELIA'19, 692-708, 2019 | 13 | 2019 |
| Towards distributed bigraphical reactive systems A Mansutti, M Miculan, M Peressotti GCM'14, 45-59, 2014 | 12 | 2014 |
| Extending propositional separation logic for robustness properties A Mansutti FSTTCS'18, 2018 | 11 | 2018 |
| The complexity of Presburger arithmetic with power or powers M Benedikt, D Chistikov, A Mansutti arXiv preprint arXiv:2305.03037, 2023 | 9 | 2023 |
| Modal logics with composition on finite forests: Expressivity and complexity B Bednarczyk, S Demri, R Fervari, A Mansutti LICS'20, 167-180, 2020 | 8* | 2020 |
| Higher-order quantified boolean satisfiability D Chistikov, C Haase, Z Hadizadeh, A Mansutti MFCS'22, 2022 | 7 | 2022 |
| Reasoning with Separation Logics: Complexity, Expressive Power, Proof Systems A Mansutti École Normale Supérieure Paris-Saclay, France, 2020 | 7 | 2020 |
| Internal calculi for separation logics S Demri, E Lozes, A Mansutti CSL'20, 2019 | 7 | 2019 |
| Geometric decision procedures and the VC dimension of linear arithmetic theories D Chistikov, C Haase, A Mansutti LICS'22, 2022 | 6 | 2022 |
| An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. A Mansutti FOSSACS'20, 462-481, 2020 | 6 | 2020 |
| A complete axiomatisation for quantifier-free separation logic S Demri, É Lozes, A Mansutti Logical Methods in Computer Science 17, 2021 | 5 | 2021 |
| Quantifier elimination for counting extensions of Presburger arithmetic D Chistikov, C Haase, A Mansutti FOSSACS'22, 225-243, 2022 | 4 | 2022 |
| The effects of adding reachability predicates in quantifier-free separation logic S Demri, É Lozes, A Mansutti ACM Transactions on Computational Logic (TOCL) 22 (2), 1-56, 2021 | 2 | 2021 |
| Presburger arithmetic with threshold counting quantifiers is easy D Chistikov, C Haase, A Mansutti arXiv preprint arXiv:2103.05087, 2021 | 2 | 2021 |
| Integer Linear-Exponential Programming in NP by Quantifier Elimination D Chistikov, A Mansutti, MR Starchak ICALP'24, 2024 | 1 | 2024 |
| Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems L Geatti, A Mansutti, A Montanari FOSSACS'24, 95-115, 2024 | 1 | 2024 |
| Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version) L Geatti, A Mansutti, A Montanari arXiv preprint arXiv:2401.09860, 2024 | 1 | 2024 |
Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)Email verificata su lmf.cnrs.fr