Alessio Mansutti
Alessio Mansutti
Zweryfikowany adres z cs.ox.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Multi-agent systems design and prototyping with bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
DAIS 2014, LNCS 8460, 201-208, 2014
292014
The Effects of Adding Reachability Predicates in Propositional Separation Logic
S Demri, É Lozes, A Mansutti
FoSSaCS 2018, LNCS 10803, 476-493, 2018
142018
Distributed execution of bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
ECEASST 71, 2015
122015
Towards distributed bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
GCM 2014, 45-59, 2014
102014
Axiomatising logics with separating conjunction and modalities
S Demri, R Fervari, A Mansutti
European Conference on Logics in Artificial Intelligence, 692-708, 2019
92019
Extending propositional separation logic for robustness properties
A Mansutti
38th IARCS Annual Conference on Foundations of Software Technology and …, 2018
72018
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
22020
Internal calculi for separation logics
S Demri, E Lozes, A Mansutti
arXiv preprint arXiv:1910.05016, 2019
22019
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
12020
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–17