Elena Di Lavore

According to our database, Elena Di Lavore authored at least 14 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Diagrammatic Algebra for Program Logics.

Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore

CoRR, 2024

Categorical Foundation of Explainable AI: A Unifying Theory.

Francesco Giannini, Stefano Fioravanti, Pietro Barbiero, Alberto Tonda, Pietro Liò, Elena Di Lavore

Proceedings of the Explainable Artificial Intelligence, 2024

2023

Span(Graph): a canonical feedback algebra of open transition systems.

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski

Softw. Syst. Model., April, 2023

Monoidal Width.

Elena Di Lavore, Pawel Sobocinski

Log. Methods Comput. Sci., 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

Evidential Decision Theory via Partial Markov Categories.

Elena Di Lavore, Mario Román

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Coinductive Streams in Monoidal Categories.

Elena Di Lavore, Giovanni de Felice, Mario Román

CoRR, 2022

Monoidal Width: Capturing Rank Width.

Elena Di Lavore, Pawel Sobocinski

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Monoidal Streams for Dataflow Programming.

Elena Di Lavore, Giovanni de Felice, Mario Román

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Dialectica Petri nets.

Elena Di Lavore, Wilmer Leal, Valeria de Paiva

CoRR, 2021

A Canonical Algebra of Open Transition Systems.

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

Compositional Modelling of Network Games.

Elena Di Lavore, Jules Hedges, Pawel Sobocinski

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Games on graphs: a compositional approach.

Elena Di Lavore, Jules Hedges, Pawel Sobocinski

CoRR, 2020

Functorial Language Games for Question Answering.

Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020