Publications : Alessio MANSUTTI
-
[DLM21a]
-
S. Demri, É. Lozes, and A. Mansutti.
A Complete Axiomatisation for Quantifier-Free
Separation Logic.
Research Report 2006.05156v2, Computing Research Repository, February
2021.
63 pages.
[ BibTex |
Web page |
PDF ]
-
[DFM21]
-
S. Demri, R. Fervari, and A. Mansutti.
Internal proof calculi for modal logics with separating
conjunction.
Journal of Logic and Computation, 2021.
Accepted for publication to the Special issue of JLC on External and
Internal Calculi for Non Classical Logics.
[ BibTex |
Web page |
PDF ]
-
[DLM21b]
-
S. Demri, É. Lozes, and A. Mansutti.
The Effects of Adding Reachability Predicates in Quantifier-Free
Separation Logic.
ACM Transactions on Computational Logic, 2021.
To appear.
[ BibTex |
Web page |
PDF ]
-
[Man20b]
-
A. Mansutti.
Reasoning with Separation Logics: Complexity, Expressive Power,
Proof Systems.
Thèse de doctorat, École Normale Supérieure Paris-Saclay,
France, December 2020.
[ BibTex |
Web page |
PDF ]
-
[BDFM20]
-
B. Bednarczyk, S. Demri, R. Fervari, and A. Mansutti.
Modal Logics with Composition on Finite Forests: Expressivity
and Complexity.
In Proceedings of the 35th Annual ACM/IEEE Symposium on
Logic In Computer Science (LICS'20), pages 167--180, Saarbrucken,
Germany, July 2020. IEEE Press.
doi:
https://dl.acm.org/doi/10.1145/3373718.3394787.
[ BibTex |
DOI |
PDF ]
-
[BDM20]
-
B. Bednarczyk, S. Demri, and A. Mansutti.
A Framework for Reasoning about Dynamic Axioms in Description
Logics.
In Proceedings of the 29th International Joint Conference on
Artificial Intelligence (IJCAI'20). IJCAI organization, July 2020.
[ BibTex |
Web page ]
-
[Man20a]
-
A. Mansutti.
An auxiliary logic on trees: on the Tower-hardness of logics
featuring reachability and submodel reasoning.
In Proceedings of the 23rd International Conference on
Foundations of Software Science and Computation Structures
(FoSSaCS'20), Lecture Notes in Computer Science, pages 462--481, Dublin,
Ireland, April 2020. Springer.
doi:
10.1007/978-3-030-45231-5_24.
[ BibTex |
DOI ]
-
[DLM20]
-
S. Demri, É. Lozes, and A. Mansutti.
Internal Calculi for Separation Logics.
In Proceedings of the 28th Annual EACSL Conference on
Computer Science Logic (CSL'20), Leibniz International Proceedings in
Informatics, Barcelona, Spain, January 2020. Leibniz-Zentrum für
Informatik.
doi:
10.4230/LIPIcs.CSL.2020.19.
[ BibTex |
DOI |
Web page ]
-
[DFM19]
-
S. Demri, R. Fervari, and A. Mansutti.
Axiomatising logics with separating conjunctions and
modalities.
In Proceedings of the 16th European Conference on Logics in
Artificial Intelligence (JELIA'19), volume 11468 of Lecture Notes in
Artificial Intelligence, pages 692--708, Rende, Italy, June 2019. Springer.
doi:
10.1007/978-3-030-19570-0_45.
[ BibTex |
DOI |
Web page |
PDF ]
-
[Man18]
-
A. Mansutti.
Extending propositional separation logic for robustness
properties.
In Proceedings of the 38th Conference on Foundations of
Software Technology and Theoretical Computer Science (FSTTCS'18),
volume 122 of Leibniz International Proceedings in Informatics, pages
42:1--42:23, Ahmedabad, India, December 2018. Leibniz-Zentrum für
Informatik.
doi:
10.4230/LIPIcs.FSTTCS.2018.42.
[ BibTex |
DOI |
Web page |
PDF ]
-
[DLM18]
-
S. Demri, É. Lozes, and A. Mansutti.
The Effects of Adding Reachability Predicates in Propositional
Separation Logic.
In Proceedings of the 21st International Conference on
Foundations of Software Science and Computation Structures
(FoSSaCS'18), volume 10803 of Lecture Notes in Computer Science, pages
476--493, Thessaloniki, Greece, April 2018. Springer.
[ BibTex |
PDF ]
This file was generated by
bibtex2html 1.98.