| 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 | 26 | 2022 |
| 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 | 22 | 2023 |
| 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 | 17 | 2021 |
| Monoidal Width E Di Lavore, P Sobociński Logical Methods in Computer Science 19 (3), 2023 | 10* | 2023 |
| Categorical Foundation of Explainable AI: A Unifying Theory F Giannini, S Fioravanti, P Barbiero, A Tonda, P Liò, E Di Lavore World Conference on Explainable Artificial Intelligence, 185-206, 2024 | 8* | 2024 |
| Functorial Language Games for Question Answering G de Felice, E Di Lavore, M Román, A Toumi ACT 2020 333, 311-321, 2021 | 6 | 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 | 6 | 2021 |
| 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 | 5 | 2023 |
| Monoidal Width: Capturing Rank Width E Di Lavore, P Sobociński ACT 2022, 2022 | 3 | 2022 |
| Dialectica Petri nets E Di Lavore, W Leal, V de Paiva arXiv preprint arXiv:2105.12801, 2021 | 3 | 2021 |
| Effectful Trace Semantics via Effectful Streams F Bonchi, E Di Lavore, M Román | 1 | 2024 |
| A coalgebraic model of quantum bisimulation L Ceragioli, E Di Lavore, G Lomurno, G Tedeschi | 1 | 2024 |
| Optic Embeds into the Int Construction E Di Lavore, M Román | 1 | 2019 |
| A Simple Formal Language for Probabilistic Decision Problems E Di Lavore, B Jacobs, M Román arXiv preprint arXiv:2410.10643, 2024 | | 2024 |
| A Diagrammatic Algebra for Program Logics F Bonchi, A Di Giorgio, E Di Lavore arXiv preprint arXiv:2410.03561, 2024 | | 2024 |
| Game equilibria as fixed-point semantics E Di Lavore, M Román | | 2020 |
Mario RománUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
