Multi-agent systems design and prototyping with bigraphical reactive systems A Mansutti, M Miculan, M Peressotti DAIS 2014, LNCS 8460, 201-208, 2014 | 29 | 2014 |
The Effects of Adding Reachability Predicates in Propositional Separation Logic S Demri, É Lozes, A Mansutti FoSSaCS 2018, LNCS 10803, 476-493, 2018 | 14 | 2018 |
Distributed execution of bigraphical reactive systems A Mansutti, M Miculan, M Peressotti ECEASST 71, 2015 | 12 | 2015 |
Towards distributed bigraphical reactive systems A Mansutti, M Miculan, M Peressotti GCM 2014, 45-59, 2014 | 10 | 2014 |
Axiomatising logics with separating conjunction and modalities S Demri, R Fervari, A Mansutti European Conference on Logics in Artificial Intelligence, 692-708, 2019 | 9 | 2019 |
Extending propositional separation logic for robustness properties A Mansutti 38th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 7 | 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 | 2 | 2020 |
Internal calculi for separation logics S Demri, E Lozes, A Mansutti arXiv preprint arXiv:1910.05016, 2019 | 2 | 2019 |
An Auxiliary Logic on Trees: on the Tower-hardness of logics featuring reachability and submodel reasoning A Mansutti International Conference on Foundations of Software Science and Computation …, 2020 | 1 | 2020 |
Reasoning with separation logics: complexity, expressive power, proof systems A Mansutti Université Paris-Saclay, 2020 | | 2020 |
Logiques de séparation: complexité, expressivité, calculs A Mansutti Université Paris-Saclay, 2020 | | 2020 |
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material) B Bednarczyk, S Demri, R Fervari, A Mansutti arXiv preprint arXiv:2007.08598, 2020 | | 2020 |
A Framework for Reasoning about Dynamic Axioms in Description Logics B Bednarczyk, S Demri, A Mansutti Twenty-Ninth International Joint Conference on Artificial Intelligence …, 2020 | | 2020 |
A Complete Axiomatisation for Quantifier-Free Separation Logic S Demri, É Lozes, A Mansutti arXiv preprint arXiv:2006.05156, 2020 | | 2020 |
Loose Graph Simulations A Mansutti, M Miculan, M Peressotti STAF Workshops 2017, LNCS 10748, 109-126, 2017 | | 2017 |
Deciding Hedged Bisimilarity A Mansutti, M Miculan arXiv preprint arXiv:1611.03424, 2016 | | 2016 |
Le Simulazioni Lasche - Definizione, applicazioni e computazione distribuita A Mansutti University of Udine, 2016 | | 2016 |