Publications.

You can: Return to the homepage.

Preprints.

  1. A. Hadzihasanovic. Combinatorics of higher-categorical diagrams. 2024.
    arXiv 2404.07273 -
  2. A. Hadzihasanovic. Diagrammatic sets and rewriting in weak higher categories. 2020.
    arXiv 2007.14505 -

Refereed.

  1. C. Puca, A. Hadzihasanovic, F. Genovese, B. Coecke. Obstructions to compositionality. 2023.
    In 6th International Conference on Applied Category Theory (ACT) 2023, volume 397 of EPTCS, pages 226—245.
    arXiv 2307.14461 -
  2. A. Hadzihasanovic, D. Kessler. Higher-dimensional subdiagram matching. 2023.
    In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023, pages 1—13, IEEE.
    arXiv 2304.09216 -
  3. A. Hadzihasanovic, D. Kessler. Data structures for topologically sound higher-dimensional diagram rewriting. 2022.
    In 5th International Conference on Applied Category Theory (ACT) 2022, volume 380 of EPTCS, pages 111—127.
    arXiv 2209.09509 -
  4. A. Hadzihasanovic. The smash product of monoidal theories. 2021.
    In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2021, pages 1—13, IEEE.
    arXiv 2101.10361 -
  5. A. Hadzihasanovic. A combinatorial-topological shape category for polygraphs. 2020.
    In Applied Categorical Structures, volume 28, issue 3, pages 419—476.
    arXiv 1806.10353 -
  6. A. Hadzihasanovic. Weak units, universal cells, and coherence via universality for bicategories. 2019.
    In Theory and Applications of Categories, volume 34, number 29, pages 883—960.
    arXiv 1803.06086 -
  7. G. de Felice, A. Hadzihasanovic, K. F. Ng. A diagrammatic calculus of fermionic quantum circuits. 2019.
    In Logical Methods in Computer Science, volume 15, issue 3, pages 26:1—26:34.
    arXiv 1801.01231 -
  8. A. Hadzihasanovic, K. F. Ng, Q. Wang. Two complete axiomatisations of pure-state qubit quantum computing. 2018.
    In 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018, pages 502—511, ACM.
  9. A. Hadzihasanovic, G. de Felice, K. F. Ng. A diagrammatic axiomatisation of fermionic quantum circuits. 2018.
    In 3rd International Conference on Formal Structures for Computation and Deduction (FSCD) 2018, volume 108 of LIPIcs, pages 17:1—17:20.
  10. A. Hadzihasanovic. A topological perspective on interacting algebraic theories. 2017.
    In Proceedings 13th International Conference on Quantum Physics and Logic (QPL) 2016, volume 236 of EPTCS, pages 70—86.
    arXiv 1701.00658 -
  11. A. Hadzihasanovic, B. van den Berg. Nonstandard functional interpretations and categorical models. 2017.
    In Notre Dame Journal of Formal Logic, volume 58, number 3, pages 343—380.
    arXiv 1402.0784 -
  12. A. Hadzihasanovic. A diagrammatic axiomatisation for qubit entanglement. 2015.
    In 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2015, pages 573—584, IEEE.
    arXiv 1501.07082 -

Unpublished.

  1. A. Hadzihasanovic. Representable diagrammatic sets as a model of weak higher categories. 2019.
    arXiv 1909.07639 -

Doctoral thesis.