Past research

During my Bachelor's and Master's, I have done some research in the field of computational complexity as well.

• A. Bertagnon, M. Gavanelli, A. Passantino, G. Sciavicco, S. Trevisani, Branching interval algebra: An almost complete picture. Information and Computation 281 (2021).

• A. Bertagnon, M. Gavanelli, A. Passantino, G. Sciavicco, S. Trevisani, The Horn fragment of branching algebra. 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 5:1-5:16.

• M. Gavanelli, A. Passantino, G. Sciavicco, Deciding the consistency of branching time interval networks. 25th International Symposium on Temporal Representation and Reasoning (TIME 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 120, pp. 12:1-12:15.