| Open system categorical quantum semantics in natural language processing R Piedeleu, D Kartsaklis, B Coecke, M Sadrzadeh arXiv preprint arXiv:1502.00831, 2015 | 105 | 2015 |
| Diagrammatic algebra: from linear to concurrent systems F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 91 | 2019 |
| Graphical affine algebra F Bonchi, R Piedeleu, P Sobociński, F Zanasi 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 86 | 2019 |
| Interacting conceptual spaces i: Grammatical composition of concepts J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu Conceptual Spaces: Elaborations and Applications, 151-181, 2019 | 57 | 2019 |
| Interacting conceptual spaces I: Grammatical composition of concepts J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu Conceptual Spaces: Elaborations and Applications, 151-181, 2019 | 57 | 2019 |
| An Introduction to String Diagrams for Computer Scientists R Piedeleu, F Zanasi arXiv preprint arXiv:2305.08768, 2023 | 33 | 2023 |
| Ambiguity in categorical models of meaning R Piedeleu University of Oxford, 2014 | 26 | 2014 |
| A String Diagrammatic Axiomatisation of Finite-State Automata. R Piedeleu, F Zanasi FoSSaCS, 469-489, 2021 | 23 | 2021 |
| Interacting conceptual spaces J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu arXiv preprint arXiv:1608.01402, 2016 | 23 | 2016 |
| Graphical Piecewise-Linear Algebra G Boisseau, R Piedeleu International Conference on Foundations of Software Science and Computation …, 2022 | 18 | 2022 |
| A Finite Axiomatisation of Finite-State Automata Using String Diagrams R Piedeleu, F Zanasi Logical Methods in Computer Science 19, 2023 | 16 | 2023 |
| An Introduction to String Diagrams for Computer Scientists R Piedeleu, F Zanasi Elements in Applied Category Theory, 2025 | 15 | 2025 |
| String Diagram Rewriting Modulo Commutative (Co) monoid Structure A Milosavljevic, R Piedeleu, F Zanasi arXiv preprint arXiv:2204.04274, 2022 | 12 | 2022 |
| Picturing resources in concurrency R Piedeleu Ph. D. dissertation, University of Oxford, 2018 | 9 | 2018 |
| Uniqueness of composition in quantum theory and linguistics B Coecke, F Genovese, S Gogioso, D Marsden, R Piedeleu arXiv preprint arXiv:1803.00708, 2018 | 8 | 2018 |
| A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming R Piedeleu, M Torres-Ruiz, A Silva, F Zanasi European Symposium on Programming, 202-229, 2025 | 7 | 2025 |
| A complete diagrammatic calculus for boolean satisfiability T Gu, R Piedeleu, F Zanasi Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 6 | 2023 |
| Graphical quadratic algebra D Stein, F Zanasi, R Piedeleu, R Samuelson arXiv preprint arXiv:2403.02284, 2024 | 5 | 2024 |
| On Iteration in Discrete Probabilistic Programming M Torres-Ruiz, R Piedeleu, A Silva, F Zanasi 9th International Conference on Formal Structures for Computation and …, 2024 | 5 | 2024 |
| Bialgebraic Semantics for String Diagrams F Bonchi, R Piedeleu, P Sobocinski, F Zanasi arXiv preprint arXiv:1906.01519, 2019 | 5 | 2019 |
Fabio ZanasiProfessor of Computer Science, University College LondonVerified email at ucl.ac.uk
