Completeness for Categories of Generalized Automata ((Co)algebraic pearls). - Guido Boccali; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (CALCO, 2023)

Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. - Fabio Gadducci; Andrea Laretto; Davide Trotta (ICGT, 2023)

Bicategories of automata, automata in bicategories. - Guido Boccali; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (ACT, 2023)

Completeness for categories of generalized automata. - Guido Boccali; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (CoRR, 2023)

The semibicategory of Moore automata. - Guido Boccali; Bojana Femic; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (CoRR, 2023)

Specification and verification of a linear-time logic for graph transformation. - Fabio Gadducci; Andrea Laretto; Davide Trotta (CoRR, 2023)

Directed equality with dinaturality. - Andrea Laretto; Fosco Loregiàn; Niccolò Veltri (CoRR, 2024)

Directed First-Order Logic. - Andrea Laretto; Fosco Loregiàn; Niccolò Veltri (CoRR, 2025)