Elena Di Lavore

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

Collaborative distances:

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

2025

Order in Partial Markov Categories.

Elena Di Lavore, Mario Román, Pawel Sobocinski, Márk Széles

CoRR, July, 2025

Program Logics via Distributive Monoidal Categories.

Filippo Bonchi, Elena Di Lavore, Mario Román, Sam Staton

CoRR, July, 2025

Timing via Pinwheel Double Categories.

Elena Di Lavore, Mario Román

CoRR, April, 2025

Partial Markov Categories.

Elena Di Lavore, Mario Román, Pawel Sobocinski

CoRR, February, 2025

Coinductive Streams in Monoidal Categories.

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

Log. Methods Comput. Sci., 2025

A Diagrammatic Algebra for Program Logics.

Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore

Proceedings of the Foundations of Software Science and Computation Structures, 2025

Strong Induction Is an Up-To Technique.

Filippo Bonchi, Elena Di Lavore, Anna Ricci

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk).

Filippo Bonchi, Elena Di Lavore, Mario Román

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

Tape Diagrams for Monoidal Monads.

Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

A Simple Formal Language for Probabilistic Decision Problems.

Elena Di Lavore, Bart Jacobs, Mario Román

CoRR, 2024

Effectful Mealy Machines: Bisimulation and Trace.

Filippo Bonchi, Elena Di Lavore, Mario Román

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

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