Tumor escape: A mathematical model. - Carlo Bianca; Giuseppe Maria Gallo; Santo Motta (BIBM, 2017)

A kernel function for Signal Temporal Logic formulae. - Luca Bortolussi; Giuseppe Maria Gallo; Laura Nenzi (OVERLAY, 2020)

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. - Luca Bortolussi; Giuseppe Maria Gallo; Jan Kretínský; Laura Nenzi (TACAS (1), 2022)