Elena Di Lavore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CALCO | Tape Diagrams for Monoidal Monads. | Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | CALCO | Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). | Filippo Bonchi, Elena Di Lavore, Mario Romn |
| 2025 | CSL | Strong Induction Is an Up-To Technique. | Filippo Bonchi, Elena Di Lavore, Anna Ricci |
| 2025 | FOSSACS | A Diagrammatic Algebra for Program Logics. | Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | LICS | Effectful Mealy Machines: Bisimulation and Trace. | Filippo Bonchi, Elena Di Lavore, Mario Romn |
| 2023 | LICS | Evidential Decision Theory via Partial Markov Categories. | Elena Di Lavore, Mario Romn |
| 2022 | LICS | Monoidal Streams for Dataflow Programming. | Elena Di Lavore, Giovanni de Felice, Mario Romn |
| 2021 | CSL | Compositional Modelling of Network Games. | Elena Di Lavore, Jules Hedges, Pawel Sobocinski |