Functorial Language Games for Question Answering. - Giovanni de Felice; Elena Di Lavore; Mario Román; Alexis Toumi (ACT, 2020)

Games on graphs: a compositional approach. - Elena Di Lavore; Jules Hedges; Pawel Sobocinski 001 (CoRR, 2020)

Compositional Modelling of Network Games. - Elena Di Lavore; Jules Hedges; Pawel Sobocinski 001 (CSL, 2021)

A Canonical Algebra of Open Transition Systems. - Elena Di Lavore; Alessandro Gianola; Mario Román; Nicoletta Sabadini; Pawel Sobocinski 001 (FACS, 2021)

Dialectica Petri nets. - Elena Di Lavore; Wilmer Leal; Valeria de Paiva (CoRR, 2021)

Monoidal Streams for Dataflow Programming. - Elena Di Lavore; Giovanni de Felice; Mario Román (LICS, 2022)

Monoidal Width: Capturing Rank Width. - Elena Di Lavore; Pawel Sobocinski 001 (ACT, 2022)

Evidential Decision Theory via Partial Markov Categories. - Elena Di Lavore; Mario Román (LICS, 2023)

Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics. - Pietro Barbiero; Stefano Fioravanti; Francesco Giannini; Alberto Tonda; Pietro Liò; Elena Di Lavore (CoRR, 2023)

Monoidal Width. - Elena Di Lavore; Pawel Sobocinski 001 (Log. Methods Comput. Sci., 2023)

Span(Graph): a canonical feedback algebra of open transition systems. - Elena Di Lavore; Alessandro Gianola; Mario Román; Nicoletta Sabadini; Pawel Sobocinski 001 (Softw. Syst. Model., 2023)

Categorical Foundation of Explainable AI: A Unifying Theory. - Francesco Giannini; Stefano Fioravanti; Pietro Barbiero; Alberto Tonda; Pietro Liò; Elena Di Lavore (xAI (3), 2024)

Effectful Mealy Machines: Bisimulation and Trace. - Filippo Bonchi; Elena Di Lavore; Mario Román (CoRR, 2024)

A Simple Formal Language for Probabilistic Decision Problems. - Elena Di Lavore; Bart Jacobs 001; Mario Román (CoRR, 2024)

Tape Diagrams for Monoidal Monads. - Filippo Bonchi; Cipriano Junior Cioffo; Alessandro Di Giorgio 002; Elena Di Lavore (CALCO, 2025)

Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). - Filippo Bonchi; Elena Di Lavore; Mario Román (CALCO, 2025)

Strong Induction Is an Up-To Technique. - Filippo Bonchi; Elena Di Lavore; Anna Ricci (CSL, 2025)

A Diagrammatic Algebra for Program Logics. - Filippo Bonchi; Alessandro Di Giorgio 002; Elena Di Lavore (FoSSaCS, 2025)

Coinductive Streams in Monoidal Categories. - Elena Di Lavore; Giovanni de Felice; Mario Román (Log. Methods Comput. Sci., 2025)

Partial Markov Categories. - Elena Di Lavore; Mario Román; Pawel Sobocinski 001 (CoRR, 2025)

Timing via Pinwheel Double Categories. - Elena Di Lavore; Mario Román (CoRR, 2025)

Program Logics via Distributive Monoidal Categories. - Filippo Bonchi; Elena Di Lavore; Mario Román; Sam Staton (CoRR, 2025)

Order in Partial Markov Categories. - Elena Di Lavore; Mario Román; Pawel Sobocinski 001; Márk Széles (CoRR, 2025)