Multi-agent systems design and prototyping with bigraphical reactive systems A Mansutti, M Miculan, M Peressotti DAIS 2014, LNCS 8460, 201-208, 2014 | 35 | 2014 |
The Effects of Adding Reachability Predicates in Propositional Separation Logic S Demri, É Lozes, A Mansutti FoSSaCS 2018, LNCS 10803, 476-493, 2018 | 28 | 2018 |
Axiomatising logics with separating conjunction and modalities S Demri, R Fervari, A Mansutti Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 13 | 2019 |
Distributed execution of bigraphical reactive systems A Mansutti, M Miculan, M Peressotti ECEASST 71, 2015 | 13 | 2015 |
Towards distributed bigraphical reactive systems A Mansutti, M Miculan, M Peressotti GCM 2014, 45-59, 2014 | 12 | 2014 |
Extending propositional separation logic for robustness properties A Mansutti 38th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 10 | 2018 |
Modal logics with composition on finite forests: Expressivity and complexity B Bednarczyk, S Demri, R Fervari, A Mansutti Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 7 | 2020 |
Internal calculi for separation logics S Demri, E Lozes, A Mansutti arXiv preprint arXiv:1910.05016, 2019 | 7 | 2019 |
Reasoning with separation logics: complexity, expressive power, proof systems A Mansutti École Normale Supérieure Paris-Saclay, France, 2020 | 6 | 2020 |
An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. A Mansutti FoSSaCS 20, 462-481, 2020 | 5 | 2020 |
Quantifier elimination for counting extensions of Presburger arithmetic D Chistikov, C Haase, A Mansutti Foundations of Software Science and Computation Structures: 25th …, 2022 | 3 | 2022 |
The effects of adding reachability predicates in quantifier-free separation logic S Demri, E 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 |
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. R Fervari, A Mansutti FoSSaCS, 305-324, 2022 | 1 | 2022 |
On deciding linear arithmetic constraints over-adic integers for all primes C Haase, A Mansutti LIPIcs 202, 2021 | 1 | 2021 |
A complete axiomatisation for quantifier-free separation logic A Mansutti, É Lozes, S Demri Logical Methods in Computer Science 17, 2021 | 1 | 2021 |
Internal proof calculi for modal logics with separating conjunction S Demri, R Fervari, A Mansutti Journal of Logic and Computation 31 (3), 832-891, 2021 | 1 | 2021 |
Higher-order quantified boolean satisfiability D Chistikov, C Haase, Z Hadizadeh, A Mansutti Leibniz International Proceedings in Informatics 241, 2022 | | 2022 |
On Composing Finite Forests with Modal Logics B Bednarczyk, S Demri, R Fervari, A Mansutti ACM Transactions on Computational Logic, 2022 | | 2022 |
Geometric decision procedures and the VC dimension of linear arithmetic theories D Chistikov, C Haase, A Mansutti | | 2022 |