My published papers in Mathematics are all freely available on
my personal arXiv page. See
also the corresponding page on the Italian
site for (some of) my unpublished notes written in Italian.
Some other publications in which I am involved:

My activity in the CARVE project has been documented in some of
the project's deliverables. In particular I am the sole author of
the document Model
transformation and correctness proof, which details the
formalization of the Behavior Trees execution engine that I
developed in the context of that project.

In collaboration with my brother I wrote a paper on the estimation
of resilience for a certain class of interconnected systems
(which can be modeled as piecewiselinear switched systems). This work
has been published in the
proceedings of the 2020 ECMS conference.