| Two complete axiomatisations of pure-state qubit quantum computing A Hadzihasanovic, KF Ng, Q Wang Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 114 | 2018 |
| A diagrammatic axiomatisation for qubit entanglement A Hadzihasanovic 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 573-584, 2015 | 107 | 2015 |
| The algebra of entanglement and the geometry of composition A Hadzihasanovic arXiv preprint arXiv:1709.08086, 2017 | 88 | 2017 |
| A combinatorial-topological shape category for polygraphs A Hadzihasanovic Applied Categorical Structures 28 (3), 419-476, 2020 | 26 | 2020 |
| A diagrammatic calculus of fermionic quantum circuits KF Ng, A Hadzihasanovic, G de Felice Logical Methods in Computer Science 15, 2019 | 18 | 2019 |
| Diagrammatic sets and rewriting in weak higher categories A Hadzihasanovic arXiv preprint arXiv:2007.14505, 2020 | 15 | 2020 |
| Data structures for topologically sound higher-dimensional diagram rewriting A Hadzihasanovic, D Kessler arXiv preprint arXiv:2209.09509, 2022 | 11 | 2022 |
| Combinatorics of higher-categorical diagrams A Hadzihasanovic arXiv preprint arXiv:2404.07273, 2024 | 10 | 2024 |
| Nonstandard functional interpretations and categorical models A Hadzihasanovic, B van den Berg Notre Dame Journal of Formal Logic 58 (3), 343-380, 2017 | 10* | 2017 |
| Equivalences in diagrammatic sets C Chanavat, A Hadzihasanovic Journal of Pure and Applied Algebra, 108165, 2025 | 7 | 2025 |
| Higher-dimensional subdiagram matching A Hadzihasanovic, D Kessler 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | 7 | 2023 |
| The smash product of monoidal theories A Hadzihasanovic 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 7 | 2021 |
| Weak units, universal cells, and coherence via universality for bicategories A Hadzihasanovic Theory and Applications of Categories 34 (29), 883-960, 2019 | 7* | 2019 |
| Obstructions to Compositionality C Puca, A Hadzihasanovic, F Genovese, B Coecke arXiv preprint arXiv:2307.14461, 2023 | 6 | 2023 |
| A model for the coherent walking 𝜔-equivalence A Hadzihasanovic, F Loubaton, V Ozornova, M Rovelli Proceedings of the American Mathematical Society 153 (07), 2813-2827, 2025 | 5 | 2025 |
| Representable diagrammatic sets as a model of weak higher categories A Hadzihasanovic arXiv preprint arXiv:1909.07639, 2019 | 5 | 2019 |
| A diagrammatic axiomatisation of fermionic quantum circuits A Hadzihasanovic, G de Felice, KF Ng 3rd International Conference on Formal Structures for Computation and …, 2018 | 5 | 2018 |
| Diagrammatic sets as a model of homotopy types C Chanavat, A Hadzihasanovic arXiv preprint arXiv:2407.06285, 2024 | 3 | 2024 |
| Zw calculi: diagrammatic languages for pure-state quantum computing A Hadzihasanovic Logic and Applications LAP 2018, 13, 2018 | 3 | 2018 |
| A topological perspective on interacting algebraic theories A Hadzihasanovic arXiv preprint arXiv:1701.00658, 2017 | 2 | 2017 |
Kang Feng NgPostdoc, Queen Mary University of LondonVerified email at qmul.ac.uk
