Elena Di Lavore

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 17

Top Topics

Transition Systems

Decision Theory

Dempster Shafer

Equational Theories

Top Venues

Softw. Syst. Model.

Publications

Pietro Barbiero, Stefano Fioravanti, Francesco Giannini, Alberto Tonda, Pietro Liò, Elena Di Lavore
Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics. CoRR (2023)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width. Log. Methods Comput. Sci. 19 (3) (2023)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. 22 (2) (2023)
Elena Di Lavore, Mario Román
Evidential Decision Theory via Partial Markov Categories. CoRR (2023)
Elena Di Lavore, Mario Román
Evidential Decision Theory via Partial Markov Categories. LICS (2023)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width. CoRR (2022)
Elena Di Lavore, Giovanni de Felice, Mario Román
Coinductive Streams in Monoidal Categories. CoRR (2022)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width. CoRR (2022)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width: Capturing Rank Width. CoRR (2022)
Elena Di Lavore, Giovanni de Felice, Mario Román
Monoidal Streams for Dataflow Programming. CoRR (2022)
Elena Di Lavore, Giovanni de Felice, Mario Román
Monoidal Streams for Dataflow Programming. LICS (2022)
Elena Di Lavore, Jules Hedges, Pawel Sobocinski
Compositional Modelling of Network Games. CSL (2021)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A Canonical Algebra of Open Transition Systems. FACS (2021)
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
Dialectica Petri nets. CoRR (2021)
Elena Di Lavore, Jules Hedges, Pawel Sobocinski
Games on graphs: a compositional approach. CoRR (2020)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A canonical algebra of open transition systems. CoRR (2020)
Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi
Functorial Language Games for Question Answering. ACT (2020)