| Open system categorical quantum semantics in natural language processing R Piedeleu, D Kartsaklis, B Coecke, M Sadrzadeh arXiv preprint arXiv:1502.00831, 2015 | 96 | 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 | 71 | 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 | 68 | 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 | 55 | 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 | 55 | 2019 |
| Ambiguity in categorical models of meaning R Piedeleu University of Oxford, 2014 | 27 | 2014 |
| Interacting conceptual spaces J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu arXiv preprint arXiv:1608.01402, 2016 | 23 | 2016 |
| An Introduction to String Diagrams for Computer Scientists R Piedeleu, F Zanasi arXiv preprint arXiv:2305.08768, 2023 | 21 | 2023 |
| A String Diagrammatic Axiomatisation of Finite-State Automata. R Piedeleu, F Zanasi FoSSaCS, 469-489, 2021 | 15 | 2021 |
| Graphical Piecewise-Linear Algebra G Boisseau, R Piedeleu International Conference on Foundations of Software Science and Computation …, 2022 | 11 | 2022 |
| Picturing resources in concurrency R Piedeleu Ph. D. dissertation, University of Oxford, 2018 | 9 | 2018 |
| A Finite Axiomatisation of Finite-State Automata Using String Diagrams R Piedeleu, F Zanasi Logical Methods in Computer Science 19, 2023 | 7 | 2023 |
| String Diagram Rewriting Modulo Commutative (Co) monoid Structure A Milosavljevic, R Piedeleu, F Zanasi arXiv preprint arXiv:2204.04274, 2022 | 7 | 2022 |
| Uniqueness of composition in quantum theory and linguistics B Coecke, F Genovese, S Gogioso, D Marsden, R Piedeleu arXiv preprint arXiv:1803.00708, 2018 | 7 | 2018 |
| A complete diagrammatic calculus for boolean satisfiability T Gu, R Piedeleu, F Zanasi Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 5 | 2023 |
| Contextual Equivalence for Signal Flow Graphs. F Bonchi, R Piedeleu, P Sobocinski, F Zanasi FoSSaCS, 77-96, 2020 | 4 | 2020 |
| Bialgebraic Semantics for String Diagrams F Bonchi, R Piedeleu, P Sobocinski, F Zanasi arXiv preprint arXiv:1906.01519, 2019 | 3 | 2019 |
| Graphical quadratic algebra D Stein, F Zanasi, R Piedeleu, R Samuelson arXiv preprint arXiv:2403.02284, 2024 | 2 | 2024 |
| Bialgebraic foundations for the operational semantics of string diagrams F Bonchi, R Piedeleu, P Sobociński, F Zanasi Information and Computation 281, 104767, 2021 | 2 | 2021 |
| A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming R Piedeleu, M Torres-Ruiz, A Silva, F Zanasi arXiv preprint arXiv:2408.14701, 2024 | | 2024 |
Fabio ZanasiProfessor of Computer Science, University College LondonVerified email at ucl.ac.uk
