| Profunctor Optics, a Categorical Update B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ... Compositionality 6 (1), 2020 | 46* | 2020 |
| Open Diagrams via Coend Calculus M Román Proceedings of the 3rd Annual International Applied Category Theory …, 2020 | 31 | 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 | 20 | 2022 |
| 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 | 16 | 2021 |
| Profunctor optics and traversals M Román MSc Thesis, University of Oxford, 2020 | 16 | 2020 |
| 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 | 14 | 2023 |
| Promonads and String Diagrams for Effectful Categories M Román Applied Category Theory 2022, 2022 | 12 | 2022 |
| The Produoidal Algebra of Process Decomposition M Earnshaw, J Hefford, M Román Computer Science Logic 2024, 2023 | 11 | 2023 |
| Cornering optics G Boisseau, C Nester, M Román Applied Category Theory 2022, 2022 | 7 | 2022 |
| Collages of string diagrams D Braithwaite, M Román arXiv preprint arXiv:2305.02675, 2023 | 4 | 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 |
| 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 | 3 | 2017 |
| Coinductive streams in monoidal categories E Di Lavore, G de Felice, M Román arXiv preprint arXiv:2212.14494, 2022 | 2 | 2022 |
| 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 |
| Effectful Trace Semantics via Effectful Streams F Bonchi, E Di Lavore, M Román | 1 | 2024 |
| Optics for Premonoidal Categories J Hefford, M Román arXiv preprint arXiv:2305.02906, 2023 | 1 | 2023 |
| String Diagrams for Physical Duoidal Categories M Román arXiv preprint arXiv:2406.19816, 2024 | | 2024 |
| Presentations of Premonoidal Categories by Devices M Earnshaw, C Nester, M Román | | 2023 |
| String Diagrams for Premonoidal Categories M Román, P Sobociński arXiv preprint arXiv:2305.06075, 2023 | | 2023 |
Elena Di LavoreUniversity of Pisa在 di.unipi.it 的电子邮件经过验证
