Elena Di Lavore

Orcid: 0000-0002-7783-5079

According to our database1, Elena Di Lavore authored at least 12 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Span(Graph): a canonical feedback algebra of open transition systems.
Softw. Syst. Model., April, 2023

Monoidal Width.
Log. Methods Comput. Sci., 2023

Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics.
CoRR, 2023

Evidential Decision Theory via Partial Markov Categories.
LICS, 2023

2022
Coinductive Streams in Monoidal Categories.
CoRR, 2022

Monoidal Width: Capturing Rank Width.
Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

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

2021
Dialectica Petri nets.
CoRR, 2021

A Canonical Algebra of Open Transition Systems.
Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

Compositional Modelling of Network Games.
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020
Games on graphs: a compositional approach.
CoRR, 2020

Functorial Language Games for Question Answering.
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020


  Loading...