| Monoidal Streams for Dataflow Programming E Di Lavore, G de Felice, M Román LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in …, 2022 | 15 | 2022 |
| A canonical algebra of open transition systems E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński Formal Aspects of Component Software: 17th International Conference, FACS …, 2021 | 14 | 2021 |
| Evidential Decision Theory via Partial Markov Categories E Di Lavore, M Román 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 6 | 2023 |
| Functorial Language Games for Question Answering G de Felice, E Di Lavore, M Román, A Toumi ACT 2020 333, 311-321, 2021 | 5 | 2021 |
| Dialectica Petri nets E Di Lavore, W Leal, V de Paiva arXiv preprint arXiv:2105.12801, 2021 | 4 | 2021 |
| Compositional modelling of network games E Di Lavore, J Hedges, P Sobociński 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 4 | 2021 |
| Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics P Barbiero, S Fioravanti, F Giannini, A Tonda, P Lio, E Di Lavore arXiv preprint arXiv:2304.14094, 2023 | 3 | 2023 |
| Span (Graph): a canonical feedback algebra of open transition systems E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński Software and Systems Modeling 22 (2), 495-520, 2023 | 3 | 2023 |
| Monoidal Width E Di Lavore, P Sobociński arXiv preprint arXiv:2212.13229, 2022 | 2 | 2022 |
| Monoidal Width: Unifying Tree Width, Path Width and Branch Width E Di Lavore, P Sobociński arXiv preprint arXiv:2202.07582, 2022 | 2 | 2022 |
| Optic Embeds into the Int Construction E Di Lavore, M Román | 1 | 2019 |
| Monoidal Width: Capturing Rank Width E Di Lavore, P Sobociński ACT 2022, 2022 | | 2022 |
| Game equilibria as fixed-point semantics E Di Lavore, M Román | | 2020 |
Mario RománUniversity of OxfordVerified email at cs.ox.ac.uk
