Elena Di Lavore

35 papers A* 3B 6Journal 21Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Diagrammatic Algebra for Program Logics. FoSSaCS Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2025	J	`jnl`	A Diagrammatic Basis for Computer Programming. CoRR Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2025	J	`jnl`	Coinductive Streams in Monoidal Categories. Log. Methods Comput. Sci. Elena Di Lavore, Giovanni de Felice, Mario Román
2025	J	`jnl`	Dialectica Petri Nets. Fundam. Informaticae Elena Di Lavore, Wilmer Leal, Valeria de Paiva
2025	A*	`conf`	Effectful Mealy Machines: Bisimulation and Trace. LICS Filippo Bonchi, Elena Di Lavore, Mario Román
2025	B	`conf`	Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). CALCO Filippo Bonchi, Elena Di Lavore, Mario Román
2025	B	`conf`	Order in Partial Markov Categories. MFPS Elena Di Lavore, Mario Román, Pawel Sobocinski, Márk Széles
2025	J	`jnl`	Partial Markov Categories. CoRR Elena Di Lavore, Mario Román, Pawel Sobocinski
2025	J	`jnl`	Program Logics via Distributive Monoidal Categories. CoRR Filippo Bonchi, Elena Di Lavore, Mario Román, Sam Staton
2025	B	`conf`	Strong Induction Is an Up-To Technique. CSL Filippo Bonchi, Elena Di Lavore, Anna Ricci
2025	B	`conf`	Tape Diagrams for Monoidal Monads. CALCO Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
2025	J	`jnl`	Tape Diagrams for Monoidal Monads. CoRR Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
2025	J	`jnl`	Timing via Pinwheel Double Categories. CoRR Elena Di Lavore, Mario Román
2024	—	`conf`	A Coalgebraic Model of Quantum Bisimulation. ACT Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi
2024	J	`jnl`	A Diagrammatic Algebra for Program Logics. CoRR Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2024	J	`jnl`	A Simple Formal Language for Probabilistic Decision Problems. CoRR Elena Di Lavore, Bart Jacobs, Mario Román
2024	—	`conf`	Categorical Foundation of Explainable AI: A Unifying Theory. xAI (3) Francesco Giannini, Stefano Fioravanti, Pietro Barbiero, Alberto Tonda, Pietro Liò, Elena Di Lavore
2024	J	`jnl`	Effectful Mealy Machines: Bisimulation and Trace. CoRR Filippo Bonchi, Elena Di Lavore, Mario Román
2023	J	`jnl`	Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics. CoRR Pietro Barbiero, Stefano Fioravanti, Francesco Giannini, Alberto Tonda, Pietro Liò, Elena Di Lavore
2023	A*	`conf`	Evidential Decision Theory via Partial Markov Categories. LICS Elena Di Lavore, Mario Román
2023	J	`jnl`	Evidential Decision Theory via Partial Markov Categories. CoRR Elena Di Lavore, Mario Román
2023	J	`jnl`	Monoidal Width. Log. Methods Comput. Sci. Elena Di Lavore, Pawel Sobocinski
2023	J	`jnl`	Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2022	J	`jnl`	Coinductive Streams in Monoidal Categories. CoRR Elena Di Lavore, Giovanni de Felice, Mario Román
2022	A*	`conf`	Monoidal Streams for Dataflow Programming. LICS Elena Di Lavore, Giovanni de Felice, Mario Román
2022	J	`jnl`	Monoidal Streams for Dataflow Programming. CoRR Elena Di Lavore, Giovanni de Felice, Mario Román
2022	J	`jnl`	Monoidal Width. CoRR Elena Di Lavore, Pawel Sobocinski
2022	J	`jnl`	Monoidal Width. CoRR Elena Di Lavore, Pawel Sobocinski
2022	—	`conf`	Monoidal Width: Capturing Rank Width. ACT Elena Di Lavore, Pawel Sobocinski
2021	—	`conf`	A Canonical Algebra of Open Transition Systems. FACS Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2021	B	`conf`	Compositional Modelling of Network Games. CSL Elena Di Lavore, Jules Hedges, Pawel Sobocinski
2021	J	`jnl`	Dialectica Petri nets. CoRR Elena Di Lavore, Wilmer Leal, Valeria de Paiva
2020	J	`jnl`	A canonical algebra of open transition systems. CoRR Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2020	—	`conf`	Functorial Language Games for Question Answering. ACT Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi
2020	J	`jnl`	Games on graphs: a compositional approach. CoRR Elena Di Lavore, Jules Hedges, Pawel Sobocinski