t-Structures are Normal Torsion Theories. - Domenico Fiorenza; Fosco Loregiàn (Appl. Categorical Struct., 2016)

Nets with Mana: A Framework for Chemical Reaction Modelling. - Fabrizio Romano Genovese; Fosco Loregiàn; Daniele Palombi (ICGT, 2021)

A Categorical Semantics for Bounded Petri Nets. - Fabrizio Romano Genovese; Fosco Loregiàn; Daniele Palombi (ACT, 2021)

Functorial semantics for partial theories. - Ivan Di Liberti; Fosco Loregiàn; Chad Nester; Pawel Sobocinski 001 (Proc. ACM Program. Lang., 2021)

Coends of Higher Arity. - Fosco Loregiàn; Théo de Oliveira Santos (Appl. Categorical Struct., 2022)

Differential 2-rigs. - Fosco Loregiàn; Todd Trimble (ACT, 2022)

Fibrational Linguistics (FibLang): Language Acquisition. - Fabrizio Romano Genovese; Fosco Loregiàn; Caterina Puca (ACT, 2022)

Completeness for Categories of Generalized Automata ((Co)algebraic pearls). - Guido Boccali; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (CALCO, 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)

Automata and Coalgebras in Categories of Species. - Fosco Loregiàn (CMCS, 2024)

Profunctor Optics, a Categorical Update. - Bryce Clarke; Derek Elkins; Jeremy Gibbons; Fosco Loregiàn; Bartosz Milewski; Emily Pillmore; Mario Román (Compositionality, 2024)

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

Monads and limits in bicategories of circuits. - Fosco Loregiàn (CoRR, 2025)

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