| Profunctor Optics, a Categorical Update B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ... Compositionality 6 (1), 2020 | 56* | 2020 |
| Open Diagrams via Coend Calculus M Román Proceedings of the 3rd Annual International Applied Category Theory …, 2020 | 33 | 2020 |
| Monoidal Streams for Dataflow Programming E Di Lavore, G de Felice, M Román Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 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 |
| Comb Diagrams for Discrete-Time Feedback M Román arXiv preprint arXiv:2003.06214, 2020 | 18 | 2020 |
| A Canonical Algebra of Open Transition Systems E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński International Conference on Formal Aspects of Component Software, 63-81, 2021 | 17 | 2021 |
| Profunctor optics and traversals M Román MSc Thesis, University of Oxford, 2020 | 16 | 2020 |
| Promonads and String Diagrams for Effectful Categories M Román Applied Category Theory 2022, 2022 | 15 | 2022 |
| The Produoidal Algebra of Process Decomposition M Earnshaw, J Hefford, M Román Computer Science Logic 2024, 2023 | 13 | 2023 |
| Monoidal context theory M Román arXiv preprint arXiv:2404.06192, 2024 | 9 | 2024 |
| Cornering optics G Boisseau, C Nester, M Román Applied Category Theory 2022, 2022 | 8 | 2022 |
| Collages of string diagrams D Braithwaite, M Román arXiv preprint arXiv:2305.02675, 2023 | 6 | 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 | 6 | 2023 |
| Ranking programming languages for evolutionary algorithm operations JJ Merelo-Guervós, I Blancas-Álvarez, PA Castillo, G Romero, ... Applications of Evolutionary Computation: 20th European Conference …, 2017 | 5 | 2017 |
| Coinductive streams in monoidal categories E Di Lavore, G de Felice, M Román arXiv preprint arXiv:2212.14494, 2022 | 4 | 2022 |
| Presentations of Premonoidal Categories by Devices M Earnshaw, C Nester, M Román Extended Abstract. Presented at NWPT 2023, 14, 2023 | 2 | 2023 |
| Profunctor optics, a categorical update (extended abstract) M Román, B Clarke, D Elkins, J Gibbons, B Milewski, F Loregian, ... NWPT 2019, 3, 2019 | 2* | 2019 |
| Context-free languages of string diagrams M Earnshaw, M Román arXiv preprint arXiv:2404.10653, 2024 | 1 | 2024 |
| Effectful Trace Semantics via Effectful Streams F Bonchi, E Di Lavore, M Román Preprint, 2024 | 1 | 2024 |
| String Diagrams for Premonoidal Categories M Román, P Sobociński arXiv preprint arXiv:2305.06075, 2023 | 1 | 2023 |
Elena Di LavoreUniversity of PisaVerified email at di.unipi.it
