Elena di Lavore

MaRDI QIDQ5019685zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Order in partial Markov categories	2026-08-11	Paper
Strong induction is an up-to technique	2026-06-09	Paper
Compositional modelling of network games	2026-03-23	Paper
Evidential decision theory via partial Markov categories	2026-02-27	Paper
Dialectica Petri nets Fundamenta Informaticae	2026-01-22	Paper
A diagrammatic algebra for program logics	2025-12-04	Paper
Coinductive streams in monoidal categories Logical Methods in Computer Science	2025-09-25	Paper
Monoidal streams for dataflow programming	2024-12-06	Paper
Monoidal Width: Capturing Rank Width Electronic Proceedings in Theoretical Computer Science	2024-03-05	Paper
Monoidal Width Logical Methods in Computer Science	2023-10-23	Paper
Evidential Decision Theory via Partial Markov Categories	2023-01-30	Paper
Coinductive Streams in Monoidal Categories	2022-12-29	Paper
Monoidal Width: Unifying Tree Width, Path Width and Branch Width	2022-02-15	Paper
Monoidal Streams for Dataflow Programming	2022-02-04	Paper
scientific article; zbMATH DE number 7454911 (Why is no real title available?)	2022-01-10	Paper
scientific article; zbMATH DE number 7454911 (Why is no real title available?) (available as arXiv preprint)	2022-01-10	Paper
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems	2020-10-20	Paper
Compositional modelling of network games	2020-06-05	Paper
Dialectica Petri Nets (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Elena di Lavore