An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2022)

Formal lumping of polynomial differential equations through approximate equivalences. - Luca Cardelli; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (J. Log. Algebraic Methods Program., 2023)

Efficient Network Embedding by Approximate Equitable Partitions. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ICDM, 2024)

Dissimilarity for Linear Dynamical Systems. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST+FORMATS, 2024)

Online algorithms with foresight for radiotherapy patient scheduling. - Roberto Aringhieri; Davide Duma; Giuseppe Squillace (Comput. Oper. Res., 2025)